A parametrized Pontryagin--Thom theorem
We prove a space-level enhancement of the Pontryagin--Thom theorem, identifying the space of maps from a manifold to a Thom space with a moduli space of submanifolds.
Source author record
David Ayala
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
6works
4topics
4close collaborators
Published work
6 publications
preprint2022arXiv
Symmetries of a rigid braided category
We identify natural symmetries of each rigid higher braided category. Specifically, we construct a functorial action by the continuous group ΩO(n) on each En−1-monoidal (g,d)-category R in which each object is dualizable (for n≥2, d≥0, d≤g≤∞). This action determines a canonical action by the continuous group ΩRPn−1 on the moduli space of objects of each such R. In cases where the parameters n, d, and g are small, we compare these continuous symmetries to known symmetries, which manifest as categorical identities.
Open access
preprint2020arXiv
Factorization homology I: higher categories
We construct a pairing, which we call factorization homology, between framed manifolds and higher categories. The essential geometric notion is that of a vari-framing of a stratified manifold, which is a framing on each stratum together with a coherent system of compatibilities of framings along links between strata. Our main result constructs labeling systems on disk-stratified vari-framed n-manifolds from (∞,n)-categories. These (∞,n)-categories, in contrast with the literature to date, are not required to have adjoints. This allows the following conceptual definition: the factorization homology ∫MC of a framed n-manifold M with coefficients in an (∞,n)-category C is the classifying space of $\cC$-labeled disk-stratifications over M.
Open access
preprint2020arXiv
Fibrations of ∞-categories
We construct a flagged ∞-category Corr of ∞-categories and bimodules among them. We prove that Corr classifies exponentiable fibrations. This representability of exponentiable fibrations extends that established by Lurie of both coCartesian fibrations and Cartesian fibrations, as they are classified by the ∞-category of ∞-categories and its opposite, respectively. We introduce the flagged ∞-subcategories LCorr and RCorr of Corr, whose morphisms are those bimodules which are \emph{left final} and \emph{right initial}, respectively. We identify the notions of fibrations these flagged ∞-subcategories classify, and show that these ∞-categories carry universal left/right fibrations.
Open access
preprint2014arXiv
Structured singular manifolds and factorization homology
We provide a framework for the study of structured manifolds with singularities and their locally determined invariants. This generalizes factorization homology, or topological chiral homology, to the setting of singular manifolds equipped with various tangential structures. Examples of such factorization homology theories include intersection homology, compactly supported stratified mapping spaces, and Hochschild homology with coefficients. Factorization homology theories for singular manifolds are characterized by a generalization of the Eilenberg-Steenrod axioms. Using these axioms, we extend the nonabelian Poincaré duality of Salvatore and Lurie to the setting of singular manifolds -- this is a nonabelian version of the Poincaré duality given by intersection homology. We pay special attention to the simple case of singular manifolds whose singularity datum is a properly embedded submanifold and give a further simplified algebraic characterization of these homology theories. In the case of 3-manifolds with 1-dimensional submanifolds, this structure gives rise to knot and link homology theories akin to Khovanov homology.
Open access
preprint2012arXiv
Configurations spaces and Theta_n
We demonstrate that Joyal's category Theta_n, which is central to numerous definitions of (infinity,n)-categories, naturally encodes the homotopy type of configuration spaces of marked points in R^n. This article is largely self-contained and uses only elementary techniques in combinatorics and homotopy theory.
Open access
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.