Groebner bases for families of affine or projective schemes

dc.creatorWibmer, Michael
dc.date2006-08-01
dc.date.accessioned2026-07-07T07:21:15Z
dc.date.available2026-07-07T07:21:15Z
dc.descriptionLet $I$ be an ideal of the polynomial ring $A[x]=A[x_1,...,x_n]$ over the commutative, noetherian ring $A$. Geometrically $I$ defines a family of affine schemes over $\Spec(A)$: For $\p\in\Spec(A)$, the fibre over $\p$ is the closed subscheme of affine space over the residue field $k(\p)$, which is determined by the extension of $I$ under the canonical map $σ_\p:A[x]\to k(\p)[x]$. If $I$ is homogeneous there is an analogous projective setting, but again the ideal defining the fibre is $\sigI$. For a chosen term order this ideal has a unique reduced Gröbner basis which is known to contain considerable geometric information about the fibre. We study the behavior of this basis for varying $\p$ and prove the existence of a canonical decomposition of the base space $\Spec(A)$ into finitely many locally closed subsets over which the reduced Gröbner bases of the fibres can be parametrized in a suitable way.
dc.identifierhttps://arxiv.org/abs/math/0608019
dc.identifierhttp://arxiv.org/abs/math/0608019
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/115238
dc.subjectCommutative Algebra
dc.subjectAlgebraic Geometry
dc.titleGroebner bases for families of affine or projective schemes
dc.typetext

Files

Collections