Related papers: Homotopy coherent Gysin functoriality

We survey several mathematical developments in the holonomy approach to gauge theory. A cornerstone of this approach is the introduction of group structures on spaces of based loops on a smooth manifold, relying on certain homotopy…

We prove that algebraic G-theory in is representable in unstable and stable motivic homotopy categories; in the stable category we identify it with the Borel-Moore theory associated to algebraic K-theory, and show that such an…

We introduce a strategy to study irreducible representations of automorphism groups of finite modules over local rings. We prove that these automorphism groups fit in a hierarchy that facilitates a stratification of their irreducible…

The homotopy theory of higher categorical structures has become a relevant part of the machinery of algebraic topology and algebraic K-theory, and this paper contains contributions to the study of the relationship between B\'enabou's…

By exploring the geometric properties of Hyodo-Kato cohomology in rigid geometry, we establish several foundational results, including the semistable conjecture for \'etale cohomology of almost proper rigid analytic varieties, and GAGA…

We develop a full 6-functor formalism for $p$-torsion \'etale sheaves in rigid-analytic geometry. More concretely, we use the recently developed condensed mathematics by Clausen--Scholze to associate to every small v-stack (e.g.…

For a flat proper morphism of finite presentation between schemes with almost coherent structural sheaves (in the sense of Faltings), we prove that the higher direct images of quasi-coherent and almost coherent modules are quasi-coherent…

Chiral higher spin gravity is defined in terms of a strong homotopy algebra of pre-Calabi-Yau type (noncommutative Poisson structure). All structure maps are given by the integrals over the configuration space of concave polygons and the…

The homotopy theory of representations of nets of algebras over a (small) category with values in a closed symmetric monoidal model category is developed. We illustrate how each morphism of nets of algebras determines a change-of-net…

We present a homotopy theory for a weak version of modular operads whose compositions and contractions are only defined up to homotopy. This homotopy theory takes the form of a Quillen model structure on the collection of simplicial…

We prove general adjoint functor theorems for weakly (co)complete $n$-categories. This class of $n$-categories includes the homotopy $n$-categories of (co)complete $\infty$-categories, so these $n$-categories do not admit all small…

Let p be a fibration over a finite simplicial complex, whose fibers have the homotopy type of finite simplicial complexes. Then p is equivalent to an approximate fibration whose total space is a compact ENR. The proof uses homotopy coherent…

In this article, we study criteria for producing six-functor formalisms and morphisms between them. One notable application is that the motivic homotopy theory of algebraic stacks is the universal six-functor functor formalism in a strong…

Let G be a connected reductive complex affine algebraic group, and let X denote the moduli space of G-valued representations of a rank r free group. We first characterize the singularities in X, extending a theorem of Richardson and proving…

This paper is a first of a series of three papers which study eta invariants for laminations. In this first paper, we extend the results of Higson and Roe to deal with regular (unbounded) operators and more importantly to take into account…

The language of homotopy type theory has proved to be appropriate as an internal language for various higher toposes, for example with Synthetic Algebraic Geometry for the Zariski topos. In this paper we apply such techniques to the higher…

The purpose of this note is to show that a connection with closed skewsymmetric torsion and reducible holonomy admits a locally defined Riemannian submersion together with a projected geometry on the base. We reframe known submersion…

In the case of smooth manifolds, we use Forman's discrete Morse theory to realize combinatorially any Thom-Smale complex coming from a smooth Morse function by a couple triangulation-discrete Morse function. As an application, we prove that…

Let $\Sigma$ be a closed surface, $G$ a compact Lie group, with Lie algebra $g$, and $\xi \colon P \to \Sigma$ a principal $G$-bundle. In earlier work we have shown that the moduli space $N(\xi)$ of central Yang- Mills connections, for…

If all objects of a simplicial combinatorial model category \cat A are cofibrant, then there exists the homotopy model structure on the category of small functors $\sS^{\cat A}$, where the fibrant objects are homotopy functors, i.e.,…