# David Ayala

I live in Bozeman, Montana, as an assistant professor of mathematics at Montana State University. Previously, I was a postdoc at the University of Southern California, Harvard University, and the University of Copenhagen. I received my PhD through Stanford University under the supervision of Ralph Cohen.

See my abbreviated Curriculum Vitæ for specifics.

## Research

Much of my research is framed by the following paradigm.

- Invariants of locally standard entities -- such as manifolds, links, or (derived)
schemes with very few points -- that possess a nuanced local-to-global expression
can be constructed from (higher-)algebraic, or (higher-)categorical, data. The result,
*factorization homology*, is an association of an object, such as a vector space, from such an entity and such a (higher-)algebra/category. - Deformations of the algebraic/categorical input are organized as a likewise algebra/category -- this is Koszul duality. Through factorization homology, Poincare' duality intertwines with Koszul duality, thereby offering unforseen identities of, and within, the values of factorization homology.
- (Scores of classical, and more recent, identities can be recovered as instances of this paradigm.)

## Papers

- Derived Mackey functors and C_{p^n}-equivariant cohomology (with Aaron Mazel-Gee and Nick Rozenblyum; last revised May 2021).

For p an odd prime, we identify the Picard group of genuine C_{p^n}-Z-modules, as well as the C_{p^n}-equivariant cohomology of a point. These identifications are achieved through application of stratifications of noncommutative stacks. - Trace for factorization homology in dimension 1 (with John Francis; last revised May 2021).

We construct circle-equivariant trace map, and prove a conjecture of Toën-Vezzosi, using 1-dimensional factorization homology. - Stratified noncommutative geometry (with Aaron Mazel-Gee and Nick Rozenblyum; last revised September 2020).

We develop a rather comprehensive theory of stratifications of stable presentable categories, and give several examples. As an appendix, we consolidate some general definitions and basic results in lax category theory. - A factorization homology primer (with John Francis; to appear in The Homotopy Handbook).

We give a consolidated account of the theory of, examples/instances of, and general features of factorization homology (“alpha”). This includes discussing relationships with factorization algebras, defects, filtrations, and Poincare’/Koszul duality. - Flagged higher categories (with John Francis; to appear in CBMS proceedings).

We introduce flagged $(\infty,n)$-categories, as a model-independent characterization of Segal sheaves on Joyal's category $\bTheta_n$. We indicate some compelling examples of such. This result can be interpreted as a non-linear instance of iterated Koszul duality. - The geometry of the cyclotomic trace (with Aaron Mazel-Gee and Nick Rozenblyum; last revised October 2017).

Using enriched factorization homology and linearization, we give a construction of the cyclotomic trace from algebraic K-theory to topological cyclic homology. Essentially, for each derived scheme X we organize the derived loop space LX as a quasi-coherent sheaf over the stratified algebraic stack of the previous paper; for each vector bundle over X, "trace of monodromy" defines a global function on LX. Much of this paper surveys its supporting papers. - A naive approach to genuine G-spectra and cyclotomic spectra (with Aaron Mazel-Gee and Nick Rozenblyum; last revised October 2017).

We interpret the $\infty$-category of cyclotomic spectra as that of quasi-coherent sheaves on a stratified algebraic stack over the sphere spectrum, with TC being global functions; we do similarly for genuine G-spectra. We do this by organizing Tate constructions as recollements, and use Glassman's definition of stratified stable categories. - Factorization homology of enriched $(\infty,1)$-categories (with Aaron Mazel-Gee and Nick Rozenblyum; last revised October 2017).

We define factorization homology of enriched $(\infty,1)$-categories over oriented 1-manifolds (as well as directed graphs). - The bordism hypothesis (with John Francis; last revised August 2017).

We supply a proof of the bordism hypothesis, using factorization homology. - Fibrations of $\infty$-categories (with John Francis; to appear in Higher Structures).

We give a model-independent account of fibrations among $\infty$-categories, with exponentiable fibrations playing a central role. We show that each notion of fibration is classified by an $\infty$-category. This offers an operationally practical technique for making constructions among $\infty$-category theory, in a model-independent manner. - Factorization homology I: higher categories (with John Francis and Nick Rozenblyum; to appear in Advances of Mathematics).

We define vari-framings, and develop factorization homology over vari-framed stratified manifolds with coefficients in higher categories. We prove that this construction embeds higher categories as invariants of vari-framed stratified manifolds. - A stratified homotopy hypothesis (with John Francis and Nick Rozenblyum; to appear in Journal of the European Mathematical Society.).

We give a geometrically convenient model for $\infty$-categories using stratified spaces, and introduce some universal examples. - Poincar'e/Koszul duality (with John Francis; to appear in Communications in Mathematical Physics).

We articulate a duality among certain topological field theories that exchanges perturbative sigma-models and reduced state-sum models; this duality generalizes Poincar'e duality as well as Koszul duality. - Zero-pointed manifolds (with John Francis; to appear in Journal of the Institute of Mathematics Jussieu).

We give a convenient category of manifolds that is the home for dualities. We recover the Bar-coBar construction in this way, and prove a general version of non-abelian Poincar\'e duality. - Factorization homology of stratified spaces (with John Francis and Hiro Lee Tanaka; Selecta Mathematica (N.S.) 23 (2017), no. 1, 293-362).

We define factorization homology over structured stratified spaces, and characterize such through excision. - Local structures on stratified spaces (with John Francis and Hiro Lee Tanaka; Advances in Mathematics 307 (2017), 903-1028).

We develop a theory of stratified spaces and their moduli. We characterize local structures on them. - Factorization homology of topological manifolds (with John Francis; Journal of Topology 8 (2015), no. 4, 1045-1084).

We classify excisive invariants of topological manifolds by way of factorization homology of disk-algebras. - Configurations spaces and $\Theta_n$ (with Richard Hepworth; Proceedings of the American Mathematical Society 142 (2014), no.7, 2243-2254).

We explain that the category $\Theta_n$ encodes configuration spaces of points in Euclidean n-space. - Counting bitangents with stable maps (with Renzo Cavalieri; Expositiones Mathematicae, volume 24, no. 4, pages 307-335).

We use ideas from Gromov-Witten theory to do some enumerative geometry. - Geometric cobordism categories

(PhD thesis -- 82 pages) - Stable topology of moduli spaces of curves in complex projective space

(Warning: this paper contains an error -- the abstract points you to a remark detailing this error.)

## Other projects

- An approach to less climate-impactful conferences (with Lukas Brantner, Theo Johnson-Freyd, Andre Henriques, and Aaron Mazel-Gee; London Mathematical Society Newsletter, no. 480, pages 32-33).

We organized a somewhat experimental conference — a “double-conference” — which was a single event held in two locations: the Perimeter Institute in Waterloo, Canada; the Max Planck Institute for Mathematics in Bonn, Germany. The intention was to implement, and possibly set a model for, an international conference that avoided trans-Atlantic travel. The spirit of doing so was two-fold:- To decrease environmental impact of cutting-edge mathematics conferences.
- To decrease the financial (and other) burdens of travel to attend such conferences, thereby accessing a broader community of researchers.

- Factorization homology II: adjoints (with John Francis and Nick Rozenblyum; to appear).

We show that, in the presence of adjoints, factorization homology is naturally defined on solidly n-framed stratified manifolds. - The orthogonal group and adjoints (with John Francis; to appear).

We amalgamate the Schubert stratifications of Grassmannians to combinatorialize the orthogonal group, as a group. We construct a lax-action of this combinatorial orthogonal group on n-categories. This action is implemented by adjoining adjoints.

## Other Stuff

- Some juggling videos
- Some photos of outrageous natural features
- Some modest comics
- Tom Hayes' compilation of nearby trails to run along

You may require Adobe Acrobat Reader to view the PDFs on this page.