arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1209.2828math.AGmath.ACmath.NT
收藏

algebraic variety的索引

The index of an algebraic variety

Ofer Gabber, Qing Liu, Dino Lorenzini

摘要:

设K是Hensel离散赋值环O_K的分式域.设X_K/K是容许正则模型X/O_K的光滑真几何连通格式。我们证明了X_K/K的指数δ(X_K/K)可以用只与模型X的特殊纤维X_k/k有关的数据显式地计算。我们给出了这个定理的两个证明,使用两个移动引理。其中一个移动引理涉及半局部戴德金整环谱上正则射影概形X上的水平1-圈,第二个移动引理可应用于不需要正则的FA-概型X上的0-圈.对证明这些移动引理所需的局部代数的研究使我们引入了奇异局部环(A,\m)的不变量γ(A):在\m中的所有\m -准素理想Q上的所有希尔伯特-塞缪尔重数e(Q,A)的最大公因数。我们把这个不变量γ(A)与Spec(A)的奇异性分解中的例外因子的指数联系起来,并利用X上锥的顶点处的局部环的不变量γ,给出了计算任意域K上P^n_K的光滑子簇X_K/K的指数的一种新方法.

英文摘要:

Let K be the field of fractions of a Henselian discrete valuation ring O_K. Let X_K/K be a smooth proper geometrically connected scheme admitting a regular model X/O_K. We show that the index δ(X_K/K) of X_K/K can be explicitly computed using data pertaining only to the special fiber X_k/k of the model X. We give two proofs of this theorem, using two moving lemmas. One moving lemma pertains to horizontal 1-cycles on a regular projective scheme X over the spectrum of a semi-local Dedekind domain, and the second moving lemma can be applied to 0-cycles on an FA-scheme X which need not be regular. The study of the local algebra needed to prove these moving lemmas led us to introduce an invariant γ(A) of a singular local ring (A, \m): the greatest common divisor of all the Hilbert-Samuel multiplicities e(Q,A), over all \m-primary ideals Q in \m. We relate this invariant γ(A) to the index of the exceptional divisor in a resolution of the singularity of Spec(A), and we give a new way of computing the index of a smooth subvariety X_K/K of P^n_K over any field K, using the invariant γof the local ring at the vertex of a cone over X.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑