arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1401.0691math.AG
收藏

通过非约化作用的射影线性构形

Projective linear configurations via non-reductive actions

Brent Doran, Noah Giansiracusa

摘要:

研究了射影空间沿任意线性子空间集合的迭代爆破。通过用一个$\mathbb{A}^1$ -同伦等价模型代替泛torsor,该模型是由$\mathbb{A}^1$ -纤维丛而不仅仅是代数线丛建立的,我们构造了一个“代数一致化”:X是仿射空间与一个可解群作用的商。这提供了一个干净的字典,使用一个单一的坐标系,代数和几何之间的超曲面:有效因子的特点,通过复曲面和不变理论的技术。特别地,Cox环是Pic(X)-分次多项式环的不变子环,并且它是两个显式多项式生成环的交.当所有线性子空间是点时,这恢复了Mukai定理,同时也给了它一个几何证明和拓扑直观。因此,在任何程度上描述Cox(X)都是算法性的,并且当Cox(X)是非线性生成时,验证有限生成并计算显式表示是算法性的。我们详细考虑了$\overline{M}_{0,n}$的特殊情况。这里的代数一致化定义在整数上。它承认一个自然的模解释,它产生了一个精确的意义,其中$\overline{M}_{0,n}$是“一个非线性的$\mathbb{G}_a$远离”是一个复曲面品种。Hu-Keel问题成为$\mathbb{G}_a$的Hilbert第14问题的一个特例。

英文摘要:

We study the iterated blow-up X of projective space along an arbitrary collection of linear subspaces. By replacing the universal torsor with an $\mathbb{A}^1$-homotopy equivalent model, built from $\mathbb{A}^1$-fiber bundles not just algebraic line bundles, we construct an "algebraic uniformization": X is a quotient of affine space by a solvable group action. This provides a clean dictionary, using a single coordinate system, between the algebra and geometry of hypersurfaces: effective divisors are characterized via toric and invariant-theoretic techniques. In particular, the Cox ring is an invariant subring of a Pic(X)-graded polynomial ring and it is an intersection of two explicit finitely generated rings. When all linear subspaces are points, this recovers a theorem of Mukai while also giving it a geometric proof and topological intuition. Consequently, it is algorithmic to describe Cox(X) up to any degree, and when Cox(X) is finitely generated it is algorithmic to verify finite generation and compute an explicit presentation. We consider in detail the special case of $\overline{M}_{0,n}$. Here the algebraic uniformization is defined over the integers. It admits a natural modular interpretation, and it yields a precise sense in which $\overline{M}_{0,n}$ is "one non-linearizable $\mathbb{G}_a$ away" from being a toric variety. The Hu-Keel question becomes a special case of Hilbert's 14th problem for $\mathbb{G}_a$.

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

↑