The exterior-algebra tag has no usage guidance.

**7**

votes

**1**answer

898 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 ...

**26**

votes

**6**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 ...

**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 ...

**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 ...

**12**

votes

**2**answers

792 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 ...

**3**

votes

**1**answer

192 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 ...