Let V be a normal affine variety over the real numbers R, and let S be a semi-algebraic subset of V(R). We study the subring B(S) of the coordinate ring of V consisting of the polynomials that are bounded on S. We introduce the notion of S-compatible completions of V, and we prove the existence of such completions when V is of dimension at most 2 or S=V(R). An S-compatible completion X of V yields an isomorphism of B(S) with the ring of regular functions on some (concretely specified) open subvariety of X. We prove that B(S) is a finitely generated R-algebra if S is open and of dimension at most 2, and we show that this result becomes false in higher dimensions.
We give a necessary and sufficient condition for a type of generalized power series to be algebraic over the ring of power series with coefficients in a finite field. This result extend a classical theorem of Huang-Stefanescu.
The Cox ring of an algebraic variety with torus action
研究了正规完备簇X上具有代数环面作用的Cox环.我们的第一个结果将X的Cox环与X的极大几何商的Cox环联系起来。作为结果，我们得到一个完整的描述的考克斯环的生成元和关系的品种与环面行动的复杂性。此外，我们提供了一个组合的方法来考克斯环使用的语言多面体因子。应用到光滑的k*-曲面，我们的结果给出了描述的Cox环的Orlik-Wagreich图。作为例子，我们根据Klyachko的描述，显式地计算了Picard数不超过2的Gorenstein del Pezzo k*-曲面的Cox环，以及秩为2的向量丛和余切丛在环面簇上投影的Cox环.
Given a morphism $F : X \rightarrow Y$ from a Mori Dream Space $X$ to a smooth Mori Dream Space $Y$ and quasicoherent sheaves $\mathcal{F}$ on $X$ and $\mathcal{G}$ on $Y$ , we describe the inverse image of $\mathcal{G}$ by $F$ and the direct image of $\mathcal{F}$ by $F$ in terms of the corresponding modules over the Cox rings graded in the class groups.
We investigate the structure of the Chow ring of the classifying stacks $BT$ of algebraic tori, as it has been defined by B. Totaro. Some previous work of N. Karpenko, A. Merkurjev, S. Blinstein and F. Scavia has shed some light on the structure of such rings. In particular Karpenko showed the absence of torsion classes in the case of permutation tori, while Merkurjev and Blinstein described in a very effective way the second Chow group $A^2(BT)$ in the general case. Building on this work, Scavia exhibited an example where $A^2(BT)_\text{tors}\neq 0$. Here, by making use of a very elementary a…
Tautological rings on Jacobian varieties of curves with automorphisms
设$J$是允许非平凡自同构的光滑射影复曲线$C$的雅可比矩阵，$A(J)$是$J$上有理系数模代数等价的代数圈环.我们在$A(J)$中提出了新的重言式环，它以自然的方式扩展了Beauville（Compos Math 140（3）：683-688，2004）研究的重言式环。证明了在$J$的特殊互补交换子簇上存在重言式环.
The exponential sum (ES) is a linear combination of characters of an additive group $\mathbb C^n$. The exponential analytic set (EAS) is a set of common zeroes of a finite tuple of ESs. We consider ES and EAS as an analogs of Laurent polynomial and of algebraic variety in complex torus $(\mathbb{C}\setminus0)^n$. Respectively we construct the ring of conditions for $\mathbb C^n$ as an analog of the ring of conditions for $(\mathbb{C}\setminus0)^n$. The construction of this ring is based on the definition of associated to EAS algebraic subvariety of some multidimensional torus and on the applyi…
We develop the theory of central ideals on commutative rings. We introduce and study the central seminormalization of a ring in another one. This seminormalization is related to the theory of regulous functions on real algebraic varieties. We provide a construction of the central seminormalization by a decomposition theorem in elementary central gluings. The existence of a central seminormalization is established in the affine case and for real schemes.
Algebraic valuation ring extensions as limits of complete intersection algebras
Simion Stoilow Institute of Mathematics of the Romanian Academy（罗马尼亚科学院西蒙·斯托伊洛数学研究所）；University of Bucharest, Faculty of Mathematics and Computer Science（布加勒斯特大学数学与计算机科学系）
Let $K$ be a characteristic zero algebraic function field with a valuation $ν$. Let $L$ be a finite extension of $K$ and $ω$ be an extension of $ν$ to $L$. We establish that the valuation ring $V_ω$ of $ω$ is essentially finitely generated over the valuation ring $V_ν$ of $ν$ if and only if the initial index $ε(ω|ν)$ is equal to the ramification index $e(ω|ν)$ of the extension. This gives a positive answer, for characteristic zero algebraic function fields, to a question posed by Hagen Knaf.
We consider the cobordism ring of involutions of a field of characteristic not two, whose elements are formal differences of classes of smooth projective varieties equipped with an involution, and relations arise from equivariant K-theory characteristic numbers. We investigate in detail the structure of this ring. Concrete applications are provided concerning involutions of varieties, relating the geometry of the ambient variety to that of the fixed locus, in terms of Chern numbers. In particular, we prove an algebraic analog of Boardman's five halves theorem in topology, of which we provide s…
In this paper, for any Milnor hypersurface we find the largest dimension of effective algebraic torus actions on it. The proof of the corresponding theorem is based on the computation of the automorphism group for any Milnor hypersurface. We find all generalised Buchstaber-Ray and Ray hypersurfaces that are toric varieties. We compute the Betti numbers of these hypersurfaces and describe their integral singular cohomology rings in terms of the cohomology of the corresponding ambient varieties.
We develop algebraic geometry for general Segal's Gamma-rings and show that this new theory unifies two approaches we had considered earlier on (for a geometry under Spec Z). The starting observation is that the category obtained by gluing together the category of commutative rings and that of pointed commutative monoids, that we used in our previous work to define F1-schemes, is naturally a full subcategory of the category of Segal's Gamma-rings. In this paper we develop the affine case of this general algebraic geometry: one distinctive feature is that the spectrum Spec(A) of a Gamma-ring is…
We consider differential rings of the form (K[x; y];D), where K is an algebraically closed field of characteristic zero and D : K[x; y] \to K[x; y] is a K-derivation. We study the Automorphism Group of such a ring and give criteria for deciding whether that group is an algebraic group. In most cases, from that study we deduce a primary classification of this type of differential ring up to conjugation with a polynomial automorphism.
The paper studies categories of definable subassignments with some category equivalences to semi-algebraic and constructible subsets of arc spaces of algebraic varieties. These materials allow us to compare the motivic measure of Cluckers-Loeser and the one of Denef-Loeser in certain classes of definable subassignments.
We prove an analog of Belyi's theorem for the algebraic surfaces. Namely, any non-singular algebraic surface can be defined over a number field if and only it covers the complex projective plane with ramification at three knotted two-dimensional spheres.
