English
Related papers

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

200 papers

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…

Differential Geometry · Mathematics 2016-06-06 Daniel S. Freed

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…

Category Theory · Mathematics 2024-08-12 Konrad Waldorf

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…

K-Theory and Homology · Mathematics 2025-08-14 Qingchong Zhu

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}$…

Algebraic Geometry · Mathematics 2016-11-22 Marco Robalo , Pierre Schapira

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…

Symplectic Geometry · Mathematics 2025-12-05 Oleg Lazarev , Zachary Sylvan , Hiro Lee Tanaka

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.

Group Theory · Mathematics 2014-10-08 E. I. Khukhro , N. Yu. Makarenko , P. Shumyatsky

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…

Algebraic Topology · Mathematics 2023-06-22 Drew Heard

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…

Category Theory · Mathematics 2015-02-20 James Gillespie

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…

Algebraic Topology · Mathematics 2025-11-11 Torgeir Aambø

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.…

Differential Geometry · Mathematics 2013-03-18 Daniel S. Freed , Michael J. Hopkins

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…

Category Theory · Mathematics 2024-06-04 Christopher Francis Townsend

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…

Geometric Topology · Mathematics 2023-09-19 Nicolas Tholozan

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…

Algebraic Geometry · Mathematics 2020-11-13 Helge Øystein Maakestad

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…

General Relativity and Quantum Cosmology · Physics 2007-05-23 A. Mallios , I. Raptis

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…

K-Theory and Homology · Mathematics 2021-06-16 Elden Elmanto , Vladimir Sosnilo

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,…

Representation Theory · Mathematics 2025-10-07 Riku Kurama , Ruoxi Li , Henry Talbott , Rachel Webb

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…

Algebraic Geometry · Mathematics 2020-03-16 Alberto Canonaco , Mattia Ornaghi , Paolo Stellari

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…

Operator Algebras · Mathematics 2022-02-22 Gabor Szabo

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…

Representation Theory · Mathematics 2024-07-10 Georg Linden

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…

Group Theory · Mathematics 2023-06-22 Ellen Henke