Related papers: Chern-Weil theory for $\infty$-local systems
A strong from of invariance under a group G is manifested in a family over the classifying space BG. We advocate a differential-geometric avatar of BG when G is a Lie group. Applied to G-equivariant connections on smooth principal or vector…
Locality is implemented in an arbitrary category using Grothendieck topologies. We explore how different Grothendieck topologies on one category can be related, and, more general, how functors between categories can preserve them. As…
We show that the functor sending a locally compact Hausdorff space $X$ to the $\infty$-category of spectral sheaves $\mathrm{Shv}(X; \mathrm{Sp})$ is initial among all continuous six-functor formalisms on the category of locally compact…
Microlocal sheaf theory of \cite{KS90} makes an essential use of an extension lemma for sheaves due to Kashiwara, and this lemma is based on a criterion of the same author giving conditions in order that a functor defined in $\mathbb{R}$…
We introduce the critical Weinstein infinity-category -- the result of stabilizing the category of Weinstein sectors and inverting subcritical morphisms -- and for every finite collection P of integers, construct a P-flexibilization…
Suppose that a locally finite group $G$ has a $2$-element $g$ with Chernikov centralizer. It is proved that if the involution in $\langle g\rangle$ has nilpotent centralizer, then $G$ has a soluble subgroup of finite index.
Greenlees has conjectured that the rational stable equivariant homotopy category of a compact Lie group always has an algebraic model. Based on this idea, we show that the category of rational local systems on a connected finite loop space…
A natural generalization of locally noetherian and locally coherent categories leads us to define locally type $FP_{\infty}$ categories. They include not just all categories of modules over a ring, but also the category of sheaves over any…
We introduce the notion of a contramodule over a cocommutative coalgebra in a presentably symmetric monoidal $\infty$-category $\mathcal{C}$, and prove a symmetric monoidal $\infty$-categorical version of Positselski's comodule-contramodule…
We prove that Chern-Weil forms are the only natural differential forms associated to a connection on a principal G-bundle. We use the homotopy theory of simplicial sheaves on smooth manifolds to formulate the theorem and set up the proof.…
For an internal category $\mathbb{C}$ in a cartesian category $\mathcal{C}$ we define, naturally in objects $X$ of $\mathcal{C}$, $Prin_{\mathbb{C}}(X)$. This is a category whose objects are principal $c \mathbb{C}$-bundles over $X$ and…
We prove a general local rigidity theorem for pull-backs of homogeneous forms on reductive symmetric spaces under representations of discrete groups. One application of the theorem is that the volume of a closed manifold locally modelled on…
Classically the Chern-classes of a locally free coherent A-module W are defined using the curvature of a connection. If we more generally consider the problem of defining Chern-classes where W is a coherent A-module, a connection might not…
A locally finite, causal and quantal substitute for a locally Minkowskian principal fiber bundle $\cal{P}$ of modules of Cartan differential forms $\omg$ over a bounded region $X$ of a curved $C^{\infty}$-smooth differential manifold…
We do three things in this paper: (1) study the analog of localization sequences (in the sense of algebraic $K$-theory of stable $\infty$-categories) for additive $\infty$-categories, (2) define the notion of nilpotent extensions for…
Let $V$ be a linear representation of a connected complex reductive group $G$. Given a choice of character $\theta$ of $G$, Geometric Invariant Theory defines a locus $V^{ss}_\theta(G) \subseteq V$ of semistable points. We give necessary,…
We prove that the localizations of the categories of dg categories, of cohomologically unital and strictly unital $A_\infty$ categories with respect to the corresponding classes of quasi-equivalences are all equivalent. Moreover we show…
We provide the rigorous foundations for a categorical approach to the classification of C*-dynamics up to cocycle conjugacy. Given a locally compact group $G$, we consider a category of (twisted) $G$-C*-algebras, where morphisms between two…
Let $G$ be a split connected reductive group over a non-archimedean local field. In the $p$-adic setting, Orlik-Strauch constructed functors from the BGG category $\mathcal{O}$ associated to the Lie algebra of $G$ to the category of locally…
We show that the automorphism group of a linking system associated to a saturated fusion system $\mathcal{F}$ depends only on $\mathcal{F}$ as long as the object set of the linking system is $\mathrm{Aut}(\mathcal{F})$-invariant. This was…