Tensors, multivectors, wedge products, multilinear maps, exterior (Grassmann) algebras.

learn more… | top users | synonyms

30
votes
4answers
1k views

Why there is a relation among the second-order minors of a symmetric $4\times 4$ matrix?

A $4\times 4$ symmetric matrix $$ \left( \begin{array}{cccc} a_{11} & a_{12} & a_{13} & a_{14} \\ a_{12} & a_{22} & a_{23} & a_{24} \\ a_{13} & a_{23} & a_{33} & ...
18
votes
1answer
1k views

Are the following identities well known?

$$ x \cdot y = \frac{1}{2 \cdot 2 !} \left( (x + y)^2 - (x - y)^2 \right) $$ $$ \begin{eqnarray} x \cdot y \cdot z &=& \frac{1}{2^2 \cdot 3 !} ((x + y + z)^3 - (x + y - z)^3 \nonumber \\ ...
11
votes
0answers
270 views

Bunnity of multilinear maps

Is there a way to compute the following nullity of multilinear maps? As it is different from any nullity I know of, I call it bunnity after myself:-)) If it already has a name, it be nice to know it. ...
10
votes
3answers
496 views

Example of a form linear in infinitely many variables ?

We all know plenty of examples of multilinear forms in finitely many variables (e.g. determinants). However, I am missing an interesting example of a form in infinitely many variables, linear in each. ...
10
votes
0answers
491 views

On a tentative generalization of the Schmidt decomposition

Background I am a PhD student in Physics and I am currently developing quite refined computer codes that allow to simulate many-body quantum systems living on a lattice. The difficulty resides in ...
8
votes
1answer
1k views

Multilinear generalization of Cauchy-Schwarz inequality

Let $V$ be a real vector space, and let $(\cdot,\cdot;\cdot,\cdot) : V^4 \to \mathbb{R}$ be a multilinear form with the following properties: $(x,y;z,w) = (y,x;z,w) = (x,y;w,z)$ (symmetry in the ...
8
votes
1answer
345 views

What is the total polarization of the determinant?

Let $A\in\mathfrak{gl}(\mathbb{R},n)$ be an endomorphism, and think up to conformal factors (in particular, $\Lambda^n\mathbb{R}^n$ will be the same as $\mathbb{R}$). By the total polarization ...
8
votes
1answer
238 views

Augmentation ideal is finitely generated if and only if $A$ is finitely generated as a $k$-algebra?

Let $A \subset k[x_1, \dots, x_n]$ be a subalgebra, which is also a graded subspace $A = \oplus_{i \ge 0} A_i$. One can write $A = A_0 \oplus A_{> 0}$ where we have $A_0 = k^0[x_1, \dots, x_n] = k$ ...
8
votes
1answer
816 views

Exact sequences of bundles on Grassmannians

We're looking for a large set of exact sequences of vector bundles on Grassmannians. Here's the set up: $V$ and $Q$ are complex vector spaces of dimensions $d$ and $r$ respectively $(d\geq r)$, and ...
8
votes
2answers
186 views

generalizations of Vandermonde matrix to high dimensions

Let $x_1,x_2,\cdots,x_n\in\mathbb{R} $ or $\mathbb{C}$. By the non-degeneracy of Vandermonde matrix the maps $$ f: \mathbb{R}\longrightarrow\mathbb{R}^n,$$ $$ x\longmapsto ...
7
votes
2answers
643 views

basics of classification of trilinear forms (when is it non-discrete)

Consider tri-linear forms, $\{A_{ijk}\}$ where $i=1,..,n_1$, $j=1,..,n_2$, $k=1,..n_3$, over a field of zero characteristic, up to the equivalence $A\to (U_1,U_2,U_3)(A)$, by three matrices. What is ...
7
votes
1answer
313 views

Question about decomposition of exterior product

In their paper "New lower bounds for the border rank of matrix multiplication", Landsberg and Ottaviani make use of the fact that $$\tag{$\dagger$} {\textstyle\bigwedge}^p(V\otimes W) \cong ...
7
votes
0answers
170 views

When is a polynomial ring free over a graded subalgebra?

Keep the setting of my previous question and let $I := k[x_1, \dots, x_n] \cdot A_{>0}$ be an ideal of the algebra $k[x_1, \dots, x_n]$ generated by the set $A_{>0}$. It is clear that $I$ is a ...
6
votes
3answers
411 views

Is there a rank for higher degree homogeneous forms analogous to that of quadratic forms?

Given a quadratic form $Q(x_1, ..., x_n)$, there is a natural notion of rank defined by looking at the rank of the unique symmetric matrix associated to the quadratic form, i.e. we consider the ...
6
votes
1answer
281 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 ...
6
votes
3answers
238 views

Axiomatizing orientation in the complex plane

Lately I've begun to suspect that a certain ternary relation might play a role in $\bf{C}$ analogous to the role played by the binary relation $>$ in $\bf{R}$, namely, the relation that the ...
6
votes
1answer
750 views

Co-ends as a trace operation on profunctors

The n-lab site on profunctors (http://ncatlab.org/nlab/show/profunctor) describes profunctor composition as using a co-end to "trace out" the connecting variable: $F\circ G := \int^{d\in D} F(-, d) ...
6
votes
1answer
132 views

Is $\max_{\|x\|_p=\|y\|_p=1} |\langle x, Ay\rangle|$ equivalent to $\max_{\|x\|_p=|} |\langle x, Ax\rangle|$ for symmetric $A$ & $p\geq 2$?

Let $A\in \mathbb{R}^{n\times n}$ be a symmetric matrix, and consider the $l_p$ norm ($p\geq 2$). Can we prove that the following problems are equivalent: $$\max_{\|x\|_p=\|y\|_p=1} \left| \langle x, ...
6
votes
2answers
344 views

Alternating multilinear invariants of GL(n) on End (k^n)

Introduction. Let $k$ be a field of characteristic $0$, and let $n\in\mathbb N$. Let $V=k^n$. The group $\mathrm{GL}_n\left(k\right)=\mathrm{GL} V$ acts on $\mathrm{End} V$ by conjugation, and thus ...
5
votes
2answers
205 views

Norm of $n$-linear symmetric forms

Let $B$ be a symmetric bilinear form over a Euclidean space $E$. Say that $|B(v,v)|\le c\|v\|^2$ for every $v\in E$, for some $c\ge0$. Then $$4B(v,w)=B(v+w)+B(v-w)$$ yields $2|B(v,w)|\le ...
5
votes
4answers
1k views

Generalization of the Polarisation Formula for Symmetric Bilinear Forms to Symmetric multilinear Forms

Hello, Given a symmetric bilinear form $f:V\times V \to K$ , where $V$ is a vectorspace and $K$ is an appropriate field, define the quadratic form $q:V \to K$ as $q(v):= f(v,v)$. The Polarisation ...
5
votes
1answer
176 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 ...
5
votes
1answer
148 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: ...
5
votes
0answers
74 views

Tensor matricizations and their decompositions

Suppose we have a 4-index tensor $t_{ijkl}$ (all 4 dimensions are equal size). We can make a matrix out of it by taking first and last two indexes as new indexes: $t_{ijkl} \rightarrow M_{ij, kl}$. ...
5
votes
0answers
149 views

Is there an analogue of spin/oscillator representation for the general linear Lie algebra?

(Work over complex numbers) Let $V$ be an orthogonal space. Let $Pin(V)$ be the double cover of the orthogonal group $O(V)$. Then $Pin(V)$ has a basic spin representation which we can think of as the ...
5
votes
0answers
381 views

Tensor rank of anti-symmetric tensor

Let $V$ be a vector space of dimension $n$. Let us consider $V^{\otimes n}=V\otimes V \ldots \otimes V$. This vector space contains one dimentional vector space $\wedge^n V$. My question is does it ...
4
votes
3answers
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$ ...
4
votes
2answers
492 views

Tensor and Hom objects for finite flat group schemes

Is the category of finite flat group schemes equipped with "tensor products" and Hom-objects, encoding bilinear maps? I'm aware that the Cartier dual is $Hom(\mathbb{G}, \mathbb{G}_m)$, and want to ...
4
votes
1answer
64 views

Exterior Powers of finite abelian group

Let $A$ be a finite $\mathbb{Z}$-module (i.e., a finite abelian group). My question is: for what $n\in \mathbb{Z}^{n\geq 2}$ the map \begin{align} \alpha_{n}:\bigwedge^nA&\to A^{\otimes n}\\ ...
4
votes
1answer
259 views

Can the method of small moments prove a bound on the norms of random trilinear forms?

If $F(v_1,\dots,v_k)$ is a $k$-linear form on $\mathbb R^n$, the norm I want to consider is $$ ||F|| = \sup \frac{ F(v_1,\dots, v_k)}{\prod_{i=1}^k \left|\left|v_i\right|\right|} $$ where the vector ...
4
votes
2answers
215 views

Reference for Tensors on graded spaces needed

Is there a good introduction to 1.) Tensor (co)algebras on graded vector spaces ? 2.) Tensor (co)algebras on graded modules ? In the research field of $L_\infty$-algebras there is some stuff, but ...
3
votes
3answers
750 views

A basis of the symmetric power consisting of powers

I have asked this question on math.se, but did not get an answer - I was quite surprised because I thought that lots of people must have though about this before: Let $V$ be a complex vector space ...
3
votes
3answers
711 views

A NICE necessary and sufficient condition on positive semi-definiteness of a matrix with a special structure!

Let $$ A = \begin{pmatrix} \sum_{j\ne 1}a_{1j} & -a_{12} & \cdots & -a_{1n}\\ -a_{21} & \sum_{j\ne 2}a_{2j} & \cdots & -a_{2n}\\ \vdots & \vdots & \ddots & ...
3
votes
1answer
115 views

How to embed $S^2\mathbb{C}^2$ into $S^2S^3\mathbb{C}^2$ and get the ideal of the twisted cubic?

Let $X:=x^3$, $Y:=x^2y$, $Z:=xy^2$ and $W:=y^3$ be the 4 independent generators of $S^3\mathbb{C}^2$, and observe that the kernel of the natural epimorphism (total symmetrisation) $$ ...
3
votes
1answer
70 views

Relationship between $N_{A/K}$ and the reduced norm $\text{nr}_{A/k}$?

If $A$ is a finite-dimensional algebra over a field $k$, the usual norm $N_{A/k}: A \to k$ maps $a$ to the determinant of the $k$-linear endomorphism of $A$ given by $x \mapsto ax$. For $A \in ...
3
votes
1answer
136 views

Classification of 3-forms in dimension 7

I'm looking for a classification of $3$-forms over a real vector space of dimension $7$ as for the $3$-forms in dimension $6$. References on the latter case are R. Bryant On the geometry of almost ...
3
votes
1answer
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 ...
3
votes
1answer
946 views

Nonlinear matrix equation

Solve the following nonlinear equations for $v$ and $w$ $Avv^TAw=\lambda_1v+\lambda_2w$ $Aww^TAv=\lambda_1w+\lambda_2v$ $v^Tw=w^Tv=0$ $v^Tv=w^Tw=1$ where $\lambda_1, \lambda_2, \lambda_3$ are ...
3
votes
2answers
544 views

Relationship between curvature tensor, algebraic Bianchi identity and sectional curvature

I am currently trying to understand the algebraic Bianchi identity, and I am clearly missing some purely algebraic fact. Let $M$ be a Riemannian manifold, $R$ its curvature tensor (with index ...
3
votes
2answers
303 views

An expression with an alternating trilinear form, written in terms of the determinant and a symmetric bilinear form

I am trying to understand a line from MacLachlan/Reid's The Arithmetic of Hyperbolic 3-Manifolds (it's in 3.4 if you have the book), that seems it should be elementary but I can't seem to find where ...
3
votes
0answers
99 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 ...
2
votes
1answer
755 views

Spectral sequence of symmetric or exterior algebras?

This question is inspired by Hartshorne's exercise II.5.7 (c-d): the problem reads: Let $0\rightarrow \mathcal{F}'\rightarrow\mathcal{F}\rightarrow\mathcal{F}''\rightarrow0$ be a short exact sequence ...
2
votes
1answer
132 views

How to characterize the dual of an isotropic hyperplane?

Hi there! I have a very simple question, which requires an expert in multilinear algebra. $V$ is an $n$-dimensional vector space, and $\omega\in V^\ast\wedge V^\ast$ is a skew-symmetric form on it. ...
2
votes
0answers
44 views

A tensor equation related to an invariant of a diffeomorphism

Let $M$ be an $n$-dimensional differentiable manifold, $f : U \rightarrow V$ a diffeomorphism between open neighbourhoods $U$, $V$ of $M$ with $f(x)=x$ for some $x \in U$, and let $R$, $S$, $T$ be ...
2
votes
0answers
122 views

Real-rooted polynomials and higher rank matrices

For $A$ and $B$ being matrices of the same dimension and $B$ being rank $1$, one knows that $det(A+tB)$ is a linear polynomial in $t \in \mathbb{R}$. Hence by Taylor series it follows that $det(A + ...
1
vote
1answer
141 views

Is there an algebraic way to characterise the ordinary integral flags?

Fix a vector space $V$ and an integer $1\leq n<\dim V$. If $\mathcal{I}\subseteq\Lambda^\bullet V^*$ is an ideal, I denote by $\mathcal{I}^i:=\mathcal{I}\cap\Lambda^iV^*$ its $i^\textrm{th}$ ...
1
vote
1answer
65 views

Image of skew-symmetric bilinear map which is never zero on linearly independent vectors

I hope this is not too elementary. Let $B: V\ \times V \to W$ be a skew-symmetric bilinear map where $V$, $W$ are finite dimensional real vector spaces. Assume that $B (u, v)$ is never zero for ...
1
vote
1answer
389 views

A multilinear question and its smooth version

Let $E$ and $F$ be two finite dimensional vector spaces. For every $k\in \mathbb{N}$, $E^{k}$ has a natural vector space structure and is isomorphic to $E\otimes \mathbb{R}^{k}$, in a natural way. ...
1
vote
1answer
105 views

Lifting quadratic forms on the cotangent bundle to higher level forms

Backround In several complex variables, an essential tool is Hormander's machinery for solving the $\overline{\partial}$ problem with $L^2$ estimates. If $\alpha$ is a $(p,q+1)$ form on a domain ...
1
vote
1answer
166 views

Eigenvalue problem with quadratic constraints

$\circ$ Consider the following eigenvalue problem : $$Ax=\lambda x \hspace{0.5cm} (1)$$ where matrice $A \in \mathbb{R}_{n \times n}$ is a positive semi-definite with eigenvectors $x = ...