On the K-theory of planar cuspical curves and a new family of polytopes

الأصل · EN

Let k be a regular Fₚ-algebra, let A = k[x,y]/(xᵇ - yᵃ) be the coordinate ring of a planar cuspical curve, and let I = (x,y) be the ideal that defines the cusp point. We give a formula for the relative K-groups Kq(A,I) in terms of the groups of de Rham-Witt forms of the ring k. At present, the validity of the formula depends on a conjecture that concerns the combinatorial structure of a new family of polytopes that we call stunted regular cyclic polytopes. The polytopes in question appear as the intersections of regular cyclic polytopes with (certain) linear subspaces. We verify low-dimensional cases of the conjecture. This leads to unconditional new results on K₂ and K₃ which extend earlier results by Krusemeyer for K₀ and K₁.