It is a quotient - of the tensor algebra, obtained by taking graded sum over whole numbers $n$ of $n$-fold tensor products - by the ideal generated by elements of the form $a\otimes a$. We write the residue class of $a\otimes b$ in this algebra, as $a\wedge b$ and call it the wedge product.

learn more… | top users | synonyms (1)

9
votes
0answers
402 views

Hodge-Star-Operator on arbitrary oriented basis

Assume that $V$ is oriented finite dimensional vectorspace with dimension $n$, $g \in T^0_2(V)$ a given symmetric and nondegenerate tensor. Let $\mu$ be the corresponding volume element of $V$. ...
7
votes
0answers
288 views

Free Graded Commutative Algebra on a Graded Vector Space

Let $V$ be a graded vector space, thought of as a collection $\{ V^n \}_{n \ge 0}$ of vector spaces. Let $V_{odd} = \bigoplus_{n \text{ odd}} V^n$ and $V_{even} = \bigoplus_{n \text{ even}} V^n$. I am ...
6
votes
0answers
117 views

Why is the symbol for the exterior product a meet rather than a join?

I've moved this over to HSM. It seems odd that something that looks so much like a join [see below] would get given "the wrong symbol". It's even worse when you dualise it and get something called ...
6
votes
0answers
364 views

What is the difference between tensor calculus and exterior derivative type concepts?

I am trying to clarify terms in order to help me figure out what I'd like to study. I understand that $p$-forms and $p$-vectors are used with things like wedge products, exterior algebras, and a ...
6
votes
0answers
44 views

Relationship between exterior power of representation and variance?

I was reading the question: Symmetric and exterior power of representation regarding how to determine the character of an exterior power of a representation from the original representation. One of ...
5
votes
0answers
74 views

Is There a Basis Free Definition of the Pfaffian

$\DeclareMathOperator{\pf}{pf}$ I recently came across a delightful fact that: The determinant of a $2n\times 2n$ skew-symmetric matrix is a the square of a certain polynomial called the pfaffian. I ...
4
votes
0answers
65 views

When does the duality functor commute with the wedge power functor?

When working with modules over a fixed commutative ring, I know that $(M \otimes N)^* \cong M^* \otimes N^*$ provided either $M$ or $N$ is finitely generated projective. Does it follow that ...
4
votes
0answers
177 views

Lie algebra: symmetric and exterior power of representation

If $\mathfrak{g}$ is a Lie algebra, $V$ and $W$ are representation of $\mathfrak{g}$ we define the action of $\mathfrak{g}$ on $V \otimes W$ in the following way: $X \cdot (v \otimes w)=(X \cdot v) ...
4
votes
0answers
139 views

Prove that $\phi_1 \wedge \cdots \wedge \phi_k (v_1, \cdots, v_k) = \frac{1}{k!}\det[\phi_i(v_j)].$

I have proved these two exercises: (1) Suppose that $T \in \Lambda^p(V^*)$ and $v_1, \ldots, v_p \in V$ are linearly dependent. Prove that $T(v_1, \ldots, v_p) = 0$ for all $T \in \Lambda^p(V^*)$. ...
3
votes
0answers
39 views

Geometric meaning of Berezin integration

Berezin integration in a Grassmann algebra is defined such that its algebraic properties are analogous to definite integration of ordinary functions: linearity (taking anticommutativity into account), ...
3
votes
0answers
80 views

Tensor algebra becomes an R-algebra. Theorem, Proof, Dummit and Foote

I have the definition of tensor algebra as follows: $T(M) = \bigoplus_{i =1}^{\infty} T^i(M)$, where $M$ is an $R$ module, where $R$ is commutative and contains the element $1$. Finally $T^k(M) = ...
3
votes
0answers
152 views

Inner product exterior algebra

I have to prove that if $V$ is a real vector space ($\dim V=n$) with inner product $(.,.)$ then if we define $$ (v_{1}\wedge v_{2}\wedge\cdots\wedge v_{k},w_{1}\wedge w_{2}\wedge\cdots\wedge w_{k}) ...
3
votes
0answers
153 views

Multiplication in exterior algebra

Take $V = K^{n}$. Let $\omega$ be a non-zero element of $\bigoplus_{k=1}^n \bigwedge^k V$, where we have excluded the summand $\bigwedge^0 V = K$. (1) Prove that there exists an $m > 1$ for which ...
3
votes
0answers
238 views

Grassmann Algebras

The Grassmann algebra $G$ is the algebra over a field $\mathbb{F}$ generated by the variables $e_i$ such that $e_i^2=0$ and $e_i e_j = - e_j e_i$. I'm looking for some references on algebras $G ...
2
votes
0answers
12 views

Quantifying the angle metric on the Grassmannian in terms of the norm on the exterior power

Let $V$ be a finite-dimensional Hilbert space and $G_k(V)$ the Grassmannian of $k$-dimensional subspaces of $V$. The $k$th exterior power $\bigwedge^k(V)$ can be equipped with a scalar product by ...
2
votes
0answers
32 views

Is $\Lambda$ essentially the unique solution to $F(M)\cong\frac{F(M\oplus R)}{F(M)}$?

Let $R$ be a commutative ring and let $F$ be a functor $\mathbf{Mod}_R\rightarrow \mathbf{Mod}_R$. Then for a module $M$ the split mono $M\rightarrow M\oplus R$ gives a split mono $F(M)\rightarrow ...
2
votes
0answers
32 views

Associativity of the exterior multiplication of forms.

Let $\omega^{k}\in\bigwedge^{k}(V^{*})$ and $\eta^{l}\in\bigwedge^{l}(V^{*})$, be two exterior forms of degrees $k$ and $l$. The exterior product $\omega^{k}\wedge\eta^{l}$ is defined as $(k+l)$ form, ...
2
votes
0answers
94 views

Koszul sign convention and symmetric group action on the graded n-th tensor product

Let $V_\bullet = (V_k)_{k \in \mathbb{Z}}$ and $W_\bullet = (W_k)_{k \in \mathbb{Z}}$ be two graded vector spaces on 0 caracteristic field. We define the tensor product of $V_\bullet$ by $W_\bullet$ ...
2
votes
0answers
38 views

Does the wedge product of bundle-valued forms induce a universal object?

Given a smooth manifold $M$ and a vector bundle $E$ over $M$, the $C^\infty(M)$-module of $E$-valued $p$-forms on $M$ is defined to be $$\Omega^p(M; E) := \Gamma_M\left( \bigwedge^p T^*M \otimes E ...
2
votes
0answers
155 views

base change of exterior powers

Let $n\geq 0$ be an integer, $R\to R'$ a ring homomorphism, and $M$ an $R$-module. Then the following holds: $$\bigl(\bigwedge^n_R M\bigr)\otimes_r R' \cong \bigwedge_{R'}^n\, (M\otimes_r R').$$ I ...
2
votes
0answers
63 views

Bivector into orthogonal components

Suppose I have a metric $g$ and a bivector $ F $ on a four-dimensional vector space. It seems I can always decompose $ F $ into four mutually orthogonal vectors $a,b,c,d$ $$ F = a\wedge b + c\wedge d ...
2
votes
0answers
152 views

Vector Laplace Beltrami operator on surface tangent and surface normal vector field

Consider a closed, compact, embedded surface $f:M \rightarrow \mathbb{R}^3$ and a vectorfield $X$ on the surface that can be decomposed in the surface frame basis $\{e_1,e_2,e_3\}$, where ...
2
votes
0answers
102 views

Computing wedge product of two 1-forms.

Let $L$ be a lattice in $\mathbb{C}$ and let $\pi :\mathbb{C}\to X=\mathbb{C}/L$ be a quotient map. Show that the local formula $dz$ in every chart of $\mathbb{C}/L$ is a well-defined holomorphic ...
2
votes
0answers
178 views

Calulation of pullback of form

If $M$ is $2n+1$ dimensional manifold, and $M'= M\times \mathbb R$ Let $x_1,y_1,... x_n, y_n,t', t$ be coordiante of $M'$. With $t$ for coordinate for $\mathbb R$. Let $$ \omega= \sum_{i=1}^n ...
2
votes
0answers
68 views

Determining explicitly the action on the exterior products of a vector space

Let $V$ be a 2-dimensional complex vector space with basis $e_1,e_2$. Consider the endomorphism $f:V\to V$ given by $f(e_1) = e_2$ and $f(e_2) = -e_1$ with matrix $$ \left( \begin{matrix} 0 & -1 ...
2
votes
0answers
155 views

Exterior algebras and radicals

So without giving excessive background, I was working on baby Spivak & got to the stuff about exterior algebras, & now I'm going through the section on tensor algebras in my copy of ...
1
vote
0answers
27 views

Unifying Transformations in Complex 3-Space

I am currently researching the vector space $\mathbb{C}^{3}$ and I was wondering if it is possible to generate a scheme of unifying the rigid transformations in $\mathbb{C}^{3}$. I know that in the ...
1
vote
0answers
20 views

Computing $\alpha^*w$ in general

Let $A$ be open in $R^k$, let $\alpha : A \rightarrow R^n$ be of class $C^\infty$. Let $x$ denote the general point of $R^k$, let $y$ denote the general point of $R^n$ If $I = (i_i, ...,i_l)$ is an ...
1
vote
0answers
20 views

The determinant of $X_I$ = wedge product of elementary tensors

Let $(x_1,\dots,x_k)$ be vectors in $\mathbb{R}^n$; let $X$ be the matrix $X = [x_1 \cdots x_k]$. If $I = (i_1, \dots, i_k)$ is an arbitrary $k$-tuple from the set $\{1,\dots, n\}$, show that ...
1
vote
0answers
35 views

Linear Algebra: Inverting an induced operator.

Question: Given an invertible linear map $U:V\to V$, consider the induced map $\tilde{U}:\Lambda^k(V)\to \Lambda^k(V)$ given by $$\tilde{U}(v_1\wedge \cdots\wedge v_k):=\sum_{j=1}^kv_1\wedge \cdots ...
1
vote
0answers
27 views

Frobenius Condition for Singular Integrable Distributions

A smooth "singular" distribution $D\subseteq TM$ on an $n$-dimensional manifold $M$ is integrable if it is tangent to immersed submanifolds $N_\alpha$ that are disjoint and cover $M$. If dim$D=k$ ...
1
vote
0answers
70 views

Wedge product equality of 2n-forms in 2n+2 dimension

I have a question that seems to me clear but i couldn't prove it. I have a diffeomorphism between the cotangent bundle of the n-sphere and the complex quadric as $$T^*(S^n)\to (S^n)^{\mathbb{C}},\ ...
1
vote
0answers
100 views

Pullback map distributes over wedge product (proof)

To prove that the pullback map distributes with the wedge product is it first best to prove that it distributes over the tensor product and then use the relation $$dx^{\mu_{1}}\wedge\cdots\wedge ...
1
vote
0answers
35 views

Isomorphism between two vector spaces with the wedge products

F is a field not characteristic 2. V and W are F-vector spaces. If A is the vector space with basis the formal symbols v ∧w with v ∈ V and w ∈ W, and B is the subspace spanned by elements of the form ...
1
vote
0answers
19 views

The space $V^{0}_{p}$ of p times covariant tensors and canonical isomorphisms

I have been studying tensor calculus by myself, but I have found the following claim in my book: The space $V^{0}_{p}=V^{*} \otimes \cdots \otimes V^{*}$ of $p$ times covariant tensors is ...
1
vote
0answers
47 views

some exterior power of a lattice, torsion-free? (about a remark of Serre in Local Fields)

I have a question on a remark of Serre in chapter III §2 of his book Local Fields (p. 49). In this section he wants to define the discriminant of a lattice with respect to a bilinear form. The ...
1
vote
0answers
50 views

Alternating bilinear form with wedge product. equality problem

Let $\phi : \textbf{R}^4 \otimes \textbf{R}^4 \rightarrow \textbf{R}$ be an alternating bilinear form. Prove that there exist linear maps $\alpha, \beta :\textbf{R}^4 \rightarrow \textbf{R}$ with ...
1
vote
0answers
39 views

Alternative proof of existence Jordan normal form

Consider the next theorem: Let be $E$ is an $n$-dimensional vector space over $\mathbb R$ and $\alpha$ a 2-vector. Then there is a basis $\sigma_1,\sigma_2,\ldots,\sigma_n$ such that ...
1
vote
0answers
103 views

Invertability of a matrix

$\newcommand{\AA}{\mathbf{A}} \newcommand{\Tr}[1]{\operatorname{Tr}\left[#1\right]}$ I have a problem that I suspect there is a “relatively” simple answer to but it is currently eluding me. I am ...
1
vote
0answers
63 views

Poincaré Lemma problems and computing contractions in an economical way

Let $x=(A,B,C,D)$ be coordinates on $\mathbb{R}^4$. $\displaystyle \beta = \frac{(AdB-BdA)\wedge(dC \wedge dD)+(dA \wedge dB)\wedge(CdD-DdC)}{(A^2+B^2+C^2+D^2)^2}$ I would like to compute ...
1
vote
0answers
114 views

Wedge product of differential forms

I'm trying to grasp the notation and concept of wedge products(, and tensors as well). In my lecture notes, the following expansion/notation for a $(n,r)$-tensor is used: In a basis $\left\{ ...
1
vote
0answers
58 views

Reference Request for differential ideals of Pfaffian forms on jet bundles

My setting is the following: Given two families of differential forms $\omega^i$ (with $i=1,...,m$) and $\mathrm d F^j$ (with $j=1...n-m$), define $$\eta^i := \sum_{j=1}^m a^i_j\omega^j + ...
1
vote
0answers
91 views

Is $\Lambda(T^{*}E)=\bigoplus_{k=0}^n\Lambda^k(T^{*}E)$ a complex line bundle over $T^{*}E$?

Is $\Lambda(T^{*}E)=\bigoplus_{k=0}^n\Lambda^k(T^{*}E)$ a complex line bundle over $T^{*}E$? I know that ...
1
vote
0answers
183 views

Norm inequality with wedge product

Anyone could help me to prove this following inequality? $\displaystyle\frac{||(u+v)\wedge w||}{||u+v||}\le \frac{||u\wedge w||}{||u||} +\frac{||v\wedge w||}{||v||} $ where $u\wedge v$ is the wedge ...
1
vote
0answers
63 views

Grassmannian as a submanifold of the exterior product

I'm looking for a proof of the fact that if $V$ is a finitely dimensional vector space, then $G_p(V) \setminus \{0\}$ is a submanifold of $\Lambda_pV$. Here $G_p(V) = \{ v_1 \wedge ... \wedge v_p \ ...
1
vote
0answers
36 views

Exterior product of vectors in $\mathbb{R}^4$ with integer coefficients.

Let $a, b, c, d$ be vectors with integer coordinates in $\mathbb{R}^4$ such that $k a \wedge b = c \wedge d$ for some integer $k$ and $a \wedge b \neq l v$ for any $v \in \bigwedge^2 (\mathbb{R}^4)$ ...
1
vote
0answers
57 views

Vanishing criterion of pure wedges

Let $R$ be a commutative ring, $M$ some $R$-module, and $m,n \in M$. Is there some criterion when $m \wedge n = 0$ in $\Lambda^2(M)$? There are some sufficient criterions, for example that $m \in ...
1
vote
0answers
163 views

Explicit computations of tensor and wedge product

Let $f\colon K^3\to K^3$ be a map in Jordan canonical form having matrix $$ f=\begin{bmatrix} -1 & 1 & 0 \\ 0 & -1 & 0 \\ 0 & 0& -1 \end{bmatrix} $$ What is $f\otimes f$? What ...
1
vote
0answers
59 views

Alternating forms tangential to a subspace.

Let $V$ be a finite-dimensional vector space with euclidean product, and let $U$ be a subspace. Now let $P$ be the projection of $V$ onto $U$, and let $\omega$ be any alternating multilinear $k$-form. ...
1
vote
0answers
121 views

Given a surjective linear mapping of free modules how do you show the corresponding matrix has an invertible minor?

The following post can is related to part c) of this problem http://www.artofproblemsolving.com/Forum/viewtopic.php?f=349&t=124137 and boils down to some issues I am having with use of wedge ...