Geometric aspects of iterated matrix multiplication (Q298019): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
Let \(n,q>0\) be integers, and let \(IMM_q^n\) be the polynomial on \(n\)-tuples of \(q\times q\) matrices whose value on \((X_1,\dots,X_n)\) is \(\text{tr}(X_n\cdots X_1)\). Then \(IMM_q^n\) is a homogeneous polynomial in \(nq^2\) variables; if we let \(V\) be the complex vector space of \(n\)-tuples of \(q\times q\) matrices, then we write \(IMM_q^n\in S^{n}V\). In the work under review, some geometric properties of \(IMM_q^n\) are given. The tools used are representation theory and algebraic geometry. Geometric Complexity Theory seeks to study polynomials which are characterized by their symmetry group. Recall that \(\text{GL}(V)\) acts on \(S^nV\); the symmetry group \(\mathcal{S}\) of \(IMM_q^n\in S^nV\) is the stabilizer of \(IMM_q^n\) under this action. A main result in this paper is that \(\mathcal{S}\cong \mathcal{S}_0\rtimes D_n\), where \(\mathcal{S}_0\) is the connected component of the identity of \(\mathcal{S}\) and \(D_n\) is the group of symmetries of a regular \(n\)-gon. Alternatively, any polynomial in \(S^nV\) which is stabilized by \(\mathcal{S}_0\) is shown to be a complex multiple of \(IMM_q^n\), hence \(IMM_q^n\) is characterized by its stabilizer. The remainder of the results concerns the hypersurface determined by the polynomial. Let \(\mathcal{I}mm_q^n\) be the hypersurface \(V(IMM_q^n)\subseteq\mathbb{P}V^*\). It is shown that its dual variety \((\mathcal{I}mm_q^n)^{\vee}\) is also a hypersurface in \(\mathbb{P}V^*\). Let \(\mathcal{S}ing_q^n\) denote the singular locus of the affine cone in \(V^*\) over \(V(IMM_q^n)\subseteq\mathbb{P}V^*\). Then a description of the irreducible components of \(\mathcal{S}ing_q^n\) in terms of certain nilpotent representations of the Euclidean equioriented quiver and dimensions are computed; examples are provided for \(n\leq 3\). Finally, let \(\mathcal{W}=V(J)\) where \(J\) is the ideal of \(IMM_q^n\) generated by all \(n-2\) order partial derivatives. The irreducible components of \(\mathcal{W}\) are given, and it is shown that \(\text{dim} \mathcal{W}=\lfloor (5/4)q^2 \rfloor\). | |||
Property / review text: Let \(n,q>0\) be integers, and let \(IMM_q^n\) be the polynomial on \(n\)-tuples of \(q\times q\) matrices whose value on \((X_1,\dots,X_n)\) is \(\text{tr}(X_n\cdots X_1)\). Then \(IMM_q^n\) is a homogeneous polynomial in \(nq^2\) variables; if we let \(V\) be the complex vector space of \(n\)-tuples of \(q\times q\) matrices, then we write \(IMM_q^n\in S^{n}V\). In the work under review, some geometric properties of \(IMM_q^n\) are given. The tools used are representation theory and algebraic geometry. Geometric Complexity Theory seeks to study polynomials which are characterized by their symmetry group. Recall that \(\text{GL}(V)\) acts on \(S^nV\); the symmetry group \(\mathcal{S}\) of \(IMM_q^n\in S^nV\) is the stabilizer of \(IMM_q^n\) under this action. A main result in this paper is that \(\mathcal{S}\cong \mathcal{S}_0\rtimes D_n\), where \(\mathcal{S}_0\) is the connected component of the identity of \(\mathcal{S}\) and \(D_n\) is the group of symmetries of a regular \(n\)-gon. Alternatively, any polynomial in \(S^nV\) which is stabilized by \(\mathcal{S}_0\) is shown to be a complex multiple of \(IMM_q^n\), hence \(IMM_q^n\) is characterized by its stabilizer. The remainder of the results concerns the hypersurface determined by the polynomial. Let \(\mathcal{I}mm_q^n\) be the hypersurface \(V(IMM_q^n)\subseteq\mathbb{P}V^*\). It is shown that its dual variety \((\mathcal{I}mm_q^n)^{\vee}\) is also a hypersurface in \(\mathbb{P}V^*\). Let \(\mathcal{S}ing_q^n\) denote the singular locus of the affine cone in \(V^*\) over \(V(IMM_q^n)\subseteq\mathbb{P}V^*\). Then a description of the irreducible components of \(\mathcal{S}ing_q^n\) in terms of certain nilpotent representations of the Euclidean equioriented quiver and dimensions are computed; examples are provided for \(n\leq 3\). Finally, let \(\mathcal{W}=V(J)\) where \(J\) is the ideal of \(IMM_q^n\) generated by all \(n-2\) order partial derivatives. The irreducible components of \(\mathcal{W}\) are given, and it is shown that \(\text{dim} \mathcal{W}=\lfloor (5/4)q^2 \rfloor\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Alan Koch / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14L40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 15A86 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16G20 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6595338 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
iterated matrix multiplication | |||
Property / zbMATH Keywords: iterated matrix multiplication / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
symmetry group of a polynomial | |||
Property / zbMATH Keywords: symmetry group of a polynomial / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Jacobian loci of hypersurfaces | |||
Property / zbMATH Keywords: Jacobian loci of hypersurfaces / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: Book3264Examples / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2271578561 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1512.00766 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3895625 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Degenerations for the representations of a quiver of type \({\mathcal A}_ m\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The geometry of representations of \(A_m\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5704250 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computing Algebraic Formulas Using a Constant Number of Registers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Linear preservers and representations with a 1-dimensional ring of invariants / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Explicit lower bounds via geometric complexity theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4551338 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An Overview of Mathematical Issues Arising in the Geometric Complexity Theory Approach to $\mathbf{VP}\neq\mathbf{VNP}$ / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Separating multilinear branching programs and formulas / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: 3264 and All That / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4002278 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lower bounds for depth 4 formulas computing iterated matrix multiplication / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4293510 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3096060 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Geometric complexity theory: an introduction for geometers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An introduction to geometric complexity theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hypersurfaces with degenerate duals and the geometric complexity theory program / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Geometric Complexity Theory II: Towards Explicit Obstructions for Embeddings among Class Varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lie groups. An approach through invariants and representations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Degenerations for representations of quivers with relations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4466530 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Degenerations for modules over representation-finite algebras / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 05:12, 12 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Geometric aspects of iterated matrix multiplication |
scientific article |
Statements
Geometric aspects of iterated matrix multiplication (English)
0 references
20 June 2016
0 references
Let \(n,q>0\) be integers, and let \(IMM_q^n\) be the polynomial on \(n\)-tuples of \(q\times q\) matrices whose value on \((X_1,\dots,X_n)\) is \(\text{tr}(X_n\cdots X_1)\). Then \(IMM_q^n\) is a homogeneous polynomial in \(nq^2\) variables; if we let \(V\) be the complex vector space of \(n\)-tuples of \(q\times q\) matrices, then we write \(IMM_q^n\in S^{n}V\). In the work under review, some geometric properties of \(IMM_q^n\) are given. The tools used are representation theory and algebraic geometry. Geometric Complexity Theory seeks to study polynomials which are characterized by their symmetry group. Recall that \(\text{GL}(V)\) acts on \(S^nV\); the symmetry group \(\mathcal{S}\) of \(IMM_q^n\in S^nV\) is the stabilizer of \(IMM_q^n\) under this action. A main result in this paper is that \(\mathcal{S}\cong \mathcal{S}_0\rtimes D_n\), where \(\mathcal{S}_0\) is the connected component of the identity of \(\mathcal{S}\) and \(D_n\) is the group of symmetries of a regular \(n\)-gon. Alternatively, any polynomial in \(S^nV\) which is stabilized by \(\mathcal{S}_0\) is shown to be a complex multiple of \(IMM_q^n\), hence \(IMM_q^n\) is characterized by its stabilizer. The remainder of the results concerns the hypersurface determined by the polynomial. Let \(\mathcal{I}mm_q^n\) be the hypersurface \(V(IMM_q^n)\subseteq\mathbb{P}V^*\). It is shown that its dual variety \((\mathcal{I}mm_q^n)^{\vee}\) is also a hypersurface in \(\mathbb{P}V^*\). Let \(\mathcal{S}ing_q^n\) denote the singular locus of the affine cone in \(V^*\) over \(V(IMM_q^n)\subseteq\mathbb{P}V^*\). Then a description of the irreducible components of \(\mathcal{S}ing_q^n\) in terms of certain nilpotent representations of the Euclidean equioriented quiver and dimensions are computed; examples are provided for \(n\leq 3\). Finally, let \(\mathcal{W}=V(J)\) where \(J\) is the ideal of \(IMM_q^n\) generated by all \(n-2\) order partial derivatives. The irreducible components of \(\mathcal{W}\) are given, and it is shown that \(\text{dim} \mathcal{W}=\lfloor (5/4)q^2 \rfloor\).
0 references
iterated matrix multiplication
0 references
symmetry group of a polynomial
0 references
Jacobian loci of hypersurfaces
0 references
0 references