The purpose of this paper is to provide a new account of multiplicity for finite morphisms between smooth projective varieties. Traditionally, this has been defined using commutative algebra in terms of the length of integral ring extensions. In model theory, a different approch to multiplicity was developed by Zilber using the techniques of non-standard analysis. Here, we first reformulate Zilber's method in the language of algebraic geometry and secondly show that, in classical projective situations, the two notions essentially coincide. As a consequence, we can recover intersection theory in all characteristics from the non-standard method and sketch further developments in connection with etale cohomology and deformation theory. The usefulness of this approach can be seen from the increasing interplay between Zariski structures and objects of non-commutative geometry.
In this note we consider the problem of integrality of Zariski decompositions for pseudoeffective integral divisors on algebraic surfaces. We show that while sometimes integrality of Zariski decompositions forces all negative curves to be $(-1)$-curves, there are examples where this is not true.
We consider the Zariski-Lipman Conjecture on free module of derivations for algebraic surfaces. Using the theory of non-complete algebraic surfaces, and some basic results about ruled surfaces, we will prove the conjecture for several classes of affine and projective surfaces.
For an algebraic variety $X$ we study the behavior of algebraic morphisms from an algebraic variety to the group $\bir(X)$ of birational maps of $X$ and obtain, as application, some insight about the relationship between the so-called Zariski topology of $\bir(X)$ and the algebraic structure of this group, where $X$ is a rational variety.
This is a survey on Zariski equisingularity. We recall its definition, main properties, and a variety of applications in Algebraic Geometry and Singularity Theory. In the first part of this survey, we consider Zariski equisingular families of complex analytic or algebraic hypersurfaces. We also discuss how to construct Zariski equisingular deformations. In the second part, we present Zariski equisingularity of hypersurfaces along a nonsingular subvariety and its relation to other equisingularity conditions. We also discuss the canonical stratification of such hypersurfaces given by the dimensi…
In this article, we continue to study the geometry of bisections of certain rational elliptic surfaces. As an application, we give examples of Zariski N + 1-plets of degree 2N + 4 whose irreducible components are an irreducible quartic curve with 2 nodes and N smooth conics. Furthermore, by considering the case of N = 2 and combining with known results, a new Zariski 5-plet for reduced plane curves of degree 8 is given.
We investigate for which linear-algebraic groups (over the complex numbers or any local field) there exists subgroups which are dense in the Zariski topology, but discrete in the Hausdorff topology. For instance, such subgroups exist for every non-solvable complex group.
In this article, we shall discuss the solution to the Zariski Cancellation Problem in positive characteristic, various approaches taken so far towards the possible solution in characteristic zero, and several other questions related to this problem.
In this article, examples of Zariski pairs $(B_1, B_2)$ satisfying the following condition are given: (i) $°B_1 = °B_2 = 7$. (ii) Irreducible components of $B_i$ $(i = 1, 2)$ are lines and conics. (iii) Singularities of $B_i$ $(i = 1, 2)$ are nodes, tacnodes and ordinary triple points. In order to construct $B_i$ ($i = 1, 2$), we make use of geometry of sections of rational elliptic surfaces and their group structure. Dihedral covers play important roles to distinguish the topology of $({\mathbb P}^2, B_i)$ $(i = 1, 2)$.
A number of geometric properties of $Ω$-groups from a given variety of $Ω$-groups can be characterized using the notions of domain and equational domain. An $Ω$-group $H$ of a variety $Θ$ is an equational domain in $Θ$ if the union of algebraic varieties over $H$ is an algebraic variety. We give necessary and sufficient conditions for an $Ω$-group $H$ in $Θ$ to be an equational domain in this variety.
Let G be complex linear-algebraic group, H a subgroup, which is dense in G in the Zariski-topology. Assume that G/[G,G] is reductive and furthermore that (1) G is solvable, or (2) the semisimple elements in G'=[G,G] are dense. Then every H-invariant holomorphic function on G is constant. If G=G', furthermore every H-invariant meromorphic or plurisubharmonic function is constant. Finally an example of Margulis is used to show the existence of an algebraic group G with G=G' such that there exists a Zariski-dense discrete subgroup without any semisimple element.
In a 1962 paper, Zariski introduced the decomposition theory that now bears his name. Although it arose in the context of algebraic geometry and deals with the configuration of curves on an algebraic surface, we have recently observed that the essential concept is purely within the realm of linear algebra. In this paper, we formulate Zariski decomposition as a theorem in linear algebra and present a linear algebraic proof. We also sketch the geometric context in which Zariski first introduced his decomposition.
The linking set is an invariant of algebraic plane curves introduced by Meilhan and the first author. It has been successfully used to detect several examples of Zariski pairs, i.e. curves with the same combinatorics and different embedding in $\mathds{CP}^2$. Differentiating Shimada's $π_1$-equivalent Zariski pair by the linking set, we prove, in the present paper, that this invariant is not determined by the fundamental group of the curve.
We introduce tropical dual numbers as an extension of tropical semiring. By this innovation, one can work with honest ideals, instead of congruences, and recover the Euclidean topology on affine tropical spaces similar to Zariski's approach in classical algebraic geometry. The bend loci of an ideal over tropical dual numbers coincides with the bend loci of a congruence over tropical semiring and this enables tropical dual numbers to serve as an algebraic structure for tropical geometry. Tropical Zariski topology on affine tropical spaces whose closed sets are non-linear loci of ideals over tro…
Given a point S (the light position) in P^3 and an algebraic surface Z (the mirror) of P^3, the caustic by reflection of Z from S is the Zariski closure of the envelope of the reflected lines got by reflection of the incident lines (Sm) on Z at m in Z. We use the ramification method to identify the caustic by reflection with the Zariski closure of the image, by a rational map, of an algebraic 2-covering space of Z. We also give a general formula for the degree (with multiplicity) of caustics (by reflection) of algebraic surfaces.
In this paper, we study the geometry of two-torsion points of elliptic curves in order to distinguish the embedded topology of reducible plane curves consisting of a smooth cubic and its tangent lines. As a result, we obtain a new family of Zariski N-ples consisting of such curves.
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.
We prove a generic smoothness result in rigid analytic geometry over a characteristic zero nonarchimedean field. The proof relies on a novel notion of generic points in rigid analytic geometry which are well-adapted to "spreading out" arguments, in analogy with the use of generic points in scheme theory. As an application, we develop a six functor formalism for Zariski-constructible étale sheaves on characteristic zero rigid spaces. Among other things, this implies that characteristic zero rigid spaces support a well-behaved theory of perverse sheaves.
This is an expanded version of the talk by the author at the conference Polynomial Rings and Affine Algebraic Geometry, February 12--16, 2018, Tokyo Metropolitan University, Tokyo, Japan. Considering a local version of the Zariski Cancellation Problem naturally leads to exploration of some classes of varieties of special kind and their equivariant versions. We discuss several topics inspired by this exploration, including the problem of classifying a class of affine algebraic groups that are naturally singled out in studying the conjugacy problem for algebraic subgroups of the Cremona groups.
We use tools of mathematical logic to analyse the notion of a path on an complex algebraic variety, and are led to formulate a "rigidity" property of fundamental groups specific to algebraic varieties, as well as to define a bona fide topology closely related to etale topology. These appear as criteria for uncountable categoricity, or rather stability and homogeneity, of the formal countable language we propose to describe homotopy classes of paths on a variety, or equivalently, its universal covering space. We also show that, with this topology, the universal covering space of the variety is …
In this paper we show Whitney's fibering conjecture in the real and complex, local analytic and global algebraic cases. For a given germ of complex or real analytic set, we show the existence of a stratification satisfying a strong (real arc-analytic with respect to all variables and analytic with respect to the parameter space) trivialization property along each stratum. We call such a trivialization arc-wise analytic and we show that it can be constructed under the classical Zariski algebro-geometric equisingularity assumptions. Using a slightly stronger version of Zariski equisingularity, w…
We continue our study of the relation between log minimal models and various types of Zariski decompositions. Let $(X,B)$ be a projective log canonical pair. We will show that $(X,B)$ has a log minimal model if either $K_X+B$ birationally has a Nakayama-Zariski decomposition with nef positive part, or that $K_X+B$ is big and birationally it has a Fujita or CKM Zariski decomposition. Along the way we introduce polarized pairs $(X,B+P)$ where $(X,B)$ is a usual projective pair and $P$ is nef, and study the birational geometry of such pairs.
The polynomial method has been used recently to obtain many striking results in combinatorial geometry. In this paper, we use affine Hilbert functions to obtain an estimation theorem in finite field geometry. The most natural way to state the theorem is via a sort of bounded degree Zariski closure operation: given a set, we consider all polynomials of some bounded degree vanishing on that set, and then the common zeros of these polynomials. For example, the degree d closure of d + 1 points on a line will contain the whole line, as any polynomial of degree at most d vanishing on the d + 1 point…
A real algebraic variety W of dimension m is said to be uniformly rational if each of its points has a Zariski open neighborhood which is biregularly isomorphic to a Zariski open subset of R^m. Let l be any nonnegative integer. We prove that every map of class C^l from a compact subset of a real algebraic variety into a uniformly rational real algebraic variety can be approximated in the C^l topology by piecewise-regular maps of class C^k, where k is an arbitrary integer greater than or equal to l. Next we derive consequences regarding algebraization of topological vector bundles.
According to Markov, a subset of an abelian group G of the form {x in G: nx=a}, for some integer n and some element a of G, is an elementary algebraic set; finite unions of elementary algebraic sets are called algebraic sets. We prove that a subset of an abelian group G is algebraic if and only if it is closed in every precompact (=totally bounded) Hausdorff group topology on G. The family of all algebraic subsets of an abelian group G forms the family of closed subsets of a unique Noetherian T_1 topology on G called the Zariski, or verbal, topology of G. We investigate the properties of this …
This is the second part of our work on Zariski decomposition structures, where we compare two different volume type functions for curve classes. The first function is the polar transform of the volume for ample divisor classes. The second function captures the asymptotic geometry of curves analogously to the volume function for divisors. We prove that the two functions coincide, generalizing Zariski's classical result for surfaces to all varieties. Our result confirms the log concavity conjecture of the first named author for weighted mobility of curve classes in an unexpected way, via Legendr…
In algebraic geometry specialisations and valuations play and important role. In this paper we start investigating analogous structures for Zariski structures. Specifically, we look into the existence and uniqueness properties of extensions of universal specialisations from a base Zariski structure to its regular cover. In the process we begin to uncover some structural properties of regular covers of Zariski structures, and also to uncover the type of topological properties necessary for a Zariski structure to have a "good" theory of specialisations. A subclass of Zariski structures is identi…
We prove that the outer Lipschitz geometry of a germ $(X,0)$ of a normal complex surface singularity determines a large amount of its analytic structure. In particular, it follows that any analytic family of normal surface singularities with constant Lipschitz geometry is Zariski equisingular. We also prove a strong converse for families of normal complex hypersurface singularities in $\mathbb C^3$: Zariski equisingularity implies Lipschitz triviality. So for such a family Lipschitz triviality, constant Lipschitz geometry and Zariski equisingularity are equivalent to each other.
We address a metric version of Zariski's multiplicity conjecture at infinity that says that two complex algebraic affine sets which are bi-Lipschitz homeomorphic at infinity must have the same degree. More specifically, we prove that the degree is a bi-Lipschitz invariant at infinity when the bi-Lipschitz homeomorphism has Lipschitz constants close to 1. In particular, we have that a family of complex algebraic sets bi-Lipschitz equisingular at infinity has constant degree. Moreover, we prove that if two polynomials are weakly rugose equivalent at infinity, then they have the same degree. In p…
A new class of noncommutative $k$-algebras (for $k$ an algebraically closed field) is defined and shown to contain some important examples of quantum groups. To each such algebra, a first order theory is assigned describing models of a suitable corresponding geometric space. Model-theoretic results for these geometric structures are established (uncountable categoricity, quantifier elimination to the level of existential formulas) and that an appropriate dimension theory exists, making them Zariski structures.
We show that the additive higher Chow groups of regular schemes over a field induce a Zariski sheaf of pro-differential graded algebras, whose Milnor range is isomorphic to the Zariski sheaf of big de Rham-Witt complexes. This provides an explicit cycle-theoretic description of the big de Rham-Witt sheaves. Several applications are derived.
In this paper, we study the geometry of trisections on certain rational elliptic surfaces. We utilize Mumford representations of semi-reduced divisors in order to construct trisections and related plane curves with interesting properties explicitly. As a result we are able to construct new examples of Zariski pairs. Especially, we show the existence of a family of Zariski pairs that degenerate to the same conic-line arrangement.
We show that a reduct of the Zariski structure of an algebraic curve which is not locally modular interprets a field, answering a question of Zilber's.
In this paper we prove the following theorem. Let $f$ be a dominant endomorphism of a smooth projective surface over an algebraically closed field of characteristic $0$. If there is no nonconstant invariant rational function under $f$, then there exists a closed point whose orbit under $f$ is Zariski dense. This result gives us a positive answer to the Zariski dense orbit conjecture proposed by Medvedev and Scanlon, by Amerik, Bogomolov and Rovinsky, and by Zhang, for endomorphisms of smooth projective surfaces. Moreover, we define a new canonical topology on varieties over an algebraically cl…
We address the question of finding algebraic properties that are respectively equivalent, for a morphism between algebraic varieties over an algebraically closed field of characteristic zero, to be an homeomorphism for the Zariski topology and for a strong topology that we introduce. Our answers involve a study of seminormalization and saturation for morphisms between algebraic varieties, together with an interpretation in terms of continuous rational functions on the closed points of an algebraic variety. The continuity refers to the strong topology which is the usual Euclidean topology in th…
We address a variant of Zariski Cancellation Problem, asking whether two varieties which become isomorphic after taking their product with an algebraic torus are isomorphic themselves. Such cancellation property is easily checked for curves, is known to hold for smooth varieties of log-general type by virtue of a result of Iitaka-Fujita, and more generally for varieties which are not dominantly covered by images of the punctured affine line. We show in contrast that cancellation fails in general in every dimension bigger or equal to two.
We show that for a variety which admits a quasi-finite period map, finiteness (resp.~non-Zariski-density) of $S$-integral points implies finiteness (resp.~non-Zariski-density) of points over all $\mathbb{Z}$-finitely generated integral domains of characteristic zero. Our proofs rely on foundational results in Hodge theory due to Deligne, Griffiths, and Schmid, and Bakker-Brunebarbe-Tsimerman. We give straightforward applications to Shimura varieties, locally symmetric varieties, the moduli space of smooth hypersurfaces in projective space, and the moduli of smooth divisors in an abelian variet…
The Zariski theorem says that for every hypersurface in a complex projective (resp. affine) space of dimension at least 3 and for every generic plane in the projective (resp. affine) space the natural embedding generates an isomorphism of the fundamental groups of the complements to the hypersurface in the plane and in the space. If a family of hypersurfaces depends algebraically on parameters then it is not true in general that there exists a plane such that the natural embedding generates isomorphisms of the fundamental groups of the complements to each hypersurface from this family in the p…
Any scheme has its associated little and big Zariski toposes. These toposes support an internal mathematical language which closely resembles the usual formal language of mathematics, but is "local on the base scheme": For example, from the internal perspective, the structure sheaf looks like an ordinary local ring (instead of a sheaf of rings with local stalks) and vector bundles look like ordinary free modules (instead of sheaves of modules satisfying a local triviality condition). The translation of internal statements and proofs is facilitated by an easy mechanical procedure. We investigat…
In 2011, the first author introduced (relative) Riemann-Zariski spaces corresponding to a morphism of schemes and established their basic properties. In this paper we clarify that theory and extend it to morphisms between algebraic spaces. As an application, a new proof of Nagata's compactification theorem for algebraic spaces is obtained.
Let $X$ be a variety defined over an algebraically closed field $k$ of characteristic $0$, let $N\in\mathbb{N}$, let $g:X\dashrightarrow X$ be a dominant rational self-map, and let $A:\mathbb{A}^N\to \mathbb{A}^N$ be a linear transformation defined over $k(X)$, i.e., for a Zariski open dense subset $U\subset X$, we have that for $x\in U(k)$, the specialization $A(x)$ is an $N$-by-$N$ matrix with entries in $k$. We let $f:X\times\mathbb{A}^N\dashrightarrow X\times \mathbb{A}^N$ be the rational endomorphism given by $(x,y)\mapsto (g(x), A(x)y)$. We prove that if the determinant of $A$ is nonzero…
We study the tropicalizations of analytic subvarieties of normal toric varieties over complete non-archimedean valuation fields. We show that a Zariski closed analytic subvariety of a normal toric variety is algebraic if its tropicalization is a finite union of polyhedra. Previously, the converse direction was known by the theorem of Bieri and Groves. Over the field of complex numbers, Madani, L. Nisse, and M. Nisse proved similar results for analytic subvarieties of tori.
We present a new notion of decomposition of semialgebraic sets by introducing a mode of irreducibility based on arc-analytic functions. The result is a refinement of the decomposition of such sets with respect to the Zariski topology as well as a refinement of the decomposition in each of the recent approaches based on Nash and continuous rational functions. In addition, by pairing the ring of arc-analytic functions with semialgebraic sets, we obtain a theory of algebraic geometry equipped with strong tools such as the Identity Principle and the Nullstellensatz.
In 1933, van Kampen described the fundamental groups of the complements of plane complex projective algebraic curves. Recently, Chéniot-Libgober proved an analogue of this result for higher homotopy groups of the complements of complex projective hypersurfaces with isolated singularities. Their description is in terms of some "homotopical variation operators". We generalize here the notion of "homotopical variation" to (singular) quasi-projective varieties. This is a first step for further generalizations of van Kampen's theorem. A conjecture, with a first approach, is stated in the special ca…
We give scheme-theoretic descriptions of the category of fibre functors on the categories of sheaves associated to the Zariski, Nisnevich, étale, rh, cdh, ldh, eh, qfh, and h topologies on the category of separated schemes of finite type over a separated noetherian base. Combined with a theorem of Deligne on the existence of enough points, this provides an algebro-geometric description of a conservative family of fibre functors on these categories of sheaves. As an example of an application we show direct image along a closed immersion is exact for all these topologies except qfh. The methods …
There is a close relationship between the embedded topology of complex plane curves and the (group-theoretic) arithmetic of elliptic curves. In a recent paper, we studied the topology of some arrangements of curves which include a special smooth component, via the torsion properties induced by the divisors in the special curve associated to the remaining components, which is an arithmetic property. When this special curve has maximal flexes, there is a natural isomorphism between its Jacobian variety and the degree zero part of its Picard group. In this paper we consider curve arrangements whi…
