A new class of finitely generated polynomial subalgebras without finite SAGBI bases. (English) Zbl 1514.13017
Summary: The notion of initial ideal for an ideal of a polynomial ring appears in the theory of Gröbner basis. Similarly to the initial ideals, we can define the initial algebra for a subalgebra of a polynomial ring, or more generally of a Laurent polynomial ring, which is used in the theory of SAGBI (Subalgebra Analogue to Gröbner Bases for Ideals) basis. The initial algebra of a finitely generated subalgebra is not always finitely generated, and no general criterion for finite generation is known.
The aim of this paper is to present a new class of finitely generated subalgebras having non-finitely generated initial algebras. The class contains a subalgebra for which the set of initial algebras is uncountable, as well as a subalgebra with finitely many distinct initial algebras.
The aim of this paper is to present a new class of finitely generated subalgebras having non-finitely generated initial algebras. The class contains a subalgebra for which the set of initial algebras is uncountable, as well as a subalgebra with finitely many distinct initial algebras.
MSC:
| 13E15 | Commutative rings and modules of finite generation or presentation; number of generators |
| 13P10 | Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) |
References:
| [1] | Anderson, Sarah, A topological structure on certain initial algebras, Topology Appl., 199-208 (2015) · Zbl 1326.06014 · doi:10.1016/j.topol.2014.11.008 |
| [2] | Atiyah, M. F., Introduction to commutative algebra, ix+128 pp. (1969), Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont. · Zbl 1351.13002 |
| [3] | Bruns, Winfried, Polytopes, rings, and \(K\)-theory, Springer Monographs in Mathematics, xiv+461 pp. (2009), Springer, Dordrecht · Zbl 1168.13001 · doi:10.1007/b105283 |
| [4] | Bruns, Winfried, Initial algebras of determinantal rings, Cohen-Macaulay and Ulrich ideals, Michigan Math. J., 71-81 (2005) · Zbl 1082.13008 · doi:10.1307/mmj/1114021085 |
| [5] | Conca, Aldo, Sagbi bases with applications to blow-up algebras, J. Reine Angew. Math., 113-138 (1996) · Zbl 0866.13010 · doi:10.1515/crll.1996.474.113 |
| [6] | Derksen, Harm, Newton polytopes of invariants of additive group actions, J. Pure Appl. Algebra, 187-197 (2001) · Zbl 0986.13005 · doi:10.1016/S0022-4049(99)00151-6 |
| [7] | Dicks, Warren, Automorphisms of the polynomial ring in two variables, Publ. Sec. Mat. Univ. Aut\`onoma Barcelona, 155-162 (1983) · Zbl 0593.13005 |
| [8] | Duncan, Alexander, Sagbi bases for rings of invariant Laurent polynomials, Proc. Amer. Math. Soc., 835-844 (2009) · Zbl 1160.13002 · doi:10.1090/S0002-9939-08-09538-5 |
| [9] | G\"{o}bel, Manfred, A constructive description of SAGBI bases for polynomial invariants of permutation groups, J. Symbolic Comput., 261-272 (1998) · Zbl 0916.13011 · doi:10.1006/jsco.1998.0210 |
| [10] | Kapur, Deepak, Computers and mathematics. A completion procedure for computing a canonical basis for a \(k\)-subalgebra, 1-11 (1989), Springer, New York · Zbl 0692.13001 |
| [11] | Kaveh, Kiumars, SAGBI bases and degeneration of spherical varieties to toric varieties, Michigan Math. J., 109-121 (2005) · Zbl 1076.14071 · doi:10.1307/mmj/1114021088 |
| [12] | Kaveh, Kiumars, Newton-Okounkov bodies, semigroups of integral points, graded algebras and intersection theory, Ann. of Math. (2), 925-978 (2012) · Zbl 1270.14022 · doi:10.4007/annals.2012.176.2.5 |
| [13] | Kaveh, Kiumars, Khovanskii bases, higher rank valuations, and tropical geometry, SIAM J. Appl. Algebra Geom., 292-336 (2019) · Zbl 1423.13145 · doi:10.1137/17M1160148 |
| [14] | Kogan, Mikhail, Toric degeneration of Schubert varieties and Gelfand-Tsetlin polytopes, Adv. Math., 1-17 (2005) · Zbl 1084.14049 · doi:10.1016/j.aim.2004.03.017 |
| [15] | Kuroda, Shigeru, The infiniteness of the SAGBI (subalgebra analogue to Gr\"{o}bner bases for ideals) bases for certain invariant rings, S\={u}rikaisekikenky\={u}sho K\={o}ky\={u}roku, 51-62 (2000) · Zbl 0969.13507 |
| [16] | Kuroda, Shigeru, The infiniteness of the SAGBI bases for certain invariant rings, Osaka J. Math., 665-680 (2002) · Zbl 1045.13012 |
| [17] | Kuroda, Shigeru, Affine algebraic geometry. Initial algebras and the Jung-van der Kulk theorem, CRM Proc. Lecture Notes, 193-204 (2011), Amer. Math. Soc., Providence, RI · Zbl 1238.14051 · doi:10.1090/crmp/054/10 |
| [18] | Kuroda, Shigeru, Recent developments in polynomial automorphisms: the solution of Nagata’s conjecture and afterwards [translation of MR3058805], Sugaku Expositions, 177-201 (2016) |
| [19] | L. Makar-Limanov, On automorphisms of certain algebras, PhD Thesis, Moscow, 1970. · Zbl 0218.13006 |
| [20] | Reichstein, Zinovy, SAGBI bases in rings of multiplicative invariants, Comment. Math. Helv., 185-202 (2003) · Zbl 1043.13008 · doi:10.1007/s000140300008 |
| [21] | Robbiano, Lorenzo, EUROCAL ’85, Vol. 2. Term orderings on the polynomial ring, Lecture Notes in Comput. Sci., 513-517 (1985), Springer, Berlin · Zbl 0584.13016 · doi:10.1007/3-540-15984-3\_321 |
| [22] | Robbiano, Lorenzo, Commutative algebra. Subalgebra bases, Lecture Notes in Math., 61-87 (1988), Springer, Berlin · Zbl 0725.13013 · doi:10.1007/BFb0085537 |
| [23] | Schwartz, Niels, Stability of Gr\"{o}bner bases, J. Pure Appl. Algebra, 171-186 (1988) · Zbl 0664.13006 · doi:10.1016/0022-4049(88)90018-7 |
| [24] | Shestakov, Ivan P., The tame and the wild automorphisms of polynomial rings in three variables, J. Amer. Math. Soc., 197-227 (2004) · Zbl 1056.14085 · doi:10.1090/S0894-0347-03-00440-5 |
| [25] | Soprunova, Evgenia, Lower bounds for real solutions to sparse polynomial systems, Adv. Math., 116-151 (2006) · Zbl 1102.14040 · doi:10.1016/j.aim.2005.05.016 |
| [26] | Sottile, Frank, A sagbi basis for the quantum Grassmannian, J. Pure Appl. Algebra, 347-366 (2001) · Zbl 0992.14023 · doi:10.1016/S0022-4049(00)00053-0 |
| [27] | Sturmfels, Bernd, Algorithms in invariant theory, Texts and Monographs in Symbolic Computation, vi+197 pp. (1993), Springer-Verlag, Vienna · Zbl 0802.13002 · doi:10.1007/978-3-7091-4368-1 |
| [28] | Sturmfels, Bernd, Gr\"{o}bner bases and convex polytopes, University Lecture Series, xii+162 pp. (1996), American Mathematical Society, Providence, RI · Zbl 0856.13020 · doi:10.1090/ulect/008 |
| [29] | Sturmfels, Bernd, Sagbi bases of Cox-Nagata rings, J. Eur. Math. Soc. (JEMS), 429-459 (2010) · Zbl 1202.14053 · doi:10.4171/JEMS/204 |
| [30] | Tesemma, Mohammed, On initial algebras of multiplicative invariants, J. Algebra, 3851-3865 (2008) · Zbl 1154.13004 · doi:10.1016/j.jalgebra.2008.06.030 |
| [31] | Thi\'{e}ry, N. M., Invariant theory in all characteristics. Convex cones and SAGBI bases of permutation invariants, CRM Proc. Lecture Notes, 259-263 (2004), Amer. Math. Soc., Providence, RI · Zbl 1086.13502 · doi:10.1090/crmp/035/19 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
