Related papers: Chern-Weil theory for $\infty$-local systems
Motivated by the Chern-Weil theory, we prove that for a given vector bundle $E$ on a smooth scheme $X$ over a field $k$ of any characteristic, the Chern classes of $E$ in the Hodge cohomology can be recovered from the Atiyah class. Although…
Generalizing deformation quantizations with separation of variables of a K\"ahler manifold $M$, we adopt Fedosov's gluing argument to construct a category $\mathsf{DQ}$, enriched over sheaves of $\mathbb{C}[[\hbar]]$-modules on $M$, as a…
We construct a covariant functor from a category of Abelian principal bundles over globally hyperbolic spacetimes to a category of *-algebras that describes quantized principal connections. We work within an appropriate differential…
We give a definition of differentiable cohomology of a Lie group G (possibly infinite-dimensional) with coefficients in any abelian Lie group. This differentiable cohomology maps both to the cohomology of the group made discrete and to Lie…
We define several versions of a class of varieties $X_{\mathfrak{g}}$ attached to a complex reductive Lie algebra $\mathfrak{g}$, generalizing the Hilbert scheme of points on the plane. These include trigonometric and elliptic versions…
We develop various aspects of the theory of recollements of $\infty$-categories, including a symmetric monoidal refinement of the theory. Our main result establishes a formula for the gluing functor of a recollement on the right-lax limit…
Let $k$ be a field, $X$ a connected scheme proper over $k$, $D\subsetneq X$ an ample effective connected divisor, $x\in D(k)$. For Tannakian categories $\mathcal{C}_X$ and $\mathcal{C}_D$ whose objects consist of vector bundles on $X$ and…
We prove that the category $\textbf{G-Cat}$ of small categories with $G$-action forms a model of unstable $G$-global homotopy theory for every discrete group $G$, generalizing Schwede's global model structure on $\textbf{Cat}$. As a…
For a unimodular totally disconnected locally compact group $G$ we introduce and study an analogue of the Hattori-Stallings rank $\tilde{\rho}(P)\in\mathbf{h}_G$ for a finitely generated projective rational discrete left $\mathbb…
For a reductive group $G$, we introduce a notion of singular support for cocomplete dualizable DG-categories equipped with a strong $G$-action. This is done by considering the singular support of the sheaves of matrix coefficients arising…
It has been proven by Schupp and Bergman that the inner automorphisms of groups can be characterized purely categorically as those group automorphisms that can be coherently extended along any outgoing homomorphism. One is thus motivated to…
We show that the Ginsparg-Wilson (GW) relation can play an important role to define chiral structures in {\it finite} noncommutative geometries. Employing GW relation, we can prove the index theorem and construct topological invariants even…
We develop a homotopy theory of directed graphs based on cubical homotopy groups, also referred to as A-groups or reduced GLMY homotopy groups. Localizing the category of directed graphs at morphisms that induce isomorphisms on these groups…
We prove a relative Lefschetz-Verdier theorem for locally acyclic objects over a Noetherian base scheme. This is done by studying duals and traces in the symmetric monoidal $2$-category of cohomological correspondences. We show that local…
We construct a Goodwillie tower of categories which interpolates between the category of pointed spaces and the category of spectra. This tower of categories refines the Goodwillie tower of the identity functor in a precise sense. More…
In a previous paper, the authors showed that the category of E(n)_*E(n)-comodules is a localization of the category of BP_*BP-comodules. In this paper, we study the resulting localization functor L_n on the category of BP_*BP-comodules. It…
We prove Suslin's local-global principle for principal congruence subgroups of Chevalley groups. Let $G$ be a Chevalley--Demazure group scheme with a root system $\Phi\ne A_1$ and $E$ its elementary subgroup. Let $R$ be a ring and $I$ an…
We use the terms "$\infty$-categories" and "$\infty$-functors" to mean the objects and morphisms in an "$\infty$-cosmos." Quasi-categories, Segal categories, complete Segal spaces, naturally marked simplicial sets, iterated complete Segal…
Consider the variational bicomplex for $\mathcal{E}$ the space of sections of a graded, affine bundle. Local functionals $\mathcal{F}$ are defined as an equivalence class of density-valued functionals, which represent Lagrangian densities.…
We define a functor from the category of Lie conformal algebras to the category of differential Lie coalgebras, which associates to any Lie conformal algebra $L$ a differential Lie coalgebra $L^{\,0}$, defined as the maximal good…