The exterior-algebra tag has no usage guidance.

**2**

votes

**0**answers

87 views

### Exterior power of a torsion-free sheaf on a DVR

Let $R$ be a discrete valuation ring and $X$ be a regular, integral. projective $R$-scheme, flat over $R$. Let $F$ be a torsion-free coherent sheaf on $X$ of rank $n$, flat over $\mathrm{Spec}(R)$. Is ...

**4**

votes

**1**answer

150 views

### Ideals in exterior algebras over the field with two elements

Suppose we have an exterior algebra over $\mathbb{F_2}$, say $R = \Lambda_{\mathbb{F_2}}V$, where $V$ is an $n$-dimensional $\mathbb{F}_2$ vectorspace. Let $x_1,\ldots,x_n$ be a basis of that ...

**4**

votes

**0**answers

108 views

### Hodge duality and the determinant of the product of two matrices

I stumbled onto the following identity, and I would like to know: Is it known by some name and are there some references I might cite (or is it actually too trivial to be mentioned anywhere)? Are ...

**5**

votes

**1**answer

155 views

### Is the (super-)symmetric power of the exterior algebra free?

Let $V$ be a vector space over $k$ of dimension $m$. (I'm only interested in the case $k=\mathbb{Q}$.) Let $R:=\Lambda^*V$ be the exterior algebra. It carries the structure of a supercommutative ring: ...

**4**

votes

**1**answer

180 views

### Exterior derivative as only (up to multiple) natural operator $\Lambda ^kT^\ast \rightsquigarrow \Lambda ^{k+1}T^\ast$

In Kolar, Michor, & Slovak's book Natural Operations in Differential Geometry, it is proved the exterior derivative is universal in the following sense.
Proposition 25.4. For $k>0$ all natural ...

**2**

votes

**1**answer

108 views

### Supercommutator of exterior multiplication operators and their adjoints

Let $\mathfrak{h}$ be a complex Hilbert space and consider Grassmann algebra $\mathcal{F}=\bigwedge\mathfrak{h}$ with its induced inner product. For $\omega\in\mathcal{F}$ we also consider the ...

**4**

votes

**0**answers

103 views

### Cannot multivectors be classified more easily than general tensors?

This is sort of a spinoff of Is there a useful generalization of the Schmidt decomposition to the tensoring together of 3 or more vector spaces? - seems to be almost hopeless, but maybe some partial ...

**5**

votes

**0**answers

114 views

### Counting square zero forms over finite fields

Let $p$ be an odd prime and let $R=\Lambda_{\mathbb{F}_p}[x_1,\dots,x_n]$ be the exterior algebra on $n$ generators over the finite field with $p$ elements. This is a graded-commutative ring.
Is ...

**1**

vote

**1**answer

112 views

### Are sections of $\tau M$ differential operators on the exterior algebra?

Let $M$ be a smooth manifold and $\tau M$ its second-order tangent bundle. A second-order vector field $A\in \Gamma(\tau M)$ can locally be expressed as a finite sum of operators $C^\infty(M)\...

**8**

votes

**1**answer

421 views

### Deligne's exterior power

In "Catégories Tannakiennes", Deligne defines the $n$th exterior power of an object $A$ of an abelian tensor category $\mathcal{C}$ as the image of the morphism
$$p : A^{\otimes n} \to A^{\otimes n}, ...

**4**

votes

**0**answers

235 views

### Differential ideals of Pfaffian forms on jet bundles (Integrability)

(I asked this question on math.stackexchange, but got no reaction in several weeks. So, my conclusion is, that it is harder to answer than I thought, and maybe admissible for the attribute 'research ...

**4**

votes

**0**answers

112 views

### Explicit description of graded (counital) cofree cocommutative coalgebras

Let $k$ be a field of characteristic $p \neq 2$, and $V = \oplus V_{n}$ be a graded vector space over $k$.
Then, can one compute the graded (counital) cofree cocommutative coalgebra $C(V)$ ...

**6**

votes

**1**answer

287 views

### Equivalence of exterior forms

Let us start with the following definition.
Let $1\leqslant k\leqslant n$ and let $\omega_1,\omega_2\in\Lambda^k(\mathbb{R}^n)$. We say that $\omega_1$, $\omega_2$ are equivalent, if there exists $T\...

**5**

votes

**0**answers

120 views

### Definition of modules over $C_\infty$-algebras (“commutative $A_\infty$-algebras”)

Let $\Lambda$ be a finite-dimensional associative algebra. We can think of this as an $A_\infty$-algebra with vanishing $m_i$ for $i \ne 2$ and consider $A_\infty$-modules $M$ over it. A list of ...

**5**

votes

**1**answer

189 views

### Are SL(n) Invariants of this wedge product isomorphic to a symmetric product?

In the course of investigating a conjecture about a "strange duality" for sections of line bundles on various models of moduli of sheaves on $\mathbb P^2$, another student and I reduced one special ...

**4**

votes

**2**answers

1k views

### Distributing the Hodge map over the wedge product

Let $(V,\langle,\rangle)$ be a finite dimensional inner product space, $V^{\wedge}$ it exterior algebra, and $\ast$ the Hodge star arising from $\langle,\rangle$. Does there exist any formula to "...

**4**

votes

**0**answers

160 views

### Exterior powers and singular values on Hilbert spaces

I am currently writing an article relating to multiplicative ergodic theorems for cocycles of bounded operators acting on a Hilbert space, and in parts of the argument it is necessary for me to refer ...

**3**

votes

**1**answer

211 views

### Is the ideal membership problem solvable for differential ideals? Is there a good notion of a Gröbner basis?

Let $K$ be a field of characteristic zero. Let $\Omega = K[x_1, \dots, x_n, dx_1, \dots, dx_n]$ be the differential ring of algebraic differential forms over $K[X_1, \dots, X_n]$.
Is there an ...

**20**

votes

**1**answer

1k views

### Analogy between the exterior power and the power set

The symmetric algebra of an object exists in every cocomplete $\otimes$-category. For the category of sets $\mathrm{Sym}(X)$ is the set of multi-subsets of $X$.
The usual definition of the exterior ...

**0**

votes

**1**answer

288 views

### Domain of the wedge product in Little Spivak

Hello! in Little Spivak, p. 79, we find this:
We will therefore define a new
product, the wedge product
$\omega\wedge\eta\in
> \Lambda^{k+\ell}(V)$ by $$
> \omega\wedge\eta =
> \frac{(...

**1**

vote

**0**answers

155 views

### Non-negative Quadratic forms with Exterior Forms

Hello All,
I apologize if the following question is too elementary. Any suggestion is greatly appreciated. Thank you.
Let $n\geqslant 4$, $X$ be an $n$-dimensional inner product space over $\mathbb{...

**4**

votes

**1**answer

581 views

### Representation theory for the exterior algebra

Hello everyone.
Let $V$ and $W$ be finite dimensional vector spaces over some field $K$. Consider $\rho:Sym(V)\to End(W)$ a homomorphism of algebras with unit (i.e., a representation of $Sym(V)$ on $...

**0**

votes

**1**answer

305 views

### Inequalities Involving Wedge Product (Reference Request)

Hello,
I'm looking for references on various inequalities involving the wedge product and exterior forms. The only references I could hunt down are references on Hadamard-Schwarz Inequality. The ...

**3**

votes

**1**answer

198 views

### Decomposability of exterior two-forms

Hello,
The following question appears as a step in my proof. It seems easy but somehow I have not been able to prove this. I could solve few special cases though. Any help in this context is welcome....

**6**

votes

**1**answer

540 views

### ANOTHER Exterior differential system on $SO(3;\mathbb R) \times \mathbb R$

I have another exterior differential system for one forms $U^i$, where the $\theta^i$ are a cotangent basis on $SO(3)$, i.e. they satisfy $d \theta^i = \epsilon_{ijk} \theta^j \wedge \theta^k$ for the ...

**1**

vote

**1**answer

199 views

### Exterior differential system on $SO(3;\mathbb R) \times \mathbb R$

I have the following exterior differential system for one forms $\alpha, \beta, \gamma$, where the $\theta^i$ are a cotangent basis on $SO(3)$, i.e. they satisfy $d \theta^i = \epsilon_{ijk} \theta^j \...

**6**

votes

**2**answers

420 views

### Generalized Grassmannians that parameterize the submodules of a module

I'm looking for something like a Grassmannian, but which parameterizes the submodules of a module rather than the subspaces of a vector space. Most specifically, I'm looking for something which ...

**8**

votes

**6**answers

1k views

### Using Exterior Algebras in combinatorics

As addressed in this past question, there are many applications of linear algebra to combinatorics. What about examples of applications of exterior algebras? Part 4 here is one such example. What are ...

**8**

votes

**2**answers

1k views

### What is the canonical isomorphism between the tensor products of the top exterior powers associated to exact sequences of vector spaces?

One often reads (and writes) that an exact sequence of finite dimensional vector spaces
$$
0 \rightarrow X_1 \rightarrow X_2 \rightarrow \dots \rightarrow X_n \rightarrow 0
$$
induces a canonical ...

**4**

votes

**3**answers

3k views

### n-dimensional “cross product” reference request

I have written a paper which involves a "cross product" in $\mathbb{R}^n$ and I would like to have a reference to point to.
Let ${\bf e_1}, \dots, {\bf e_n}$ be the standard basis for $\mathbb{R}^n$ ...

**-3**

votes

**1**answer

524 views

### Why does the Lefschetz Operator not Square to Zero? [closed]

I'm trying to learn about the Lefschetz decomposition but am having a very basic problem: For the fundamental form $K$ of a Kahler metric on a complex manifold $M$, the corresponding Lefschetz ...

**11**

votes

**4**answers

907 views

### Eliminating 1st order terms in elliptic partial differential equation

Under what conditions is it possible, using a suitable change of variables, to eliminate 1st order terms in an elliptic partial differential equation, so that the equation involves the 2nd derivatives,...

**0**

votes

**1**answer

162 views

### Example of a morphism between exterior algebras that is $\mathbb{Z}_2$ graded but not $\mathbb{Z}$ graded??

The title pretty much states my problem. I consider only finitely generated exterior algebras $\bigwedge V$. It is known that any morphism between exterior algebras y determined by its action on ...

**3**

votes

**1**answer

199 views

### Grassmannian as a submanifold of $\Lambda^m(E)$.

Let $E$ be a vector space of dimension $d\ge4$ over $K$, and $2\le m\le d$ be an integer. I am interested in the characterization of those elements $\omega$ of $\Lambda^m(E)$ that can be written in ...

**5**

votes

**3**answers

444 views

### An isomorphism of 2-Schur modules

This is the little brother of question 68071: elementary, simple-looking and probably much easier to answer. Of course, it is just a small part of question 68071, as anybody with $\lambda$-rings ...

**8**

votes

**1**answer

953 views

### Exterior powers in tensor categories

Let $\mathcal{C}$ be a cocomplete $R$-linear tensor category. Many notions of commutative algebra can be internalized to $\mathcal{C}$. For example a commutative algebra is an object $A$ in $\mathcal{...

**12**

votes

**3**answers

2k views

### “Natural” pairings between exterior powers of a vector space and its dual

Let $V$ be a finite-dimensional vector space over a field $k$, $v_1, ... v_n \in V$ a set of vectors, and $f_1, ... f_n \in V^{\ast}$ a set of covectors. Up to permutation, there seem to be at least ...

**2**

votes

**0**answers

249 views

### Can the solution manifold for an exterior differential system be represented using alternating multivectors?

Differential equations can be written as an ideal of n-forms. Solutions are manifolds where the forms pull back to zero. Is it possible, or useful, to represent the solution by multivectors? For ...

**12**

votes

**2**answers

817 views

### Clifford PBW theorem for quadratic form

Update: now with a question 2 which is much more elementary (and should be well-known!).
Let $k$ be a commutative ring with $1$. Let $L$ be a $k$-module, and $g:L\to k$ be a quadratic form, i. e., a ...

**33**

votes

**7**answers

4k views

### Is there a preferable convention for defining the wedge product?

There are different conventions for defininig the wedge product $\wedge$.
In Kobayashi-Nomizu, there is $\alpha\wedge\beta:=Alt(\alpha\otimes\beta)$,
in Spivak, we find $\alpha\wedge\beta:=\frac{k!l!}...

**1**

vote

**1**answer

258 views

### Commutativity of pullbacks and the exterior derivative as an unbounded operator on $L^2$

Let $d_c, \delta_c$ be operators with domains $D(d_c) = D(\delta_c) = C_{c}^\infty(\wedge T^\ast M)$. We let $d_c$ be the usual exterior derivative on compactly supported smooth forms, ie., $d_c\omega ...

**3**

votes

**0**answers

225 views

### Density of C^\infty in the domain of the exterior derivative on a noncompact, complete manifold?

Let $(M,g)$ be a geodesically complete Riemannian manifold that is not necessarily compact. Futhermore, assume that $M$ has at most exponential volume growth (ie., locally doubling property). Let $\mu$...

**4**

votes

**1**answer

242 views

### Criterion for being a simple vector

1) I was wondering if there exists a criterion (of (a) combinatorial or (b) geometric nature) for a sum of simple vectors $V\in\wedge^k(\mathbb R^n)$,
$V=e_{a_{11}}\wedge\cdots\wedge e_{a_{1k}} + \...

**22**

votes

**14**answers

7k views

### Geometrical meaning of Grassmann Algebra

I don't understand wedge product and Grassmann algebra. However, I heard that these concepts are obvious when you understand the geometrical intuition behind them. Can you give this geometrical ...

**1**

vote

**2**answers

405 views

### Homomorphism between exterior powers of a free module of finite rank

I´m looking for homomorphisms between exterior powers of a free module M of rank m
ΛmR M → Λm-1R M
Exactly, I´m looking for an explicit isomorphism
M → Hom R (ΛmR M , Λm-1R M)
I compare the ...

**42**

votes

**11**answers

6k views

### Why is the exterior algebra so ubiquitous?

The exterior algebra of a vector space V seems to appear all over the place, such as in
the definition of the cross product and determinant,
the description of the Grassmannian as a variety,
the ...