Related papers: Formality on rationalizations of simply connected …

We give a characterization of closed, simply connected, rationally elliptic 6-manifolds in terms of their rational cohomology rings and a partial classification of their real cohomology rings. We classify rational, real and complex homotopy…

We study fundamental groups of projective varieties with normal crossing singularities and of germs of complex singularities. We prove that for every finitely-presented group G there is a complex projective surface S with simple normal…

This paper is the last paper in a series of five papers. Building on earlier papers in this series, we prove an analogue of Kuratowski's characterisation of graph planarity for three dimensions. More precisely, a simply connected…

It is well known that the exceptional set in a resolution of a rational surface singularity is a tree of rational curves. We generalize the combinatoric part of this statement to higher dimensions and show that the highest cohomologies of…

We show that the main homological dimensions of the algebra of analytic functionals on a connected complex Lie group, as well as some of its completions, coincide with the dimension of the simply connected solvable factor in the canonical…

Let $S$ be a rational homology complex projective plane with quotient singularities. The algebraic Montgomery-Yang problem conjectures that the number of singular points of $S$ is at most three if its smooth locus is simply-connected. In…

\emph{Scalable spaces} are simply connected compact manifolds or finite complexes whose real cohomology algebra embeds in their algebra of (flat) differential forms. This is a rational homotopy invariant property and all scalable spaces are…

We show that if A is a simply connected, finite, pointed CW-complex then the mapping spaces Map(A, -) are preserved by the localization functors only if A has the rational homotopy type of a wedge of spheres of a fixed dimension.

Let G be a simply connected semisimple algebraic group over an algebraically closed field k of characteristic 0 and let V be a rational simple G-module of finite dimension. If G/H \subset P(V) is a spherical orbit and if X is its closure,…

We prove that any simply connected compact 3-Sasakian manifold, of dimension seven, is formal if and only if its second Betti number is $b_2<2$. In the opposite, we show an example of a 7-dimensional Sasaki-Einstein manifold, with second…

We introduce a notion of harmonic chain for chain complexes over fields of positive characteristic. A list of conditions for when a Hodge decomposition theorem holds in this setting is given and we apply this theory to finite CW complexes.…

Given an irreducible contractible open 3-manifold W which is not homeomorphic to R^3, there is an associated simplicial complex S(W), the complex of end reductions of W. Whenever W covers a 3-manifold M one has that the fundamental group of…

A variety is rationally connected if two general points can be joined by a rational curve. A higher version of this notion is rational simple connectedness, which requires suitable spaces of rational curves through two points to be…

In this paper we show that the cohomology of a connected CW complex is periodic if and only if it is the base space of an orientable spherical fibration with total space that is homotopically finite dimensional. As applications we…

We use Floer's exact triangle to study the u-map (cup product with the 4-dimensional class) in the Floer cohomology groups of admissible SO(3) bundles over closed, oriented 3-manifolds. In the case of non-trivial bundles we show that…

We formalize in Lean the following foundational result in commutative algebra: Let $R \to S$ be a faithfully flat map of (not necessarily noetherian) commutative rings, and let $P$ be an arbitrary $R$-module. Then $P$ is projective over $R$…

We investigate the modularity of formal Fourier--Jacobi series by establishing cohomological vanishing results for line bundles defined on compactifications of $\mathcal{A}_g$. Working over $\mathbb{C}$, we show that the minimal…

We show that a real rational (over $\C$) surfaces are quasi-simple, i.e., that such a surface is determined up to deformation in the class of real surfaces by the topological type of its real structure.

We present a Coq formalization of the Quantified Reflection Calculus with one modality, or $\mathsf{QRC}_1$. This is a decidable, strictly positive, and quantified modal logic previously studied for its applications in proof theory. The…

We investigate when the categories of all rational $A$-modules and of finite dimensional rational modules are closed under extensions inside the category of $C^*$-modules, where $C^*$ is the cofinite topological completion of $A$. We give a…