Vol. 9, No. 8, 2015

Download this article
Download this article For screen
For printing
Recent Issues

Volume 18
Issue 12, 2133–2308
Issue 11, 1945–2131
Issue 10, 1767–1943
Issue 9, 1589–1766
Issue 8, 1403–1587
Issue 7, 1221–1401
Issue 6, 1039–1219
Issue 5, 847–1038
Issue 4, 631–846
Issue 3, 409–629
Issue 2, 209–408
Issue 1, 1–208

Volume 17, 12 issues

Volume 16, 10 issues

Volume 15, 10 issues

Volume 14, 10 issues

Volume 13, 10 issues

Volume 12, 10 issues

Volume 11, 10 issues

Volume 10, 10 issues

Volume 9, 10 issues

Volume 8, 10 issues

Volume 7, 10 issues

Volume 6, 8 issues

Volume 5, 8 issues

Volume 4, 8 issues

Volume 3, 8 issues

Volume 2, 8 issues

Volume 1, 4 issues

The Journal
About the journal
Ethics and policies
Peer-review process
 
Submission guidelines
Submission form
Editorial board
Editors' interests
 
Subscriptions
 
ISSN 1944-7833 (online)
ISSN 1937-0652 (print)
 
Author index
To appear
 
Other MSP journals
Noetherianity for infinite-dimensional toric varieties

Jan Draisma, Rob Eggermont, Robert Krone and Anton Leykin

Vol. 9 (2015), No. 8, 1857–1880
DOI: 10.2140/ant.2015.9.1857
Abstract

We consider a large class of monomial maps respecting an action of the infinite symmetric group, and prove that the toric ideals arising as their kernels are finitely generated up to symmetry. Our class includes many important examples where Noetherianity was recently proved or conjectured. In particular, our results imply Hillar–Sullivant’s independent set theorem and settle several finiteness conjectures due to Aschenbrenner, Martín del Campo, Hillar, and Sullivant.

We introduce a matching monoid and show that its monoid ring is Noetherian up to symmetry. Our approach is then to factorize a more general equivariant monomial map into two parts going through this monoid. The kernels of both parts are finitely generated up to symmetry: recent work by Yamaguchi–Ogawa–Takemura on the (generalized) Birkhoff model provides an explicit degree bound for the kernel of the first part, while for the second part the finiteness follows from the Noetherianity of the matching monoid ring.

Keywords
Noetherianity up to symmetry, binomial ideals
Mathematical Subject Classification 2010
Primary: 13E05
Secondary: 13P10, 14M25
Milestones
Received: 6 November 2014
Revised: 6 March 2015
Accepted: 12 June 2015
Published: 29 October 2015
Authors
Jan Draisma
Department of Mathematics and Computer Science
Technische Universiteit Eindhoven
P.O. Box 513, 5600 MB Eindhoven
Netherlands Vrije Universiteit and Centrum voor Wiskunde en Informatica
Amsterdam
Netherlands
Rob Eggermont
Department of Mathematics and Computer Science
Technische Universiteit Eindhoven
P.O. Box 513, 5600 MB Eindhoven
Netherlands
Robert Krone
School of Mathematics
Georgia Institute of Technology
686 Cherry Street
Atlanta, GA 30332-0160
United States
Anton Leykin
School of Mathematics
Georgia Institute of Technology
686 Cherry Street
Atlanta, GA 30332-0160
United States