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

**6**

votes

**0**answers

144 views

+50

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

**-1**

votes

**0**answers

47 views

### Orbit closures of symmetric bilinear form [migrated]

Let $A$ and $B$ be two real symmetric matrices in $M_n(\mathbb{R})$. I would like to learn about necessary and sufficient conditions for knowing when $B \in \overline{GL_n(\mathbb{R})\cdot A}$; where:
...

**3**

votes

**1**answer

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

**6**

votes

**0**answers

90 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$ ...

**27**

votes

**4**answers

914 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} & ...

**1**

vote

**0**answers

98 views

### Metric(s) on Grassmann Manifold and Plucker Embedding

I'm working on a numerical optimization problem that naturally lives on the Grassmann Manifold Gr$_N(\mathbb{C^M})$, however the objective function is defined on the alternating algebra given by the ...

**5**

votes

**1**answer

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

**3**

votes

**1**answer

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

**11**

votes

**0**answers

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

**0**

votes

**0**answers

133 views

### Symmetric kernel of tensor product

Let $V,W$ be two vector spaces, and let $L_i:V\rightarrow W$, $i=1,\ldots,n$ be $n$ linear maps with disjoint kernels $K_i$ of dimension $1$.
Consider the tensor product of these maps $L_1\otimes ...

**2**

votes

**0**answers

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

**0**

votes

**0**answers

51 views

### What can we say about variational energies here?

Let $V_{ij}^{lk}$ be any $nm \times nm$ real symmetric matrix, $\forall i,j,k,l$
\begin{equation}
V_{ij}^{kl}=V_{ji}^{lk}
\end{equation}
(So for the indices we have $1 \leq k,l \leq m$ and $1 \leq i,j ...

**2**

votes

**0**answers

107 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

**1**answer

93 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

**1**answer

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

**4**

votes

**1**answer

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

**6**

votes

**1**answer

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

**8**

votes

**1**answer

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

**1**

vote

**1**answer

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

**5**

votes

**1**answer

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

**6**

votes

**3**answers

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

**3**

votes

**2**answers

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

**0**

votes

**3**answers

2k views

### Multiplicative functions $\phi : M_n(F) \longrightarrow F$ with $\phi(I) = 1$

Let $F$ be an infinite field and let $f \in F[x_{11},x_{12},...,x_{nn}]$ be an arbitrary polynomial in $n^2$ variables. Consider the function $\phi : M_n(F)\longrightarrow F$ defined by ...

**1**

vote

**1**answer

148 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 = ...

**1**

vote

**1**answer

115 views

### Number of linear independent equations

Is there any general rule to find the number of linearly independent equations such that
$$L_i(T_{\mu\nu},\partial_\eta T_{\mu\nu},\partial_\omega\partial_\eta T_{\mu\nu},...)=0$$
where $L_i$ is a ...

**0**

votes

**0**answers

141 views

### When a hyperplane of symmetric forms is determined by a quadric hypersurface?

Let $L$ be a 2D real vector space, $L^*$ its dual, and $\{V,\omega\}$ the symplectic space with $V=L\oplus L^*$ and $\omega$ unambiguously defined by $\omega(l,\lambda):=\lambda(l)$, for all $l\in L$ ...

**3**

votes

**3**answers

508 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 & ...

**1**

vote

**0**answers

433 views

### Tensors as multilinear maps

I am aware that many books on differential geometry define tensors as multilinear maps. Namely
$$
V\otimes W := L_2(V^* \times W^*,\Bbb F)
$$
I am also aware that this space is isomorphic to the ...

**5**

votes

**0**answers

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

**-1**

votes

**1**answer

212 views

### para-complex structure [closed]

Definition :Let $V$ be a finite dimensional real vector space. A para-complex structure
on $V$ is an endomorphism $K$ :
$V \to V$ such that:
$K$ is an involution, that is $K^2 = Id_V$ ;
The ...

**3**

votes

**2**answers

280 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

**3**answers

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

**0**

votes

**1**answer

156 views

### Is there a wedge which operates on multiple vector spaces?

Let's say I have two vector spaces $V,W$ , and we have the graded algebras $\Lambda(V),\Lambda(W)$, each with an operation $\wedge$. I'd like to know if there are "many" $\wedge$ operators, or if ...

**7**

votes

**2**answers

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

**1**

vote

**0**answers

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

**5**

votes

**0**answers

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

**0**

votes

**1**answer

269 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

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

**0**

votes

**1**answer

129 views

### Nonlinear matrix equation 2

Solve the following nonlinear equations for $v$ and $w$
$Avv^TAw+Bvv^TBw=\lambda_1v+\lambda_2w$
$Aww^TAv+Bww^TBv=\lambda_1w+\lambda_2v$
$v^Tw=w^Tv=0$
$v^Tv=w^Tw=1$
where $\lambda_1, \lambda_2, ...

**3**

votes

**1**answer

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

**10**

votes

**3**answers

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

**2**

votes

**1**answer

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

**1**

vote

**0**answers

191 views

### Singular quadratic space

Let $(V,b)$ a symmetric bilinear space. An old theorem of Witt says that if $(V,b)$ is regular, then given a subspace $W$ of $V$ and an isometry $\sigma: W \to V$, there exists an isometry $\Sigma: V ...

**4**

votes

**4**answers

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

**7**

votes

**1**answer

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

**4**

votes

**3**answers

2k 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$ ...

**6**

votes

**2**answers

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

**4**

votes

**2**answers

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

**2**

votes

**1**answer

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

**0**

votes

**0**answers

477 views

### modified bessel fucntion of the third kind

Hi I'm doing a computation where the modified bessel function of the third kind is the main source of computational strain, we are using a 10,000 dimension's for our distribution, is there any easier ...