Searcharxiv⌕ Search

arXiv subjects

Sönke Rollenske

Publications and source records attributed to Sönke Rollenske.

At least 37 records · Page 2Linked to original sources

Dolbeault cohomology of complex nilmanifolds foliated in toroidal groups

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.

math.DG↗

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

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.

math.DG↗

Double Kodaira fibrations with small signature

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$.

math.AG↗

On the history of the Hopf problem

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.

math.HO↗

Gorenstein stable Godeaux surfaces

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

math.AG↗

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

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.

math.AG↗

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

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.

math.AG↗

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

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.

math.AG↗

Computing invariants of semi-log-canonical surfaces

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.

math.AG↗

Pluricanonical maps of stable log surfaces

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.

math.AG↗

Geography of Gorenstein stable log surfaces

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.

math.AG↗

The Frölicher spectral sequence can be arbitrarily non degenerate

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.

math.AG↗

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

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.

math.AG↗

Lagrangian fibrations on hyperkähler fourfolds

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.

math.AG↗

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

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.

math.AG↗

Torsion in equivariant cohomology and Cohen-Macaulay G-actions

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.

math.AT↗