arXiv subjects

Andrey Soldatenkov

Publications and source records attributed to Andrey Soldatenkov.

18 recordsLinked to original sources

arXiv2026

Reflective lattices and hyperkahler manifolds

Using the results of Nikulin and Vinberg on the groups of isometries generated by reflections, we construct a subvariety called the Nikulin-Vinberg locus in the moduli space of polarized hyperkahler manifolds. It is obtained as a finite union of components of higher Noether-Lefschetz loci which parameterize manifolds with certain special Neron-Severi lattices. The Nikulin-Vinberg locus is the closure of the set of hyperkahler manifolds with Picard number $\geq 3$ which have finite groups of birational automorphisms. Using this construction and a refinement of an argument by Oguiso, we show that any non-trivial family of projective deformations of a hyperkahler manifold with $b_2(M)\geq 6$ has a dense set of fibers which have an infinite group of birational automorphisms.

math.AG↗

arXiv2025

The abundance and SYZ conjectures in families of hyperkahler manifolds

Let $L$ be a holomorphic line bundle on a hyperkahler manifold $M$, with $c_1(L)$ nef and not big. SYZ conjecture predicts that $L$ is semiample. We prove that this is true, assuming that $(M,L)$ has a deformation $(M',L')$ with $L'$ semiample. We introduce a version of the Teichmuller space that parametrizes pairs $(M,L)$ up to isotopy. We prove a version of the global Torelli theorem for such Teichmuller spaces and use it to deduce the deformation invariance of semiampleness.

math.AG↗

arXiv2025

Birational geometry of hyperkahler manifolds and the Hu-Yau conjecture

Wierzba and Wisniewski proved that in dimension 4, every bimeromorphic map of hyperkahler manifolds is represented as a composition of Mukai flops. Hu and Yau conjectured that this result can be generalized to arbitrary dimension. They defined ``Mukai's elementary transformation'' as the blow-up of a subvariety ruled by complex projective spaces, composed with the contraction of the ruling. Hu and Yau conjectured that any bimeromorphic map of hyperkahler manifolds can be decomposed into a sequence of Mukai's elementary transformations, after possibly removing subvarieties of codimension greater than $2$. We prove this conjecture for compact hyperkahler manifolds of maximal holonomy by decomposing any bimeromorphic map into a composition of wall-crossing flops associated with MBM contractions.

math.AG↗

arXiv2025

Hermitian-symplectic and Kahler structures on degenerate twistor deformations

Let $(M, Ω)$ be a holomorphically symplectic manifold equipped with a holomorphic Lagrangian fibration $π: M \to B$, and $η$ a closed $(1,1)$-form on $B$. Then $Ω+ π^* η$ is a holomorphically symplectic form on a complex manifold which is called the degenerate twistor deformation of $M$. We prove that degenerate twistor deformations of compact holomorphically symplectic Kähler manifolds are also Kähler. First, we prove that degenerate twistor deformations are Hermitian symplectic, that is, tamed by a symplectic form; this is shown using positive currents and an argument based on the Hahn--Banach theorem, originally due to Sullivan. Then we apply a version of Huybrechts's theorem showing that two non-separated points in the Teichmüller space of holomorphically symplectic manifolds correspond to bimeromorphic manifolds if they are Hermitian symplectic.

math.AG↗

arXiv2024

Rigid currents on compact hyperkahler manifolds

A rigid cohomology class on a complex manifold is a class that is represented by a unique closed positive current. The positive current representing a rigid class is also called rigid. For a compact Kahler manifold $X$ all eigenvectors of hyperbolic automorphisms acting on $H^{1,1}(X)$ that have non-unit eigenvalues are rigid classes. Such classes are always parabolic, namely, they belong to the boundary of the Kahler cone and have vanishing volume. We study parabolic $(1,1)$-classes on compact hyperkahler manifolds with $b_2 \geq 7$. We show that a parabolic class is rigid if it is not orthogonal to a rational vector with respect to the BBF form. This implies that a general parabolic class on a hyperkahler manifold is rigid.

math.AG↗

arXiv2024

Apollonian carpets and the boundary of the Kahler cone of a hyperkahler manifold

The ample cone of a compact Kahler $n$-manifold $M$ is the intersection of its Kahler cone and the real subspace generated by integer (1,1)-classes. Its isotropic boundary is the set of all points $η$ on its boundary such that $\int_M η^n=0$. We are interested in the relation between the shape of the isotropic boundary of the ample cone of a hyperkahler manifold and the dynamics of its holomorphic automorphism group $G$. In this case, the projectivization of the ample cone is realized as an open, locally polyhedral subset in a hyperbolic space $H$. The isotropic boundary $S$ is realized as a subset of the hyperbolic boundary (the absolute) $A$ of $H$, which is naturally identified with a Euclidean sphere. It is clear that the isotropic boundary $S$ contains the limit set of $G$ acting on its ample cone. We prove that, conversely, all irrational points on $S$ belong to the limit set. Using a result of N. Shah about limiting distributions of curves under geodesic flow on hyperbolic manifolds, we prove that every real analytic curve in $S$ is contained in a geodesic sphere in $S$,and in presence of such curves the limit set is the closure of the union of these geodesic spheres. We study the geometry of such fractal sets, called Apollonian carpets, and establish the link between the Apollonian carpet and the structure of the automorphism group.

math.AG↗

arXiv2022

Cohomology and André motives of hyperkähler orbifolds

One of the main tools for the study of compact hyperkähler manifolds is the natural action of the Looijenga-Lunts-Verbitsky Lie algebra on the cohomology of such manifolds. This also applies to the mildly singular holomorphic symplectic varieties - hyperkähler orbifolds, allowing us to prove that André motives of such orbifolds tend to be abelian.

math.AG↗

arXiv2021

The Moser isotopy for holomorphic symplectic and C-symplectic structures

A C-symplectic structure is a complex-valued 2-form which is holomorphically symplectic for an appropriate complex structure. We prove an analogue of Moser's isotopy theorem for families of C-symplectic structures and list several applications of this result. We prove that the degenerate twistorial deformation associated to a holomorphic Lagrangian fibration is locally trivial over the base of this fibration. This is used to extend several theorems about Lagrangian fibrations, known for projective hyperkähler manifolds, to the non-projective case. We also exhibit new examples of non-compact complex manifolds with infinitely many pairwise non-birational algebraic compactifications.

math.AG↗

arXiv2021

Deformation principle and André motives of projective hyperkähler manifolds

Let $X_1$ and $X_2$ be deformation equivalent projective hyperkähler manifolds. We prove that the André motive of $X_1$ is abelian if and only if the André motive of $X_2$ is abelian. Applying this to manifolds of $\mbox{K3}^{[n]}$, generalized Kummer and OG6 deformation types, we deduce that their André motives are abelian. As a consequence, we prove that all Hodge classes in arbitrary degree on such manifolds are absolute. We discuss applications to the Mumford-Tate conjecture, showing in particular that it holds for even degree cohomology of such manifolds.

math.AG↗

arXiv2019

On the Hodge structures of compact hyperkähler manifolds

The purpose of this note is to give an account of a well-known folklore result: the Hodge structure on the second cohomology of a compact hyperkähler manifold uniquely determines Hodge structures on all higher cohomology groups. We discuss the precise statement and its proof, which are somewhat difficult to locate in the literature.

math.AG↗

arXiv2019

Limit mixed Hodge structures of hyperkähler manifolds

This note is inspired by the work of Deligne on the local behavior of Hodge structures at infinity. We study limit mixed Hodge structures of degenerating families of compact hyperkähler manifolds. We show that when the monodromy action on $H^2$ has maximal index of unipotency, the limit mixed Hodge structures on all cohomology groups are of Hodge-Tate type.

math.AG↗

arXiv2019

Kuga-Satake construction and cohomology of hyperkahler manifolds

Let M be a simple hyperkahler manifold. Kuga-Satake construction gives an embedding of H^2(M,C) into the second cohomology of a torus, compatible with the Hodge structure. We construct a torus T and an embedding of the graded cohomology space H^*(M,C) \to H^{*+l}(T,C) for some l, which is compatible with the Hodge structures and the Poincare pairing. Moreover, this embedding is compatible with an action of the Lie algebra generated by all Lefschetz sl(2)-triples on M.

math.AG↗

arXiv2019

The Kuga-Satake construction under degeneration

We extend the Kuga-Satake construction to the case of limit mixed Hodge structures of K3 type. We use this to study the geometry and Hodge theory of degenerations of Kuga-Satake abelian varieties, associated to polarized variations of K3 type Hodge structures over the punctured disc.

math.AG↗

arXiv2019

k-symplectic structures and absolutely trianalytic subvarieties in hyperkahler manifolds

Let $(M,I,J,K)$ be a hyperkahler manifold, and $Z\subset (M,I)$ a complex subvariety in $(M,I)$. We say that $Z$ is trianalytic if it is complex analytic with respect to $J$ and $K$, and absolutely trianalytic if it is trianalytic with respect to any hyperkähler triple of complex structures $(M,I,J',K')$ containing $I$. For a generic complex structure $I$ on $M$, all complex subvarieties of $(M,I)$ are absolutely trianalytic. It is known that a normalization $Z'$ of a trianalytic subvariety is smooth; we prove that $b_2(Z')$ is no smaller than $b_2(M)$ when $M$ has maximal holonomy (that is, $M$ is IHS). To study absolutely trianalytic subvarieties further, we define a new geometric structure, called k-symplectic structure; this structure is a generalization of the hypersymplectic structure. A k-symplectic structure on a 2d-dimensional manifold $X$ is a k-dimensional space $R$ of closed 2-forms on $X$ which all have rank 2d or d. It is called non-degenerate if the set of all degenerate forms in $R$ is a smooth, non-degenerate quadric hypersurface in $R$. We consider absolutely trianalytic tori in a hyperkahler manifold $M$ of maximal holonomy. We prove that any such torus is equipped with a non-degenerate k-symplectic structure, where $k=b_2(M)$. We show that the tangent bundle $TX$ of a k-symplectic manifold is a Clifford module over a Clifford algebra $Cl(k-1)$. Then an absolutely trianalytic torus in a hyperkahler manifold $M$ with $b_2(M)\geq 2r+1$ is at least $2^{r-1}$-dimensional.

math.AG↗

arXiv2018

On the geometry of the LLSvS eightfold

In this note we make a few remarks about the geometry of the holomorphic symplectic manifold Z constructed by C.Lehn, M.Lehn, C.Sorger and D. van Straten as a two-step contraction of the variety of twisted cubic curves on a cubic fourfold Y in P^5. We show that Z is birational to a component of a moduli space of stable sheaves in the Calabi-Yau subcategory of the derived category of Y. Using this description we deduce that the twisted cubics contained in a hyperplane section Y_H of Y give rise to a Lagrangian subvariety Z_H in Z. For a generic choice of the hyperplane, Z_H is birational to the theta-divisor in the intermediate Jacobian of Y_H.

math.AG↗

arXiv2013

Holomorphic Lagrangian fibrations on hypercomplex manifolds

A hypercomplex manifold is a manifold equipped with a triple of complex structures satisfying the quaternionic relations. A holomorphic Lagrangian variety on a hypercomplex manifold with trivial canonical bundle is a holomorphic subvariety which is calibrated by a form associated with the holomorphic volume form; this notion is a generalization of the usual holomorphic Lagrangian subvarieties known in hyperkaehler geometry. An HKT (hyperkaehler with torsion) metric on a hypercomplex manifold is a metric determined by a local potential, in a similar way to the Kaehler metric. We prove that a base of a holomorphic Lagrangian fibration is always Kaehler, if its total space is HKT. This is used to construct new examples of hypercomplex manifolds which do not admit an HKT structure.

math.DG↗

arXiv2012

Subvarieties of hypercomplex manifolds with holonomy in SL(n,H)

A hypercomplex manifold M is a manifold with a triple I,J,K of complex structure operators satisfying quaternionic relations. For each quaternion L=aI +bJ+cK, L^2=-1, L is also a complex structure operator on M, called an induced complex structure. We are studying compact complex subvarieties of (M,L), when L is a generic induced complex structure. Under additional assumptions (Obata holonomy contained in SL(n,H), existence of an HKT metric), we prove that (M,L) contains no divisors, and all complex subvarieties of codimension 2 are trianalytic (that is, also hypercomplex).

math.AG↗

arXiv2011

Holonomy of the Obata connection on SU(3)

A hypercomplex structure on a smooth manifold is a triple of integrable almost complex structures satisfying quaternionic relations. The Obata connection is the unique torsion-free connection that preserves each of the complex structures. The holonomy group of the Obata connection is contained in $GL(n, \mathbb{H})$. There is a well-known construction of hypercomplex structures on Lie groups due to Joyce. In this paper we show that the holonomy of the Obata connection on SU(3) coincides with $GL(2, \mathbb{H})$.

math.DG↗