Abstract
These lecture notes for the 2013 CIME/CIRM summer school Combinatorial Algebraic Geometry deal with manifestly infinite-dimensional algebraic varieties with large symmetry groups. So large, in fact, that subvarieties stable under those symmetry groups are defined by finitely many orbits of equations—whence the title Noetherianity up to symmetry. It is not the purpose of these notes to give a systematic, exhaustive treatment of such varieties, but rather to discuss a few “personal favourites”: exciting examples drawn from applications in algebraic statistics and multilinear algebra. My hope is that these notes will attract other mathematicians to this vibrant area at the crossroads of combinatorics, commutative algebra, algebraic geometry, statistics, and other applications.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Snowden chose the notion of \(\Delta \)-varieties contravariant in the linear maps f i so as to make defining ideals and more general \(\Delta \) -modules [Sno13] depend covariantly on them.
- 2.
The reason for labelling with {0, …, p − 1} rather than [p] will become apparent soon.
- 3.
The convenient fact that the sum of two finitary words is again finitary explains our choice of labelling x 0, …, x p−1.
References
S. Aoki, A. Takemura, Minimal basis for connected Markov chain over 3 × 3 × k contingency tables with fixed two dimensional marginals. Aust. N. Z. J. Stat. 45, 229–249 (2003)
M. Aschenbrenner, C.J. Hillar, Finite generation of symmetric ideals. Trans. Am. Math. Soc. 359(11), 5171–5192 (2007)
M. Aschenbrenner, C.J. Hillar, An algorithm for finding symmetric Gröbner bases in infinite dimensional rings (2008). Preprint available from http://arxiv.org/abs/0801.4439
A. Borel, Linear Algebraic Groups (Springer, New York, 1991)
A.E. Brouwer, J. Draisma, Equivariant Gröbner bases and the two-factor model. Math. Comput. 80, 1123–1133 (2011)
W. Buczyńska, J. Buczyński, Secant varieties to high degree Veronese reembeddings, catalecticant matrices and smoothable Gorenstein schemes. J. Algebr. Geom. 23, 63–90 (2014)
T. Church, J.S. Ellenberg, B. Farb, FI-modules: a new approach to stability for S n -representations (2012). Preprint, available from http://arxiv.org/abs/1204.4533
D.E. Cohen, On the laws of a metabelian variety. J. Algebra 5, 267–273 (1967)
D.E. Cohen, Closure relations, Buchberger’s algorithm, and polynomials in infinitely many variables, in Computation Theory and Logic. Lecture Notes in Computer Science, vol. 270 (Springer, Berlin, 1987), pp. 78–87. 68Q40 (13B99)
J.A. de Loera, B. Sturmfels, R.R. Thomas, Gröbner bases and triangulations of the second hypersimplex. Combinatorica 15, 409–424 (1995)
P. Diaconis, B. Sturmfels, Algebraic algorithms for sampling from conditional distributions. Ann. Stat. 26(1), 363–397 (1998)
J. Draisma, Finiteness for the k-factor model and chirality varieties. Adv. Math. 223, 243–256 (2010)
J. Draisma, J. Kuttler, Bounded-rank tensors are defined in bounded degree. Duke Math. J. 163(1), 35–63 (2014)
J. Draisma, R.H. Eggermont, R. Krone, A. Leykin, Noetherianity for infinite-dimensional toric varieties (2013). Preprint available from http://arxiv.org/abs/1306.0828
V. Drensky, R. La Scala, Gröbner bases of ideals invariant under endomorphisms. J. Symb. Comput. 41(7), 835–846 (2006)
M. Drton, H. Xiao, Finiteness of small factor analysis models. Ann. Inst. Stat. Math. 62(4), 775–783 (2010)
M. Drton, B. Sturmfels, S. Sullivant, Algebraic factor analysis: tetrads, pentads and beyond. Probab. Theory Relat. Fields 138(3–4), 463–493 (2007)
L.D. Garcia, M. Stillman, B. Sturmfels, Algebraic geometry of Bayesian networks. J. Symb. Comput. 39(3–4), 331–355 (2005)
R. Goodman, N.R. Wallach, in Symmetry, Representations, and Invariants. Graduate Texts in Mathematics, vol. 255 (Springer, New York, 2009)
G. Higman, Ordering by divisibility in abstract algebras. Proc. Lond. Math. Soc. III. Ser. 2, 326–336 (1952)
C.J. Hillar, A.M. del Campo, Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals. J. Symb. Comput. 50, 314–334 (2013)
C.J. Hillar, S. Sullivant, Finite Gröbner bases in infinite dimensional polynomial rings and applications. Adv. Math. 221, 1–25 (2012)
S. Hoşten, S. Sullivant, A finiteness theorem for Markov bases of hierarchical models. J. Comb. Theory Ser. A 114(2), 311–321 (2007)
J.B. Kruskal, Well-quasi ordering, the tree theorem, and Vazsonyi’s conjecture. Trans. Am. Math. Soc. 95, 210–225 (1960)
J.M. Landsberg, L. Manivel, On the ideals of secant varieties of Segre varieties. Found. Comput. Math. 4(4), 397–422 (2004)
J.M. Landsberg, J. Weyman, On tangential varieties of rational homogeneous varieties. J. Lond. Math. Soc. (2) 76(2), 513–530 (2007)
S. Lang, Algebra (Addison-Wesley, Reading, 1965)
R. La Scala, V. Levandovskyy, Letterplace ideals and non-commutative Gröbner bases. J. Symb. Comp. 44(10), 1374–1393 (2009)
C.St.J.A. Nash-Williams, On well-quasi-ordering finite trees. Proc. Camb. Philos. Soc. 59, 833–835 (1963)
L. Oeding, C. Raicu, Tangential varieties of segre-veronese varieties (2011). Preprint, avaibable from http://arxiv.org/abs/1111.6202
C. Raicu, Secant varieties of Segre–Veronese varieties. Algebra Number Theory 6(8), 1817–1868 (2012)
S.V. Sam, A. Snowden, GL-equivariant modules over polynomial rings in infinitely many variables (2012). Preprint, available from http://arxiv.org/abs/1206.2233
S.V. Sam, A. Snowden, Introduction to twisted commutative algebras. Preprint (2012), available from http://arxiv.org/abs/1209.5122
A. Snowden, Syzygies of Segre embeddings and \(\Delta \)-modules. Duke Math. J. 162(2), 225–277 (2013)
Acknowledgement
The author was supported by a Vidi grant from the Netherlands Organisation for Scientific Research (NWO).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Draisma, J. (2014). Noetherianity up to Symmetry. In: Combinatorial Algebraic Geometry. Lecture Notes in Mathematics(), vol 2108. Springer, Cham. https://doi.org/10.1007/978-3-319-04870-3_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-04870-3_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-04869-7
Online ISBN: 978-3-319-04870-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)