ZERO-POINTED MANIFOLDS

@article{Ayala2014ZEROPOINTEDM,
  title={ZERO-POINTED MANIFOLDS},
  author={David Ayala and John Francis},
  journal={Journal of the Institute of Mathematics of Jussieu},
  year={2014},
  volume={20},
  pages={785 - 858}
}
  • David AyalaJ. Francis
  • Published 9 September 2014
  • Mathematics
  • Journal of the Institute of Mathematics of Jussieu
Abstract We formulate a theory of pointed manifolds, accommodating both embeddings and Pontryagin–Thom collapse maps, so as to present a common generalization of Poincaré duality in topology and Koszul duality in ${\mathcal{E}}_{n}$ -algebra. 

Poincaré/Koszul Duality

We prove a duality for factorization homology which generalizes both usual Poincaré duality for manifolds and Koszul duality for $${\mathcal{E}_n}$$En-algebras. The duality has application to the

The Dold–Thom theorem via factorization homology

We give a new proof of the classical Dold–Thom theorem using factorization homology. Our method is direct and conceptual, avoiding the Eilenberg–Steenrod axioms entirely in favor of a more general

Lectures on Factorization Homology, ∞-Categories, and Topological Field Theories

These are notes from an informal mini-course on factorization homology, infinity-categories, and topological field theories. The target audience was imagined to be graduate students who are not

Spectral Algebra Models of Unstable $$v_n$$-Periodic Homotopy Theory

We give a survey of a generalization of Quillen-Sullivan rational homotopy theory which gives spectral algebra models of unstable v_n-periodic homotopy types. In addition to describing and

FIBERWISE POINCARÉ–HOPF THEORY AND EXOTIC SMOOTH STRUCTURES ON FIBER BUNDLES

We prove the Rigidity Conjecture of Goette and Igusa, which states that, after rationalizing, there are no stable exotic smoothings of manifold bundles with closed even dimensional fibers. The key

Traces for factorization homology in dimension 1

We construct a circle-invariant trace from the factorization homology of the circle trace : ∫ α S1 End(V ) −→ 1 associated to a dualizable object V ∈ X in a symmetric monoidal ∞-category. This proves

Duality and vanishing theorems for topologically trivial families of smooth h-cobordisms

Using the work of Dwyer, Weiss, and Williams we associate an invariant to any topologically trivial family of smooth h-cobordisms. This invariant is called the smooth structure class, and is closely

The cobordism hypothesis

Assuming a conjecture about factorization homology with adjoints, we prove the cobordism hypothesis, after Baez-Dolan, Costello, Hopkins-Lurie, and Lurie.

Poincaré/Koszul duality for general operads

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 Poincare/Koszul duality arrow of

A proof of the Dold$-$Thom theorem via factorization homology

The Dold$-$Thom theorem states that for a sufficiently nice topological space, M, there is an isomorphism between the homotopy groups of the infinite symmetric product of M and the homology groups of

References

SHOWING 1-10 OF 49 REFERENCES

Poincaré/Koszul Duality

We prove a duality for factorization homology which generalizes both usual Poincaré duality for manifolds and Koszul duality for $${\mathcal{E}_n}$$En-algebras. The duality has application to the

Spaces of particles on manifolds and generalized poincaré dualities

In this paper, we use a ‘local to global’ scanning process based on a construction of Segal to unify and generalize interesting results throughout the literature relating multi-configuration spaces

Topological hypercovers and 1-realizations

Abstract.We show that if U* is a hypercover of a topological space X then the natural map hocolim U* → X is a weak equivalence. This fact is used to construct topological realization functors for the

The Dold–Thom theorem via factorization homology

We give a new proof of the classical Dold–Thom theorem using factorization homology. Our method is direct and conceptual, avoiding the Eilenberg–Steenrod axioms entirely in favor of a more general

Homotopy Invariant Algebraic Structures on Topological Spaces

Motivation and historical survey.- Topological-algebraic theories.- The bar construction for theories.- Homotopy homomorphisms.- Structures on based spaces.- Iterated loop spaces and actions on

Higher Topos Theory

This purpose of this book is twofold: to provide a general introduction to higher category theory (using the formalism of "quasicategories" or "weak Kan complexes"), and to apply this theory to the

A model for the homotopy theory of homotopy theory

We describe a category, the objects of which may be viewed as models for homotopy theories. We show that for such models, “functors between two homotopy theories form a homotopy theory”, or more

Calculus III: Taylor Series

We study functors from spaces to spaces or spectra that preserve weak homotopy equivalences. For each such functor we construct a universal n-excisive approximation, which may be thought of as its