We prove the boundedness of complements modulo two conjectures: Borisov-Alexeev conjecture and effective adjunction for fibre spaces. We discuss the last conjecture and prove it in two particular cases.
The aim of this paper is to clarify and generalize techniques of works alg-geom/9711024 (see also math.AG/9810097 and math.AG/9901004). Roughly speaking, we prove that for local Fano contractions the existence of complements can be reduced to the existence of complements for lower dimensional projective Fano varieties.
In this note we extend some of the results of a previous paper \url{arXiv:math/0511593} to algebraically closed fields of finite characteristic. In particular, we show that there is an explicit expression in $n$ and $d$ which is divisible by the prime to $p$ part of the order of the the automorphism group of a smooth degree $d$ hypersurface $\subset \mathbb{P}^n_k$ for $k$ an algebraically closed field of characteristic $p$.
We formulate and prove a weighted version of Zariski's hyperplane section theorem on the topological fundamental groups of the complements of hypersurfaces in a projective space. As an application, we calculate fundamental groups of the complements of certain singular projective plane curves.
We prove finiteness results on integral points on complements of large divisors in projective varieties over finitely generated fields of characteristic zero. To do so, we prove a function field analogue of arithmetic finiteness results of Corvaja-Zannier and Levin using Wang's function field Subspace Theorem. We then use a method of Evertse-Győry for concluding finiteness of integral points over finitely generated fields from known finiteness results over number fields.
We establish a global Torelli theorem for the complete family of Calabi-Yau threefolds arising from cyclic triple covers of $\mathbb P^3$ branched along stable hyperplane arrangements.
More strong version of the main inductive theorem about the complements on surfaces is proved and the models of exceptional log del Pezzo surfaces with $δ=0$ are constructed
Survey written for the Proceedings of the AMS Meeting on Algebraic Geometry, Seattle, 2005. Based on the talk delivered at this occasion, but a few comments on recent developments are added.
We propose a generalization of Verbitsky's global Torelli theorem in the framework of compact Kähler irreducible holomorphically symplectic orbifolds by adapting Huybrechts' proof (arXiv:1106.5573). As intermediate step needed, we also provide a generalization of the twistor space and the projectivity criterion based on works of Campana (arXiv:math/0402243) and Huybrechts (arXiv:math/0106014) respectively.
The Prym variety for a branched double covering of a nonsingular projective curve is defined as a polarized abelian variety. We prove that any double covering of an elliptic curve which has more than $4$ branch points is recovered from its Prym variety.
Algebraic surfaces of general type with $q=0$, $p_g=2$ and $K^2=1$ were described by Enriques and then studied in more detail by Horikawa. In this paper we consider a $16$-dimensional family of special Horikawa surfaces which are certain bidouble covers of $\mathbb{P}^2$. The construction is motivated by that of special Kunev surfaces which are counterexamples for infinitesimal Torelli and generic global Torelli problem. The main result of the paper is a generic global Torelli theorem for special Horikawa surfaces. To prove the theorem, we relate the periods of special Horikawa surfaces to the…
The main purpose of this paper is to show that the mixed Hodge polynomial of the ``space of equations'' for smooth complete intersections of given multidegree in $\mathbb{C} P^n$ is divisible by the mixed Hodge polynomial of the group $\mathrm{GL}_{n+1}(\mathbb{C})$, the quotient being the mixed Hodge polynomial of the corresponding quotient space. As a by-product of the method used in the proof, we obtain expressions divisible by the order the automorphism group of any smooth projective hypersurface of given dimension and degree
We describe the proof that the period map from the Torelli space of Calabi-Yau manifolds to the classifying space of polarized Hodge structures is an embedding. The proof is based on the constructions of holomorphic affine structure on the Teichmüller space and Hodge metric completion of the Torelli space. A canonical global holomorphic section of the holomorphic $(n, 0)$ class on the Teichmüller space is constructed.
We prove a "purity implies formality" statement in the context of the rational homotopy theory of smooth complex algebraic varieties, and apply it to complements of hypersurface arrangements. In particular, we prove that the complement of a toric arrangement is formal. This is analogous to the classical formality theorem for complements of hyperplane arrangements, due to Brieskorn, and generalizes a theorem of De Concini and Procesi.
We prove a global effective membership result for polynomials on a non-reduced algebraic subvariety of $\C^N$. It can be seen as a global version of a recent local result of Sznajdman, generalizing the Briançon-Skoda-Huneke theorem for the local ring of holomorphic functions at a point on a reduced analytic space.
Let C_1 and C_2 be algebraic plane curves in the complex plane such that the curves intersect in d_1\cdot d_2 points where d_1,d_2 are the degrees of the curves respectively. Oka and Sakamoto proved that the fundamental group of the complement of C_1 \cup C_2 is isomorphic to the direct of product of the fundamental group of the complement of C_1 and the fundamental group of the complement of C_2. In this paper we prove the converse of Oka and Sakamoto's result for line arrangements. Let A_1 and A_2 be non-empty arrangements of lines in complex plane such that the fundamental group of the comp…
We prove global effective versions of the Brian\ccon-Skoda-Huneke theorem. Our results extend, to singular varieties, a result of Hickel on the membership problem in polynomial ideals in $\mathbf C^n$, and a related theorem of Ein and Lazarsfeld for smooth projective varieties. The proofs rely on known geometric estimates and new results on multivariable residue calculus.
We prove that the integral points are potentially Zariski dense in the complement of a reduced effective singular anticanonical divisor in a smooth del Pezzo surface, with the exception of $\mathbb{P}^2$ minus three concurrent lines (for which potential density does not hold). This answers positively a question raised by Hassett and Tschinkel and, combined with previous results, completes the proof of the potential density of integral points for complements of anticanonical divisors in smooth del Pezzo surfaces. We then classify the complements which are simply connected and for these we prove…
Compact hyperkaehler manifolds are higher-dimensional generalizations of K3 surfaces. The classical Global Torelli theorem for K3 surfaces, however, does not hold in higher dimensions. More precisely, a compact hyperkaehler manifold is in general not determined by its natural weight-two Hodge structure. The text gives an account of a recent theorem of M. Verbitsky, which can be regarded as a weaker version of the Global Torelli theorem phrased in terms of the injectivity of the period map on the connected components of the moduli space of marked manifolds.
The main result of the paper is a boundedness for $n$-complements on algebraic surfaces. In addition, applications of this theorem to a classification of log Del Pezzo surfaces and of birational contractions for 3-folds are formulated.
As a consequence of our recently established generalized Schmidt's subspace theorem for closed subschemes in general position, we prove a degeneracy theorem for integral points on the complement of a union of nef effective divisors. A novel aspect of our result is the attainment of a strong degeneracy conclusion (arithmetic quasi-hyperbolicity) under weak positivity assumptions on the divisors. The proof hinges on applying our recent theorem with a well-situated ample divisor realizing a certain lexicographical minimax. We also explore the connections with earlier work by other authors and mak…
We systematically study the moduli theory of symplectic varieties (in the sense of Beauville) which admit a resolution by an irreducible symplectic manifold. In particular, we prove an analog of Verbitsky's global Torelli theorem for the locally trivial deformations of such varieties. Verbitsky's work on ergodic complex structures replaces twistor lines as the essential global input. In so doing we extend many of the local deformation-theoretic results known in the smooth case to such (not-necessarily-projective) symplectic varieties. We deduce a number of applications to the birational geomet…
A complex hypersurface D in complex affine n-space C^n is a linear free divisor (LFD) if its module of logarithmic vector fields has a global basis of linear vector fields. We classify all LFDs for n at most 4. Analogous to Grothendieck's comparison theorem, we say that the global logarithmic comparison theorem (GLCT) holds for D if the complex of global logarithmic differential forms computes the complex cohomology of the complement of D in C^n. We develop a general criterion for the GLCT for LFDs and prove that it is fulfilled whenever the Lie algebra of linear logarithmic vector fields is r…
A mapping class group of an oriented manifold is a quotient of its diffeomorphism group by the isotopies. In the published version of "Mapping class group and a global Torelli theorem for hyperkahler manifolds" I made an error based on a wrong quotation of Dennis Sullivan's famous paper "Infinitesimal computations in topology". I claimed that the natural homomorphism from the mapping class group to the group of automorphims of cohomology of a simply connected Kahler manifold has finite kernel. In a recent preprint arXiv:1907.05693, Matthias Kreck and Yang Su produced counterexamples to this st…
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…