Search

Let $M$ be a holomorphically symplectic manifold, equipped with a Lagrangian fibration $\pi:\; M \to X$. A degenerate twistor deformation (sometimes also called ``a Tate-Shafarevich twist'') is a family of holomorphically symplectic structures on $M$ parametrized by $H^{1,1}(X)$. All members of this family are equipped with a holomorphic Lagrangian projection to $X$, and their fibers are isomorphic to the fibers of $\pi$. Assume that $M$ is a compact hyperkahler manifold of maximal holonomy, and the general fiber of the Lagrangian projection $\pi$ is primitive (that is, not divisible) in integer homology. We prove that $M$ has a degenerate twistor deformation $M'$ such that the Lagrangian projection $\pi:\; M' \to X$ admits a meromorphic section., Comment: 22 pages, v. 2.2, the multiple fibers issue addressed, some examples sited, a wrong proposition corrected, more references added

Let $(M,I, \Omega)$ be a holomorphically symplectic manifold equipped with a holomorphic Lagrangian fibration $\pi:\; M \mapsto X$, and $\eta$ a closed form of Hodge type (1,1)+(2,0) on $X$. We prove that $\Omega':=\Omega+\pi^* \eta$ is again a holomorphically symplectic form, for another complex structure $I'$, which is uniquely determined by $\Omega'$. The corresponding deformation of complex structures is called "degenerate twistorial deformation". The map $\pi$ is holomorphic with respect to this new complex structure, and $X$ and the fibers of $\pi$ retain the same complex structure as before. Let $s$ be a smooth section of of $\pi$. We prove that there exists a degenerate twistorial deformation $(M,I', \Omega')$ such that $s$ is a holomorphic section., Comment: 16 pages, Latex

We offer a new approach to proving the Chen-Donaldson-Sun theorem which we demonstrate with a series of examples. We discuss the existence of a construction of a special metric on stable vector bundles over the surfaces formed by a families of curves and its relation to the one-dimensional cycles in the moduli space of stable bundles on curves., Comment: 11 pages

We consider the only one known class of non-K\"ahler irreducible holomorphic symplectic manifolds, described in the works of D. Guan and the first author. Any such manifold $Q$ of dimension $2n-2$ is obtained as a finite degree $n^2$ cover of some non-K\"ahler manifold $W_F$ which we call the base of $Q$. We show that the algebraic reduction of $Q$ and its base is the projective space of dimension $n-1$. Besides, we give a partial classification of submanifolds in $Q$, describe the degeneracy locus of its algebraic reduction, and prove that the automorphism group of $Q$ satisfies the Jordan property., Comment: 29 pages; journal version, to appear in IMRN

Let $E$ be an elliptic curve and $\pi:E\to\mathbb{P}^{1}$ a standard double cover identifying $\pm P\in E$. It is known that for some torsion points $P_{i}\in E$, $1\leq i\leq4$, the cross ratio of $\{\pi(P_{i})\}_{i=1}^{4}$ is independent of $E$. In this article, we will give a complete classification of such quadruples.

In this paper we study the Lagrangian fibrations for projective irreducible symplectic fourfolds and exclude the case of non-smooth base. Our method could be extended to the higher-dimensional cases., Comment: 10 pages

In this paper we define and investigate a class of groups characterized by a representation-theoretic property we call purely noncommuting or PNC. This property guarantees that the group has an action on a smooth projective variety with mild quotient singularities. It has intrinsic group-theoretic interest as well. The main results are as follows. (i) All supersolvable groups are PNC. (ii) No nonabelian finite simple groups are PNC. (iii) A metabelian group is guaranteed to be PNC if its commutator subgroup's cyclic prime-power-order factors are all distinct, but not in general. We also give a criterion guaranteeing a group is PNC if its nonabelian subgroups are all large, in a suitable sense, and investigate the PNC property for permutations., Comment: 18 pages, 2 tables. Comments welcome!

We study when kernels of inflation maps associated to extraspecial p-groups in stable group cohomology are generated by their degree two components. This turns out to be true if the prime is large enough compared to the rank of the elementary abelian quotient, but false in general., Comment: 13 pages

We study Noether's problem from the perspective of torsors under linear algebraic groups and descent., Comment: 14 pages

A projective manifold $M$ is algebraically hyperbolic if there exists a positive constant $A$ such that the degree of any curve of genus $g$ on $M$ is bounded from above by $A(g-1)$. A classical result is that Kobayashi hyperbolicity implies algebraic hyperbolicity. It is known that Kobayashi hyperbolic manifolds have finite automorphism groups. Here we prove that, more generally, algebraically hyperbolic projective manifolds have finite automorphism groups., Comment: 10 pages, v. 3.0 (final version), many small corrections suggested by the referee

We study homomorphisms of multiplicative groups of fields preserving algebraic dependence and show that such homomorphisms give rise to valuations., Comment: 30 pages

We give a new proof of a theorem of Bogomolov, that the only $VII_0$ surfaces with $b_2 = 0$ are those constructed by Hopf and Inoue. The proof follows the strategy of the original one, but it is of purely group-theoretic nature.

We construct pairs of elliptic curves over number fields with large intersection of projective torsion points.

We study effective versions of unlikely intersections of images of torsion points of elliptic curves on the projective line., Comment: 19 pages

We give evidence for a uniformization-type conjecture, that any algebraic variety can be altered into a variety endowed with a tower of smooth fibrations of relative dimension one.

We study Calabi-Yau threefolds fibered by abelian surfaces, in particular, their arithmetic properties, e.g., N\'eron models and Zariski density., Comment: 18 pages

We study contraction of points on $\mathbb{P}^1(\bar{\mathbb{Q}})$ with certain control on local ramification indices, with application to the unramified curve correspondences problem initiated by Bogomolov and Tschinkel., Comment: 19 pages

Given two elliptic curves, each of which is associated with a projection map that identifies opposite elements with respect to the natural group structure, we investigate how their corresponding projective images of torsion points intersect.

We define the Kobayashi quotient of a complex variety by identifying points with vanishing Kobayashi pseudodistance between them and show that if a compact complex manifold has an automorphism whose order is infinite, then the fibers of this quotient map are nontrivial. We prove that the Kobayashi quotients associated to ergodic complex structures on a compact manifold are isomorphic. We also give a proof of Kobayashi's conjecture on the vanishing of the pseudodistance for hyperk\"ahler manifolds having Lagrangian fibrations without multiple fibers in codimension one. For a hyperbolic automorphism of a hyperk\"ahler manifold, we prove that its cohomology eigenvalues are determined by its Hodge numbers, compute its dynamical degree and show that its cohomological trace grows exponentially, giving estimates on the number of its periodic points., Comment: 19 pages, final version (v. 3), minor corrections, expanded section 4

Following the work of Totaro and Pereira, we study sufficient conditions under which collections of pairwise-disjoint divisors on a variety over an algebraically closed field are contained in the fibers of a morphism to a curve. We prove that $\rho_w(X) + 1$ pairwise-disjoint, connected divisors suffices for proper, normal varieties $X$, where $\rho_w(X)$ is a modification of the N\'eron-Severi rank of $X$ (they agree when $X$ is projective and smooth). We then prove a strong counterexample in the affine case: if $X$ is quasi-affine and of dimension $\geq 2$ over a countable, algebraically-closed field $k$, then there exists a (countable) collection of pairwise-disjoint divisors which cover the $k$-points of X, so that for any non-constant morphism from $X$ to a curve, at most finitely many are contained in the fibers thereof. We show, however, that an uncountable collection of pairwise-disjoint, connected divisors in any normal variety over an algebraically-closed field must be contained in the fibers of a morphism to a curve., Comment: Added new author (A.P.), reworked and strengthened arguments

In the authors's previous work on symmetric differentials and their connection to the topological properties of the ambient manifold, a class of symmetric differentials was introduced: closed symmetric differentials ([BoDeO11] and [BoDeO13]). In this article we give a description of the local structure of closed symmetric 2-differentials on complex surfaces, with an emphasis towards the local decompositions as products of 1-differentials. We show that a closed symmetric 2-differential $w$ of rank 2 (i.e. defines two distinct foliations at the general point) has a subvariety $B_w\subset X$ outside of which $w$ is locally the product of closed holomorphic 1-differentials. The main result, theorem 2.6, gives a complete description of a (locally split) closed symmetric 2-differential in a neighborhood of a general point of $B_w$. A key feature of theorem 2.6 is that closed symmetric 2-differentials still have a decomposition as a product of 2 closed 1-differentials (in a generalized sense) even at the points of $B_w$. The (possibly multi-valued) closed 1-differentials can have essential singularities along $B_w$, but one still has a control on these essential singularities. The essential singularities come from exponentials of meromorphic functions acquiring poles along the irreducible components of $B_w$ of order bounded by the order of contact of the 2 foliations defined by the symmetric 2-differential along that irreducible component., Comment: 19 pages

We construct and study universal spaces for birational invariants of algebraic varieties over algebraic closures of finite fields., Comment: 34 pages

We compare the notions of essential dimension and stable cohomological dimension of a finite group G, prove that the latter is bounded by the length of any normal series with cyclic quotients for G, and show that, however, this bound is not sharp by showing that the stable cohomological dimension of the finite Heisenberg groups H_p, p any prime, is equal to two., Comment: 18 pages

We prove that a family of varieties is birationally isotrivial if all the fibers are birational to each other., Comment: 10 pages; v2: thanks to helpful suggestions of the referee, the main result is now independent of the Eisenbud-Goto conjecture; also we removed the erroneous Prop. 3.4 of v1 which was not needed for anything else in the paper

A closed symmetric differential of the 1st kind is a differential that locally is the product of closed holomorphic 1-forms. We show that closed symmetric 2-differentials of the 1st kind on a projective manifold $X$ come from maps of $X$ to cyclic or dihedral quotients of Abelian varieties and that their presence implies that the fundamental group of $X$ (case of rank 2) or of the complement $X\setminus E$ of a divisor $E$ with negative properties (case of rank 1) contains subgroup of finite index with infinite abelianization. Other results include: i) the identification of the differential operator characterizing closed symmetric 2-differentials on surfaces (which provides in this case a connection to flat Riemannian metrics) and ii) projective manifolds $X$ having symmetric 2-differentials $w$ that are the product of two closed meromorphic 1-forms are irregular, in fact if $w$ is not of the 1st kind (which can happen), then $X$ has a fibration $f:X \to C$ over a curve of genus $\ge 1$.

We investigate basic properties of uniformly rational varieties, i.e. those smooth varieties for which every point has a Zariski open neighborhood isomorphic to an open subset of A^n. It is an open question of Gromov whether all smooth rational varieties are uniformly rational. We discuss some potential criteria that might allow one to show that they form a proper subclass in the class of all smooth rational varieties. Finally we prove that small algebraic resolutions and big resolutions of nodal cubic threefolds are uniformly rational., Comment: 18 pages

We discuss the problem of stable conjugacy of finite subgroups of Cremona groups. We show that the group $H^1(G,Pic(X))$ is a stable birational invariant and compute this group in some cases., Comment: 7 pages, LaTeX

Let $\Psi$ be the projectivization (i.e., the set of one-dimensional vector subspaces) of a vector space of dimension $\ge 3$ over a field. Let $H$ be a closed (in the pointwise convergence topology) subgroup of the permutation group $\mathfrak{S}_{\Psi}$ of the set $\Psi$. Suppose that $H$ contains the projective group and an arbitrary self-bijection of $\Psi$ transforming a triple of collinear points to a non-collinear triple. It is well-known from \cite{KantorMcDonough} that if $\Psi$ is finite then $H$ contains the alternating subgroup $\mathfrak{A}_{\Psi}$ of $\mathfrak{S}_{\Psi}$. We show in Theorem \ref{density} below that $H=\mathfrak{S}_{\Psi}$, if $\Psi$ is infinite., Comment: 9 pages

Using the notion of isoclinism introduced by P. Hall for finite p-groups, we show that many important classes of finite p-groups have stable cohomology detected by abelian subgroups, see Theorem 4.4. Moreover, we show that the stable cohomology of the n-fold wreath product of cyclic groups ZZ/p is detected by elementary abelian p-subgroups and we describe the resulting cohomology algebra explicitly. Some applications to the computation of unramified and stable cohomology of finite groups of Lie type are given., Comment: 19 pages

We study unirational algebraic varieties and the fields of rational functions on them. We show that after adding a finite number of variables some of these fields admit an infinitely transitive model. The latter is an algebraic variety with the given field of rational functions and an infinitely transitive regular action of a group of algebraic automorphisms generated by unipotent algebraic subgroups. We expect that this property holds for all unirational varieties and in fact is a peculiar one for this class of algebraic varieties among those varieties which are rationally connected., Comment: The proofs and the text edited, 12 pages

We explore connections between birational anabelian geometry and abstract projective geometry. One of the applications is a proof of a version of the birational section conjecture., Comment: 27 pages

In this article we determine the stable cohomology groups H^i_s (A_n, Z/p) of the alternating groups A_n for all integers n and i, and all primes p., Comment: 21 pages; v3: supplied a new argument in section 2 for the fact that the stable cohomology of the alternating groups is detected by elementary abelian subgroups

Let G be one of the groups SL_n C, Sp_2n C, SO_m C, O_m C, or G_2. For a generically free G-representation V, we say that N is a level of stable rationality for V/G if V/G x P^N is rational. In this paper we improve known bounds for the levels of stable rationality for the quotients V/G. In particular, their growth as functions of the rank of the group is linear for G one of the classical groups., Comment: 63 pages

We survey recent developments in the Birational Anabelian Geometry program aimed at the reconstruction of function fields of algebraic varieties over algebraically closed fields from pieces of their absolute Galois groups., Comment: 51 pages

Let G be the (special) affine group, semidirect product of SL_n and C^n. In this paper we study the representation theory of G and in particular the question of rationality for V/G where V is a generically free G-representation. We show that the answer to this question is positive if the dimension of V is sufficiently large and V is indecomposable. We have a more precise theorem if V is a two-step extension 0 -> S -> V -> Q -> 0 with S, Q completely reducible., Comment: 18 pages; dedicated to Fabrizio Catanese on the occasion of his 60th birthday

Let X be a variety over a number field and let f: X --> X be an "interesting" rational self-map with a fixed point q. We make some general remarks concerning the possibility of using the behaviour of f near q to produce many rational points on X. As an application, we give a simplified proof of the potential density of rational points on the variety of lines of a cubic fourfold (originally obtained by Claire Voisin and the first author in 2007)., Comment: LaTeX, 22 pages. v2: some minor observations added, misprints corrected, appendix modified.

We prove that function fields of varieties of dimension at least two over an algebraic closure of a finite field are determined, modulo purely inseparable extensions, by the quotient by the second term in the lower central series of their pro-$\ell$ Galois groups., Comment: 22 pages

We develop a mixed-characteristic version of the Mori-Mukai technique for producing rational curves on K3 surfaces. We reduce modulo p, produce rational curves on the resulting K3 surface over a finite field, and lift to characteristic zero. As an application, we prove that all complex K3 surfaces with Picard group generated by a class of degree two have an infinite number of rational curves., Comment: 19 pages