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

**-2**

votes

**1**answer

301 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

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

**1**answer

762 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

458 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

465 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

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