Related papers: An integral model structure and truncation theory …

This paper answers a question raised by Grothendieck in 1970 on the "Grothendieck closure" of an integral linear group and proves a conjecture of the first author made in 1980. This is done by a detailed study of the congruence topology of…

Let $D$ be a large category which is cocomplete. We construct a model structure (in the sense of Quillen) on the category of small functors from $D$ to simplicial sets. As an application we construct homotopy localization functors on the…

In this paper we show that counting Grothendieck's dessins d'enfants is universal in the sense that some other enumerative problems are either special cases or directly related to it. Such results provide concrete examples that support a…

In this book we prove unified classification results for equivariant principal bundles when the topological structure group is truncated. The conceptually transparent proof invokes a smooth Oka principle, which becomes available after…

Let M be the cotangent bundle of S^2, with the standard symplectic structure. By adapting an argument of Gromov we determine the weak homotopy type of the group S of those symplectic automorphisms of M which are trivial at infinity. It…

We present a truncation scheme of the effective average action approach of the nonperturbative renormalization group which allows for an accurate description of the critical regime as well as of correlation functions at finite momenta. The…

The goal of this paper is to address the problem of building a path object for the category of Grothendieck (weak) $\infty$-groupoids. This is the missing piece for a proof of Grothendieck's homotopy hypothesis. We show how to endow the…

We develop a theory of twisted actions of categorical groups using a notion of semidirect product of categories. We work through numerous examples to demonstrate the power of these notions. Turning to representations, which are actions that…

The goal of this thesis is to prove that $\pi_4(S^3) \simeq \mathbb{Z}/2\mathbb{Z}$ in homotopy type theory. In particular it is a constructive and purely homotopy-theoretic proof. We first recall the basic concepts of homotopy type theory,…

We give a proof of the fact that a simply-connected symplectic homogeneous space $(M,\omega)$ of a connected Lie group $G$ is the universal cover of a coadjoint orbit of a one-dimensional central extension of $G$. We emphasise the r\^ole of…

We consider the actions of (semi)groups on a locally compact group by automorphisms. We show the equivalence of distality and pointwise distality for the actions of a certain class of groups. We also show that a compactly generated locally…

Let $\mathcal{B}$ be a conformal net. We give the notion of a proper action of a finite hypergroup acting by vacuum preserving unital completely positive (so-called stochastic) maps, which generalizes the proper actions of finite groups.…

In this article, we introduce fundamental notions and results about pullback formalisms, building on work of Drew-Gallauer. Our main application is producing a pullback formalism $\mathbf{SH}^{\mathrm{hol}}$ that encodes a version of…

This paper develops a categorical framework to clarify the relationship between the completeness and compactness theorems in classical first-order logic. Rather than claiming that different model constructions yield naturally isomorphic…

Let $(X,\rho,G)$ be a $G-$action topological system, where $G$ is a countable infinite discrete amenable group and $X$ a compact metric space. We prove a variational principle for topological entropy of saturated sets for systems which have…

Let k be an algebraically closed field of characteristic p>0 and let G be a symplectic or general linear group over k. We consider induced modules for G under the assumption that p is bigger than the greatest hook length in the partitions…

It is known that a geodesic Y in an abstract reflection space X in the sense of Loos, without any assumption of differential structure, canonically admits an action of a 1-parameter subgroup of the group of transvections of X. In this…

We provide, among other things: (i) a Bousfield--Kan formula for colimits in $\infty$-categories (generalizing the 1-categorical formula for a colimit as a coequalizer of maps between coproducts); (ii) $\infty$-categorical generalizations…

This article concerns cotangent-lifted Lie group actions; our goal is to find local and ``semi-global'' normal forms for these and associated structures. Our main result is a constructive cotangent bundle slice theorem that extends the…

Higher category theory is an exceedingly active area of research, whose rapid growth has been driven by its penetration into a diverse range of scientific fields. Its influence extends through key mathematical disciplines, notably homotopy…