Related papers: Chern-Weil theory for $\infty$-local systems

Bloch and Okounkov introduced an n-point correlation function on the infinite wedge space and found an elegant closed formula in terms of theta functions. This function has connections to Gromov-Witten theory, Hilbert schemes, symmetric…

We construct a left semi-model structure on the category of intensional type theories (precisely, on $\mathrm{CxlCat_{Id,1,\Sigma(,\Pi_{ext})}}$). This presents an $\infty$-category of such type theories; we show moreover that there is an…

We describe two constructions giving rise to curved $A_{\infty}$-algebras. The first consists of deforming $A_{\infty}$-algebras, while the second involves transferring curved dg structures that are deformations of (ordinary) dg structures…

This paper studies the relationship between the sections and the Chern or Pontrjagin classes of a vector bundle by the theory of connection. Our results are natural generalizations of the Gauss-Bonnet Theorem.

Diagrammatic sets admit a notion of internal equivalence in the sense of coinductive weak invertibility, with similar properties to its analogue in strict $\omega$-categories. We construct a model structure whose fibrant objects are…

We investigate the localization properties of gapped periodic quantum systems, modeled by a periodic or covariant family of projectors, as e.g. the orthogonal projectors on the occupied orbitals at fixed crystal momentum for a gas of…

Let $G$ be a unipotent group over a field of characteristic $p > 0$. The theory of character sheaves on $G$ was initiated by V. Drinfeld and developed jointly with D. Boyarchenko. They also introduced the notion of $\mathbb{L}$-packets of…

The category of internal coalgebras in a cocomplete category $\mathcal{C}$ with respect to a variety $\mathcal{V}$ is equivalent to the category of left adjoint functors from $\mathcal{V}$ into $\mathcal{C}$. This can be seen best when…

We provide a functorial presentation of the $(\infty, 1)$-category of sheaves of $(n, r)$-categories for all $-2 \leq n\leq\infty$ and $0 \leq r\leq n+2$ based on complete Segal space objects. In this definition, the equivalences of sheaves…

We describe the compact objects in the $\infty$-category of $\mathcal C$-valued sheaves $\text{Shv} (X,\mathcal C)$ on a hypercomplete locally compact Hausdorff space $X$, for $\mathcal C$ a compactly generated stable $\infty$-category.…

We generalize Quillen's $F$-isomorphism theorem, Quillen's stratification theorem, the stable transfer, and the finite generation of cohomology rings from finite groups to homotopical groups. As a consequence, we show that the category of…

We develop the theory of locally rigid and rigid symmetric monoidal $\infty$-categories over an arbitrary base $\mathcal{V}\in\mathrm{CAlg}(\mathbf{Pr}^\mathrm{L})$. Among other things, we prove that every locally rigid commutative…

In this paper we show that every object in the dg category of relative singularities Sing$(B,\underline{f})$ associated to a pair $(B,\underline{f})$, where $B$ is a ring and $\underline{f}\in B^n$, is equivalent to a retract of a…

By [6], a minimal group $G$ is called $z$-minimal if $G/Z(G)$ is minimal. In this paper, we present the $z$-Minimality Criterion for dense subgroups with some applications to topological matrix groups. For a locally compact group $G$, let…

Given a skeletally small category $\mathcal{C}$, we show that any locally finite endo-length $\mathcal{C}$-module is the direct sum of indecomposable $\mathcal{C}$-modules, whose endomorphism algebra is local.

Let $\mathbb{H}\trianglelefteq\mathbb{G}$ be a closed normal subgroup of a locally compact quantum group. We introduce a strictly positive group-like element affiliated with $L^{\infty}(\mathbb{G})$ that, roughly, measures the failure of…

Let X be a proper scheme and Z a prestack over X equipped with a flat connection. We give a local-to-global description of D-modules on the prestack S(Z) of flat sections of Z. Examples of S(Z) include the moduli stacks of principal…

Let $\mathbb{k}$ be a characteristic zero domain. For a locally unital $\mathbb{k}$-superalgebra $A$ with distinguished idempotents $I$and even subalgebra $a \subseteq A_{\bar 0}$, we define and study an associated diagrammatic monoidal…

In this paper, we consider the model structure on the category of cellular sets originally conjectured by Cisinski and Joyal to give a model for the homotopy theory of weak (\omega)-categories. We demonstrate first that any…

In this article, we give a theorem of reduction of the structure group of a principal bundle P with regular structure group G. Then, when G is in the classes of Lie groups defined by T.Robart [13], we define the closed holonomy group of a…