SearcharxivSearch

arXiv subjects

David Nadler

Publications and source records attributed to David Nadler.

At least 19 recordsLinked to original sources

Weinstein manifolds as cotangent buildings

We introduce the framework of cotangent buildings to complement and refine that of Weinstein handlebodies. While Weinstein handlebodies are suitable for a ``bottom-up" analysis of the Weinstein structure, cotangent buildings also enable a ``top down" analysis. Further, cotangent buildings include a precise control over the interaction of any subcollection of the various building blocks, each of which is modeled on the cotangent bundle of a manifold with corners. Our main result is that any Weinstein manifold is Weinstein homotopic to one admitting the structure of a cotangent building.

math.SG

The global nilpotent cone for universal curves

We construct a conic Lagrangian in the cotangent bundle of the moduli stack of $G$-bundles over the universal curve, restricting to the global nilpotent cone for each curve. It gives rise to a singular support condition suitable for the Betti geometric Langlands correspondence for families of curves and the automorphic gluing functor studied in arXiv: 2105.12318. We also prove a family version of ``local constancy of Hecke operators," generalizing our earlier result.

math.AG

Microsheaf composition of Lagrangian correspondences

In exact symplectic manifolds whose Liouville flow is gradientlike for a proper Morse function, one can associate conic microsheaves to eventually conic exact Lagrangians. Here we study how this 'microsheaf quantization' interacts with composition of Lagrangian correspondences. In particular: these operations commute when the composition is embedded. As an illustration, we show that Lie groups of exact symplectomorphisms act on microsheaf categories. The key technical advance is a version 'in families' of the gappedness criterion for commuting nearby cycles past tensor or Hom.

math.SG

Potent categorical representations

We introduce and motivate -- based on ongoing joint work with Germ\'an Stefanich -- the notion of potent categorical representations of a complex reductive group $G$, specifically a conjectural Langlands correspondence identifying potent categorical representations of $G$ and its Langlands dual $\check G$. We emphasize the symplectic nature of potent categorical representations in their simultaneous dependence on parameters in maximal tori for $G$ and $\check G$, specifically how their conjectural Langlands correspondence fits within a 2-categorical Fourier transform. Our key tool to make various ideas precise is higher sheaf theory and its microlocalization, specifically a theory of ind-coherent sheaves of categories on stacks. The constructions are inspired by the physics of 3d mirror symmetry and S-duality on the one hand, and the theory of double affine Hecke algebras on the other. We also highlight further conjectures related to ongoing programs in and around geometric representation theory.

math.RT

The microlocal Riemann-Hilbert correspondence for complex contact manifolds

Kashiwara showed in 1996 that the categories of microlocalized D-modules can be canonically glued to give a sheaf of categories over a complex contact manifold. Much more recently, and by rather different considerations, we constructed a canonical notion of perverse microsheaves on the same class of spaces. Here we provide a Riemann-Hilbert correspondence.

math.SG

Real groups, symmetric varieties and Langlands duality

Let $G_\mathbb R$ be a connected real reductive group and let $X$ be the corresponding complex symmetric variety under the Cartan bijection. We construct a canonical equivalence between the relative Satake category of $G(\mathcal O)$-equivariant $\mathbb C$-constructible complexes on the loop space of $X$ and the real Satake category of $G_\mathbb R(\mathcal O_\mathbb R)$-equivariant $\mathbb C$-constructible complexes on the real affine Grassmannian. We show that the equivalence is $t$-exact with respect to the natural perverse $t$-structures and is compatible with the fusion products and Hecke actions. We further show that the relative Satake category is equivalent to the category of $\mathbb C$-constructible complexes on the moduli stack of $G_\mathbb R$-bundles on the real projective line $\mathbb P^1(\mathbb R)$ and hence provides a connection between the relative Langlands program and the geometric Langlands program for real groups. We provide numerous applications of the main theorems to real and relative Langlands duality including the formality and commutativity conjectures for the real and relative Satake categories and an identification of the dual groups for $G_\mathbb R$ and $X$.

math.RT

Affine Matsuki correspondence for sheaves

We lift the affine Matsuki correspondence between real and symmetric loop group orbits in affine Grassmannians to an equivalence of derived categories of sheaves. In analogy with the finite-dimensional setting, our arguments depend upon the Morse theory of energy functions obtained from symmetrizations of coadjoint orbits. The additional fusion structures of the affine setting lead to further equivalences with Schubert constructible derived categories of sheaves on real affine Grassmannians.

math.RT

Automorphic gluing functor in Betti Geometric Langlands

We study automorphic categories of nilpotent sheaves under degenerations of smooth curves to nodal Deligne-Mumford curves. Our constructions realize affine Hecke operators as the result of bubbling projective lines from marked points. We use this to construct a "gluing functor" from the automorphic category of a nodal Deligne-Mumford curve to the automorphic category of a smoothing.

math.AG

Between Coherent and Constructible Local Langlands Correspondences

Refined forms of the local Langlands correspondence seek to relate representations of reductive groups over local fields with sheaves on stacks of Langlands parameters. But what kind of sheaves? Conjectures in the spirit of Kazhdan-Lusztig theory (due to Vogan and Soergel) describe representations of a group and its pure inner forms with fixed central character in terms of constructible sheaves. Conjectures in the spirit of geometric Langlands (due to Fargues, Zhu and Hellmann) describe representations with varying central character of a large family of groups associated to isocrystals in terms of coherent sheaves. The latter conjectures also take place on a larger parameter space, in which Frobenius (or complex conjugation) is allowed a unipotent part. In this article we propose a general mechanism that interpolates between these two settings. This mechanism derives from the theory of cyclic homology, as interpreted through circle actions in derived algebraic geometry. We apply this perspective to categorical forms of the local Langlands conjectures for both archimedean and non-archimedean local fields. In the nonarchimedean case, we describe how circle actions relate coherent and constructible realizations of affine Hecke algebras and of all smooth representations of $GL_n$, and propose a mechanism to relate the two settings in general. In the archimedean case, we explain how to use circle actions to derive the constructible local Langlands correspondence (in the form due to Adams-Barbasch-Vogan and Soergel) from a coherent form (a real counterpart to Fargues' conjecture): the tamely ramified geometric Langlands conjecture on the twistor line, which we survey.

math.RT

Real and symmetric quasi-maps

Let $G_\mathbb R$ be a real reductive group and let $X$ be the corresponding complex symmetric variety under the Cartan bijection. We construct a stratified homeomorphism between the based polynomial arc group of $G_\mathbb R$ and the based polynomial arc space of $X$. We also prove a multi-point version where we replace arcs by moduli spaces of quasi-maps from the projective line $\mathbb P^1$ to $G_\mathbb R$ and $X$. The key ingredients in the proof include: (i) a multi-point generalization of the ``Gram-Schmidt" factorization of loop groups, and (ii) a nodal degeneration of moduli spaces of quasi-maps. As an application, we show that for the closures of real spherical orbits in the real affine Grassmannian, their singularities near the base point are locally homeomorphic to complex algebraic varieties.

math.RT

Invariance of microsheaves on stable Higgs bundles

The spectral side of the (conjectural) Betti geometric Langlands correspondence concerns sheaves on the character stack of an algebraic curve; in particular, the categories in question are manifestly invariant under deformations of the curve. By contrast the same invariance is certainly not manifest, and is presently not known, for their automorphic counterparts, in particular because the singularities of the global nilpotent cone may vary significantly with the complex structure of the curve. Here we establish the corresponding invariance statement for the category of microsheaves on the open subset of stable Higgs bundles on nonstacky components where all semistables are stable, e.g. for coprime rank and degree or for a punctured curve with generic parabolic weights. The proof uses the known global symplectic geometry of the Higgs moduli space to invoke recent results on the invariance of microlocal sheaves.

math.RT

Functions on the commuting stack via Langlands duality

We calculate the dg algebra of global functions on commuting stacks of complex reductive groups using tools from Betti Geometric Langlands. In particular, we prove that the ring of invariant functions on the commuting scheme is reduced. Our main technical results include: a semi-orthogonal decomposition of the cocenter of the affine Hecke category; and the calculation of endomorphisms of a Whittaker sheaf in a diagram organizing parabolic induction of character sheaves.

math.RT

Perverse Microsheaves

On a complex contact manifold, or complex symplectic manifold with weight-1 circle action, we construct a sheaf of stable categories carrying a t-structure which is locally equivalent to a microlocalization of the perverse t-structure.

math.SG

Quaternionic Satake equivalence

We establish a derived geometric Satake equivalence for the quaternionic general linear group GL_n(H). By applying the real-symmetric correspondence for affine Grassmannians, we obtain a derived geometric Satake equivalence for the symmetric variety GL_2n/Sp_2n. We explain how these equivalences fit into the general framework of a geometric Langlands correspondence for real groups and the relative Langlands duality conjecture. As an application, we compute the stalks of the IC-complexes for spherical orbit closures in the quaternionic affine Grassmannian and the loop space of GL_2n/Sp_2n. We show the stalks are given by the Kostka-Foulkes polynomials for GL_n but with all degrees doubled.

math.RT

The Whittaker functional is a shifted microstalk

For a smooth projective curve $X$ and reductive group $G$, the Whittaker functional on nilpotent sheaves on $\text{Bun}_G(X)$ is expected to correspond to global sections of coherent sheaves on the spectral side of Betti geometric Langlands. We prove that the Whittaker functional calculates the (shifted) microstalk of nilpotent sheaves at the point in the Hitchin moduli where the Kostant section intersects the global nilpotent cone. In particular, the (shifted) Whittaker functional is exact for the perverse $t$-structure and commutes with Verdier duality. Our proof is topological and depends on the intrinsic local hyperbolic symmetry of $\text{Bun}_G(X)$. It is an application of a general result relating vanishing cycles to the composition of restriction to an attracting locus followed by vanishing cycles.

math.RT

Geomorphology of Lagrangian ridges

We prove an "h-principle without pre-conditions" for the elimination of tangencies of a Lagrangian submanifold with respect to a Lagrangian distribution. The main result states that such tangencies can always be completely removed at the cost of allowing the Lagrangian to develop certain non-smooth points, called Lagrangian ridges, modeled on the corner $\{p=|q|\} \subset \mathbb{R}^2$ together with its products and stabilizations. This result plays an essential role in the arborealization program.

math.SG

Arboreal models and their stability

This is the first in a series of papers by the authors on the arborealization program. The main goal of the paper is the proof of uniqueness of arboreal models, defined as the closure of the class of smooth germs of Lagrangian submanifolds under the operation of taking iterated transverse Liouville cones. The parametric version of the stability result implies that the space of germs of symplectomorphisms that preserve a canonical model is weakly homotopy equivalent to the space of automorphisms of the corresponding signed rooted tree. Hence the local symplectic topology around a canonical model reduces to combinatorics, even parametrically.

math.SG