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

**2**

votes

**1**answer

691 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

493 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

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

**8**

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

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

**10**

votes

**0**answers

476 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

474 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

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