Questions tagged [exterior-algebra]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0
votes
0answers
41 views

Density of a graded algebra

I'm trying to prove the following proposition: If $ v \in V $ and $ Y \in \mathfrak{so} (V) $ then $[\dot\mu(Y), B(v)] = B(Yv)$. By definition $[\dot\mu(Y), B(v)] = \dot\mu(Y)B(v) - B(v)\dot\mu(Y).$ I ...
1
vote
1answer
149 views

Simple properties of the codifferential

The exterior derivative $d$ has many very nice algebraic relations. For example $d(\alpha\wedge\beta) = (d\alpha)\wedge \beta + (-1)^k\alpha\wedge(d\beta)$ $f^*(d \alpha)=d f^*(\alpha)$. $d\circ ...
2
votes
0answers
89 views

What's known about the matroid induced by the Plücker coordinates of the representation of a matroid?

Let $M$ be a linear matroid with ground set $E$ and independent subsets $\mathcal I$, represented by $\rho: E \rightarrow V$. This induces a map $$ \hat\rho: \mathcal I \rightarrow \mathbf P(\Lambda V)...
3
votes
0answers
100 views

Rational cohomology of p-adic general linear groups

I wanted to compute the cohomology ring $H^*(GL_n(\mathbb{Z}_p); \mathbb{Q}_p)$ (with $p$ fixed prime as usual). I found some incomplete notes stating that the computation should go as follows. First ...
5
votes
0answers
121 views

Federer's questions on the mass and comass norms

In Federer's book "Geometric measure theory", he says in section 1.8.3 (where $\|\cdot\|$ is the comass norm): Very little appears to be known about the structure of the convex sets $\wedge^...
4
votes
1answer
145 views

Exterior algebra of normed spaces

This question is related to my prior question, but this one is aimed, even though it's more general. If $V$ is a vector space, we define the exterior algebra of $V$ do be: $$\bigwedge V := \bigoplus_{...
6
votes
1answer
493 views

What is the role of topology on infinite dimensional exterior algebras?

Wedge products and exterior powers are discussed in W. Greub's book Multilinear algebra as follows. Definition: Let $E$ be an arbitrary vector space and $p \ge 2$. Then a vector space $\bigwedge^{p}E$ ...
3
votes
1answer
140 views

action of symmetric group on the second exterior power

Let $e_i \wedge e_j \ (i < j)$ be a basis for the $\mathbb Z$-module $\wedge^2 \Gamma$, where $\Gamma = \mathbb Z^n$. Clearly $S_n$ acts on the module $\wedge^2 \Gamma$ via $$\pi(e_i \wedge e_j) ...
16
votes
0answers
494 views

Are $0, 1, 4, 7, 8$ the only dimensions in which a bivector-valued cross product exists?

It is a well-known mathematical curiosity that ordinary (vector-valued) cross products over $\mathbb{R}$ exist only in dimensions $0, 1, 3$ and $7$ (this fact is related to Hurwitz's theorem that real ...
9
votes
2answers
290 views

Can we recover all $k$-minors of a square matrix from some of them?

This is a cross-post. Let $k,n$ be natural numbers, $1<k<n$. Suppose we have an "unknown" invertible $n \times n$ matrix $A$ over a field of characteristic zero. (we do not know the entries of ...
5
votes
1answer
320 views

Extension of a bilinear form to the exterior algebra

In Serre's Local Fields, at the beginning of the chapter III section 2, he has wrote "it is known that $T$ extends to a non-degenerate bilinear form on the exterior algebra of $V$", where $T$ is a ...
3
votes
1answer
359 views

Trace and exterior product

Let $V$ be a $2n$-dimensional complex vector space with base $\{e_1,\dotsc,e_n,f_1,\dotsc,f_n]\}$ Let $W \subset \wedge^n V$ be the subspace in the exterior product, with basis vectors $$ e_{i_1} \...
2
votes
1answer
384 views

Exterior derivative independence from coordinate systems

In the book Mathematical Methods of Classical Mechanics by V.I. Arnold, the author introduces (p.189) the concept of exterior derivative as "the principal linear part of the increment" of the function ...
1
vote
0answers
54 views

Function for unique volume element

This is an issue that I'm am trying to solve for a fine-tuning measure in particle physics, but it is purely mathematical. Consider three vectors $\{v_1, v_2, v_3\}$ in $\mathbb{R}^3$. I would like a ...
0
votes
0answers
166 views

A vector calculus formula

Let me answer my own question, hoping to be forgiven for that. I asked unsuccessfully that question on Mathematics. Let $A, B$ be vector fields in $\mathbb R^3$. We have $$ \text{curl}\bigl((A\cdot \...
1
vote
0answers
64 views

Poincaré lemma for gradient times its transpose

Poincaré lemma states that a vector $v_i(x)$ defined on a ball in $R^n$ is the gradient of a function if and only if \begin{equation} \partial_i v_j = \partial_j v_i \end{equation} or equivalently ...
6
votes
1answer
260 views

Is every basis for $\bigwedge^kV$ satisfying a “complementary” property a rescaling of a “standard” basis?

This is a cross-post. Let $V$ be a $4$-dimensional real vector space. Let $\omega_{i_1,i_2}$ be a basis for $\bigwedge^2V$, where each $\omega_{i_1,i_2}$ is decomposable. Suppose that for every $\...
5
votes
1answer
307 views

Do non-continuous Sobolev maps pull back closed forms to weakly closed forms?

$\newcommand{\R}{\mathbb R}$ $\newcommand{\N}{\mathbb N}$ $\newcommand{\de}{\delta}$ $\newcommand{\sig}{\sigma}$ $\newcommand{\Average}[1]{\left\langle#1\right\rangle} $ $\newcommand{\IP}[2]{\Average{...
4
votes
2answers
556 views

What are the necessary and sufficient conditions for a two-form to be an exterior product of two one-forms?

Consider a two-form $\gamma \in \Lambda^2(V)$ where $V$ is a real vector space. Now I would like to know the necessary and sufficient conditions for $\gamma$ to be expressible as an exterior product ...
4
votes
1answer
231 views

Taylor spectrum of commuting operators

Taylor spectrum of commuting operators Fom the following paper (M. Ch—o, H. Motoyoshi, B. Na¡cevska Nastovska: On the joint spectra of commuting tuples of operators and a conjugation) we have Let ...
10
votes
1answer
268 views

Representations of degenerate Clifford algebras

Given a real finite-dimensional vector space $V$ with a symmetric bilinear form $b$, we define the Clifford algebra $Cl(V,b)$ as the quotient of the tensor algebra $\bigotimes V$ by the two sided ...
7
votes
0answers
122 views

A generalization of matrix minors to non-integer values

I am interested to know if there exist a notion of $k$-minors of a real square matrix, for non-integer positive values of $k$ One approach I thought of was to use the fact that the $k$-minors are (...
3
votes
3answers
392 views

Can we specify the value of harmonic forms at a point?

Let $M$ be a smooth $d$-dimensional oriented Riemannian manifold, and let $1 < k < d$ be fixed. Let $p \in M$, and let $\alpha_p \in \bigwedge^k(T_pM)^*$. Does there exist an open ...
2
votes
0answers
44 views

Ranks of cycles with base field coefficients as a generalization of ranks of multivectors?

This must be probably only reference request since I am inclined to believe that I am asking about something well known but just cannot pin down appropriate keywords for searching. The starting point:...
7
votes
1answer
255 views

A commutative variant of the exterior algebra

Consider $A = \mathbb{R}[t_1,\ldots,t_{k}]$, the ring of real $k$-variate polynomials in the indeterminates $t_1,\ldots,t_k$. For $y\in\mathbb{R}$, define the element $p(y) \in A$ through $$ p(y) = ...
17
votes
1answer
542 views

An explicit reconstruction of a matrix from its minors

$\newcommand{\End}{\operatorname{End}}$ $\newcommand{\GL}{\operatorname{GL}}$ $\newcommand{\Cof}{\operatorname{cof}}$ Let $V$ be a $d$-dimensional real vector space. ($d \ge 4$). Fix an odd integer $...
2
votes
0answers
30 views

Expression for the lattice operations on subspaces in Plucker embedding

Suppose that $V$ is a finite dimensional $\mathbb Q$-vector space. To each subspace $S$ of dimension $k$, we can associate the line from the origin of $\Lambda^k(V)$ through the point $s_1\wedge \...
3
votes
0answers
246 views

Is the image of the map $A \to \bigwedge^{k}A $ a weakly embedded submanifold?

$\newcommand{\End}{\operatorname{End}}$ $\newcommand{\GL}{\operatorname{GL}}$ Let $V$ be a $d$-dimensional real vector space. ($d \ge 4$). Fix an odd $2 \le k \le d-2$. Define $H_{>k}=\{ A \in \End(...
4
votes
1answer
195 views

Is the map $A \to \bigwedge^{k}A $ from matrices above rank $k$ proper?

$\newcommand{\End}{\operatorname{End}}$ Let $V$ be a $d$-dimensional real vector space. ($d \ge 3$). Fix an odd $2 \le k \le d-1$. Define $H_{>k}=\{ A \in \End(V) \mid \operatorname{rank}(A) > ...
5
votes
1answer
136 views

If $A \in \text{End}(\bigwedge^k \mathbb{R}^d)$ equals $\bigwedge^k B$ for some complex matrix $B$, does it have a real source?

Let $1<k<d$ be an integer. Let $A \in \text{End}(\bigwedge^k \mathbb{R}^d)$, and suppose that $A=\bigwedge^k B$ for some complex $B \in \text{End}(\mathbb{C}^d)$. Does there exist $M \in \...
12
votes
1answer
389 views

Is the image of the map $A \to \bigwedge^k A$ closed over $\mathbb{R}$?

Let $V$ a real vector space of dimension $d$. Let $1<k < d-1$. Consider the map induced by the exterior algebra functor: $$ \psi:\text{End}(V) \to \text{End}(\bigwedge^kV) \, \, \, \, , \, \, ...
7
votes
1answer
192 views

Is a Sobolev map with smooth minors smooth on the whole domain?

Let $d\ge 3$ and $2 \le k \le d-1$ be integers, where at least one of $k,d$ is odd. Let $\Omega \subseteq \mathbb{R}^d$ be open, and let $f \in W^{1,p}(\Omega,\mathbb{R}^d)$, for some $p \ge 1$. ...
8
votes
2answers
398 views

Obstructions for the wedge of coordinate differentials to be harmonic

Let $(M,g)$ be a smooth $d$-dimensional Riemannian manifold, $d$ even. Are there obstructions (I guess in terms of curvature) for $g$ to have the following property: For every $p \in M$ there exist a ...
6
votes
0answers
244 views

Is a Sobolev map with invertible smooth minors smooth?

$\newcommand{\Cof}{\text{cof}}$ Let $k,d$ be even integers, such that $d\ge3$ and $2 \le k \le d-1$. Let $\Omega \subseteq \mathbb{R}^d$ be open, and let $f \in W^{1,p}(\Omega,\mathbb{R}^d)$, for ...
6
votes
1answer
183 views

Which metrics on exterior power are induced from metrics on the base?

$\newcommand{\id}{\text{id}}$ $\newcommand{\Hom}{\text{Hom}}$ This is a cross-post. Let $V$ be a $d$-dimensional real vector space, and let $2 \le k \le d-1$. Every inner product on $V$ induces an ...
7
votes
2answers
1k views

Determinant of a sub-matrix of the classical adjoint

Let $A$ be a square matrix of order $n$, say with complex coefficients, and let $M$ be the plain matrix of minors of $A$ of order $n-1$ (no transpose, no sing changes). Let $I$ and $J$ be $r$-...
1
vote
0answers
51 views

Maximum number of matrices satisfying given rank conditions

Assume that we have $2k$ matrices $S_1,\ldots,S_k$ and $\Phi_1,\ldots,\Phi_k$ over some finite field $F$ such that (i) $S_i\in F^{l/2\times l}$ and $\dim S_i=l/2$ for any $i\in\{1,\ldots,k\}$; (ii)...
3
votes
1answer
207 views

Determine 1-form from volume forms

Given a 1-form $\omega\in \Omega^1(\mathbb{R}^p)$ we can construct various non-trivial $p$-forms ($\omega\wedge\star\omega$ excluded), but using the exterior derivative for all of all the players to ...
1
vote
0answers
106 views

The dual space mapping of a $p$-form

I know that the dual of a tensor product is the tensor product of the duals. For example, the dual space of $V\otimes V^*$ is $V^* \otimes V$. I also know that the induced dual space mapping of a ...
20
votes
1answer
2k views

Etymology of “exterior” in “exterior calculus”

What is the origin of the term "exterior" in "exterior calculus"? How does this term relate to "interior products" and "inner products", if it does at all?
6
votes
1answer
255 views

Simultaneous triangularisation of an exterior power of a set of matrices

I'm working on some research problems relating to random matrix products, and this is taking me into areas of mathematics I've not previously studied: Lie groups, representation theory, and real ...
13
votes
3answers
616 views

Ring of invariants of $\operatorname{SL}_6$ acting on $\Lambda^3 \mathbb C^6$

Let $G=\operatorname{SL}_6$ act on $V=\Lambda^3 \mathbb C^6$. I would like to find the ring of invariants $\mathbb C[V]^G$. There is an obvious invariant $$Sq: V \to \mathbb C, \quad \omega \mapsto \...
6
votes
2answers
746 views

When is the exterior algebra a Hopf algebra?

I have several questions on the exterior algebra of a vector space: Q1:When has the exterior algebra A (viewed just as an algebra, not considered as a graded algebra) of an $n$-dimensional vector ...
0
votes
2answers
188 views

Can one reconstruct a diagonalisable endomorphism from its action on the exterior algebra?

Let $K$ be a field. Let $V$ be a finite-dimensional $K$-vector space; and let $f$ be an automorphism of $V$. Assume that $f$ is diagonalisable over some extension of $K$. Form the exterior algebra $\...
2
votes
1answer
215 views

Invariant characterization of isometric embeddings

$\newcommand{\Cof}{\operatorname{Cof}}$ $\newcommand{\Det}{\operatorname{Det}}$ $\newcommand{\Lam}{\operatorname{\Lambda}}$ Motivation (and the "classic" case): I am trying to find a coordinate-free ...
3
votes
0answers
238 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
1answer
240 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
0answers
362 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 ...
6
votes
1answer
245 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
1answer
243 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 ...