Showing 1–37 of 37 results for author: Rollenske, S

Half canonical rings of Gorenstein spin curves of genus two

Authors: Stephen Coughlan, Marco Franciosi, Rita Pardini, Sönke Rollenske

Abstract: We introduce the notion of generalised Gorenstein spin structure on a curve and we give an explicit description of the associated section ring for curves of genus two with ample canonical bundle, obtaining five different formats. We introduce the notion of generalised Gorenstein spin structure on a curve and we give an explicit description of the associated section ring for curves of genus two with ample canonical bundle, obtaining five different formats. △ Less

Submitted 15 December, 2023; originally announced December 2023.

MSC Class: 14H42; 14H45; 14H2

I-surfaces from surfaces with one exceptional unimodal point

Authors: Sönke Rollenske, Diana Torres

Abstract: We complement recent work of Gallardo, Pearlstein, Schaffler, and Zhang, showing that the stable surfaces with $K_X^2 =1$ and $χ(\mathcal O_X) = 3$ they construct are indeed the only ones arising from imposing an exceptional unimodal double point. In addition, we explicitly describe the birational type of the surfaces constructed from singularities of type $E_{12}$, $E_{13}$, and $E_{14}$. We complement recent work of Gallardo, Pearlstein, Schaffler, and Zhang, showing that the stable surfaces with $K_X^2 =1$ and $χ(\mathcal O_X) = 3$ they construct are indeed the only ones arising from imposing an exceptional unimodal double point. In addition, we explicitly describe the birational type of the surfaces constructed from singularities of type $E_{12}$, $E_{13}$, and $E_{14}$. △ Less

Submitted 29 January, 2024; v1 submitted 2 May, 2023; originally announced May 2023.

Comments: 27 pages, v2: improved presentation and minor corrections; to appear in Math. Nachrichten

MSC Class: 14J10; 14J29; 14E05

Standard stable Horikawa surfaces

Authors: Julie Rana, Sönke Rollenske

Abstract: We consider the stable compactification $\bar {\mathfrak H}$ of the moduli space of Horikawa surfaces with $K_X^2 = 2p_g(X) -4$. When $K_X^2 =8\ell$ we show that the closures of the two components $\mathfrak H^{\mathrm I}$ and $\mathfrak H^{\mathrm {II}}$ of the Gieseker moduli space intersect, for $\ell>2$ in a divisor parametrising explicitly described semi-smooth surfaces. With growing… ▽ More We consider the stable compactification $\bar {\mathfrak H}$ of the moduli space of Horikawa surfaces with $K_X^2 = 2p_g(X) -4$. When $K_X^2 =8\ell$ we show that the closures of the two components $\mathfrak H^{\mathrm I}$ and $\mathfrak H^{\mathrm {II}}$ of the Gieseker moduli space intersect, for $\ell>2$ in a divisor parametrising explicitly described semi-smooth surfaces. With growing $K_X^2$ we find an increasing number of generically non-reduced irreducible components in the same connected component of the moduli space of stable surfaces. △ Less

Submitted 22 November, 2022; originally announced November 2022.

MSC Class: 14J10; 14J17; 14J29

Degeneration of Hodge structures on I-surfaces

Authors: Stephen Coughlan, Marco Franciosi, Rita Pardini, Sönke Rollenske

Abstract: Work of Green, Griffiths, Laza, and Robles suggests that the moduli space of (smoothable) stable surfaces should admit a natural stratification defined via Hodge theoretic data. In the case of stable surfaces with $K_X^2 = 1$ and $χ(X) = 3$ we compute the Hodge type of all examples known to us and show that all predicted degenerations are geometrically realised. Work of Green, Griffiths, Laza, and Robles suggests that the moduli space of (smoothable) stable surfaces should admit a natural stratification defined via Hodge theoretic data. In the case of stable surfaces with $K_X^2 = 1$ and $χ(X) = 3$ we compute the Hodge type of all examples known to us and show that all predicted degenerations are geometrically realised. △ Less

Submitted 15 September, 2022; originally announced September 2022.

Compactified Jacobians of Extended ADE Curves and Lagrangian Fibrations

Authors: Adam Czapliński, Andreas Krug, Manfred Lehn, Sönke Rollenske

Abstract: We observe that general reducible curves in sufficiently positive linear systems on K3 surfaces are of a form that generalises Kodaira's classification of singular elliptic fibres and thus call them extended ADE curves. On such a curve $C$, we describe a compactified Jacobian and show that its components reflect the intersection graph of $C$. This extends known results when $C$ is reduced, but n… ▽ More We observe that general reducible curves in sufficiently positive linear systems on K3 surfaces are of a form that generalises Kodaira's classification of singular elliptic fibres and thus call them extended ADE curves. On such a curve $C$, we describe a compactified Jacobian and show that its components reflect the intersection graph of $C$. This extends known results when $C$ is reduced, but new difficulties arise when $C$ is non-reduced. As an application, we get an explicit description of general singular fibres of certain Lagrangian fibrations of Beauville-Mukai type. △ Less

Submitted 5 January, 2024; v1 submitted 23 June, 2022; originally announced June 2022.

Comments: Minor corrections. To appear in Commun. Contemp. Math

Special triple covers of algebraic surfaces

Authors: Nicolina Istrati, Piotr Pokora, Sönke Rollenske

Abstract: We study special triple covers $f\colon T \to S$ of algebraic surfaces, where the Tschirnhausen bundle $\mathcal E = \left(f_*\mathcal O_T/\mathcal O_S\right)^\vee$ is a quotient of a split rank three vector bundle, and we provide several necessary and sufficient criteria for the existence. As an application, we give a complete classification of special triple planes, finding among others two ni… ▽ More We study special triple covers $f\colon T \to S$ of algebraic surfaces, where the Tschirnhausen bundle $\mathcal E = \left(f_*\mathcal O_T/\mathcal O_S\right)^\vee$ is a quotient of a split rank three vector bundle, and we provide several necessary and sufficient criteria for the existence. As an application, we give a complete classification of special triple planes, finding among others two nice families of K3 surfaces. △ Less

Submitted 25 February, 2022; originally announced February 2022.

Comments: 26 pages

MSC Class: 14J10; 14J29

Journal ref: Documenta Mathematica 27 (2022) 2301 - 2332

On T-divisors and intersections in $\overline{M}_{1,3}$

Authors: Stephen Coughlan, Marco Franciosi, Rita Pardini, Julie Rana, Sönke Rollenske

Abstract: The moduli space of stable surfaces with $K_X^2 = 1$ and $χ(X) = 3$ has at least two irreducible components that contain surfaces with T-singularities. We show that the two known components intersect transversally in a divisor. Moreover, we exhibit other new boundary divisors and study how they intersect one another. The moduli space of stable surfaces with $K_X^2 = 1$ and $χ(X) = 3$ has at least two irreducible components that contain surfaces with T-singularities. We show that the two known components intersect transversally in a divisor. Moreover, we exhibit other new boundary divisors and study how they intersect one another. △ Less

Submitted 24 November, 2021; originally announced November 2021.

Comments: 28 pages, 8 figures

MSC Class: 14J10; 14J17; 14J29

Gorenstein stable surfaces with $K_X^2 =1$ and $ χ(\mathcal O_X) =2$

Authors: Anh Thi Do, Sönke Rollenske

Abstract: We classify - as far as possible - Gorenstein stable surfaces with $K_X^2 = 1$ and $χ(\mathcal O_X) = 2$, describing several strata in the moduli space quite in detail. We classify - as far as possible - Gorenstein stable surfaces with $K_X^2 = 1$ and $χ(\mathcal O_X) = 2$, describing several strata in the moduli space quite in detail. △ Less

Submitted 24 September, 2021; originally announced September 2021.

Comments: 45 pages, 12 figures

MSC Class: 14J10; 14J29

Virus infections, Corona surfaces, and extra components in the moduli space of stable surfaces

Authors: Sönke Rollenske

Abstract: We construct examples of non-smoothable stable surfaces, that we call Corona surfaces, with invariants in a wide range comprising all possible invariants of smooth minimal surfaces of general type but non-standard second plurigenus. We deduce that the moduli space of stable surfaces $\overline{\mathfrak M}_{k,l}$ has least $k-l+2$ connected components distinguished by the second plurigenus and,… ▽ More We construct examples of non-smoothable stable surfaces, that we call Corona surfaces, with invariants in a wide range comprising all possible invariants of smooth minimal surfaces of general type but non-standard second plurigenus. We deduce that the moduli space of stable surfaces $\overline{\mathfrak M}_{k,l}$ has least $k-l+2$ connected components distinguished by the second plurigenus and, in particular, it always has more irreducible components than the Gieseker moduli space with the same invariants. △ Less

Submitted 16 April, 2021; v1 submitted 31 March, 2021; originally announced March 2021.

Comments: Disclaimer: While the language and the pictures in this note are inspired by current events, the actual content is a result of pure mathematics not related to medical research. 9 pages, 11 figures. v2: updated result to distinguish connected components

MSC Class: 14J10; 14J29

I-surfaces with one T-singularity

Authors: Marco Franciosi, Rita Pardini, Julie Rana, Sönke Rollenske

Abstract: We classify normal stable surfaces with $K_X^2 = 1$, $p_g = 2$ and $q=0$ with a unique singular point which is a non-canonical T-singularity, thus exhibiting two divisors in the main component and a new irreducible component of the moduli space of stable surfaces $\overline\gothM_{1,3}$. We classify normal stable surfaces with $K_X^2 = 1$, $p_g = 2$ and $q=0$ with a unique singular point which is a non-canonical T-singularity, thus exhibiting two divisors in the main component and a new irreducible component of the moduli space of stable surfaces $\overline\gothM_{1,3}$. △ Less

Submitted 10 December, 2020; originally announced December 2020.

MSC Class: 14J10; 14J17; 14J29

Simple cyclic covers of the plane and Seshadri constants of some general hypersurfaces in weighted projective space

Authors: Alex Küronya, Sönke Rollenske

Abstract: Let $X$ be a general hypersurface of degree $md$ in the weighted projective space with weights $1,1,1,m$ for some for $d\geq 2$ and $m\geq 3$. We prove that the Seshadri constant of the ample generator of the Néron-Severi space at a general point $x\in X$ lies in the interval $\left[\sqrt{d}- \frac d m, \sqrt{d}\right]$ and thus approaches the possibly irrational number $\sqrt d$ as $m$ grows. Let $X$ be a general hypersurface of degree $md$ in the weighted projective space with weights $1,1,1,m$ for some for $d\geq 2$ and $m\geq 3$. We prove that the Seshadri constant of the ample generator of the Néron-Severi space at a general point $x\in X$ lies in the interval $\left[\sqrt{d}- \frac d m, \sqrt{d}\right]$ and thus approaches the possibly irrational number $\sqrt d$ as $m$ grows. △ Less

Submitted 4 December, 2020; originally announced December 2020.

Comments: 7 pages, comments are welcome

MSC Class: 14C20; 14J25

The complex geometry of a hypothetical complex structure on $S^6$

Authors: Christian Lehn, Sönke Rollenske, Caren Schinko

Abstract: This article is a survey about or introduction to certain aspects of the complex geometry of a hypothetical complex structure on the six-sphere. We discuss a result of Peternell--Campana--Demailly on the algebraic dimension of a hypothetical complex six-sphere and give some examples. We also give an overview over an application of Huckleberry--Kebekus--Peternell on the group of biholomorphisms of… ▽ More This article is a survey about or introduction to certain aspects of the complex geometry of a hypothetical complex structure on the six-sphere. We discuss a result of Peternell--Campana--Demailly on the algebraic dimension of a hypothetical complex six-sphere and give some examples. We also give an overview over an application of Huckleberry--Kebekus--Peternell on the group of biholomorphisms of such a complex six-sphere. △ Less

Submitted 20 December, 2019; originally announced December 2019.

MSC Class: 32J17; 32M05 (Primary) 32Q55; 32Q60; 53C15 (Secondary)

Journal ref: Differential Geom. Appl. 57 (2018), 121-137

Dolbeault cohomology of complex nilmanifolds foliated in toroidal groups

Authors: Anna Fino, Sönke Rollenske, Jean Ruppenthal

Abstract: It is conjectured that the Dolbeault cohomology of a complex nilmanifold $X$ is computed by left-invariant forms. We prove this under the assumption that $X$ is suitably foliated in toroidal groups and deduce that the conjecture holds in real dimension up to six. Our approach generalises previous methods, where the existence of a holomorphic fibration was a crucial ingredient. It is conjectured that the Dolbeault cohomology of a complex nilmanifold $X$ is computed by left-invariant forms. We prove this under the assumption that $X$ is suitably foliated in toroidal groups and deduce that the conjecture holds in real dimension up to six. Our approach generalises previous methods, where the existence of a holomorphic fibration was a crucial ingredient. △ Less

Submitted 24 August, 2018; originally announced August 2018.

MSC Class: 22E25 (primary) 37F75; 53C30; 53C15 (secondary)

$\partial\bar{\partial}$-complex symplectic and Calabi-Yau manifolds: Albanese map, deformations and period maps

Authors: Ben Anthes, Andrea Cattaneo, Sönke Rollenske, Adriano Tomassini

Abstract: Let $X$ be a compact complex manifold with trivial canonical bundle and satisfying the $\partial\bar{\partial}$-Lemma. We show that the Kuranishi space of $X$ is a smooth universal deformation and that small deformations enjoy the same properties as $X$. If, in addition, $X$ admits a complex symplectic form, then the local Torelli theorem holds and we obtain some information about the period map.… ▽ More Let $X$ be a compact complex manifold with trivial canonical bundle and satisfying the $\partial\bar{\partial}$-Lemma. We show that the Kuranishi space of $X$ is a smooth universal deformation and that small deformations enjoy the same properties as $X$. If, in addition, $X$ admits a complex symplectic form, then the local Torelli theorem holds and we obtain some information about the period map. We clarify the structure of such manifolds a little by showing that the Albanese map is a surjective submersion. △ Less

Submitted 14 November, 2017; originally announced November 2017.

Comments: 22 pages

Double Kodaira fibrations with small signature

Authors: Ju A Lee, Michael Lönne, Sönke Rollenske

Abstract: Kodaira fibrations are surfaces of general type with a non-isotrivial fibration, which are differentiable fibre bundles. They are known to have positive signature divisible by $4$. Examples are known only with signature 16 and more. We review approaches to construct examples of low signature which admit two independent fibrations. Special attention is paid to ramified covers of product of curves w… ▽ More Kodaira fibrations are surfaces of general type with a non-isotrivial fibration, which are differentiable fibre bundles. They are known to have positive signature divisible by $4$. Examples are known only with signature 16 and more. We review approaches to construct examples of low signature which admit two independent fibrations. Special attention is paid to ramified covers of product of curves which we analyse by studying the monodromy action for bundles of punctured curves. As a by-product we obtain a classification of all fix-point-free automorphisms on curves of genus at most $9$. △ Less

Submitted 6 November, 2017; originally announced November 2017.

Comments: 35 page, 5 figures

MSC Class: 57R22; 14J29; 14D05

On the history of the Hopf problem

Authors: Ilka Agricola, Giovanni Bazzoni, Oliver Goertsches, Panagiotis Konstantis, Sönke Rollenske

Abstract: This short note serves as a historical introduction to the Hopf problem: "Does there exist a complex structure on $S^6$?" This unsolved mathematical question was the subject of the Conference "MAM 1 $-$ (Non-)Existence of Complex Structures on $S^6$", which took place at Philipps-Universität Marburg, Germany, between March 27th and March 30th, 2017. This short note serves as a historical introduction to the Hopf problem: "Does there exist a complex structure on $S^6$?" This unsolved mathematical question was the subject of the Conference "MAM 1 $-$ (Non-)Existence of Complex Structures on $S^6$", which took place at Philipps-Universität Marburg, Germany, between March 27th and March 30th, 2017. △ Less

Submitted 3 August, 2017; originally announced August 2017.

Comments: 7 pages, contains some open questions. Comments are welcome!

Journal ref: Differential Geometry and its Applications, Volume 57, April 2018, 1-9

Gorenstein stable Godeaux surfaces

Authors: Marco Franciosi, Rita Pardini, Sönke Rollenske

Abstract: We classify Gorenstein stable numerical Godeaux surfaces with worse than canonical singularities and compute their fundamental groups. We classify Gorenstein stable numerical Godeaux surfaces with worse than canonical singularities and compute their fundamental groups. △ Less

Submitted 23 November, 2016; v1 submitted 22 November, 2016; originally announced November 2016.

Comments: 27 pages, added some references

MSC Class: 14J10; 14J25; 14J29

Canonical rings of Gorenstein stable Godeaux surfaces

Authors: Marco Franciosi, Sönke Rollenske

Abstract: Extending the description of canonical rings from \cite{reid78} we show that every Gorenstein stable Godeaux surface with torsion of order at least $3$ is smoothable. Extending the description of canonical rings from \cite{reid78} we show that every Gorenstein stable Godeaux surface with torsion of order at least $3$ is smoothable. △ Less

Submitted 21 November, 2016; originally announced November 2016.

Comments: 17 pages

MSC Class: 14J29; 14J10; 14H45

$(p,d)$-elliptic curves of genus two

Authors: Marco Franciosi, Rita Pardini, Sönke Rollenske

Abstract: We study stable curves of arithmetic genus 2 which admit two morphisms of finite degree $p$, resp. $d$, onto smooth elliptic curves, with particular attention to the case $p$ prime. We study stable curves of arithmetic genus 2 which admit two morphisms of finite degree $p$, resp. $d$, onto smooth elliptic curves, with particular attention to the case $p$ prime. △ Less

Submitted 21 November, 2016; originally announced November 2016.

Comments: 13 pages

MSC Class: 14H52; 14H45

Gorenstein stable surfaces with $K_X^2 = 1$ and $p_g>0$

Authors: Marco Franciosi, Rita Pardini, Sönke Rollenske

Abstract: In this paper we consider Gorenstein stable surfaces with $K^2_X=1$ and positive geometric genus. Extending classical results, we show that such surfaces admit a simple description as weighted complete intersection. We exhibit a wealth of surfaces of all possible Kodaira dimensions that occur as normalisations of Gorenstein stable surfaces with $K_X^2=1$; for $p_g=2$ this leads to a rough strati… ▽ More In this paper we consider Gorenstein stable surfaces with $K^2_X=1$ and positive geometric genus. Extending classical results, we show that such surfaces admit a simple description as weighted complete intersection. We exhibit a wealth of surfaces of all possible Kodaira dimensions that occur as normalisations of Gorenstein stable surfaces with $K_X^2=1$; for $p_g=2$ this leads to a rough stratification of the moduli space. Explicit non-Gorenstein examples show that we need further techniques to understand all possible degenerations. △ Less

Submitted 10 November, 2015; originally announced November 2015.

Comments: 25 pages, 4 figures

MSC Class: 14J10; 14J29

A new irreducible component of the moduli space of stable Godeaux surfaces

Authors: Sönke Rollenske

Abstract: We construct from a general del Pezzo surface of degree 1 a Gorenstein stable surfaces $X$ with $K_X^2=1$ and $p_g(X)=q(X)=0$. These surfaces are not smoothable but give an open subset of an irreducible component of the moduli space of stable Godeaux surfaces. In a particular example we also compute the canonical ring explicitly and discuss the behaviour of pluricanonical maps. We construct from a general del Pezzo surface of degree 1 a Gorenstein stable surfaces $X$ with $K_X^2=1$ and $p_g(X)=q(X)=0$. These surfaces are not smoothable but give an open subset of an irreducible component of the moduli space of stable Godeaux surfaces. In a particular example we also compute the canonical ring explicitly and discuss the behaviour of pluricanonical maps. △ Less

Submitted 28 April, 2014; originally announced April 2014.

Comments: 12 pages, 4 figures

MSC Class: 14J29; 14J10; 14J25

Computing invariants of semi-log-canonical surfaces

Authors: Marco Franciosi, Rita Pardini, Sönke Rollenske

Abstract: We describe some methods to compute fundamental groups, (co)homology, and irregularity of semi-log-canonical surfaces. As an application, we show that there are exactly two irregular Gorenstein stable surfaces with $K^2=1$, both of which have $χ(X) = 0$ and $\mathrm{Pic}^0(X)=\mathbb{C}^*$ but different homotopy type. We describe some methods to compute fundamental groups, (co)homology, and irregularity of semi-log-canonical surfaces. As an application, we show that there are exactly two irregular Gorenstein stable surfaces with $K^2=1$, both of which have $χ(X) = 0$ and $\mathrm{Pic}^0(X)=\mathbb{C}^*$ but different homotopy type. △ Less

Submitted 14 April, 2014; originally announced April 2014.

Comments: 17 pages

MSC Class: 14J10; 14J29; 14F35

Log-canonical pairs and Gorenstein stable surfaces with $K_X^2=1$

Authors: Marco Franciosi, Rita Pardini, Sönke Rollenske

Abstract: We classify log-canonical pairs $(X, Δ)$ of dimension two with $K_X+Δ$ an ample Cartier divisor with $(K_X+Δ)^2=1$, giving some applications to stable surfaces with $K^2=1$. A rough classification is also given in the case $Δ=0$. We classify log-canonical pairs $(X, Δ)$ of dimension two with $K_X+Δ$ an ample Cartier divisor with $(K_X+Δ)^2=1$, giving some applications to stable surfaces with $K^2=1$. A rough classification is also given in the case $Δ=0$. △ Less

Submitted 10 March, 2014; originally announced March 2014.

MSC Class: 14J10; 14J29

Journal ref: Compositio Mathematica 151 (2015) 1529-1542

Geography of Gorenstein stable log surfaces

Authors: Wenfei Liu, Sönke Rollenske

Abstract: We study the geography of Gorenstein stable log surfaces and prove two inequalities for their invariants: the stable Noether inequality and the $P_2$-inequality. By constructing examples we show that all invariants are realised except possibly some cases where the inequalities become equalities. We study the geography of Gorenstein stable log surfaces and prove two inequalities for their invariants: the stable Noether inequality and the $P_2$-inequality. By constructing examples we show that all invariants are realised except possibly some cases where the inequalities become equalities. △ Less

Submitted 19 February, 2014; v1 submitted 8 July, 2013; originally announced July 2013.

Comments: 25 page, 10 figures; v2: minor changes, to appear in TAMS

MSC Class: 14J10; 14J29

Pluricanonical maps of stable log surfaces

Authors: Wenfei Liu, Sönke Rollenske

Abstract: Stable surfaces and their log analogues are the type of varieties naturally occuring as boundary points in moduli spaces. We extend classical results of Kodaira and Bombieri to this more general setting: if $(X,Δ)$ is a stable log surface with reduced boundary (possibly empty) and $I$ is its global index, then $4I(K_X+Δ)$ is base-point-free and $8I(K_X+Δ)$ is very ample. These bounds can be impr… ▽ More Stable surfaces and their log analogues are the type of varieties naturally occuring as boundary points in moduli spaces. We extend classical results of Kodaira and Bombieri to this more general setting: if $(X,Δ)$ is a stable log surface with reduced boundary (possibly empty) and $I$ is its global index, then $4I(K_X+Δ)$ is base-point-free and $8I(K_X+Δ)$ is very ample. These bounds can be improved under further assumptions on the singularities or invariants, for example, $5(K_X+Δ)$ is very ample if $(X,Δ)$ has semi-canonical singularities. △ Less

Submitted 14 April, 2014; v1 submitted 6 November, 2012; originally announced November 2012.

Comments: v2: improved section on vanishing (removing some gaps pointed out by the referee), Thm. 6.1 now treats the full (log-)canonical ring, fixed many typos; v3: fixed some typos

MSC Class: 14J10; 14C20

Journal ref: Advances in Mathematics, vol. 258, 69-126, 2014

Lagrangian fibrations on hyperkähler fourfolds

Authors: Daniel Greb, Christian Lehn, Sönke Rollenske

Abstract: Let X be a projective hyperkähler manifold containing a Lagrangian subtorus L. We study intersections of deformations of L, defining a canonical almost holomorphic map called L-reduction, which is not birational if and only if X admits an almost holomorphic Lagrangian fibration with (strong) fibre L. In dimension four we prove that in the above situation there is always a holomorphic Lagrangian… ▽ More Let X be a projective hyperkähler manifold containing a Lagrangian subtorus L. We study intersections of deformations of L, defining a canonical almost holomorphic map called L-reduction, which is not birational if and only if X admits an almost holomorphic Lagrangian fibration with (strong) fibre L. In dimension four we prove that in the above situation there is always a holomorphic Lagrangian fibration with fibre L, thus answering a question of Beauville in this particular case. △ Less

Submitted 7 November, 2012; v1 submitted 12 October, 2011; originally announced October 2011.

Comments: 10 pages, 1 figure; v2: added reference to arXiv:1110.2852; v3: exposition improved, bibliography updated, to appear in Izvestiya: Mathematics

Journal ref: Izvestiya: Mathematics 78 (2014), no. 1, 22-33

Lagrangian fibrations on hyperkähler manifolds - On a question of Beauville

Authors: Daniel Greb, Christian Lehn, Sönke Rollenske

Abstract: Let X be a compact hyperkähler manifold containing a complex torus L as a Lagrangian subvariety. Beauville posed the question whether X admits a Lagrangian fibration with fibre L. We show that this is indeed the case if X is not projective. If X is projective we find an almost holomorphic Lagrangian fibration with fibre L under additional assumptions on the pair (X, L), which can be formulated in… ▽ More Let X be a compact hyperkähler manifold containing a complex torus L as a Lagrangian subvariety. Beauville posed the question whether X admits a Lagrangian fibration with fibre L. We show that this is indeed the case if X is not projective. If X is projective we find an almost holomorphic Lagrangian fibration with fibre L under additional assumptions on the pair (X, L), which can be formulated in topological or deformation-theoretic terms. Moreover, we show that for any such almost holomorphic Lagrangian fibration there exists a smooth good minimal model, i.e., a hyperkähler manifold birational to X on which the fibration is holomorphic. △ Less

Submitted 8 November, 2012; v1 submitted 17 May, 2011; originally announced May 2011.

Comments: 28 pages; v2: minor corrections, added Thm 6.7; v3: implemented referees' comments, added slightly more detailed argument in Sect. 6.3.3, accepted for publication by Annales scientifiques de l'École normale supérieure

MSC Class: 53C26; 14D06; 14E30; 32G10; 32G05

Journal ref: Ann. Sci. Éc. Norm. Supér. (4) 46 (2013), no. 3, 375-403

Torsion and cotorsion in the sheaf of Kähler differentials on some mild singularities

Authors: Daniel Greb, Sönke Rollenske

Abstract: We give a criterion for the sheaf of Kähler differentials on a cone over a smooth projective variety to be torsion-free. Applying this to Veronese embeddings of projective space and using known results on differentials on quotient singularities we show that even for mild, e.g. Gorenstein terminal, singularities the sheaf of Kähler differentials will in general have torsion and cotorsion. We give a criterion for the sheaf of Kähler differentials on a cone over a smooth projective variety to be torsion-free. Applying this to Veronese embeddings of projective space and using known results on differentials on quotient singularities we show that even for mild, e.g. Gorenstein terminal, singularities the sheaf of Kähler differentials will in general have torsion and cotorsion. △ Less

Submitted 14 January, 2011; v1 submitted 29 December, 2010; originally announced December 2010.

Comments: 12 pages;v2: references updated, Prop. 8 slightly improved

MSC Class: 14F10; 13N10; 14B05

Journal ref: Math. Res. Lett. 18 (2011), no. 6, 1259 - 1269

Torsion in equivariant cohomology and Cohen-Macaulay G-actions

Authors: Oliver Goertsches, Sönke Rollenske

Abstract: We show that the well-known fact that the equivariant cohomology of a torus action is a torsion-free module if and only if the map induced by the inclusion of the fixed point set is injective generalises to actions of arbitrary compact connected Lie groups if one replaces the fixed point set by the set of points with maximal isotropy rank. This is true essentially because the action on this set is… ▽ More We show that the well-known fact that the equivariant cohomology of a torus action is a torsion-free module if and only if the map induced by the inclusion of the fixed point set is injective generalises to actions of arbitrary compact connected Lie groups if one replaces the fixed point set by the set of points with maximal isotropy rank. This is true essentially because the action on this set is always equivariantly formal. In case this set is empty we show that the induced action on the set of points with highest occuring isotropy rank is Cohen-Macaulay. It turns out that just as equivariant formality of an action is equivalent to equivariant formality of the action of a maximal torus, the same holds true for equivariant injectivity and the Cohen-Macaulay property. In addition, we find a topological criterion for equivariant injectivity in terms of orbit spaces. △ Less

Submitted 1 September, 2010; originally announced September 2010.

Comments: 14 pages, 1 figure

MSC Class: 55N25 (Primary); 57S15 (Secondary); 57R91

Journal ref: Transform. Groups. 16 (2011), no. 4, 1063-1080

Dolbeault cohomology of nilmanifolds with left-invariant complex structure

Authors: Sönke Rollenske

Abstract: We discuss the known evidence for the conjecture that the Dolbeault cohomology of nilmanifolds with left-invariant complex structure can be computed as Lie-algebra cohomology and also mention some applications. We discuss the known evidence for the conjecture that the Dolbeault cohomology of nilmanifolds with left-invariant complex structure can be computed as Lie-algebra cohomology and also mention some applications. △ Less

Submitted 22 June, 2010; originally announced June 2010.

Comments: 17 pages, to appear in the Proceedings of the Hannover conference on "Complex and Differential Geometry" 14-18 September 2009

MSC Class: 53C56 (22E25 32G05 53C15)

Compact moduli for certain Kodaira fibrations

Authors: Sönke Rollenske

Abstract: We describe explicitly the possible degenerations of a class of double Kodaira fibrations in the moduli space of stable surfaces. Using deformation theory we also show that under some assumptions we get a connected component of the moduli space of stable surfaces. We describe explicitly the possible degenerations of a class of double Kodaira fibrations in the moduli space of stable surfaces. Using deformation theory we also show that under some assumptions we get a connected component of the moduli space of stable surfaces. △ Less

Submitted 30 October, 2009; v1 submitted 15 May, 2009; originally announced May 2009.

Comments: 21 pages, 2 figures; v2: New section where we prove that in some cases we get a connected component of the moduli space. Minor changes in the rest of the text

MSC Class: 14J29; 14J10; 14D20

Geometry of nilmanifolds with left-invariant complex structure and deformations in the large

Authors: Sönke Rollenske

Abstract: The relation between nilmanifolds with left-invariant complex structure and iterated principal holomorphic torus bundles is clarified and we give criteria under which deformations in the large are again of such type. As an application we obtain a fairly complete picture in complex dimension three. The relation between nilmanifolds with left-invariant complex structure and iterated principal holomorphic torus bundles is clarified and we give criteria under which deformations in the large are again of such type. As an application we obtain a fairly complete picture in complex dimension three. △ Less

Submitted 20 January, 2009; originally announced January 2009.

Comments: 40 pages, revised version of the second part of arXiv:0709.0467v1. To appear in Proc. LMS

MSC Class: 32G05 (Primary); 32G08; 17B30; 53C30 (Secondary)

Journal ref: Proc. London Math. Soc., 99, 425-460, 2009,

Smoothing nodal Calabi-Yau n-folds

Authors: S. Rollenske, R. P. Thomas

Abstract: Let X be an n-dimensional Calabi-Yau with ordinary double points, where n is odd. Friedman showed that for n=3 the existence of a smoothing of X implies a specific type of relation between homology classes on a resolution of X. (The converse is also true, due to work of Friedman, Kawamata and Tian.) We sketch a more topological proof of this result, and then extend it to higher dimensions. For n… ▽ More Let X be an n-dimensional Calabi-Yau with ordinary double points, where n is odd. Friedman showed that for n=3 the existence of a smoothing of X implies a specific type of relation between homology classes on a resolution of X. (The converse is also true, due to work of Friedman, Kawamata and Tian.) We sketch a more topological proof of this result, and then extend it to higher dimensions. For n>3 the "Yukawa product" on the middle dimensional (co)homology plays an unexpected role. We also discuss a converse, proving it for nodal Calabi-Yau hypersurfaces in projective space. △ Less

Submitted 3 December, 2019; v1 submitted 1 October, 2008; originally announced October 2008.

Comments: Included missing torsion in Lemma 2.5. Results unchanged. 20 pages

Journal ref: Journal of Topology 2, 405-421, 2009

The Kuranishi-space of complex parallelisable nilmanifolds

Authors: Sönke Rollenske

Abstract: We show that the deformation space of complex parallelisable nilmanifolds can be described by polynomial equations but is almost never smooth. This is remarkable since these manifolds have trivial canonical bundle and are holomorphic symplectic in even dimension. We describe the Kuranishi space in detail in several examples and also analyse when small deformations remain complex parallelisable We show that the deformation space of complex parallelisable nilmanifolds can be described by polynomial equations but is almost never smooth. This is remarkable since these manifolds have trivial canonical bundle and are holomorphic symplectic in even dimension. We describe the Kuranishi space in detail in several examples and also analyse when small deformations remain complex parallelisable △ Less

Submitted 13 March, 2008; originally announced March 2008.

Comments: 20 pages

MSC Class: 32G05 (Primary); 17B30; 53C30; 32C10 (Secondary)

The Frölicher spectral sequence can be arbitrarily non degenerate

Authors: Laura Bigalke, Sönke Rollenske

Abstract: The Frölicher spectral sequence of a compact complex manifold $X$ measures the difference between Dolbeault cohomology and de Rham cohomology. We construct for $n\geq 2$ nilmanifolds with left-invariant complex structure $X_n$ such that the $n$-th differential $d_n$ does not vanish. This replaces an earlier incorrect example by the second author. The Frölicher spectral sequence of a compact complex manifold $X$ measures the difference between Dolbeault cohomology and de Rham cohomology. We construct for $n\geq 2$ nilmanifolds with left-invariant complex structure $X_n$ such that the $n$-th differential $d_n$ does not vanish. This replaces an earlier incorrect example by the second author. △ Less

Submitted 21 November, 2013; v1 submitted 4 September, 2007; originally announced September 2007.

Comments: 5 pages, Lemma 2 in v2 incorrect. v3: First author added, new example constructed (by the same method). Shorter Erratum will appear in Math. Ann. as well

MSC Class: 53C56 (Primary); 55T99; 22E25; 58A14 (Secondary)

Journal ref: v2: Math. Ann., 341(3), 623--628, 2008

Lie-algebra Dolbeault cohomology and small deformations of nilmanifolds

Authors: Sönke Rollenske

Abstract: We consider nilmanifolds with left-invariant complex structure and prove that small deformations of such structures are again left invariant if the Dolbeault-cohomology of the nilmanifold can be calculated using left-invariant forms. By a result of Console and Fino this is generically the case. Our main tool is an analog of Dolbeault-cohomology for Lie-algebras with complex structure. We consider nilmanifolds with left-invariant complex structure and prove that small deformations of such structures are again left invariant if the Dolbeault-cohomology of the nilmanifold can be calculated using left-invariant forms. By a result of Console and Fino this is generically the case. Our main tool is an analog of Dolbeault-cohomology for Lie-algebras with complex structure. △ Less

Submitted 20 January, 2009; v1 submitted 4 September, 2007; originally announced September 2007.

Comments: 19 pages; updated first part of arXiv:0709.0467v1 containing the results on small deformations. The results on deformations in the large will appear in an independent paper

MSC Class: 32G05 (Primary); 32G08; 17B30; 53C30 (Secondary)

Journal ref: J. London Math. Soc., 79(2), 346-362, 2009

Double Kodaira fibrations

Authors: Fabrizio Catanese, Soenke Rollenske

Abstract: The existence of a Kodaira fibration, i.e., of a fibration of a compact complex surface $S$ onto a complex curve $B$ which is a differentiable but not a holomorphic bundle, forces the geographical slope $ ν(S) = c_1^2 (S) / c_2 (S)$ to lie in the interval $(2,3)$. But up to now all the known examples had slope $ ν(S) \leq 2 + 1/3$. In this paper we consider a special class of surfaces admitting… ▽ More The existence of a Kodaira fibration, i.e., of a fibration of a compact complex surface $S$ onto a complex curve $B$ which is a differentiable but not a holomorphic bundle, forces the geographical slope $ ν(S) = c_1^2 (S) / c_2 (S)$ to lie in the interval $(2,3)$. But up to now all the known examples had slope $ ν(S) \leq 2 + 1/3$. In this paper we consider a special class of surfaces admitting two such Kodaira fibrations, and we can construct many new examples, showing in particular that there are such fibrations attaining the slope $ ν(S) = 2 + 2/3$. We are able to explicitly describe the moduli space of such class of surfaces, and we show the existence of Kodaira fibrations which yield rigid surfaces. We observe an interesting connection between the problem of the slope of Kodaira fibrations and a 'packing' problem for automorphisms of algebraic curves of genus $\geq 2$. △ Less

Submitted 14 November, 2006; originally announced November 2006.

Comments: 21 pages

MSC Class: 14J29; 14J25; 14D06; 14H37; 32Q55; 32G15