Search arXivSearch

arXiv subjects

Jonas Stelzig

Publications and source records attributed to Jonas Stelzig.

At least 19 recordsLinked to original sources

Poincaré dualization and Massey products

We study the rational homotopy theoretic and geometric properties of a construction which extends any cohomologically connected, finite type cdga to one satisfying cohomological Poincaré duality. Using this construction we show that non-trivial quadruple Massey products can pull back trivially under non-zero degree maps of Poincaré duality spaces, unlike the case of triple Massey products as studied by Taylor. We also show that a non-zero degree map between formal rational Poincaré duality spaces need not be formal. Our consideration of Massey products naturally ties in with cyclic $A_\infty$-algebras modelling Poincaré duality spaces.

math.AT

Holomorphic linking numbers, ABC Massey products, and Calabi-Yau 3-folds

On compact Kähler manifolds, we relate ABC Massey products arising from complex analytic cycles to holomorphic linking numbers. This enables us to construct a family of simply connected projective 3-folds with trivial canonical bundle, equipped with a non-vanishing ABC Massey product.

math.DG

Strong formality of toric and homogeneous compact Kähler manifolds

All compact Kähler, or even $\partial\bar\partial$-manifolds, are rationally formal. Not all of them are strongly formal. Yet some of them are: For complete smooth complex toric varieties and homogeneous compact Kähler manifolds we show the stronger property that they are both rationally and strongly formal in a compatible way.

math.AT

Differential forms and invariants of complex manifolds

A survey of some results and open questions related to the following algebraic invariants of compact complex manifolds, that can be obtained from differential forms: cohomology groups, Chern classes, rational homotopy groups, and higher operations.

math.AT

Pluripotential Homotopy Theory

We build free, bigraded bidifferential algebra models for the forms on a complex manifold, with respect to a strong notion of quasi-isomorphism and compatible with the conjugation symmetry. This answers a question of Sullivan. The resulting theory naturally accomodates higher operations involving double primitives. As applications, we obtain various refinements of the homotopy groups, sensitive to the complex structure. Under a simple connectedness assumption, one obtains minimal models which are unique up to isomorphism and allow for explicit computations of the new invariants.

math.AT

Nontrivial Massey products on compact Kähler manifolds

We show that the bigraded quasi-isomorphism type of the bigraded, bidifferential algebra of forms on a compact Kähler manifold generally contains more information than the de Rham cohomology algebra with its real Hodge structure. More precisely, on any closed Riemann surface of genus at least two, there is a nontrivial ABC-Massey product. Furthermore, starting from dimension three, there are simply connected projective manifolds with a nonzero ABC-Massey product of three divisor classes. In particular, compact Kähler manifolds are generally not formal in the sense of pluripotential homotopy theory.

math.AT

Bigraded notions of formality and Aeppli-Bott-Chern-Massey products

We introduce and study notions of bigraded formality for the algebra of forms on a complex manifold, along with their relation to higher Aeppli-Bott-Chern-Massey products which extend the case of triple products studied by Angella-Tomassini. We show that these Aeppli-Bott-Chern-Massey products on complex manifolds pull back non-trivially to the blow-up along a complex submanifold, as long their degree is less than the real codimension of the submanifold.

math.AT

On metric and cohomological properties of Oeljeklaus-Toma manifolds

We study metric and cohomological properties of Oeljeklaus-Toma manifolds. In particular, we describe the structure of the double complex of differential forms and its Bott-Chern cohomology and we characterize the existence of pluriclosed (aka SKT) metrics in number-theoretic and cohomological terms. Moreover, we prove they do not admit any Hermitian metric $ω$ such that $\partial \overline{\partial} ω^k=0$, for $2 \leq k \leq n-2$ and we give explicit formulas for the Dolbeault cohomology of Oeljeklaus-Toma manifolds admitting pluriclosed metrics.

math.DG

Complex non-Kähler manifolds that are cohomologically close to, or far from, being Kähler

We give four constructions of non-$\partial\bar\partial$ (hence non-Kähler) manifolds: (1) A simply connected page-$1$-$\partial\bar\partial$-manifold (2) A simply connected $dd^c+3$-manifold (3) For any $r\geq 2$, a simply connected compact manifold with nonzero differential on the $r$-th page of the Frölicher spectral sequence. (4) For any $r\geq 2$, a pluriclosed nilmanifold with nonzero differential on the $r$-th page of the Frölicher spectral sequence. The latter disproves a conjecture by Popovici. A main ingredient in the first three constructions is a simple resolution construction of certain quotient singularities with control on the cohomology.

math.AG

Formality is preserved under domination

If a closed orientable manifold (resp. rational Poincaré duality space) $X$ receives a map $Y \to X$ from a formal manifold (resp. space) $Y$ that hits a fundamental class, then $X$ is formal. The main technical ingredient in the proof states that given a map of $A_\infty$-algebras $A\to B$ admitting a homotopy $A$-bimodule retract, formality of $B$ implies that of $A$.

math.AT

Higher-Page Hodge Theory of Compact Complex Manifolds

On a compact $\partial\bar\partial$-manifold $X$, one has the Hodge decomposition: the de Rham cohomology groups split into subspaces of pure-type classes as $H_{dR}^k (X)=\oplus_{p+q=k}H^{p,\,q}(X)$, where the $H^{p,\,q}(X)$ are canonically isomorphic to the Dolbeault cohomology groups $H_{\bar\partial}^{p,\,q}(X)$. For an arbitrary nonnegative integer $r$, we introduce the class of page-$r$-$\partial\bar\partial$-manifolds by requiring the analogue of the Hodge decomposition to hold on a compact complex manifold $X$ when the usual Dolbeault cohomology groups $H^{p,\,q}_{\bar\partial}(X)$ are replaced by the spaces $E_{r+1}^{p,\,q}(X)$ featuring on the $(r+1)$-st page of the Frölicher spectral sequence of $X$. The class of page-$r$-$\partial\bar\partial$-manifolds coincides with the usual class of $\partial\bar\partial$-manifolds when $r=0$ but may increase as $r$ increases. We give two kinds of applications. On the one hand, we give a purely numerical characterisation of the page-$r$-$\partial\bar\partial$-property in terms of dimensions of various cohomology vector spaces. On the other hand, we obtain several classes of examples, including all complex parallelisable nilmanifolds and certain families of solvmanifolds and abelian nilmanifolds. Further, there are general results about the behaviour of this new class under standard constructions like blow-ups and deformations.

math.AG

A ddc-type condition beyond the Kähler realm

This paper introduces a generalization of the ddc-condition for complex manifolds. Like the dd^c-condition, it admits a diverse collection of characterizations, and is hereditary under various geometric constructions. Most notably, it is an open property with respect to small deformations. The condition is satisfied by a wide range of complex manifolds including all compact complex surfaces, and all compact Vaisman manifolds. We show there are computable invariants of a real homotopy type which in many cases prohibit it from containing any complex manifold satisfying such ddc-type conditions in low degrees. This gives rise to numerous examples of almost complex manifolds which cannot be homotopy equivalent to any of these complex manifolds.

math.DG

Maximally non-integrable almost complex structures: an $h$-principle and cohomological properties

We study almost complex structures with lower bounds on the rank of the Nijenhuis tensor. Namely, we show that they satisfy an $h$-principle. As a consequence, all parallelizable manifolds and all manifolds of dimension $2n\geq 10$ (respectively $\geq 6$) admit a almost complex structure whose Nijenhuis tensor has maximal rank everywhere (resp. is nowhere trivial). For closed $4$-manifolds, the existence of such structures is characterized in terms of topological invariants. Moreover, we show that the Dolbeault cohomology of non-integrable almost complex structures is often infinite dimensional (even on compact manifolds).

math.DG

On linear combinations of cohomological invariants of compact complex manifolds

We prove that there are no unexpected universal integral linear relations and congruences between Hodge, Betti and Chern numbers of compact complex manifolds and determine the linear combinations of such numbers which are bimeromorphic or topological invariants. This extends results in the Kähler case by Kotschick and Schreieder. We then develop a framework to tackle the more general questions taking into account `all' cohomological invariants (e.g. the dimensions of the higher pages of the Frölicher spectral sequence, Bott-Chern and Aeppli cohomology). This allows us to reduce the general questions to specific construction problems. We solve these problems in many cases. In particular, we obtain full answers to the general questions concerning universal relations and bimeromorphic invariants in low dimensions.

math.AG

Some remarks on the Schweitzer complex

We prove that the Schweitzer complex is elliptic and its cohomologies define cohomological functors. As applications, we obtain finite dimensionality, a version of Serre duality, restrictions of the behaviour of cohomology in small deformations, and an index formula which turns out to be equivalent to the Hirzebruch-Riemann-Roch relations.

math.AG

Deformations of Higher-Page Analogues of $\partial\bar\partial$-Manifolds

We extend the notion of essential deformations from the case of the Iwasawa manifold, for which they were introduced recently by the first-named author, to the general case of page-$1$-$\partial\bar\partial$-manifolds that were jointly introduced very recently by all three authors. We go on to obtain an analogue of the unobstructedness theorem of Bogomolov, Tian and Todorov for page-$1$-$\partial\bar\partial$-manifolds. As applications of this discussion, we study the small deformations of certain Nakamura solvmanifolds and reinterpret the cases of the Iwasawa manifold and its $5$-dimensional analogue from this standpoint.

math.AG

Higher-Page Bott-Chern and Aeppli Cohomologies and Applications

For every positive integer $r$, we introduce two new cohomologies, that we call $E_r$-Bott-Chern and $E_r$-Aeppli, on compact complex manifolds. When $r=1$, they coincide with the usual Bott-Chern and Aeppli cohomologies, but they are coarser, respectively finer, than these when $r\geq 2$. They provide analogues in the Bott-Chern-Aeppli context of the $E_r$-cohomologies featuring in the Frölicher spectral sequence of the manifold. We apply these new cohomologies in several ways to characterise the notion of page-$(r-1)$-$\partial\bar\partial$-manifolds that we introduced very recently. We also prove analogues of the Serre duality for these higher-page Bott-Chern and Aeppli cohomologies and for the spaces featuring in the Frölicher spectral sequence. We obtain a further group of applications of our cohomologies to the study of Hermitian-symplectic and strongly Gauduchon metrics for which we show that they provide the natural cohomological framework.

math.AG

On the Structure of Double Complexes

We study consequences and applications of the folklore statement that every double complex over a field decomposes into so-called squares and zigzags. This result makes questions about the associated cohomology groups and spectral sequences easy to understand. We describe a notion of `universal' quasi-isomorphism, investigate the behaviour of the decomposition under tensor product and compute the Grothendieck ring of the category of bounded double complexes over a field with finite cohomologies up to such quasi-isomorphism (and some variants). Applying the theory to the double complexes of smooth complex valued forms on compact complex manifolds, we obtain a Poincaré duality for higher pages of the Frölicher spectral sequence, construct a functorial three-space decomposition of the middle cohomology, give an example of a map between compact complex manifolds which does not respect the Hodge filtration strictly, compute the Bott-Chern and Aeppli cohomology for Calabi-Eckmann manifolds, introduce new numerical bimeromorphic invariants, show that the non-Kählerness degrees are not bimeromorphic invariants in dimensions higher than three and that the $\partial\overline{\partial}$-lemma and some related properties are bimeromorphic invariants if, and only if, they are stable under restriction to complex submanifolds.

math.RT