{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q1292234","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q1292234","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q1292234","kernelVersion":"v1","immutable":true,"modified":"2025-07-16T20:50:11Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q1292234","name":"\\(K\\)-theory of affine toric varieties","headline":"\\(K\\)-theory of affine toric varieties","description":"scientific article; zbMATH DE number 1305712","url":"https://portal.mardi4nfdi.de/entity/Q1292234","datePublished":"1999-06-20","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q306510"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q180135"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.4310/HHA.1999.V1.N1.A5","url":"https://doi.org/10.4310/HHA.1999.V1.N1.A5"},"sameAs":["https://doi.org/10.4310/HHA.1999.V1.N1.A5"],"comment":"This paper contains two sections. The first is a survey of the results in a long series of papers by the author and others, mostly concerned with the regularity of monoid rings for the functors \\(K_i\\) of algebraic \\(K\\)-theory. If \\(F\\) is a functor from rings to abelian groups and \\(R\\) is a ring then \\(R\\) is \\(F\\)-regular if the inclusion \\(R\\to R[t]\\) (\\(t\\) an indeterminate over \\(R\\)) induces an isomorphism \\(F(R)\\to F(R[t])\\). All monoids will be commutative, cancellative, and torsion-free. Sometimes, but not always, they are finitely generated and have no units other than units of \\(R\\) (`trivial units'). A monoid \\(M\\) with quotient group \\(\\text{gp}(M)\\) is seminormal if \\(x\\in \\text{gp}(M)\\), \\(2x\\in M\\), \\(3x\\in M\\) implies \\(x\\in M\\). A few of these results are as follows: Theorem 1.1 [\\textit{J. Gubeladze}, ``Anderson's conjecture and the maximal monoid class over which projective modules are free'', Math. USSR Sb. 63, 165-180 (1989; Zbl 0668.13011); translation from Mat. Sb., Nov. Ser. 135(177), No. 2, 169-185 (1988; Zbl 0654.13013)]: For any principal ideal domain \\(R\\) and any monoid \\(M\\) (maybe infinitely generated and with non-trivial units) the following are equivalent: (a) \\(\\text{Pic}(R[M])=0\\); (b) \\(K_0(R[M]) = {\\mathbb Z}\\) (the integers); (c) finitely generated projective \\(R[M]\\)-modules are all free; (d) \\(M\\) is seminormal.    Theorem 1.1 is a confirmation of Anderson's conjecture [\\textit{D. F. Anderson}, ``Projective modules over subrings of \\(k[x,y]\\) generated by monomials'', Pac. J. Math. 79, 5-17 (1979; Zbl 0372.13006)] (by applying (b) to \\(M\\) and \\(M\\oplus {\\mathbb Z}\\) we see that \\(R[M]\\) is \\(K_0\\)-regular). There are similar \\(K_0\\)-results for regular rings \\(R\\), and also unstable results, i.e., results about projective modules themselves rather than the Grothendieck group \\(K_0\\). If \\(i>0\\) then it is harder for a monoid ring to be \\(K_i\\)-regular. However one can salvage \\(K_i\\)-regularity by considering \\(c\\)-divisible monoids and monoids \\(M\\) such that \\({\\mathbb Z}^n_+\\subset M\\subset {\\mathbb Q}^n_+\\) where \\({\\mathbb Z}^n_+\\) denotes the non-negative integers, similarly for the rationals \\({\\mathbb Q}\\). Then one has theorem 1.12 [\\textit{J. Gubeladze}, ``Geometric and algebraic representations of commutative cancellative monoids'', Proc. A. Razmadze Math. Inst. 113, 31-81 (1995; Zbl 0871.19001)]: \\(K_i(R) = K_i(R[M])\\) for any regular ring \\(R\\) provided \\(\\mathbb Z^n_+\\subset M\\subset \\mathbb Q^n_+\\), \\(i\\geq 1\\), \\(n\\geq 1\\) (and \\(M\\) has no non-trivial units and is \\(c\\)-divisible for some integer \\(c>1\\)).    The second section contains several conjectures, which in the words of the author ``include the results from section 1 in a uniform way and, simultaneously, provide their final possible generalizations''. To give one example of these conjectures, define an action of the positive integers \\(\\mathbb N\\) on \\(M\\) by \\(m\\to m^c\\) (writing \\(M\\) multiplicatively). Then we have conjecture 2.1: For any index \\(i\\in {\\mathbb Z_+}\\), any regular ring \\(R\\) and any monoid \\(M\\) without non-trivial units the multiplicative action of \\(\\mathbb N\\) on \\(K_i(R[M])/K_i(R)\\) is nilpotent.   A consequence of this is that if \\(M\\) is \\(c\\)-divisible without non-trivial units, then \\(K_i(R)=K_i(R[M])\\), generalizing, for example, theorem 1.12. There is another conjecture involving unstable results, phrased in Volodin's \\(K\\)-Theory [\\textit{I. A. Volodin}, ``Algebraic \\(K\\)-theory as extraordinary homology theory on the category of associative rings with unity'', Math. USSR Izv. 5(1971), 859-887 (1972; Zbl 0252.18010); translation from Izv. Akad. Nauk SSSR, Ser. mat. 35, 844-873 (1971; Zbl 0229.18010)]."},"provenance":{"prov:generatedAtTime":"2025-07-16T20:50:11Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}