相关论文: Loop Spaces and Langlands Parameters

In the present paper, we introduce two-dimensional categorified Hall algebras of smooth curves and smooth surfaces. A categorified Hall algebra is an associative monoidal structure on the stable $\infty$-category…

Given a smooth morphism of schemes $X\rightarrow T$, denote by $\mathcal D_{X/T}^{\mathsf{cr}}$ the sheaf of rings of fiberwise crystalline differential operators on $X$ relative to $T$ and by $\Omega^\bullet_{X/T}$ the de Rham sheaf of…

Following Laumon [10], to a nonramified $\ell$-adic local system $E$ of rank $n$ on a curve $X$ one associates a complex of $\ell$-adic sheaves $_n{\cal K}_E$ on the moduli stack of rank $n$ vector bundles on $X$ with a section, which is…

Following our approach to metric Lie algebras developed in math.DG/0312243 we propose a way of understanding pseudo-Riemannian symmetric spaces which are not semi-simple. We introduce cohomology sets (called quadratic cohomology) associated…

We compute the homology of the space of equivariant loops on the classifying space of a simplicial monoid $M$ with anti-involution, provided $\pi_0 (M)$ is central in the homology ring of $M$. The proof is similar to McDuff and Segal's…

Let $X$ be a variety with an action by an algebraic group $G$. In this paper we discuss various properties of $G$-equivariant $D$-modules on $X$, such as the decompositions of their global sections as representations of $G$ (when $G$ is…

We begin the systematic study of cohomological Hecke operators of modifications of coherent sheaves on a smooth surface $X$, along a fixed proper curve $Z \subset X$. We develop the necessary geometric foundations in order to define the…

Given a quasi-compact, quasi-separated scheme X, a bijection between the tensor localizing subcategories of finite type in Qcoh(X) and the set of all subsets $Y\subseteq X$ of the form $Y=\bigcup_{i\in\Omega}Y_i$, with $X\setminus Y_i$…

In this paper, we study equivariant real cycle class maps for group actions on real schemes, with a view toward Witt-sheaf characteristic classes. The cycle class maps take values in singular cohomology of the real points of the quotient…

We survey the mathematical foundations of geometric deep learning, focusing on group equivariant and gauge equivariant neural networks. We develop gauge equivariant convolutional neural networks on arbitrary manifolds $\mathcal{M}$ using…

In geometric representation theory, one often wishes to describe representations realized on spaces of invariant functions as trace functions of equivariant perverse sheaves. In the case of principal series representations of a connected…

In this paper, we investigate the properties of $A$-coherent and $A$-quasi-coherent sheaves within the framework of algebraic geometry over non-algebraically closed fields. We define an $\mathcal{O}_X$-module to be $A$-coherent (resp.…

Let X be a pointed connected simplicial set with loop group G. The linearisation map in K-theory as defined by Waldhausen uses G-equivariant spaces. This paper gives an alternative description using presheaves of sets and abelian groups on…

We assume given a smooth symplectic (in the algebraic sense) resolution $X$ of an affine algebraic variety $Y$, and we prove that, possibly after replacing $Y$ with an etale neighborhood of a point, the derived category of coherent sheaves…

The ADHM construction establishes a one-to-one correspondence between framed torsion free sheaves on the projective plane and stable framed representations of a quiver with relations in the category of complex vector spaces. This paper…

In this paper we establish an equivalence between the category of graded D-branes of type B in Landau-Ginzburg models with homogeneous superpotential W and the triangulated category of singularities of the fiber of W over zero. The main…

Using the Witten deformation and localization algebra techniques, we compute the $G$-equivariant $K$-homology class of the de Rham operator on a proper cocompact $G$-spin manifold, where $G$ is an almost connected Lie group. By applying a…

Let X be a smooth toric variety. David Cox introduced the homogeneous coordinate ring S of X and its irrelevant ideal B. Extending well-known results on projective space, Cox established the following: (1) the category of quasi-coherent…

We give a categorical formulation of the $p$-adic local Langlands correspondence for $\mathrm{GL}_2(\mathbb{Q}_p)$,as an embedding of the derived category of locally admissible representations into the category of Ind-coherent sheaves on…

Sheaf cohomology or, more generally, higher direct images of coherent sheaves along proper morphisms are central to modern algebraic geometry. However, the computation of these objects is a non-trivial and expensive task which easily…