Skip to main content

Noetherianity up to Symmetry

Part of the Lecture Notes in Mathematics book series (LNMCIME,volume 2108)

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.

Keywords

  • Polynomial Ring
  • Coordinate Ring
  • Zariski Topology
  • Closed Embedding
  • Monomial Order

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (Canada)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions
Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6

Notes

  1. 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. 2.

    The reason for labelling with {0, , p − 1} rather than [p] will become apparent soon.

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

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

    CrossRef  MATH  MathSciNet  Google Scholar 

  2. M. Aschenbrenner, C.J. Hillar, Finite generation of symmetric ideals. Trans. Am. Math. Soc. 359(11), 5171–5192 (2007)

    CrossRef  MATH  MathSciNet  Google Scholar 

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

  4. A. Borel, Linear Algebraic Groups (Springer, New York, 1991)

    CrossRef  MATH  Google Scholar 

  5. A.E. Brouwer, J. Draisma, Equivariant Gröbner bases and the two-factor model. Math. Comput. 80, 1123–1133 (2011)

    CrossRef  MATH  MathSciNet  Google Scholar 

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

    CrossRef  MATH  Google Scholar 

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

  8. D.E. Cohen, On the laws of a metabelian variety. J. Algebra 5, 267–273 (1967)

    CrossRef  MATH  MathSciNet  Google Scholar 

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

    Google Scholar 

  10. J.A. de Loera, B. Sturmfels, R.R. Thomas, Gröbner bases and triangulations of the second hypersimplex. Combinatorica 15, 409–424 (1995)

    CrossRef  MATH  MathSciNet  Google Scholar 

  11. P. Diaconis, B. Sturmfels, Algebraic algorithms for sampling from conditional distributions. Ann. Stat. 26(1), 363–397 (1998)

    CrossRef  MATH  MathSciNet  Google Scholar 

  12. J. Draisma, Finiteness for the k-factor model and chirality varieties. Adv. Math. 223, 243–256 (2010)

    CrossRef  MATH  MathSciNet  Google Scholar 

  13. J. Draisma, J. Kuttler, Bounded-rank tensors are defined in bounded degree. Duke Math. J. 163(1), 35–63 (2014)

    CrossRef  MATH  MathSciNet  Google Scholar 

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

  15. V. Drensky, R. La Scala, Gröbner bases of ideals invariant under endomorphisms. J. Symb. Comput. 41(7), 835–846 (2006)

    CrossRef  MATH  Google Scholar 

  16. M. Drton, H. Xiao, Finiteness of small factor analysis models. Ann. Inst. Stat. Math. 62(4), 775–783 (2010)

    CrossRef  MathSciNet  Google Scholar 

  17. M. Drton, B. Sturmfels, S. Sullivant, Algebraic factor analysis: tetrads, pentads and beyond. Probab. Theory Relat. Fields 138(3–4), 463–493 (2007)

    CrossRef  MATH  MathSciNet  Google Scholar 

  18. L.D. Garcia, M. Stillman, B. Sturmfels, Algebraic geometry of Bayesian networks. J. Symb. Comput. 39(3–4), 331–355 (2005)

    CrossRef  MATH  MathSciNet  Google Scholar 

  19. R. Goodman, N.R. Wallach, in Symmetry, Representations, and Invariants. Graduate Texts in Mathematics, vol. 255 (Springer, New York, 2009)

    Google Scholar 

  20. G. Higman, Ordering by divisibility in abstract algebras. Proc. Lond. Math. Soc. III. Ser. 2, 326–336 (1952)

    CrossRef  MATH  MathSciNet  Google Scholar 

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

    CrossRef  MATH  Google Scholar 

  22. C.J. Hillar, S. Sullivant, Finite Gröbner bases in infinite dimensional polynomial rings and applications. Adv. Math. 221, 1–25 (2012)

    MathSciNet  Google Scholar 

  23. S. Hoşten, S. Sullivant, A finiteness theorem for Markov bases of hierarchical models. J. Comb. Theory Ser. A 114(2), 311–321 (2007)

    CrossRef  MATH  Google Scholar 

  24. J.B. Kruskal, Well-quasi ordering, the tree theorem, and Vazsonyi’s conjecture. Trans. Am. Math. Soc. 95, 210–225 (1960)

    MATH  MathSciNet  Google Scholar 

  25. J.M. Landsberg, L. Manivel, On the ideals of secant varieties of Segre varieties. Found. Comput. Math. 4(4), 397–422 (2004)

    CrossRef  MATH  MathSciNet  Google Scholar 

  26. J.M. Landsberg, J. Weyman, On tangential varieties of rational homogeneous varieties. J. Lond. Math. Soc. (2) 76(2), 513–530 (2007)

    Google Scholar 

  27. S. Lang, Algebra (Addison-Wesley, Reading, 1965)

    MATH  Google Scholar 

  28. R. La Scala, V. Levandovskyy, Letterplace ideals and non-commutative Gröbner bases. J. Symb. Comp. 44(10), 1374–1393 (2009)

    CrossRef  MATH  Google Scholar 

  29. C.St.J.A. Nash-Williams, On well-quasi-ordering finite trees. Proc. Camb. Philos. Soc. 59, 833–835 (1963)

    Google Scholar 

  30. L. Oeding, C. Raicu, Tangential varieties of segre-veronese varieties (2011). Preprint, avaibable from http://arxiv.org/abs/1111.6202

  31. C. Raicu, Secant varieties of Segre–Veronese varieties. Algebra Number Theory 6(8), 1817–1868 (2012)

    CrossRef  MATH  MathSciNet  Google Scholar 

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

  33. S.V. Sam, A. Snowden, Introduction to twisted commutative algebras. Preprint (2012), available from http://arxiv.org/abs/1209.5122

  34. A. Snowden, Syzygies of Segre embeddings and \(\Delta \)-modules. Duke Math. J. 162(2), 225–277 (2013)

    CrossRef  MATH  MathSciNet  Google Scholar 

Download references

Acknowledgement

The author was supported by a Vidi grant from the Netherlands Organisation for Scientific Research (NWO).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Jan Draisma .

Rights and permissions

Reprints 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