Related papers: A Riemann--Hilbert correspondence for infinity loc…
We show that Klemenc's stable envelope of exact $\infty$-categories induces an equivalence between stable $\infty$-categories with a bounded heart structure and weakly idempotent complete exact $\infty$-categories. Moreover, we generalise…
For $K$ a field, consider a finite subgroup $G$ of $\operatorname{GL}_n(K)$ with its natural action on the polynomial ring $R:=K[x_1,\dots,x_n]$. Let $\mathfrak{n}$ denote the homogeneous maximal ideal of the ring of invariants $R^G$. We…
Let $d$ be a positive integer. In a previous article we established a bijective correspondence between the following classes of objects, considered up to the appropriate notion of equivalence: differential graded algebras with…
In this paper we develop the definition of a global orthogonal spectrum and its unitary version. It relates $G-$equivariant spectra by equivariant weak equivalence in a coherent way. This category of global spectra has a model structure…
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…
We continue the analysis of definably compact groups definable in a real closed field $\mathcal{R}$. In [3], we proved that for every definably compact definably connected semialgebraic group $G$ over $\mathcal{R}$ there are a connected…
Let $G$ be a reductive group, and let $X$ be a smooth quasi-projective complex variety. We prove that any $G$-irreducible, $G$-cohomologically rigid local system on $X$ with finite order abelianization and quasi-unipotent local monodromies…
First we survey and explain the strategy of some recent results that construct holomorphic $\text{sl}(2, \mathbb C)$-differential systems over some Riemann surfaces $\Sigma_g$ of genus $g\geq 2$, satisfying the condition that the image of…
Rational discrete cohomology and homology for a totally disconnected locally compact group $G$ is introduced and studied. The $\mathrm{Hom}$-$\otimes$ identities associated to the rational discrete bimodule $\mathrm{Bi}(G)$ allow to…
We consider two categorifications of the cohomology of a topological space X by taking coefficients in the category of differential graded categories. We consider both derived global sections of a constant presheaf and singular cohomology…
Given a smooth scheme over $\Z/p^n\Z$ with a lift of relative Frobenius to $\Z/p^{n+1}\Z$, we construct a functor from the category of Higgs modules to that of modules with integrable connections as the composite of the level raising…
This article is a survey of algebra in the $\infty$-categorical context, as developed by Lurie in "Higher Algebra", and is a chapter in the "Handbook of Homotopy Theory". We begin by introducing symmetric monoidal stable…
Let $\phi: G \rightarrow H$ be a group homomorphism such that $H$ is a totally disconnected locally compact (t.d.l.c.) group and the image of $\phi$ is dense. We show that all such homomorphisms arise as completions of $G$ with respect to…
This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…
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…
Beilinson--Bernstein localisation relates representations of a Lie algebra $\mathfrak{g}$ to certain $\mathcal{D}$-modules on the flag variety of $\mathfrak{g}$. In [arXiv:2002.01540], examples of $\mathfrak{sl}_2$-representations which…
Theorem (after Giraud, SGA 4): Suppose $A$ is a simplicial category. The following conditions are equivalent: (i) There is a cofibrantly generated closed model category $M$ such that $A$ is equivalent to the Dwyer-Kan simplicial…
It is well-known that the existence of more than two ends in the sense of J.R. Stallings for a finitely generated discrete group $G$ can be detected on the cohomology group $\mathrm{H}^1(G,R[G])$, where $R$ is either a finite field, the…
We discuss relations between some category-theoretical notions for a finite tensor category and cointegrals on a quasi-Hopf algebra. Specifically, for a finite-dimensional quasi-Hopf algebra $H$, we give an explicit description of…
Let $M = G/H$ be a connected simply connected homogeneous manifold of a compact, not necessarily connected Lie group $G$. We will assume that the isotropy $H$-module $\mathfrak {g/h}$ has a simple spectrum, i.e. irreducible submodules are…