Weight decompositions of Thom spaces of vector bundles in rational homotopy

DOI10.1007/S40062-019-00243-2MaRDI QIDQ2173522zbMATH OpenOpenAlexWikidataFDO

Authors Urtzi Buijs, Federico Cantero, Joana Cirici

Publication date 16 April 2020

Published in Journal of Homotopy and Related Structures (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1610.02917

zbMATH Keywords

mixed Hodge structuresmotivic Thom spacesrational homotopy theorysmoothing theoryThom isomorphism theoremThom spacesweight decompositions

Mathematics Subject Classification ID

Rational homotopy theory (55P62) Sphere bundles and vector bundles in algebraic topology (55R25)

Abstract: Motivated by the theory of representability classes by submanifolds, we study the rational homotopy theory of Thom spaces of vector bundles. We first give a Thom isomorphism at the level of rational homotopy, extending work of Felix-Oprea-Tanr'e by removing hypothesis of nilpotency of the base and orientability of the bundle. Then, we use the theory of weight decompositions in rational homotopy to give a criterion of representability of classes by submanifolds, generalising results of Papadima. Along the way, we study issues of formality and give formulas for Massey products of Thom spaces. Lastly, we link the theory of weight decompositions with mixed Hodge theory and apply our results to motivic Thom spaces.

Review text

In [Proc. Am. Math. Soc. 144, No. 4, 1829--1840 (2016; Zbl 1336.55008)], \textit{Y. Félix} et al. described a rational homotopy theoretic model for the Thom space \(\mathrm{Th}(\xi)\) of an oriented vector bundle \(\xi\colon E \to B\) with nilpotent base. The geometric goal there was to specialize to the tangent bundle in order to obtain a (conjectural) Lie model for the configuration space of two points. Here, the authors develop a model without the assumptions of orientability and nilpotency with the ultimate geometric goal of understanding the structure of the Thom space when \(B\) is a smooth complex algebraic variety and then using that to analyze the problem of realizing cohomology classes by submanifolds. For this, the authors recall the notion of a positive weight decomposition on a model (i.e. essentially a decomposition of each of the constituent vector spaces in each degree of the commutative differential graded algebra model that is compatible with the differential and the product in an appropriate sense) and discover a homogeneity condition on the Euler class that implies the Thom space has a positive weight decomposition when the base space does. Furthermore, they show that a smooth complex variety has a positive weight decomposition so that the Thom space \(\mathrm{Th}(\xi)\) of a vector bundle \(\xi\colon E \to B\) with \(B\) a smooth complex variety has positive weights. The point of all this is that spaces (or more precisely, their models) with positive weights may be identified as so-called \emph{universal spaces} with the property that, under some finiteness assumptions, maps on rationalizations may be lifted to integral space maps up to multiplication by an integer. Thom's original criterion for representing a cohomology class \(c \in H^k(M;\mathbb{Z})\) asked for a lift of \(c\colon M \to K(\mathbb{Z},k)\) to \(M \to\mathrm{Th}(\xi_u)\) where \(\xi_u\) is the appropriate universal bundle. Here the authors start with a vector bundle \(\xi\colon E \to B\) with \(B\) a smooth complex variety and \(\theta\colon B \to BSO(n)\) a classifying map. They show that a class \(c \in H^k(M;\mathbb{Z})\) is represented by a submanifold via the structure map \(\theta\) exactly when the lifting (as above) is only through \(M \to\mathrm{Th}(\xi)_\mathbb{Q}\), the rationalization of the Thom space of \(\xi\). The point is that, since \(\mathrm{Th}(\xi)_\mathbb{Q}\) has positive weights, a rational map may be lifted to the integral space \(\mathrm{Th}(\xi)\), thus obtaining the Thom criterion.

Recommendations

• scientific article; zbMATH DE number 3862029
• The rational homotopy of Thom spaces and the smoothing of homology classes
• Lie-model for Thom spaces of tangent bundles
• Representatives of the Thom class of a vector bundle
• Weighted projective spaces and iterated Thom spaces

Cites work

• \(\mathbb{A}^1\)-homotopy theory
• \(E_{1}\)-formality of complex algebraic varieties
• \(p\)-universal spaces and rational homotopy types
• Algebraic operads
• Cobordismes de plongements et produits homotopiques. (Cobordisms of embeddings and homotopic products)
• Homological stability for spaces of embedded surfaces
• Homotopy transfer and rational models for mapping spaces
• scientific article; zbMATH DE number 3782042 (Why is no real title available?)
• scientific article; zbMATH DE number 1510507 (Why is no real title available?)
• scientific article; zbMATH DE number 1528503 (Why is no real title available?)
• scientific article; zbMATH DE number 1553295 (Why is no real title available?)
• scientific article; zbMATH DE number 3288492 (Why is no real title available?)
• Infinitesimal computations in topology
• Lie-model for Thom spaces of tangent bundles
• Mixed Hodge Structures
• Mixed Hodge structures and formality of symmetric monoidal functors
• Mixed motives and their realization in derived categories
• Obstructions to homotopy equivalences
• Quelques propriétés globales des variétés différentiables
• Rational homotopy and unique factorization
• Rational homotopy theory
• Rational homotopy type and self maps
• Sur la théorie de Hodge-Deligne. (On the Hodge-Deligne theory)
• The algebraic topology of smooth algebraic varieties
• The de Rham homotopy theory of complex algebraic varieties. II
• The rational homotopy of Thom spaces and the smoothing of homology classes
• Théorie de Hodge. II. (Hodge theory. II)
• Théorie de Hodge. III

Cited in

(9)

• The rational homotopy of Thom spaces and the smoothing of homology classes
• Lie-model for Thom spaces of tangent bundles
• Integrality relations on smooth manifolds.
• scientific article; zbMATH DE number 2075912 (Why is no real title available?)
• Positive weights and self-maps
• Degrees of maps and multiscale geometry
• Rational homotopy via Sullivan models and enriched Lie algebras
• Weight decompositions on algebraic models for mapping spaces and homotopy automorphisms
• On the scanning map and the space of smooth complex projective hypersurfaces

This page was built for publication: Weight decompositions of Thom spaces of vector bundles in rational homotopy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2173522)