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
John Francis
John Francis appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
9works
7topics
4close collaborators
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.
Published work
9 published item(s)
preprint2024arXiv
Generative AI is already widespread in the public sector
Generative AI has the potential to transform how public services are delivered by enhancing productivity and reducing time spent on bureaucracy. Furthermore, unlike other types of artificial intelligence, it is a technology that has quickly become widely available for bottom-up adoption: essentially anyone can decide to make use of it in their day to day work. But to what extent is generative AI already in use in the public sector? Our survey of 938 public service professionals within the UK (covering education, health, social work and emergency services) seeks to answer this question. We find that use of generative AI systems is already widespread: 45% of respondents were aware of generative AI usage within their area of work, while 22% actively use a generative AI system. Public sector professionals were positive about both current use of the technology and its potential to enhance their efficiency and reduce bureaucratic workload in the future. For example, those working in the NHS thought that time spent on bureaucracy could drop from 50% to 30% if generative AI was properly exploited, an equivalent of one day per week (an enormous potential impact). Our survey also found a high amount of trust (61%) around generative AI outputs, and a low fear of replacement (16%). While respondents were optimistic overall, areas of concern included feeling like the UK is missing out on opportunities to use AI to improve public services (76%), and only a minority of respondents (32%) felt like there was clear guidance on generative AI usage in their workplaces. In other words, it is clear that generative AI is already transforming the public sector, but uptake is happening in a disorganised fashion without clear guidelines. The UK's public sector urgently needs to develop more systematic methods for taking advantage of the technology.
0 citations0 reviewsNo code linkedOpen access
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 $Ω\mathsf{O}(n)$ on each $\mathcal{E}_{n-1}$-monoidal $(g,d)$-category $\mathcal{R}$ in which each object is dualizable (for $n\geq 2$, $d \geq 0$, $d \leq g \leq \infty$). This action determines a canonical action by the continuous group $Ω\mathbb{R}\mathbb{P}^{n-1}$ on the moduli space of objects of each such $\mathcal{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.
0 citations0 reviewsNo code linkedOpen 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 $(\infty,n)$-categories. These $(\infty,n)$-categories, in contrast with the literature to date, are not required to have adjoints. This allows the following conceptual definition: the factorization homology \[ \int_M\mathcal{C} \] of a framed $n$-manifold $M$ with coefficients in an $(\infty,n)$-category $\mathcal{C}$ is the classifying space of $\cC$-labeled disk-stratifications over $M$.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Fibrations of $\infty$-categories
We construct a flagged $\infty$-category ${\sf Corr}$ of $\infty$-categories and bimodules among them. We prove that ${\sf 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 $\infty$-category of $\infty$-categories and its opposite, respectively. We introduce the flagged $\infty$-subcategories ${\sf LCorr}$ and ${\sf RCorr}$ of ${\sf Corr}$, whose morphisms are those bimodules which are \emph{left final} and \emph{right initial}, respectively. We identify the notions of fibrations these flagged $\infty$-subcategories classify, and show that these $\infty$-categories carry universal left/right fibrations.
0 citations0 reviewsNo code linkedOpen 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.
0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv
Morita equivalence for convolution categories: Appendix to arXiv:0805.0157
In this brief postscript to our paper "Integral transforms and Drinfeld centers in derived algebraic geometry", we describe a Morita equivalence for derived, categorified matrix algebras implied by theory developed since its appearance. We work in the setting of perfect stacks X and their stable infinity-categories Q(X) of quasicoherent sheaves. Perfect stacks include all varieties and common stacks in characteristic zero, and their stable infinity-categories of sheaves are well behaved refinements of their quasicoherent derived categories, satisfying natural analogues of common properties of function spaces. To a morphism of perfect stacks pi:X-->Y, we associate the categorified matrix algebra Q(X x_Y X) of sheaves on the derived fiber product equipped with its monoidal convolution product. We show that for pi faithfully flat (as a corollary of the 1-affineness theorem of Gaisgory) or for pi proper and surjective and X,Y smooth (as an application of proper descent, cf. Gaitsgory and Preygel), there is a Morita equivalence between Q(X x_Y X) and Q(Y), that is, an equivalence of their infinity-categories of stable module infinity-categories. In particular, this immediately implies an identification of their Drinfeld centers (as previously established in 0805.0157), and more generally, an identification of their associated topological field theories. Another consequence is that for an affine algebraic group G in characteristic zero and an algebraic subgroup K, passing to K-invariants induces an equivalence from stable infinity-categories with algebraic G-action to modules for the Hecke category Q(K\G/K).
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Chiral Koszul duality
We extend the theory of chiral and factorization algebras, developed for curves by Beilinson and Drinfeld in \cite{bd}, to higher-dimensional varieties. This extension entails the development of the homotopy theory of chiral and factorization structures, in a sense analogous to Quillen's homotopy theory of differential graded Lie algebras. We prove the equivalence of higher-dimensional chiral and factorization algebras by embedding factorization algebras into a larger category of chiral commutative coalgebras, then realizing this interrelation as a chiral form of Koszul duality. We apply these techniques to rederive some fundamental results of \cite{bd} on chiral enveloping algebras of $\star$-Lie algebras.
0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv
Integral Transforms and Drinfeld Centers in Derived Algebraic Geometry
We study the interaction between geometric operations on stacks and algebraic operations on their categories of sheaves. We work in the general setting of derived algebraic geometry: our basic objects are derived stacks X and their oo-categories QC(X) of quasicoherent sheaves. We show that for a broad class of derived stacks, called perfect stacks, algebraic and geometric operations on their categories of sheaves are compatible. We identify the category of sheaves on a fiber product with the tensor product of the categories of sheaves on the factors. We also identify the category of sheaves on a fiber product with functors between the categories of sheaves on the factors (thus realizing functors as integral transforms, generalizing a theorem of Toen for ordinary schemes). As a first application, for a perfect stack X, consider QC(X) with its usual monoidal tensor product. Then our main results imply the equivalence of the Drinfeld center (or Hochschild cohomology category) of QC(X), the trace (or Hochschild homology category) of QC(X) and the category of sheaves on the loop space of X. More generally, we show that the E_n-center and the E_n-trace (or E_n-Hochschild cohomology and homology categories respectively) of QC(X) are equivalent to the category of sheaves on the space of maps from the n-sphere into X. This directly verifies geometric instances of the categorified Deligne and Kontsevich conjectures on the structure of Hochschild cohomology. As a second application, we use our main results to calculate the Drinfeld center of categories of linear endofunctors of categories of sheaves. This provides concrete applications to the structure of Hecke algebras in geometric representation theory. Finally, we explain how all of the above results can be interpreted in the context of topological field theory.
0 citations0 reviewsNo code linkedOpen access