For an affine variety $S$ we consider the ring $AK(S),$ which is the intersection of the rings of constants of all locally-nilpotent derivations of the ring $\Cal {O}(S).$ We show that $AK(S\times\Bbb {C}^n)=AK(S)$ for a smooth affine surface $S$ with $H^2(S,\Bbb {Z})=\{0\}.$
We construct families of smooth affine surfaces with pairwise non isomorphic A 1-cylinders but whose A 2-cylinders are all isomorphic. These arise as complements of cuspidal hyperplane sections of smooth projective cubic surfaces.
A classical result of Miyanishi-Sugie and Keel-McKernan asserts that for smooth affine surfaces, affine-uniruledness is equivalent to affine-ruledness, both properties being in fact equivalent to the negativity of the logarithmic Kodaira dimension. Here we show in contrast that starting from dimension three, there exists smooth affine varieties which are affine-uniruled but not affine-ruled.
Given a family of complex affine planes, we show that it is trivial over a Zariski open subset of the base. The proof relies upon a relative version of the contraction theorem.
We show that the generic fiber of a family of smooth $\mathbb{A}^{1}$-ruled affine surfaces always carries an $\mathbb{A}^{1}$-fibration, possibly after a finite extension of the base. In the particular case where the general fibers of the family are irrational surfaces, we establish that up to shrinking the base, such a family actually factors through an $\mathbb{A}^{1}$-fibration over a certain scheme, induced by the MRC-fibration of a relative smooth projective model of the family. For affine threefolds fibered by irrational $\mathbb{A}^{1}$-ruled surfaces, this induced $\mathbb{A}^{1}$-fib…
We give a general structure theorem for affine A 1-fibrations on smooth quasi-projective surfaces. As an application, we show that every smooth A 1-fibered affine surface non-isomorphic to the total space of a line bundle over a smooth affine curve fails the Zariski Cancellation Problem. The present note is an expanded version of a talk given at the Kinosaki Algebraic Geometry Symposium in October 2019.
A well-known cancellation problem asks when, for two algebraic varieties $V_1, V_2 \subseteq {\bf C}^n$, the isomorphism of the cylinders $V_1 \times {\bf C}$ and $V_2 \times {\bf C}$ implies the isomorphism of $V_1$ and $V_2$. In this paper, we address a related problem: when the equivalence (under an automorphism of ${\bf C}^{n+1}$) of two cylinders $V_1 \times {\bf C}$ and $V_2 \times {\bf C}$ implies the equivalence of their bases $V_1$ and $V_2$ under an automorphism of ${\bf C}^n$? We concentrate here on hypersurfaces and show that this problem establishes a strong connection between the…
A special Danielewski surface is an affine surface which is the total space of a principal $(\mathbb{C},+)$-bundle over an affine line with a multiple origin. Using a fiber product trick introduced by Danielewski, it is known that cylinders over two such surfaces are always isomorphic provided that both bases have the same number of origins. The goal of this note is to give an explicit method to find isomorphisms between cylinders over special Danielewski surfaces. The method is based on the construction of appropriate locally nilpotent derivations.
We describe a method to construct hypersurfaces of the complex affine $n$-space with isomorphic $\mathbb{C}^*$-cylinders. Among these hypersurfaces, we find new explicit counterexamples to the Laurent Cancellation Problem, i.e. hypersurfaces that are non isomorphic, although their $\mathbb{C}^*$-cylinders are isomorphic as abstract algebraic varieties. We also provide examples of non isomorphic varieties $X$ and $Y$ with isomorphic cartesian squares $X\times X$ and $Y\times Y$.
We show that the Makar-Limanov invariant of the cylinder over the Koras-Russell cubic affine threefold is trivial. This means that regular functions which are invariant under all algebraic actions of the additive group on this variety are constants.
We address the following question: When an affine cone over a smooth Fano threefold admits an effective action of the additive group? In this paper we deal with Fano threefolds of index 1 and Picard number 1. Our approach is based on a geometric criterion from our previous paper, which relates the existence of an additive group action on the cone over a smooth projective variety X with the existence of an open polar cylinder in X. Non-trivial families of Fano threefolds carrying a cylinder were found in loc. cit. Here we provide new such examples.
On del Pezzo surfaces, we study effective ample $\mathbb{R}$-divisors such that the complements of their supports are isomorphic to $\mathbb{A}^1$-bundles over smooth affine curves.
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.
The affine cancellation problem, which asks whether complex affine varieties with isomorphic cylinders are themselves isomorphic, has a positive solution for two dimensional varieties whose coordinate rings are unique factorization domains, in particular for the affine plane, but counterexamples are found within normal surfaces Danielewski surfaces and factorial threefolds of logarithmic Kodaira dimension equal to 1. The latter are therefore remote from the affine three-space, the first unknown case where the base of one cylinder is an affine space. Locally trivial Ga-actions play a significan…
For each del Pezzo surface $S$ with du Val singularities, we determine whether it admits a $(-K_S)$-polar cylinder or not. If it allows one, then we present an effective $\mathbb{Q}$-divisor $D$ that is $\mathbb{Q}$-linearly equivalent to $-K_S$ and such that the open set $S\setminus\mathrm{Supp}(D)$ is a cylinder. As a corollary, we classify all the del Pezzo surfaces with du Val singularities that admit nontrivial $\mathbb{G}_a$-actions on their affine cones defined by their anticanonical divisors.
We consider del Pezzo surfaces with du Val singularities. We'll prove that a del Pezzo surface $X$ with du Val singularities has a $-K_X$-polar cylinder if and only if there exist tiger such that the support of this tiger does not contain anti-canonical divisor. Also we classify all del Pezzo surfaces $X$ such that $X$ has not any cylinders.
Counts of holomorphic disks are at the heart of the SYZ approach to mirror symmetry. In the non archimedean framework, these counts are expressed as counts of analytic cylinders. In simple cases, such as cluster varieties, these counts can be extracted from a combinatorial algorithm encoded by a scattering diagram. The relevant scattering diagram encodes information about infinitesimal analytic cylinders. In this paper, we give a formula relating counts of a restricted class of cylinders on affine log Calabi Yau surfaces to counts on a single blowup of a toric surface, using non archimedean Gr…
In this article, we give the classification of normal del Pezzo surfaces of rank one with at most log canonical singularities containing the affine plane defined over an algebraically non-closed field of characteristic zero. As an application, we have a criterion for del Pezzo fibrations with canonical singularities whose generic fibers are not smooth to contain vertical $\mathbb{A}^2$-cylinders.
Let $X$ and $X'$ be affine algebraic varieties over a field $\mathbb{k}$. The celebrated Zariski Cancellation Problem asks as to when the existence of an isomorphism $X\times\mathbb{A}^n\cong X'\times\mathbb{A}^n$ implies $X\cong X'$. In Part I of this paper (arXiv:1610.01805) we provided a criterion for cancellation in the case where $X$ is a normal affine surface admitting an $\mathbb{A}^1$-fibration $X\to B$ over a smooth affine curve $B$. If $X$ does not admit such an $\mathbb{A}^1$-fibration then the cancellation by the affine line is known to hold for $X$ by a result of Bandman and Makar…
Affine rotation surfaces are a generalization of the well-known surfaces of revolution. Affine rotation surfaces arise naturally within the framework of affine differential geometry, a field started by Blaschke in the first decades of the past century. Affine rotations are the affine equivalents of Euclidean rotations, and include certain shears as well as Euclidean rotations. Affine rotation surfaces are surfaces invariant under affine rotations. In this paper, we analyze several properties of algebraic affine rotation surfaces and, by using some notions and results from affine differential g…
We prove three fundamental properties of counting holomorphic cylinders in log Calabi-Yau surfaces: positivity, integrality and the gluing formula. Positivity and integrality assert that the numbers of cylinders, defined via virtual techniques, are in fact nonnegative integers. The gluing formula roughly says that cylinders can be glued together to form longer cylinders, and the number of longer cylinders equals the product of the numbers of shorter cylinders. Our approach uses Berkovich geometry, tropical geometry, deformation theory and the ideas in the proof of associativity relations of Gr…
Every $\mathbb{A}^{1}-$bundle over the complex affine plane punctured at the origin, is trivial in the differentiable category but there are infinitely many distinct isomorphy classes of algebraic bundles. Isomorphy types of total spaces of such algebraic bundles are considered; in particular, the complex affine 3-sphere admitts such a structure with an additional homogeneity property. Total spaces of nontrivial homogeneous $\mathbb{A}^{1}$-bundles over the punctured plane are classified up to $\mathbb{G}_{m}$-equivariant algebraic isomorphism and a criterion for nonisomorphy is given. In fact…
We define the counting of holomorphic cylinders in log Calabi-Yau surfaces. Although we start with a complex log Calabi-Yau surface, the counting is achieved by applying methods from non-archimedean geometry. This gives rise to new geometric invariants. Moreover, we prove that the counting satisfies a property of symmetry. Explicit calculations are given for a del Pezzo surface in detail, which verify the conjectured wall-crossing formula for the focus-focus singularity. Our holomorphic cylinders are expected to give a geometric understanding of the combinatorial notion of broken line by Gross…
We classify smooth surfaces whose higher cohomologies of i-forms for all i vanish. We show that if such a surface is not affine, then it has essentially two possibilities.
We give a geometric proof of the fact that any affine surface with trivial Makar-Limanov invariant has finitely many singular points. We deduce that a complete intersection surface with trivial Makar-Limanov invariant is normal.