# What is the partnership in between the Hodge twin of p-vectors and also the twin room of an average vector room?

I recognize what the Hodge twin is, yet I can not fairly cover my head around the twin room of vector room. They appear really comparable, virtually the very same, yet probably they are unconnected.

As an example, in $\mathbb{R}^3$, the blade $a \wedge b$ offers you a subspace that's like an aircraft, and also the twin is about the regular to the aircraft.

Exists an in a similar way straightforward instance for the twin room of a vector room, or exists a means to define the vector room twin in regards to the Hodge twin?

The standard principle of the Hodge twin has actually been around given that Grassmann - - it is basically Grassmann is enhance. The therapies of the Hodge twin you can locate on the internet are generally questionable and also indifferent. My notes on vector rooms offer an even more detailed therapy than a lot of what you can locate on the internet ; simply google "Vector Spaces, Vector Algebras, and also Vector Geometries". - - Richard

(Edit : I have actually modified this solution numerous times due to the fact that my understanding of the scenario has actually been boosting.)

It is constantly successful to recognize these sort of building and constructions by recognizing specifically what details they rely on. The Hodge twin relies on a shocking quantity of details : you require a vector room $V$ which is outfitted with both an internal item and also an alignment, which is basically a selection of which bases of $V$ are "right-handed." So allow's see what we can claim overlooking all this details first.

Any kind of abstract vector room $V$ of limited measurement $n$ has outside powers $\Lambda^2 V, \Lambda^3 V, ... \Lambda^n V$, the last of which is one-dimensional. The vector rooms $\Lambda^k V$ and also $\Lambda^{n-k} V$ constantly have the very same measurement, so we would love to have the ability to specify some type of "approved" map in between them. What can we claim? Well, they are constantly twin : the wedge item specifies an all-natural bilinear map $\Lambda^k V \times \Lambda^{n-k} V \to \Lambda^n V$, and also given that the last is one-dimensional this suggests (as soon as you've confirmed nondegeneracy) that both vector rooms remain in reality twin.

Yet duality does not offer you a map in between them. When 2 vector rooms $V, W$ are twin, suggesting there is a nondegenerate bilinear map $V \times W \to F$ (where $F$ is the ground area), all you get is an isomorphism $V \simeq W^{\ast}$. Below you get an isomorphism $\Lambda^k V \simeq \Lambda^{n-k} V^{\ast}$, **as soon as you have actually defined an isomorphism ** $\Lambda^n V \simeq F$. This amounts picking a notable vector in $\Lambda^n V$, which there is no other way to do as a whole.

So the solution is to present added information. To recognize $\Lambda^{n-k} V^{\ast}$ with $\Lambda^{n-k} V$, we require an internal item. An internal item offers you **2 ** notable vectors in $\Lambda^n V$, as adheres to : take any kind of orthonormal basis $b_1, ... b_n$. After that wedging with each other the $b_i$ in any kind of order obtains you either components of $\Lambda^n V$, relying on whether the equivalent permutation is also or weird. Yet with no added information, there is no other way to recognize among these components with $1$ and also among these components with $-1$.

The added information that does this is an alignment on $V$, which informs you which bases are "right-handed" and also which are "left-handed." So an oriented orthonormal basis offers you a notable component of $\Lambda^n V$, which offers you a notable isomorphism $\Lambda^k V \simeq \Lambda^{n-k} V^{\ast}$, which made up with the isomorphism $\Lambda^{n-k} V^{\ast} \simeq \Lambda^{n-k} V$ is the Hodge twin.

Phew.

This is clarified in these notes I simply located on Google.

Related questions