def9159495003e32.tex
1: \begin{abstract}
2: Mulmuley and Sohoni~\cite{gct1,gct2} proposed to view the permanent versus determinant problem
3: as a specific orbit closure problem and to attack it by methods from geometric invariant
4: and representation theory.
5: We adopt these ideas towards the goal of showing lower bounds on the border rank of specific tensors,
6: in particular for matrix multiplication. We thus study specific orbit closure problems for
7: the group $G =\GL(W_1)\times\GL(W_2)\times\GL(W_3)$ acting on the tensor product
8: $W=W_1\otimes W_2\otimes W_3$ of complex finite dimensional vector spaces.
9: Let $G_s =\SL(W_1)\times\SL(W_2)\times\SL(W_3)$.
10: A key idea from~\cite{gct2} is that the irreducible $G_s$-representations occurring
11: in the coordinate ring of the $G$-orbit closure of a stable tensor~$w\in W$
12: are exactly those having a nonzero invariant with respect to
13: the stabilizer group of~$w$.
14: 
15: However, we prove that by considering $G_s$-representations,
16: as suggested in~\cite{gct1,gct2},
17: only trivial lower bounds on border rank can be shown.
18: It is thus necessary to study $G$-representa\-tions,
19: which leads to geometric extension problems that are beyond the scope of
20: the subgroup restriction problems emphasized in~\cite{gct1,gct2}.
21: %While we do not know how to address these extension problems in general,
22: %we are able to treat certain small examples, aided by computer calculations,
23: %and resulting in very modest lower bounds.
24: We prove a very modest lower bound on the border rank
25: of matrix multiplication tensors using $G$-representations.
26: This shows at least that the
27: barrier for $G_s$-representations can be overcome. 
28: %
29: To advance, we suggest the coarser approach to replace the semigroup of representations
30: of a tensor by its moment polytope.
31: We prove first results towards determining the moment polytopes of
32: matrix multiplication and unit tensors.
33: \end{abstract}
34: