Affine surfaces with isomorphic cylinders

$\mathbb{A}^1$-cylinders over smooth $\mathbb{A}^1$-fibered surfaces

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.

Non cancellation for smooth contractible affine threefolds

We construct two non isomorphic contractible affine threefolds X and Y with isomorphic cylinders, showing that the generalized Cancellation Problem has a negative answer in general for contractible affine threefolds. We also establish that X and Y are actually biholomorphic as complex analytic varieties, providing the first example of a pair of biholomorphic but not isomorphic exotic affine 3-spaces.

Affine varieties with equivalent cylinders

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…

Isomorphisms between cylinders over Danielewski surfaces

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.

Families of exotic affine 3-spheres

We construct algebraic families of exotic affine 3-spheres, that is, smooth affine threefolds diffeomorphic to a non-degenerate smooth complex affine quadric of dimension 3 but non algebraically isomorphic to it. We show in particular that for every smooth topologically contractible affine surface S with trivial automorphism group, there exists a canonical smooth family of pairwise non isomorphic exotic affine 3-spheres parametrized by the closed points of S.

与仿射空间不同构的高维$\n\mathbb{A}^{1}$-可缩仿射簇的代数族

Algebraic families of higher dimensional $\mathbb{A}^{1}$-contractible affine varieties non-isomorphic to affine spaces

该研究在特征零域上构造了维数不小于4的、与仿射空间不同构的高维$\mathbb{A}^1$-可缩仿射簇代数族，证明其是Zariski消去问题及广义消去问题的反例。

Cylinders in del Pezzo surfaces

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.

Embeddings of hypersurfaces in affine spaces

In this paper, we address the following two general problems: given two algebraic varieties in ${\bf C}^n$, find out whether or not they are (1) isomorphic; (2) equivalent under an automorphism of ${\bf C}^n$. Although a complete solution of either of these problems is out of the question at this time, we give here some handy and useful invariants of isomorphic as well as of equivalent varieties. Furthermore, and more importantly, we give a universal procedure for obtaining all possible algebraic varieties isomorphic to a given one, and use it to construct numerous examples of isomorphic, but …

Exceptional isomorphisms between complements of affine plane curves

This article describes the geometry of isomorphisms between complements of geometrically irreducible closed curves in the affine plane $\mathbb{A}^2$, over an arbitrary field, which do not extend to an automorphism of $\mathbb{A}^2$. We show that such isomorphisms are quite exceptional. In particular, they occur only when both curves are isomorphic to open subsets of the affine line $\mathbb{A}^1$, with the same number of complement points, over any field extension of the ground field. Moreover, the isomorphism is uniquely determined by one of the curves, up to left composition with an automor…

Twisted $\mathcal{D}$-module extensions of local systems on a certain subvariety isomorphic to ${\mathbb{G}_{\text{m}}}^2$ of the affine flag variety of $\text{SL}_2$

We introduce a family of rank-one local systems in the category of twisted $\mathcal{D}$-modules on a certain subvariety isomorphic to ${\mathbb{G}_{\text{m}}}^2$ of the affine flag variety of $\text{SL}_2$. We then give a criterion for these local systems, in terms of their parameters, to extend cleanly in the sense of $\mathcal{D}$-modules.

奇异 del Pezzo 曲面上的刚性仿射锥

Rigid affine cones over singular del Pezzo surfaces

本文完全确定了指数为1的拟光滑 log del Pezzo 曲面中反典范极化柱的存在性。

圆柱体与pline理想零 locus

Cylinders and the zero locus of the plinth ideal

研究了affine变种上$\mathbb{G}_\mathrm{a}$作用下，主不变圆柱体的补集等于对应局部nilpotent导数的pline理想零 locus

Factorial threefolds with Ga-actions

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…

Algebraic vector bundles on punctured affine spaces and smooth quadrics

We construct examples of non-isomorphic algebraic vector bundles on the punctured affine space with isomorphic pullbacks to the smooth quadric.

Forms of Affine Space

Let $k$ be any field and $k^s$ its separable closure. Let $X$ be an affine variety over $k$ which is isomorphic to affine $n$-space over the field extension $k^s$. Then $X$ is isomorphic to affine $n$ space over $k$.

Varieties Characterized by their Endomorphisms

We show that two varieties X and Y with isomorphic endomorphism semigroups are isomorphic up to field automorphism if one of them is affine and contains a copy of the affine line. A holomorphic version of this result is due to the first author.

Flexible bundles over rigid affine surfaces

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.

Cylinders in singular del Pezzo surfaces

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.

A note about rational surfaces as unions of affine planes

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.

Computing Non-Archimedean Cylinder Counts in Blowups of Toric Surfaces

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…

Automorphism Groups of Affine Varieties and a Characterization of Affine n-Space

We show that the automorphism group of affine n-space $A^n$ determines $A^n$ up to isomorphism: If $X$ is a connected affine variety such that $Aut(X)$ is isomorphic to $Aut(A^n)$ as ind-groups, then $X$ is isomorphic to $A^n$ as a variety. We also show that every finite group and every torus appears as $Aut(X)$ for a suitable affine variety $X$, but that $Aut(X)$ cannot be isomorphic to a semisimple group. In fact, if $Aut(X)$ is finite dimensional and $X$ not isomorphic to the affine line $A^1$, then the connected component $Aut(X)^0$ is a torus. Concerning the structure of $Aut(A^n)$ we pro…

Picard group of connected affine algebraic group

We prove that the Picard group of a connected affine algebraic group $G$ is isomorphic to the fundamental group of the derived subgroup of the reductive algebraic group $G/{\mathscr R}_u(G)$, where ${\mathscr R}_u(G)$ is the unipotent radical of $G$.

On unipotent quotients and some A^1-contractible smooth schemes

We study quotients of quasi-affine schemes by unipotent groups over fields of characteristic 0. To do this, we introduce a notion of stability which allows us to characterize exactly when a principal bundle quotient exists and, together with a cohomological vanishing criterion, to characterize whether or not the resulting quasi-affine quotient scheme is affine. We completely analyze the case of G_a-invariant hypersurfaces in a linear G_a-representation W; here the above characterizations admit simple geometric and algebraic interpretations. As an application, we produce arbitrary dimensional f…

A Counter-example to the Cancellation Problem for the Affine Space A^3 in characteristic p

We show that the Cancellation Conjecture does not hold for the affine space A^3_k over any field k of positive characteristic. We prove that an example of T. Asanuma provides a three-dimensional k-algebra A for which A is not isomorphic to k[X_1,X_2,X_3] although A[T] is isomorphic to k[X_1, X_2, X_3, X_4].

Cancellation for surfaces revisited. II

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…

Invariant Rings and Quasiaffine Quotients

We study Hilbert's fourteenth problem from a geometric point of view. Nagata's celebrated counterexample demonstrates that for an arbitrary group action on a variety the ring of invariant functions need not be isomorphic to the ring of functions of an affine variety. Nevertheless one can prove that such a ring of invariants is always isomorphic to the ring of functions on a quasi-affine variety. Conversely, for a given quasi-affine variety V there exists always an action of the additive group on some affine variety W such that the ring of functions of V is isomorphic to the ring of invariant f…

${\bf C}_+$-actions on contractible threefolds

Let $X$ be a smooth contractible affine algebraic threefold with a nontrivial algebraic ${\bf C}_+$-action on it. We show that $X$ is rational and the algebraic quotient $X//{\bf C}_+$ is a smooth contractible surface $S$ which is isomorphic to ${\bf C}^2$ in the case when $X$ admits a dominant morphism from a threefold of form $C \times {\bf C}^2$. Furthermore, if the action is free then $X$ is isomorphic to $S \times {\bf C}$ and the action is induced by translation on the second factor. In particular, we have the following criterion: if a smooth contractible affine algebraic threefold $X$ w…

Characterization of affine $\mathbb{G}_m$-surfaces of hyperbolic type

In this note we prove that if $S$ is an affine non-toric $\mathbb{G}_m$-surface of hyperbolic type that admits a $\mathbb{G}_a$-action and $X$ is an affine irreducible variety such that $Aut(X)$ is isomorphic to $Aut(S)$ as an abstract group, then $X$ is a $\mathbb{G}_m$-surface of hyperbolic type. Further, we show that a smooth Danielewski surface $Dp = \{ xy = p(z) \} \subset \mathbb{A}^3$, where $p$ has no multiple roots, is determined by its automorphism group seen as an ind-group in the category of affine irreducible varieties.

Stability conditions and braid group actions on affine $A_n$ quivers

We study stability conditions on the Calabi-Yau-$N$ categories associated to an affine type $A_n$ quiver which can be constructed from certain meromorphic quadratic differentials with zeroes of order $N-2$. We follow Ikeda's work to show that this moduli space of quadratic differentials is isomorphic to the space of stability conditions quotient by the spherical subgroup of the autoequivalence group. We show that the spherical subgroup is isomorphic to the braid group of affine type $A$ based on Khovanov-Seidel-Thomas method.

具有光滑射影曲线上同调的光滑仿射曲面

On smooth affine surfaces with the cohomology of a smooth projective curve

本文针对具有正亏格光滑射影曲线有理混合霍奇结构的光滑复仿射曲面，证明其存在到该曲线的光滑态射，纤维为仿射直线，是Jouanolou技巧在二维的逆命题。

On the characterization of Danielewski surfaces by their automorphism group

In this note we show that if the automorphism group of a normal affine surface $S$ is isomorphic to the automorphism group of a Danielewski surface, then $S$ is isomorphic to a Danielewski surface.

Inequivalent embeddings of the Koras-Russell cubic threefold

The Koras-Russell threefold is the hypersurface X of the complex affine four-space defined by the equation x^2y+z^2+t^3+x=0. It is well-known that X is smooth contractible and rational but that it is not algebraically isomorphic to affine three-space. The main result of this article is to show that there exists another hypersurface Y of the affine four-space, which is isomorphic to X as an abstract variety, but such that there exists no algebraic automorphism of the ambient space which restricts to an isomorphism between X and Y. In other words, the two hypersurfaces are inequivalent. The proo…

Affine surfaces with $AK(S)=\Bbb C.$

In this paper we give a description of hypersurfaces with trivial ring $AK(S)$, introduced by the second author as following. Let $X$ be an affine variety and let $G(X)$ be the group generated by all $\Bbb {C}^+$-actions on $X$. Then $AK(X)$ is the subring of all regular $G(X)-$ invariant functions on $X.$ We show that a smooth affine surface $S$ with $AK(S)=\Bbb C$ is quasihomogeneous and so may be obtained from a smooth rational projective surface by deleting a divisor of special form, which is called a ``zigzag''. We denote by $A$ the set of all such surfaces, and by $H$ those which have on…

Families of Group Actions, Generic Isotriviality, and Linearization

We prove a "Generic Equivalence Theorem which says that two affine morphisms $p: S \to Y$ and $q: T \to Y$ of varieties with isomorphic (closed) fibers become isomorphic under a dominant etale base change $ϕ: U \to Y$. A special case is the following result. Call a morphism $ϕ: X \to Y$ a "fibration with fiber $F$" if $ϕ$ is flat and all fibers are (reduced and) isomorphic to $F$. Then an affine fibration with fiber $F$ admits an etale dominant morphism $μ: U \to Y$ such that the pull-back is a trivial fiber bundle: $U\times_Y X \simeq U\times F$. As an application we give short proofs of the …

Differential Operators and Cohomology Groups on the Basic Affine Space

We study the ring of differential operators D(X) on the basic affine space X=G/U of a complex semisimple group G with maximal unipotent subgroup U. One of the main results shows that the cohomology group H^*(X,O_X) decomposes as a finite direct sum of non-isomorphic simple X-modules, each of which is isomorphic to a twist of O(X) by an automorphism of D(X). We also use D(X) to study the properties of D(Y) for highest weight varieties Y. For example we prove under mild hypotheses that Y is D-simple in the sense that O(Y) is a simple D(Y)-module and produce an irreducible G-module of differentia…

光滑情形下的Suslin消去猜想

Suslin's cancellation conjecture in the smooth case

该研究在代数闭域k且d!可逆的条件下，证明了光滑d维仿射簇上秩d-1的稳定同构向量丛为同构，解决了Suslin的经典消去猜想。

Affine surfaces with trivial Makar-Limanov invariant

We study the class of 2-dimensional affine k-domains R satisfying ML(R) = k, where k is an arbitrary field of characteristic zero. In particular, we obtain the following result: Let R be a localization of a polynomial ring in finitely many variables over a field of characteristic zero. If ML(R) = K for some field K included in R and such that R has transcendence degree 2 over K, then R is K-isomorphic to K[X,Y,Z]/(XY-P(Z)) for some nonconstant polynomial P(Z) in K[Z].

曲面稳定余切丛上丰富的仿射代数结构

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的问题。