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

learn more… | top users | synonyms

-2
votes
1answer
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
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
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
0answers
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
2answers
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
1answer
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) ...