Beben and Wu showed that if $M$ is a $(2n-2)$-connected $(4n-1)$-dimensional Poincaré Duality complex such that $n\geq 3$ and $H^{2n}(M;\mathbb{Z})$ consists only of odd torsion, then $ΩM$ can be decomposed up to homotopy as a product of simpler, well studied spaces. We use a result from \cite{BT2} to greatly simplify and enhance Beben and Wu's work and to extend it in various directions.
In this paper, using exclusively homotopy theoretical methods, we study degrees of maps between $(n-2)$-connected $(2n-1)$-dimensional Poincar\' e complexes which have torsion free integral homology. Necessary and sufficient algebraic conditions for the existence of map degrees between such Poincar\' e complexes are established. We calculate the set of all map degrees between certain two $(n-2)$-connected $(2n-1)$-dimensional torsion free Poincaré complexes. For low $n$, using knowledge of possible degrees of self maps, we classify, up to homotopy, torsion free $(n-2)$-connected $(2n-1)$-dimen…
We consider two types of minimal Poincaré $4$-complexes. One is defined with respect to the degree $1$-map order. This idea was already present in our previous papers, and more systematically studied later by Hillman. The second type of minimal Poincaré $4$-complexes were introduced by Hambleton, Kreck and Teichner. It is not based on an order relation. In the present paper we study existence and uniqueness.
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 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…
This paper develops the study of Fox pairings of a group $G$ from the viewpoint of group cohomology. We compute some cohomology groups of Fox pairings of $G$, where $G$ admits a Poincaré duality group pair. We also suggest fundamental Fox pairings and higher Fox pairings.
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.
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 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.
Turaev conjectured that the classification, realization and splitting results for Poincaré duality complexes of dimension $3$ (PD$_{3}$-complexes) generalize to PD$_{n}$-complexes with $(n-2)$-connected universal cover for $n \ge 3$. Baues and Bleile showed that such complexes are classified, up to oriented homotopy equivalence, by the triple consisting of their fundamental group, orientation class and the image of their fundamental class in the homology of the fundamental group, verifying Turaev's conjecture on classification. We prove Turaev's conjectures on realization and splitting. We sho…
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.
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…
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.
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 answer a weaker version of the classification problem for the homotopy types of $(n-2)$-connected closed orientable $(2n-1)$-manifolds. Let $n\geq 6$ be an even integer, and $X$ be a $(n-2)$-connected finite orientable Poincaré $(2n-1)$-complex such that $H^{n-1}(X;\mathbb{Q})=0$ and $H^{n-1}(X;\mathbb{Z}_2)=0$. Then its loop space homotopy type is uniquely determined by the action of higher Bockstein operations on $H^{n-1}(X;\mathbb{Z}_p)$ for each odd prime $p$. A stronger result is obtained when localized at odd primes.
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.
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 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.
We prove that a large class of Poincaré duality pairs admit rational models (in the sense of Sullivan) of a particularly nice form associated to some Poincaré duality CDGA. These models have applications in particular to the construction of rational models of configuration spaces in compact manifolds with boundary.
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.
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 record a result concerning the Koszul dual of the arity filtration on an operad. This result is then used to give conditions under which, for a general operad, the Poincaré/Koszul duality arrow of Ayala-Francis is an equivalence. We discuss how the Poincaré/Koszul duality arrow for the little $n$-disks operad $\mathcal{E}_n$ relates to their work when combined with the self-Koszul duality of $\mathcal{E}_n$.
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.
Using a cap product, we construct an explicit Poincaré duality isomorphism between the blown-up intersection cohomology and the Borel-Moore intersection homology, for any commutative ring of coefficients and second-countable, oriented pseudomanifolds.
Félix, Halperin, and Lemaire have shown that the rational module category Mcat and the rational Toomer invariant $e_0$ coincide for simply connected Poincaré duality complexes. We establish an analogue of this result for the sectional category of a fibration.
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（南安普顿大学）
In earlier work we presented necessary conditions for a fundamental triple to be that of a 3-dimensional Poincaré duality pair with aspherical boundary components. We provide a construction which shows that the necessary conditions are sufficient.
We prove a duality for factorization homology which generalizes both usual Poincaré duality for manifolds and Koszul duality for $\mathcal{E}_n$-algebras. The duality has application to the Hochschild homology of associative algebras and enveloping algebras of Lie algebras. We interpret our result at the level of topological quantum field theory.
Intersection homology with coefficients in a field restores Poincaré duality for some spaces with singularities, as pseudomanifolds. But, with coefficients in a ring, the behaviours of manifolds and pseudomanifolds are different. This work is an overview, with proofs and explicit examples, of various possible situations with their properties. We first set up a duality, defined from a cap product, between two intersection cohomologies: the first one arises from a linear dual and the second one from a simplicial blow up. Moreover, from this property, Poincaré duality in intersection homology loo…
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.
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 …
We explore the constraints imposed by Poincaré duality on the resonance varieties of a graded algebra. For a 3-dimensional Poincaré duality algebra $A$, we obtain a fairly precise geometric description of the resonance varieties $\mathcal{R}^i_k(A)$.
We prove that the basic intersection cohomology $IH^*_{\overline{p}}(M / \mathcal{F})$, where $\mathcal{F}$ is the singular foliation determined by an isometric action of a Lie group $G$ on the compact manifold $M$, verifies the Poincaré Duality Property.
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 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.
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 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.
We obtain a linear algebra data presentation of the category of constructible with respect to perverse triangulation sheaves on a finite simplicial complex. We also establish Koszul duality between the above mentioned category and the category of perverse sheaves constructible with respect to the triangulation
For having a Poincaré duality via a cap product between the intersection homology of a paracompact oriented pseudomanifold and the cohomology given by the dual complex, G. Friedman and J. E. McClure need a coefficient field or an additional hypothesis on the torsion. In this work, by using the classical geometric process of blowing-up, adapted to a simplicial setting, we build a cochain complex which gives a Poincaré duality via a cap product with intersection homology, for any commutative ring of coefficients. We prove also the topological invariance of the blown-up intersection cohomology wi…
