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

**3**

votes

**1**answer

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

**9**

votes

**0**answers

195 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

114 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

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

**1**

vote

**0**answers

72 views

### Minimize Product of Sums of Squared Distances

The Question
Given two sets of vectors $S_1$ and $S_2$，we want to find a unit vector $s$ such that
$$\{\sum_{u\in S_1}(\|u\|^2-\langle u, s \rangle^2)\}
\cdot
\{\sum_{v\in S_2}(\|v\|^2 - \langle v, ...

**0**

votes

**0**answers

49 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

99 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

91 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

48 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

224 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

269 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

312 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

382 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

145 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

218 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

393 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

144 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

114 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

133 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

470 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

399 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

135 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

207 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

273 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

670 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

486 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

338 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

260 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

188 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

707 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

470 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

121 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

755 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

286 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

323 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

207 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

636 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

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

**-2**

votes

**1**answer

300 views

### A Matrix equation

Let $A$ and $B$ be two $n \times n$ full-rank matrices.
Let $XAY = B$ be the given equation where $X$ and $Y$ are unknown $n \times n$ matrices. We know that $Vec(B) = (Y^{T} \otimes X)Vec(A)$. Under ...

**7**

votes

**1**answer

986 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

**1**answer

742 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

**0**answers

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

**4**

votes

**2**answers

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

**6**

votes

**1**answer

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