Related papers: Formality on rationalizations of simply connected …

If a closed orientable manifold (resp. rational Poincar\'e 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…

For each rational homology 3-sphere $Y$ which bounds simply connected definite 4-manifolds of both signs, we construct an infinite family of irreducible rational homology 3-spheres which are homology cobordant to $Y$ but cannot bound any…

Let $\mathcal{E}(X)$ be the group of homotopy classes of self homotopy equivalences for a connected CW complex $X$. We observe two classes of maps $\mathcal{E}$-maps and co-$\mathcal{E}$-maps. They are defined as the maps $X\to Y$ that…

A Q-homology plane is a normal complex algebraic surface having trivial rational homology. We classify singular Q-homology planes which are C^1- or C*-ruled. We analyze their completions, the number of different rulings, the number of…

A method for obtaining complex analytic realizations for a class of deformed algebras based on their respective deformation mappings and their ordinary coherent states is introduced. Explicit results of such realizations are provided for…

We consider certain rational homotopical conditions of simly connected CW complex $X$ such that the rational cohomology of the classifying space $Baut_1X$ for fibrations with two-stage fibre $X$ is (not) free. First, we consider when is…

We prove a criterion for $k-$formality of arrangements, using a complex constructed from vector spaces introduced in \cite{bt}. As an application, we give a simple description of $k-$formality of graphic arrangements: Let $G$ be a connected…

Let X and Y be finite-type CW-complexes (X connected, Y simply connected), such that the rational cohomology ring of Y is a k-rescaling of the rational cohomology ring of X. Assume H^*(X,Q) is a Koszul algebra. Then, the homotopy Lie…

We explore various formality and finiteness properties in the differential graded algebra models for the Sullivan algebra of piecewise polynomial rational forms on a space. The 1-formality property of the space may be reinterpreted in terms…

In this paper, we establish the rationality conjecture raised in \cite{FKS} for any $(r-1)$-connected ($r\geq 2$) $kr$-dimensional CW-complex $X$ ($k\geq 2$) having a unique spherical cohomology class $u\in \tilde{H}^r(X, \mathbb{Z})$ such…

We show that a class of previously defined maps, called self-dual and causal morphisms, form classical symmetries of Yang-Mills fields in four complex dimensions. These maps generalize conformal transformations, and admit a nonlocal…

Let $X$ be a nilpotent space such that there exists $p\geq 1$ with $H^p(X,\mathbb Q) \ne 0$ and $H^n(X,\mathbb Q)=0$ if $n>p$. Let $Y$ be a m-connected space with $m\geq p+1$ and $H^*(Y,\mathbb Q)$ is finitely generated as algebra. We…

We show that hyperplane sections of strongly formal manifolds inherit strong formality. In particular, this property holds for generalized complete intersections defined by positive line bundles with trivial first de Rham cohomology group.…

It is a prominent conjecture (relating Riemannian geometry and algebraic topology) that all simply-connected compact manifolds of special holonomy should be formal spaces, i.e., their rational homotopy type should be derivable from their…

We present a formalization, in the theorem prover Lean, of the classification of solvable Lie algebras of dimension at most three over arbitrary fields. Lie algebras are algebraic objects which encode infinitesimal symmetries, and as such…

Recently, Herbig--Schwarz--Seaton have shown that $3$-large representations of a reductive group $G$ give rise to a large class of symplectic singularities via Hamiltonian reduction. We show that these singularities are always terminal. We…

We construct an algebra homomorphism between the Yangian Y(sl(n)) and the finite W-algebras W(sl(np),n.sl(p)) for any p. We show how this result can be applied to determine properties of the finite dimensional representations of such…

Let $P=\mathbb P^m(e)\times\mathbb P^n(h)$ be a product of weighted projective spaces, and let $\Delta_P$ be the diagonal of $P\times P$. We prove an algebraization result for formal-rational functions on certain closed subvarieties $X$ of…

We give an overview of five rationalization theories for spaces (Bousfield-Kan's $\mathbb Q$-completion; Sullivan's rationalization; Bousfield's homology rationalization; Casacuberta-Peschke's $\Omega$-rationalization;…

The naturally topologized order complex of proper algebraic subsets in $RP^2$, defined by systems of quadratic forms, has rational homology of $S^{13}$