A smooth complex rational affine surface with uncountably many real forms
Anna Bot
本文构造了一个光滑复有理仿射曲面，证明其具有不可数多个互不同构的实形式，揭示了实代数几何中实形式的丰富性与复杂性。
我们展示了一个光滑复有理仿射曲面，其具有不可数多个互不同构的实形式。
We exhibit a smooth complex rational affine surface with uncountably many nonisomorphic real forms.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We give a simple general method of construction of affine varieties with infinitely many exotic models. In particular we show that for every d>1 there exists a Stein manifold of dimension d which has uncountably many different structures of affine variety.
We prove that any smooth rational projective surface over the field of complex numbers has an open covering consisting of 3 subsets isomorphic to affine planes.
We describe a method to construct completions of affine spaces into total spaces of $\mathbb{Q}$-factorial terminal Mori fiber spaces over the projective line. As an application we provide families of examples with non-rational, birationally rigid and non-stably rational general fibers.
The goal of this paper is to introduce a new constructive geometric proof of the affine version of Chevalley's Theorem. This proof is algorithmic and a verbatim implementation resulted in an efficient code for computing the constructible image of rational maps between affine varieties. Our approach extends the known descriptions of uniform matrix product states to $\operatorname{uMPS}(2,2,5)$
We consider fibrations by affine lines on smooth affine surfaces obtained as complements of smooth rational curves $B$ in smooth projective surfaces $X$ defined over an algebraically closed field of characteristic zero. We observe that except for two exceptions, these surfaces $X \setminus B$ admit infinitely many families of $\mathbb{A}^1$-fibrations over the projective line with irreducible fibers and a unique singular fiber of arbitrarily large multiplicity. For $\mathbb{A}^1$-fibrations over the affine line, we give a new and essentially self-contained proof that the set of equivalence cla…
Consider a finite l-group acting on the affine space of dimension n over a field k, whose characteristic differs from l. We prove the existence of a fixed point, rational over k, in the following cases: --- The field k is p-special for some prime p different from its characteristic. --- The field k is perfect and fertile, and n = 3.
Vector Bundles on Rational Topologically Contractible Affine Threefolds
研究有理连通且维数为3的拓扑可缩光滑仿射复簇上代数向量丛是否平凡的问题，通过证明给出肯定回答，如证明科拉斯 - 拉塞尔三维空间上代数向量丛是平凡的。
In this paper we show that not all affine rational complex surfaces can be parametrized birationally and surjectively. For this purpose, we prove that, if S is an affine complex surface whose projective closure is smooth, a necessary condition for S to admit a birational surjective parametrization from an open subset of the affine complex plane is that the infinity curve of S must contain at least one rational component. As a consequence of this result we provide examples of affine rational surfaces that do not admit birational surjective parametrizations.
Abundance of affine algebraic structures on stabilized cotangent bundles of surfaces
该研究针对亏格$g\geq2$的定向曲面稳定余切丛，构造了不可数多个互不同构且与$T^\ast\Sigma_g\times\mathbb{C}$ Stein形变等价的光滑仿射三维流形，其族由$(6g-7)$维复orbifold参数化，解答了Ivan Smith的问题。
A smooth variety is called uniformly rational if every point admits a Zariski open neighborhood isomorphic to a Zariski open subset of the affine space. In this note we show that every smooth and rational affine variety endowed with an algebraic torus action such that the algebraic quotient has dimension 0 or 1 is uniformly rational.
Detecting affine equivalences between certain types of parametric curves, in any dimension
本文提出一种计算任意维度特定类型参数曲线间仿射等价性的算法，适用于有理曲线及含亚纯分量且有理逆的曲线，通过二元分解避免多项式系统求解，并在Maple中实现。
Semisimple derivations, rational slice and kernels over affine domains
研究半单导出在仿射域中的性质，重点探讨整数特征值导出的核结构，通过有理切片和局部化描述核的构造方法。
We explain an algorithm to calculate Arthur's weighted orbital integral in terms of the number of rational points on the fundamental domain of the associated affine Springer fiber. The strategy is to count the number of rational points of the truncated affine Springer fibers in two ways: by the Arthur-Kottwitz reduction and by the Harder-Narasimhan reduction. A comparison of results obtained from these two approaches gives us recurrence relations between the number of rational points on the fundamental domains of the affine Springer fibers and Arthur's weighted orbital integrals. As an example…
We characterize rational actions of the additive group on algebraic varieties defined over a field of characteristic zero in terms of a suitable integrability property of their associated velocity vector fields. This extends the classical correspondence between regular actions of the additive group on affine algebraic varieties and the so-called locally nilpotent derivations of their coordinate rings. This leads in particular to a complete characterization of regular additive group actions on semi-affine varieties in terms of their associated vector fields. Among other applications, we review …
Algebraic models of the line in the real affine plane
研究实仿射直线到实仿射平面的光滑有理闭嵌入，在双有理微分同胚下分类，发现存在非等价类，区别于经典范畴的唯一性。
We give sufficient conditions for a Frobenius category to be equivalent to the category of Gorenstein projective modules over an Iwanaga-Gorenstein ring. We then apply this result to the Frobenius category of special Cohen-Macaulay modules over a rational surface singularity, where we show that the associated stable category is triangle equivalent to the singularity category of a certain discrepant partial resolution of the given rational singularity. In particular, this produces uncountably many Iwanaga-Gorenstein rings of finite GP type. We also apply our method to representation theory, obt…
We classify closed curves isomorphic to the affine line in the complement of a smooth rational projective plane conic Q. Over a field of characteristic zero, we show that up to the action of the subgroup of the Cremona group of the plane consisting of birational endomorphisms restricting to biregular auto-morphisms outside Q, there are exactly two such lines: the restriction of a smooth conic osculating Q at a rational point and the restriction of the tangent line to Q at a rational point. In contrast, we give examples illustrating the fact that over fields of positive characteristic, there ex…
We provide the existence, for every complex rational smooth affine curve $Γ$, of a linear action of $\mathrm{Aut}(Γ)$ on the affine 3-dimensional space $\mathbb{A}^3$, together with a $\mathrm{Aut}(Γ)$-equivariant closed embedding of $Γ$ into $\mathbb{A}^3$. It is not possible to decrease the dimension of the target, the reason for this obstruction is also precisely described.
We establish estimates for the number of solutions of certain affine congruences. These estimates are then used to prove Manin's conjecture for a cubic surface split over Q and whose singularity type is D_4. This improves on a result of Browning and answers a problem posed by Tschinkel.
The Russell cubic is a smooth contractible affine complex threefold which is not isomorphic to affine three-space. In previous articles, we discussed the structure of the automorphism group of this variety. Here we review some consequences of this structure and generalize some results to other hypersurfaces which arise as deformations of Koras-Russell threefolds.
Non-complete rational T-varieties of complexity one
本文将复杂度一有理T-簇的Cox环组合方法从完备情形推广到非完备情形，并刻画了相应阶乘分次仿射代数的典范生成元与关系。
Schubert varieties in finite dimensional flag manifolds G/P are a well-studied family of projective varieties indexed by elements of the corresponding Weyl group W. In particular, there are many tests for smoothness and rational smoothness of these varieties. One key result due to Lakshmibai-Sandhya is that in type A the smooth Schubert varieties are precisely those that are indexed by permutations that avoid the patterns 4231 and 3412. Recently, there has been a flurry of research related to the infinite dimensional analogs of flag manifolds corresponding with G being a Kac-Moody group and W …
We generalize the results of Clemens, Ein, and Voisin regarding rational curves and zero cycles on generic projective complete intersections to the logarithmic setup.
Let $p$ be a prime, let $V/\mathbb{F}_p$ be an absolutely irreducible affine variety inside the affine $r$-space. In this paper, we consider the problem of how often a box $B$ will contain the expected number of points. In particular, we give a lower bound on the volume of $B$ that guarantees almost all translations of $B$ in the $r$-space contain the expected number of points. This shows that the Weil estimate holds in smaller regions in an "almost all" sense.
We study real rational models of the euclidean plane $\mathbb{R}^2$ up to isomorphisms and up to birational diffeomorphisms. The analogous study in the compact case, that is the classification of real rational models of the real projective plane $\mathbb{R}\mathbb{P}^2$ is well known: up to birational diffeomorphisms, there is only one model. A fake real plane is a nonsingular affine surface defined over the reals with homologically trivial complex locus and real locus diffeomorphic to $\mathbb{R}^2$ but which is not isomorphic to the real affine plane. We prove that fake planes exist by givin…
Varieties covered by affine spaces, uniformly rational varieties and their cones
本研究将仿射锥的格罗莫夫椭圆性结论，从旗流形、有理光滑射影曲面推广到逐次爆发后的光滑射球星形簇、一致有理射影簇及稳定一致有理完全簇。
Let X be an affine real algebraic set . We investigate on the theory of algebraically constructible functions on X and the description of the semi-algebraic subsets of X when we replace the polynomial functions on X by some rational continuous functions on X.
We construct a smooth rational affine surface S with finite automorphism group but with the property that the group of automorphisms of the cylinder SxA^2 acts infinitely transitively on the complement of a closed subset of codimension at least two. Such a surface S is in particular rigid but not stably rigid with respect to the Makar-Limanov invariant.
We describe a family of rational affine surfaces S with huge groups of automorphisms in the following sense: the normal subgroup of Aut(S) generated by all its algebraic subgroups is not generated by any countable family of such subgroups, and the quotient of Aut(S) by this subgroup contains a free group over an uncountable set of generators.
We study seminormalization of affine complex varieties. We show that polynomials on the seminormalization correspond to the rational functions which are continuous for the Euclidean topology. We further study this type of functions which can be seen as complex regulous functions, a class of functions recently introduced in real algebraic geometry, or as the algebraic counterpart of c-holomorphic functions.
We investigate surjective parametrizations of rational algebraic varieties, in the vein of recent work by Jorge Caravantes, J. Rafael Sendra, David Sevilla, and Carlos Villarino. In particular, we show how to construct plenty of examples of affine surfaces $S$ not admitting a finite surjective morphism $f: \mathbb{A}^2 \to S$.
Given an affine rational complexity-one $T$-variety $X$, we construct an explicit embedding of $X$ in affine space $\mathbb{A}^n$. We show that this embedding is well-poised, that is, every initial ideal of $I_X$ is a prime ideal, and determine the tropicalization of $X$. We then study valuations of the coordinate ring $R_X$ of $X$ which respect the torus action, showing that for full rank valuations, the natural generators of $R_X$ form a Khovanskii basis. This allows us to determine Newton-Okounkov bodies of rational projective complexity-one $T$-varieties, partially recovering (and generali…
Let $X$ be a rational homogeneous space and let $QH^*(X)_{loc}^\times$ be the group of invertible elements in the small quantum cohomology ring of $X$ localised in the quantum parameters. We generalise results of arXiv:math/0609796 and realise explicitly the map $π_1({\rm Aut}(X))\to QH^*(X)_{loc}^\times$ described in arXiv:dg-ga/9511011. We even prove that this map is an embedding and realise it in the equivariant quantum cohomology ring $QH^*_T(X)_{loc}^\times$. We give explicit formulas for the product by these elements. The proof relies on a generalisation, to a quotient of the equivariant…
The goal of this paper is to present a modified version (GML) of ML invariant which should take into account rulings over a projective base and allow further stratification of smooth affine rational surfaces. We provide a non-trivial example where GML invariant is computed for a smooth affine rational surface admitting no C-actions. We apply GML invariant to computation of ML invariant of some threefolds.
It is well known that an irreducible algebraic curve is rational (i.e. parametric) if and only if its genus is zero. In this paper, given a tolerance $ε>0$ and an $ε$-irreducible algebraic affine plane curve $\mathcal C$ of proper degree $d$, we introduce the notion of $ε$-rationality, and we provide an algorithm to parametrize approximately affine $ε$-rational plane curves, without exact singularities at infinity, by means of linear systems of $(d-2)$-degree curves. The algorithm outputs a rational parametrization of a rational curve $\bar{\mathcal C}$ of degree at most $d$ which has the same…
An differential field $(F;\partial_1,...,\partial_m)$ of characteristic zero, a subgroup $H$ of affine group $ GL(n,C)\propto C^n$ with respect to its identical representation in $F^n$ and the following two fields of differential rational functions in $x=(x_1,x_2,...,x_n)$-column vector, $$C< x, \partial >^H=\{f^{\partial}< x> \in C< x, \partial> : f^{\partial}< hx+ h_0> = f^{\partial}< x> {whenever} (h,h_0)\in H \},$$ $$C< x, \partial>^{(GL^{\partial}(m,F),H)}=\{f^{\partial}< x> \in C< x, \partial> : f^{g^{-1}\partial}< hx+ h_0> = f^{\partial}< x> {whenever} g\in GL^{\partial}(m,F) {and} (h,h…
We give an algebro-geometric classification of smooth real affine algebraic surfaces endowed with an effective action of the real algebraic circle group $\mathbb{S}^1$ up to equivariant isomorphisms. As an application, we show that every compact differentiable surface endowed with an action of the circle $S^1$ admits a unique smooth rational real quasi-projective model up to $\mathbb{S}^1$-equivariant birational diffeomorphism.
In this paper we present three related results on the subject of fields of parametrization. Let C be a rational curve over a field of characteristic zero. Let K be a field finitely generated over Q, such that it is a field of definition of C but not a field of parametrization. It is known that there are quadratic extensions of K that parametrize C. First, we prove that there are infinitely many quadratic extensions of K that are fields of parametrization of C. As a consequence, we prove that the witness variety, that appear in the context of the parametric Weil's descente method, is always a s…
Let $S$ be a rational projective surface given by means of a projective rational parametrization whose base locus satisfies a mild assumption. In this paper we present an algorithm that provides three rational maps $f,g,h:\mathbb{A}^2 --\to S\subset \mathbb{P}^n$ such that the union of the three images covers $S$. As a consequence, we present a second algorithm that generates two rational maps $f,\tilde{g}:\mathbb{A}^2 --\to S$, such that the union of their images covers the affine surface $S\cap \mathbb{A}^n$. In the affine case, the number of rational maps involved in the cover is in general…
Let $M$ be a smooth Fano threefold such that a canonical extension of the tangent bundle is an affine manifold. We show that $M$ is rational homogeneous.
An ordinary differential field $(F,d)$ of characteristic zero, a subgroup $H$ of affine group $ GL(n,C)\propto C^n$ with respect to its identical representation in $F^n$ and the following two fields of differential rational functions in $x=(x_1,x_2,...,x_n)$-column vector, $$C< x, d>^H=\{f^d< x> \in C< x, d> : f^d< hx+ h_0> = f^d< x> {for any} (h,h_0)\in H \},$$ $$C< x, d>^{(F^*,H)}=\{f^d< x> \in C< x, d> : f^{g^{-1}d}< hx+ h_0> = f^d< x> {for any} g\in F^* {and} (h,h_0)\in H \}$$ are considered, where $C$ is the constant field of $(F,d)$ and $C< x, d>$ is the field of differential rational fu…
We investigate geometry of D-affine varieties. Our main result is that a D-affine rational projective surface over an algebraically closed field is a generalised flag variety of a reductive group.
We introduce a characterization for affine equivalence of two surfaces of translation defined by either rational or meromorphic generators. In turn, this induces a similar characterization for minimal surfaces. In the rational case, our results provide algorithms for detecting affine equivalence of these surfaces, and therefore, in particular, the symmetries of a surface of translation or a minimal surface of the considered types. Additionally, we apply our results to designing surfaces of translation and minimal surfaces with symmetries, and to computing the symmetries of the higher-order Enn…
Given $p$ polynomials with coefficients in a commutative unitary integral ring $\mathcal{C}$ containing $\mathbb{Q}$, we define the notion of a generic Bernstein-Sato polynomial on an irreducible affine scheme $V \subset \text{Spec}(\mathcal{C})$. We prove the existence of such a non zero rational polynomial which covers and generalizes previous existing results by H. Biosca. When $\mathcal{C}$ is the ring of an algebraic or analytic space, we deduce a stratification of the space of the parameters such that on each stratum, there is a non zero rational polynomial which is a Bernstein-Sato poly…
1-flat irreducible G-structures, equivalently, irreducible G-structures admitting torsion-free affine connections, have been studied extensively in differential geometry, especially in connection with the theory of affine holonomy groups. We propose to study them in a setting in algebraic geometry, where they arise from varieties of minimal rational tangents (VMRT) associated to families of minimal rational curves on uniruled projective manifolds. We prove that such a structure is locally symmetric when the dimension of the uniruled projective manifold is at least 5. By the classification resu…
A cusp singularity is an elliptic surface singularity whose minimal resolution is a cycle of smooth rational curves meeting transversely. Cusp singularities come in naturally dual pairs. In 1981, Looijenga proved that whenever a cusp singularity is smoothable, the minimal resolution of the dual cusp is an anticanonical divisor of some smooth rational surface. He conjectured the converse. Recent work of Gross, Hacking, and Keel has proven Looijenga's conjecture using methods from mirror symmetry. This paper provides an alternative proof of Looijenga's conjecture based on a combinatorial criteri…
We present an algorithm that covers any given rational ruled surface with two rational parametrizations. In addition, we present an algorithm that transforms any rational surface parametrization into a new rational surface parametrization without affine base points and such that the degree of the corresponding maps is preserved.
Symplectic log Kodaira dimension $-\infty$, affine-ruledness and unicuspidal rational curves
本文研究了辛对数柯尔加雷维度为-∞的辛对 (X, ω, D) 的性质，引入了辛仿射被覆性的概念，并探讨了无 cusps 理性曲线在该结构中的作用。
For affine plane curves defined over the rationals of genus at least two, we show that a decision algorithm for the existence of solutions also yields a search algorithm for all solutions.
A dynamical characterisation of smooth cubic affine surfaces of Markov type
本文研究了光滑马尔可夫型立方仿射表面的动力学特征，证明其非元素自同构群且可通过有理曲线循环补全的条件，以及排除非自同构的主导内射
The main result is that a quasi-projective surface has negative log Kodaira dimension (i.e. no log pluricanonical sections) iff it is dominated by images of the affine line. This follows from our main intermediate result, that the smooth locus of a log Fano surface is rationally connected. We also give a classification of all but a bounded family of rank one log del Pezzo surfaces.
Let G be a simply-connected simple compact Lie group over the complex numbers. The affine Grassmannian is a projective ind-variety, homotopy-equivalent to the loop space of G and closely analogous to a maximal flag variety of the classical Grassmannian manifold. It has a Schubert cell decomposition indexed by the coroot lattice or equivalently by the minimal length coset representatives for the affine Weyl group modulo the Weyl group for G. The closure of an affine Schubert cell is a finite dimensional projective variety that we call an affine Schubert variety. In this paper we completely dete…
We show that every GL(2, R) orbit closure of translation surfaces is either a connected component of a stratum, the hyperelliptic locus, or consists entirely of surfaces whose Jacobians have extra endomorphisms. We use this result to give applications related to polygonal billiards. For example, we exhibit infinitely many rational triangles whose unfoldings have dense GL(2,R) orbit.
We present a method for computing projective isomorphisms between rational surfaces that are given in terms of their parametrizations. The main idea is to reduce the computation of such projective isomorphisms to five base cases by modifying the parametric maps such that the components of the resulting maps have lower degree. Our method can be used to compute affine, Euclidean and Möbius isomorphisms between surfaces.
We define an algebro-geometric model for the space of rational maps from a smooth curve X to an algebraic group G, and show that this space is homologically contractible. As a consequence, we deduce that the moduli space Bun(G) of G-bundles on X is uniformized by the appropriate rational version of the affine Grassmannian, where the uniformizing map has contractible fibers.
We exhibit an algorithm to compute the strongest polynomial (or algebraic) invariants that hold at each location of a given affine program (i.e., a program having only non-deterministic (as opposed to conditional) branching and all of whose assignments are given by affine expressions). Our main tool is an algebraic result of independent interest: given a finite set of rational square matrices of the same dimension, we show how to compute the Zariski closure of the semigroup that they generate.
We study rational curves on algebraic varieties, especially on normal affine varieties endowed with a $\C^*$-action. For varieties with an isolated singularity, we show that the presence of sufficiently many rational curves outside the singular point strongly affects the character of the singularity. This provides an explanation of classical results due to H.A. Schwartz and G.H. Halphen on polynomial solutions of the generalized Fermat equation.
We show that Hilbert schemes of planar curve singularities and their parabolic variants can be interpreted as certain generalized affine Springer fibers for $GL_n$, as defined by Goresky-Kottwitz-MacPherson. Using a generalization of affine Springer theory for Braverman-Finkelberg-Nakajima's Coulomb branch algebras, we construct a rational Cherednik algebra action on the homology of the Hilbert schemes, and compute it in examples. Along the way, we generalize to the parahoric setting the recent construction of Hilburn-Kamnitzer-Weekes, which may be of independent interest. In the spherical cas…
Brown and Gordon asked whether the Poisson Dixmier-Moeglin equivalence holds for any complex affine Poisson algebra; that is, whether the sets of Poisson rational ideals, Poisson primitive ideals, and Poisson locally closed ideals coincide. In this article a complete answer is given to this question using techniques from differential-algebraic geometry and model theory. In particular, it is shown that while the sets of Poisson rational and Poisson primitive ideals do coincide, in every Krull dimension at least four there are complex affine Poisson algebras with Poisson rational ideals that are…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。