Search arXiv⌕ Search

arXiv · math/0010124

Variations on a conjecture of Halperin

Abstract

Halperin has conjectured that the Serre spectral sequence of any fibration that has fibre space a certain kind of elliptic space should collapse at the E_2-term. In this paper we obtain an equivalent phrasing of this conjecture, in terms of formality relations between base and total spaces in such a fibration (Theorem 3.4). Also, we obtain results on relations between various numericalinvariants of the base, total and fibre spaces in these fibrations. Some of our results give weak versions of Halperin's conjecture (Remark 4.4 and Corollary 4.5). We go on to establish some of these weakened forms of the conjecture (Theorem 4.7). In the last section, we discuss extensions of our results and suggest some possibilities for future work.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

G. Lupton. 2000-10-12. Variations on a conjecture of Halperin. https://arxiv.org/abs/math/0010124

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Higher path groupoids and the holonomy of formal power series connections

Building on ideas of Kohno, we develop a framework for the construction of higher holonomy functors via the transport of formal power series connections. Using these techniques, we obtain functors from the path groupoid, the path 2-groupoid, and the path 3-groupoid of a manifold. We show that the resulting higher holonomy functors can detect non-trivial classes in higher homotopy groups. As an application, we construct a Gray functor from the path 3-groupoid of the configuration space of $m$ points in $\mathbb{R}^n$ for $n\geqslant 4$ and compute its restriction to 3-tracks with constant boundary when $n=4$.

math.AT↗

Multicomplexes in Action: Strong Formality of Compact Hyperkähler Manifolds

We show that all compact hyperkähler manifolds are bigraded strongly formal in the sense of Milivojević and Stelzig, proving that in the context of pluripotential homotopy theory they play the same role as compact Kähler manifolds in rational homotopy theory. Indeed, the main result arises from general algebraic considerations on categories of objects with more differentials, that of $n$-complexes and commutative $n$-differential graded algebras. For them we discuss a standard model category structure, introduce a generalization of the $\partial\bar{\partial}$-Lemma and establish an algebraic formality theorem.

math.AT↗

On bordism classes of symmetric products of surfaces

We explicitly determine the complex bordism class of the $n$-th symmetric product of a complex curve of genus $g$. In particular, we provide an explicit formula expressing this class as an integral linear combination of bordism classes of products of complex projective spaces. Similarly, we determine the unoriented bordism class of the $n$-th symmetric product of a non-orientable surface of genus $g$ (i.e., $\#_{i=1}^{g+1}\mathbb R P^2$). It turns out that these classes are also expressed as a $\mathbb Z_2$-linear combination of bordism classes of products of even-dimensional real projective spaces. We also give an affirmative answer to a non-orientable version of the Blagojević--Grujić--Živaljević conjecture stating that the topological type of any symmetric product of a noncompact surface of finite type determines the topological type of the surface itself.

math.AT↗