Related papers: Strong formality below middle degree implies stron…

We compute formal invariants associated with the cohomology sheaves of the direct image of holonomic D-modules of exponential type. We also prove that every formal C[[t]]<\partial_t>-modules is isomorphic, after a ramification, to a germ of…

The following results are proved: Theorem 1. A totally real semiparallel submanifold of constant curvature with parallel f-structure in the normal bundle of a K\"ahler manifold N is flat or a totally geodesic submanifold of N. Theorem 2. A…

We study the intersection form $F_X$ on the second cohomology group $H^2(X, \mathbb{Z})$ of a compact K\"ahler manifold $X$ of dimension $n$. Although the structure of $F_X$ is relatively well understood in dimensions two and three, much…

We prove a formality theorem for algebraic objects internal to smooth complex varieties that are not compact but whose mixed Hodge structure has a certain purity property.

Characteristic class relations in Dolbeault cohomology follow from the existence of a holomorphic Cartan geometry (for example, a holomorphic conformal structure or a holomorphic projective connection). These relations can be calculated…

Hyperholomorphic bundle is a bundle with connection defined over a hyperkaehler manifold such that this connection is holomorphic with respect to all complex structures induced by a hyperkaehler structure. A hyperholomorphic connection is…

We study the formality of orientable sphere bundles over connected compact manifolds. When the base manifold is formal, we prove that the formality of the bundle is equivalent to the vanishing of the Bianchi-Massey tensor introduced by…

We prove that for any field k of characteristic p>0, any separated scheme X of finite type over k, and any overconvergent F-isocrystal E over X, the rigid cohomology H^i(X, E) and rigid cohomology with compact supports H^i_c(X,E) are finite…

An automorphism on a complex supermanifold $\mathcal M$ is called unipotent if it reduces to the identity on the associated graded supermanifold $gr(\mathcal M)$. These automorphisms are close to be complementary to those responsible for…

We introduce the notion of a strong generalized holomorphic (SGH) fiber bundle and develop connection and curvature theory for an SGH principal $G$-bundle over a regular generalized complex (GC) manifold, where $G$ is a complex Lie group.…

Let $\Gamma$ be the mapping class group of an oriented surface $\Sigma$ of genus g with r boundary components. We prove that the first cohomology group $H^1(\Gamma, O(M_{SL(2, C)})^*)$ is non-trivial, where the coefficient module is the…

For several instances of metric largeness like enlargeability or having hyperspherical universal covers, we construct non-large vector subspaces in the rational homology of finitely generated groups. The functorial properties of this…

We define the notion of a formal connection for a smooth family of star products with fixed underlying symplectic structure. Such a formal connection allows one to relate star products at different points in the family. This generalizes the…

It is a classical important problem of differential topology by Thom; for a homology class of a compact manifold, can we realize this by a closed submanifold with no boundary? This is true if the degree of the class is smaller or equal to…

One describes, using a detailed analysis of Atiyah--Hirzebruch spectral sequence, the tuples of cohomology classes on a compact, complex manifold, corresponding to the Chern classes of a complex vector bundle of stable rank. This…

We show how certain topological properties of co-K\"ahler manifolds derive from those of the K\"ahler manifolds which construct them. In particular, we show that the existence of parallel forms on a co-K\"ahler manifold reduces the…

We provide models that are as close as possible to being formal for a large class of compact manifolds that admit a transversely Kaehler structure, including Vaisman and quasi-Sasakian manifolds. As an application we are able to classify…

We give a proof of the formality conjecture of Kaledin and Lehn: on a complex projective K3 surface, the DG algebra RHom(F,F) is formal for any sheaf F polystable with respect to an ample line bundle. Our main tool is the uniqueness of DG…

Let $M$ be a complete hyperbolic $n$-manifold, $n\geq 2$. Via integration over geodesic simplices, any closed bounded differential 2-form on $M$ defines a bounded cohomology class in $H^2_b(M)$. It was proved by Barge and Ghys (for $n=2$)…

Let a torus $T$ act on a symplectic manifold $(M,\omega)$ with moment map $\phi$. We say that the Hamiltonian $T$-manifold $(M,\omega,\phi)$ has complexity one if $\frac{1}{2} \dim M - \dim T = 1$, and that it is K\"ahler if it admits an…