Fundamental invariants of orbit closures

DOI10.1016/J.JALGEBRA.2016.12.035zbMATH Open1359.68099arXiv1511.02927OpenAlexW2963988129MaRDI QIDQ517074FDOQ517074

Authors: Peter Bürgisser, Christian Ikenmeyer 

Publication date: 16 March 2017

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: For several objects of interest in geometric complexity theory, namely for the determinant, the permanent, the product of variables, the power sum, the unit tensor, and the matrix multiplication tensor, we introduce and study a fundamental SL-invariant function that relates the coordinate ring of the orbit with the coordinate ring of its closure. For the power sums we can write down this fundamental invariant explicitly in most cases. Our constructions generalize the two Aronhold invariants on ternary cubics. For the other objects we identify the invariant function conditional on intriguing combinatorial problems much like the well-known Alon-Tarsi conjecture on Latin squares. We provide computer calculations in small dimensions for these cases. As a main tool for our analysis, we determine the stabilizers, and we establish the polystability of all the mentioned forms and tensors (including the generic ones).

Full work available at URL: https://arxiv.org/abs/1511.02927

Recommendations

• Geometry of orbits of permanents and determinants
• Polystability in positive characteristic and degree lower bounds for invariant rings
• Geometric complexity theory and tensor rank
• Permanent versus determinant: not via saturations
• Geometric complexity theory and matrix powering

zbMATH Keywords

invariantsnon-normalitygeometric complexity theoryorbit closureAlon-Tarsi conjecture

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Determinants, permanents, traces, other special matrix functions (15A15) Actions of groups on commutative rings; invariant theory (13A50) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Geometric invariant theory (14L24)

Cites Work

• Classical algebraic geometry. A modern view
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Instability in invariant theory
• Title not available (Why is that?)
• Characterizing Valiant's algebraic complexity classes
• Sur une généralisation du groupe orthogonal à quatre variables
• Title not available (Why is that?)
• Title not available (Why is that?)
• Geometric complexity theory and tensor rank
• Proof of the Alon-Tarsi conjecture for \(n=2^rp\)
• An overview of mathematical issues arising in the geometric complexity theory approach to \(\mathbf{VP}\neq\mathbf{VNP}\)
• Geometric Complexity Theory II: Towards Explicit Obstructions for Embeddings among Class Varieties
• The conjectures of Alon-Tarsi and Rota in dimension prime minus one
• Explicit lower bounds via geometric complexity theory
• Adherences d'orbite et invariants
• Geometric complexity theory. I: An approach to the P vs. NP and related problems
• Arithmetic circuits: a chasm at depth 3
• Colorings and orientations of graphs
• On the automorphisms of hypersurfaces
• On the ideals of secant varieties of Segre varieties
• Rank and optimal computation of generic tensors
• An Invariant Regarding Waring’s Problem for Cubic Polynomials
• Principal orbit types for algebraic transformation spaces in characteristic zero
• On rectangular Kronecker coefficients.
• On the Kronecker product of Schur functions of two row shapes
• Gauss maps and plethysm
• \((\mathrm{GL}_n,\mathrm{GL}_m)\)-duality and symmetric plethysm
• Ternary trilinear forms in the field of complex numbers
• Title not available (Why is that?)
• The classification of (3, 3, 3) trilinear forms.
• Secants of minuscule and cominuscule minimal orbits
• On varieties of optimal algorithms for the computation of bilinear mappings. I. The isotropy group of a bilinear mapping
• On vanishing of Kronecker coefficients
• Connections between conjectures of Alon-Tarsi, Hadamard-Howe, and integrals over the special unitary group
• Partial derivatives in arithmetic complexity and beyond
• Permanent versus determinant: not via saturations
• The collected mathematical papers. 14 volume set
• The Permanent Function
• Title not available (Why is that?)
• No occurrence obstructions in geometric complexity theory
• A study of the representations supported by the orbit closure of the determinant

Cited In (14)

• Orbit closures and invariants
• Polystability in positive characteristic and degree lower bounds for invariant rings
• Local Coordinates about a Family of Closed Orbits
• Fundamental Invariants of Tensors, Latin Hypercubes, and Rectangular Kronecker Coefficients
• Equations for secant varieties of Chow varieties
• Title not available (Why is that?)
• Geometric complexity theory and matrix powering
• On subtensors of high partition rank
• Some unimodal sequences of Kronecker coefficients
• 96120: the degree of the linear orbit of a cubic surface
• No occurrence obstructions in geometric complexity theory
• A study of the representations supported by the orbit closure of the determinant
• Geometry of orbits of permanents and determinants
• A note on normalizations of orbit closures

This page was built for publication: Fundamental invariants of orbit closures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q517074)