Let G=S^1, G=Z/p or more generally G be a finite p group, where p is an odd prime number. If G acts on a space whose cohomology ring satisfies Poincare duality (with appropriate coefficients k), we prove a mod 4 congruence between the total Betti number of X^G and a number which depends only on the k[G]-module structure of H^*(X;k). This improves the well known mod 2 congruences that hold for actions on general spaces.
We extend Hendriks' classification theorem and Turaev's realisation and splitting theorems for Poincare duality complexes in dimension three to the relative case of Poincare duality pairs. The results for Poincare duality complexes are recovered by restricting the results to the case of Poincare duality pairs with empty boundary. Up to oriented homotopy equivalence, three-dimensional Poincare duality pairs are classified by their fundamental triple consisting of the fundamental group system, the orientation character and the image of the fundamental class under the classifying map. Using the d…
An proof of Poincare Duality with local coefficients and with compact support is provided. The proof does not require Sheaf Theory or anything equivalent and is thus more accessible for the general audience.
We make explicit Poincaré duality for the equivariant $K$-theory of equivariant complex projective spaces. The case of the trivial group provides a new approach to the $K$-theory orientation.
We describe an algebraic structure on chain complexes yielding algebraic models which classify homotopy types of Poincare duality complexes of dimension 4. Generalizing Turaev's fundamental triples of Poincare duality complexes of dimension 3, we introduce fundamental triples for Poincare duality complexes of dimension n > 2 and show that two Poincare duality complexes are orientedly homotopy equivalent if and only if their fundamental triples are isomorphic. As applications we establish a conjecture of Turaev and obtain a criterion for the existence of degree 1 maps between n-dimensional mani…
In this paper, it is shown that some of the results of torus actions on Poincaré duality spaces, Borel's dimension formula and topological splitting principle to local weights, hold if `torus' is replaced by `pro-torus'.
We prove that every commutative differential graded algebra whose cohomology is a simply-connected Poincare duality algebra is quasi-isomorphic to one whose underlying algebra is simply-connected and satisfies Poincare duality in the same dimension. This has application in particular to the study of CDGA models of configuration spaces on a closed manifold.
In this paper we assign, under reasonable hypothesis, to each pseudomanifold with isolated singularities a rational Poincaré duality space. These spaces are constructed with the formalism of intersections spaces defined by Markus Banagl and are indeed related to them in the even dimensional case.
Greenlees and Sadofsky showed that the classifying spaces of finite groups are self-dual with respect to Morava K-theory K(n). Their duality map was constructed using a transfer map. We generalize their duality map and prove a K(n)-version of Poincare duality for classifying spaces of orbifolds. By regarding these classifying spaces as the homotopy types of certain differentiable stacks, our construction can be viewed as a stack version of Spanier-Whitehead type construction. Some examples and calculations will be given at the end.
Methods are developed to relate the action of a principal fibration to relative Whitehead products in order to determine the homotopy type of certain spaces. The methods are applied to thoroughly analyze the homotopy type of the based loops on certain cell attachments. Key examples are (n-1)-connected Poincare Duality complexes of dimension 2n or 2n+1 with minor cohomological conditions.
We use nonabelian Poincaré duality to recover the stable splitting of compactly supported mapping spaces, $\rm{Map_c}$$(M,Σ^nX)$, where $M$ is a parallelizable $n$-manifold. Our method for deriving this splitting is new, and naturally extends to give a more general stable splitting of the space of compactly supported sections of a certain bundle on $M$ with fibers $Σ^nX$, twisted by the tangent bundle of $M$. This generalization incorporates possible $O(n)$-actions on $X$ as well as accommodating non-parallelizable manifolds.
Indian Statistical Institute（印度统计研究所）；University of Bristol（布里斯托大学）；Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；University of Chinese Academy of Sciences（中国科学院大学）；University of Southampton（南安普顿大学）
Baues and Bleille showed that, up to oriented homotopy equivalence, a Poincare duality complex of dimension $n \ge 3$ with $(n-2)$-connected universal cover, is classified by its fundamental group, orientation class and the image of its fundamental class in the homology of the fundamental group. We generalise Turaev's results for the case $n=3$, by providing necessary and sufficient conditions for a triple $(G, ω, μ)$, comprising a group, $G$, $ω\in H^{1}(G;\mathbb{Z}/2\mathbb{Z})$ and $μ\in H_{3}(G, \mathbb{Z}^ω)$ to be realised by a Poincaré duality complex of dimension $n$ with $(n-2)$-conn…
We generalize the nonabelian Poincare duality theorems of Salvatore in [Sal01] and Lurie in [Lur09] to the case of not necessarily grouplike E_n-algebras (in the category of spaces). We define a stabilization procedure based on McDuff's "brining points in from infinity" maps from [McD75]. For open connected parallelizable n-manifolds, we prove that, after stabilizing, the topological chiral homology of M with coefficients in an E_n-algebra A, is homology equivalent to Map^c(M,B^n A), the space of compactly supported maps to the n-fold classifying space of A. The two models of topological chira…
If $G$ is a group which admits a manifold model for $\mathrm{B}G$ then $G$ is a Poincaré duality group. We study a generalisation of Poincaré duality groups, introduced initially by Davis and Leary, motivated by groups $G$ with cocompact manifold models $M$ for $\underline{\mathrm{E}}G$ where $M^H$ is a contractible submanifold for all finite subgroups $H$ of $G$. We give several sources of examples and constructions of these Bredon-Poincaré duality groups, including using the equivariant reflection group trick of Davis and Leary to construct examples of Bredon-Poincaré duality groups arising …
The paper gives a review of progress towards extending the Thurston programme to the Poincare duality case. For a full abstract, see the published version at the above link.
We generalise the notion of subdivision of a finite-dimensional locally finite simplicial complex $X$ to geometric algebra, namely to the simplicially controlled categories $\mathbb{A}^*(X)$, $\mathbb{A}_*(X)$ of Ranicki and Weiss. We prove a squeezing result: a bounded chain equivalence of sufficiently algebraically subdivided chain complexes can be squeezed to a simplicially controlled chain equivalence of the unsubdivided chain complexes. Giving $X\times\mathbb{R}$ a bounded triangulation measured in the open cone $O(X_+)$ we use algebraic subdivision to define a functor $\mathrm{"}-\otimes…
We prove that every finite connected simplicial complex is homotopy equivalent to the quotient of a contractible manifold by proper actions of a virtually torsion-free group. As a corollary, we obtain that every finite connected simplicial complex is homotopy equivalent to the classifying space for proper bundles of some virtual Poincaré duality group.
In this paper we address the relation between the orbifold fundamental group and the topology of the underlying space. In particular, under the assumption that the orbifold fundamental group is equal to the fundamental group of the underlying space, we prove Poincaré Duality for orbifolds of dimension 4 and 5.
In a previous paper, math.AT/0304079, Auslander-Reiten triangles and quivers were introduced into algebraic topology. This paper shows that over a Poincare duality space, each component of the Auslander-Reiten quiver is isomorphic to ZA_{\infty}.
We show that intersection homology extends Poincare duality to manifold homotopically stratified spaces (satisfying mild restrictions). This includes showing that, on such spaces, the sheaf of singular intersection chains is quasi-isomorphic to the Deligne sheaf.
For a Poincare duality space X and a map X -> B, consider the homotopy fiber product X x^B X. If X is orientable with respect to a multiplicative cohomology theory E, then, after suitably regrading, it is shown that the E-homology of X x^B X has the structure of a graded associative algebra. When X -> B is the diagonal map of a manifold X, one recovers a result of Chas and Sullivan about the homology of the free loop space LX.
The object of this paper is to show that non-homotopy finite Poincaré duality spaces are plentiful. Let $π$ be finitely presented group. Assuming that the reduced Grothendieck group $\tilde K_0(\Bbb Z[π])$ has a non-trivial 2-divisible element, we construct a finitely dominated Poincaré space $X$ with fundamental group $π$ such that $X$ is not homotopy finite. The dimension of $X$ can be made arbitrarily large. Our proof relies on a result which says that every finitely dominated space possesses a stable Poincaré duality thickening.
We define and study a class of finite topological spaces, which model the cell structure of a space obtained by gluing finitely many Euclidean convex polyhedral cells along congruent faces. We call these finite topological spaces, combinatorial cell complexes (or c.c.c). We define orientability, homology and cohomology of c.c.c's and develop enough algebraic topology in this setting to prove the Poincare duality theorem for a c.c.c satisfying suitable regularity conditions. The definitions and proofs are completely finitary and combinatorial in nature.
We show that the complex $C_\bullet X$ of rational simplicial chains on a compact and triangulated Poincaré duality space $X$ of dimension $d$ is an A$_\infty$ coalgebra with $\infty$ duality. This is the structure required for an A$_\infty$ version of the cyclic Deligne conjecture. One corollary is that the shifted Hochschild cohomology $HH^{\bullet+d} (C^\bullet X, C_\bullet X)$ of the cochain algebra $C^\bullet X$ with values in $C_\bullet X$ has a BV structure. This implies, if $X$ is moreover simply connected, that the shifted homology $H_{\bullet+d}LX$ of the free loop space admits a BV …
Let K be a connected finite complex. This paper studies the problem of whether one can attach a cell to some iterated suspension S^j K so that the resulting space satisfies Poincare duality. When this is possible, we say that S^j K is a spine. We introduce the notion of quadratic self duality and show that if K is quadratically self dual, then S^j K is a spine whenever j is a suitable power of two. The powers of two come from the James periodicity theorem. We briefly explain how our main results, considered up to bordism, give a new interpretation of the four-fold periodicity of the surgery ob…
We construct periodic families of Poincare complexes, partially solving a question of Hodgson that was posed in the proceedings of the 1982 Northwestern homotopy theory conference. We also construct infinite families of Poincare complexes whose top cell falls off after one suspension but which fail to embed in a sphere of codimension one. We give a homotopy theoretic description of the four-fold periodicity in knot cobordism.
Let M be a Poincare duality space of dimension at least four. In this paper we describe a complete obstruction to realizing the diagonal map M -> M x M by a Poincare embedding. The obstruction group depends only on the fundamental group and the parity of the dimension of M.
The singular cochain complex of a topological space is a classical object. It is a Differential Graded algebra which has been studied intensively with a range of methods, not least within rational homotopy theory. More recently, the tools of Auslander-Reiten theory have also been applied to the singular cochain complex. One of the highlights is that by these methods, each Poincare duality space gives rise to a Calabi-Yau category. This paper is a review of the theory.
We discuss Poincaré duality complexes X and the question whether or not their Spivak normal fibration admits a reduction to a vector bundle in the case where the dimension of X is at most 4. We show that in dimensions less than 4 such a reduction always exists, and in dimension 4 such a reduction exists provided X is orientable. In the non-orientable case there are counterexamples to reducibility by Hambleton--Milgram.
Let $A$ be a Koszul Calabi-Yau algebra. We show that there exists an isomorphism of Batalin-Vilkovisky algebras between the Hochschild cohomology ring of $A$ and that of its Koszul dual algebra $A^!$. This confirms (a generalization of) a conjecture of R.~Rouquier.
The primary purpose of this paper concerns the relation of (compact) generalized manifolds to finite Poincaré duality complexes (PD complexes). The problem is that an arbitrary generalized manifold $X$ is always an ENR space, but it is not necessarily a complex. Moreover, finite PD complexes require the Poincaré duality with coefficients in the group ring $Λ$ ($Λ$-complexes). Standard homology theory implies that $X$ is a $\mathbb{Z}$-PD complex. Therefore by Browder's theorem, $X$ has a Spivak normal fibration which in turn, determines a Thom class of the pair $(N,\partial N)$ of a mapping cy…
We define a space of relative embedded thickenings of a given map from a finite complex to a Poincare Duality space, and show that there is a highly connected stabilization map between such spaces induced by fiberwise suspension. As a result, we obtain a generalization to the Poincare Duality category of a smooth stabilization theorem of Connolly and Williams.
Let G be a Poincare duality group of dimension n. For a given element g in G, let C_g denote its centralizer subgroup. Let L_G be the graded abelian group defined by (L_G)_p = oplus_{[g]}H_{p+n}(C_g) where the sum is taken over conjugacy classes of elements in G. In this paper we construct a multiplication on L_G directly in terms of intersection products on the centralizers. This multiplication makes L_G a graded, associative, commutative algebra. When G is the fundamental group of an aspherical, closed oriented n manifold M, then (L_G)_* = H_{*+n}(LM), where LM is the free loop space of M. W…
Associated with an augmented differential graded algebra $R= R^{\geq 0}$ is a homotopy invariant ${\mathcal T}(R)$. This is a graded vector space, and if $H^0(R)$ is the ground field and $H^{>N}(R)= 0$ then dim$\, {\mathcal T}(R)= 1$ if and only if $H(R)$ is a Poincaré duality algebra. In the case of Sullivan extensions $\land W\to \land W\otimes \land Z\to \land Z$ in which dim$\, H(\land Z)<\infty$ we show that $${\mathcal T}(\land W\otimes \land Z)= {\mathcal T}(\land W)\otimes {\mathcal T}(\land Z).$$ This is applied to finite dimensional CW complexes $X$ where the fundamental group $G$ ac…
This thesis concerns the relationship between bounded and controlled topology and how these can be used to recognise which homotopy equivalences of reasonable topological spaces are homotopic to homeomorphisms. Let $f:X\to Y$ be a simplicial map of finite-dimensional locally finite simplicial complexes. We prove that $f$ has contractible point inverses if and only if it is an $ε$-controlled homotopy equivalences for all $ε>0$, if and only if $f\times\mathrm{id}:X\times\mathbb{R} \to Y\times\mathbb{R}$ is a homotopy equivalence bounded over the open cone $O(Y^+)$ of Pedersen and Weibel. This ap…
We study the finite generation of homotopy groups of closed manifolds and finite CW-complexes by relating it to the cohomology of their fundamental groups. Our main theorems are as follows: when $X$ is a finite CW-complex of dimension $n$ and $π_1(X)$ is virtually a Poincaré duality group of dimension $\geq n-1$, then $π_i(X)$ is not finitely generated for some $i$ unless $X$ is homotopy equivalent to the Eilenberg--MacLane space $K(π_1(X),1)$; when $M$ is an $n$-dimensional closed manifold and $π_1(M)$ is virtually a Poincaré duality group of dimension $\ge n-1$, then for some $i\leq [n/2]$, …
Among its many corollaries, Poincare duality implies that the de Rham cohomology of a compact oriented manifold is a shifted commutative Frobenius algebra --- a commutative Frobenius algebra in which the comultiplication has cohomological degree equal to the dimension of the manifold. We study the question of whether this structure lifts to a "homotopy" shifted commutative Frobenius algebra structure at the cochain level. To make this question nontrivial, we impose a mild locality-type condition that we call "quasilocality": strict locality at the cochain level is unreasonable, but it is reaso…
The purpose of this paper is to describe a general and simple setting for defining $(g,p+q)$-string operations on a Poincaré duality space and more generally on a Gorenstein space. Gorenstein spaces include Poincaré duality spaces as well as classifying spaces or homotopy quotients of connected Lie groups. Our presentation implies directly the homotopy invariance of each $(g,p+q)$-string operation as well as it leads to explicit computations.
