BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

David Nadler

David Nadler appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.RTmath.AGmath.SGmath.ATmath.QAmath-phmath.CTmath.CVmath.MPmath.NT

Catalog footprint

What is connected

23works
10topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

23 published item(s)

preprint2023arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Betti Spectral Gluing

Given a complex reductive group G, Borel subgroup B, and topological surface S with boundary dS, we study the "Betti spectral category" DCoh_N(Loc_G(S, dS)) of coherent sheaves with nilpotent singular support on the character stack of G-local systems on S with B-reductions along dS. Modifications along the components of dS endow this category with commuting actions of the affine Hecke category H_G in its realization as coherent sheaves on the Steinberg stack. We prove a "spectral Verlinde formula" identifying the result of gluing two boundary components with the Hochschild homology of the corresponding H_G-bimodule structure. The equivalence is compatible with Wilson line operators (the action of Perf(Loc_G(S)) realized by Hecke modifications at points) as well as Verlinde loop operators (the action of the center of H_G realized by Hecke modifications along closed loops). The result reduces the calculation of such "Betti spectral categories" to the case of disks, cylinders, pairs of pants, and the M"obius band.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A stable infinity-category of Lagrangian cobordisms

Given an exact symplectic manifold M and a support Lagrangian Λ, we construct an infinity-category Lag, which we conjecture to be equivalent (after specialization of the coefficients) to the partially wrapped Fukaya category of M relative to Λ. Roughly speaking, the objects of Lag are Lagrangian branes inside of M x T*(R^n), for large n, and the morphisms are Lagrangian cobordisms that are non-characteristic with respect to Λ. The main theorem of this paper is that Lag is a stable infinity-category, so that its homotopy category is triangulated, with mapping cones given by an elementary construction. In particular, its shift functor is equivalent to the familiar shift of grading for Lagrangian branes.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Real and symmetric matrices

We construct a family of involutions on the space $\mathfrak{gl}_n'(\mathbb C)$ of $n\times n$ matrices with real eigenvalues interpolating the complex conjugation and the transpose. We deduce from it a stratified homeomorphism between the space of $n\times n$ real matrices with real eigenvalues and the space of $n\times n$ symmetric matrices with real eigenvalues, which restricts to a real analytic isomorphism between individual $\mathrm{GL}_n(\mathbb R)$-adjoint orbits and $\mathrm{O}_n(\mathbb C)$-adjoint orbits. We also establish similar results in more general settings of Lie algebras of classical types and quiver varieties. To this end, we prove a general result about involutions on hyper-Kähler quotients of linear spaces. We provide applications to the (generalized) Kostant-Sekiguchi correspondence, singularities of real and symmetric adjoint orbit closures, and Springer theory for real groups and symmetric spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Uniformization of semistable bundles on elliptic curves

Let $G$ be a connected reductive complex algebraic group, and $E$ a complex elliptic curve. Let $G_E$ denote the connected component of the trivial bundle in the stack of semistable $G$-bundles on $E$. We introduce a complex analytic uniformization of $G_E$ by adjoint quotients of reductive subgroups of the loop group of $G$. This can be viewed as a nonabelian version of the classical complex analytic uniformization $ E \simeq \mathbb{C}^*/q^{\mathbb{Z}}$. We similarly construct a complex analytic uniformization of $G$ itself via the exponential map, providing a nonabelian version of the standard isomorphism $\mathbb{C}^* \simeq \mathbb{C}/\mathbb{Z}$, and a complex analytic uniformization of $G_E$ generalizing the standard presentation $E = \mathbb{C}/(\mathbb{Z} \oplus \mathbb{Z} τ)$. Finally, we apply these results to the study of sheaves with nilpotent singular support. As an application to Betti geometric Langlands conjecture in genus 1, we define a functor from $Sh_\mathcal{N}(G_E)$ (the semistable part of the automorphic category) to ${IndCoh}_{\check{\mathcal{N}}}({Locsys}_{\check G} (E))$ (the spectral category).

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Betti Geometric Langlands

We introduce and survey a Betti form of the geometric Langlands conjecture, parallel to the de Rham form developed by Beilinson-Drinfeld and Arinkin-Gaitsgory, and the Dolbeault form of Donagi-Pantev, and inspired by the work of Kapustin-Witten in supersymmetric gauge theory. The conjecture proposes an automorphic category associated to a compact Riemann surface X and complex reductive group G is equivalent to a spectral category associated to the underlying topological surface S and Langlands dual group G^. The automorphic category consists of suitable C-sheaves on the moduli stack Bun_G(X) of G-bundles on X, while the spectral category consists of suitable O-modules on the character stack Loc_G^(S) of G^-local systems on S. The conjecture is compatible with and constrained by the natural symmetries of both sides coming from modifications of bundles and local systems. On the one hand, cuspidal Hecke eigensheaves in the de Rham and Betti sense are expected to coincide, so that one can view the Betti conjecture as offering a different "integration measure" on the same fundamental objects. On the other hand, the Betti spectral categories are more explicit than their de Rham counterparts and one might hope the conjecture is less challenging. The Betti program also enjoys symmetries coming from topological field theory: it is expected to extend to an equivalence of four-dimensional topological field theories, and in particular, the conjecture for closed surfaces is expected to reduce to the case of the thrice-punctured sphere. Finally, we also present ramified, quantum and integral variants of the conjecture, and highlight connections to other topics, including representation theory of real reductive groups and quantum groups.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Non-characteristic expansions of Legendrian singularities

This paper presents an algorithm to deform any Legendrian singularity to a nearby Legendrian subvariety with singularities of a simple combinatorial nature. Furthermore, the category of microlocal sheaves on the original Legendrian singularity is equivalent to that on the nearby Legendrian subvariety. This yields a concrete combinatorial model for microlocal sheaves, as well as an elementary method for calculating them.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Wrapped microlocal sheaves on pairs of pants

Inspired by the geometry of wrapped Fukaya categories, we introduce the notion of wrapped microlocal sheaves. We show that traditional microlocal sheaves are equivalent to functionals on wrapped microlocal sheaves, in analogy with the expected relation of infinitesimal to wrapped Fukaya categories. As an application, we calculate wrapped microlocal sheaves on higher-dimensional pairs of pants, confirming expectations from mirror symmetry.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

A combinatorial calculation of the Landau-Ginzburg model $M= \mathbb C^3, W=z_1 z_2 z_3$

The aim of this paper is to apply ideas from the study of Legendrian singularities to a specific example of interest within mirror symmetry. We calculate the Landau-Ginzburg $A$-model with $M= \mathbb C^3, W=z_1 z_2 z_3$ in its guise as microlocal sheaves along the natural singular Lagrangian thimble $L = {\mathit Cone}(T^2)\subset M$. The description we obtain is immediately equivalent to the $B$-model of the pair-of-pants $\mathbb P^1 \setminus \{0, 1, \infty\}$ as predicted by mirror symmetry.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The Character Theory of a Complex Group

We apply the ideas of derived algebraic geometry and topological field theory to the representation theory of reductive groups. Our focus is the Hecke category of Borel-equivariant D-modules on the flag variety of a complex reductive group G (equivalently, the category of Harish Chandra bimodules of trivial central character) and its monodromic variant. The Hecke category is a categorified analogue of the finite Hecke algebra, which is a finite-dimensional semi-simple symmetric Frobenius algebra. We establish parallel properties of the Hecke category, showing it is a two-dualizable Calabi-Yau monoidal category, so that in particular, its monoidal (Drinfeld) center and trace coincide. We calculate that they are identified through the Springer correspondence with Lusztig's unipotent character sheaves. It follows that Hecke module categories, such as categories of Lie algebra representations and Harish Chandra modules for G and its real forms, have characters which are themselves character sheaves. Furthermore, the Koszul duality for Hecke categories provides a Langlands duality for unipotent character sheaves. This can be viewed as part of a dimensionally reduced version of the geometric Langlands correspondence, or as S-duality for a maximally supersymmetric gauge theory in three dimensions.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Fukaya Categories as Categorical Morse Homology

The Fukaya category of a Weinstein manifold is an intricate symplectic invariant of high interest in mirror symmetry and geometric representation theory. This paper informally sketches how, in analogy with Morse homology, the Fukaya category might result from gluing together Fukaya categories of Weinstein cells. This can be formalized by a recollement pattern for Lagrangian branes parallel to that for constructible sheaves. Assuming this structure, we exhibit the Fukaya category as the global sections of a sheaf on the conic topology of the Weinstein manifold. This can be viewed as a symplectic analogue of the well-known algebraic and topological theories of (micro)localization.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Cyclic symmetries of A_n-quiver representations

This short note contains a combinatorial construction of symmetries arising in symplectic geometry (partially wrapped or infinitesimal Fukaya categories), algebraic geometry (derived categories of singularities), and K-theory (Waldhausen's S-construction). Our specific motivation (in the spirit of expectations of Kontsevich, and to be taken up in general elsewhere) is a combinatorial construction of quantizations of Lagrangian skeleta (equivalent to microlocal sheaves in their many guises). We explain here the one dimensional case of ribbon graphs where the main result of this paper gives an immediate solution.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Elliptic Springer Theory

We introduce an elliptic version of the Grothendieck-Springer sheaf and establish elliptic analogues of the basic results of Springer theory. From a geometric perspective, our constructions specialize geometric Eisenstein series to the resolution of degree zero, semistable G-bundles by degree zero B-bundles over an elliptic curve E. From a representation theory perspective, they produce a full embedding of representations of the elliptic or double affine Weyl group into perverse sheaves with nilpotent characteristic variety on the moduli of G-bundles over E. The resulting objects are principal series examples of elliptic character sheaves, objects expected to play the role of character sheaves for loop groups.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Secondary Traces

We study an invariant, the secondary trace, attached to two commuting endomorphisms of a 2-dualizable object in a symmetric monoidal higher category. We establish a secondary trace formula which encodes the natural symmetries of this invariant, identifying different realizations as an iterated trace. The proof consists of elementary Morse-theoretic arguments (with many accompanying pictures included) and may be seen as a concrete realization of the cobordism hypothesis with singularities on a marked 2-torus. From this perspective, our main result identifies the secondary trace with two alternative presentations coming from the standard generators S and T of the mapping class group SL_2(Z). We include two immediate consequences of the established invariance. The first is a modular invariance property for the 2-class function on a group arising as the 2-character of a categorical representation. The second is a generalization (for coherent sheaves or D-modules) of the Atiyah-Bott-Lefschetz formula conjectured by Frenkel-Ngô in the case of a self-map of a smooth and proper stack over a general base.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Morita equivalence for convolution categories: Appendix to arXiv:0805.0157

In this brief postscript to our paper "Integral transforms and Drinfeld centers in derived algebraic geometry", we describe a Morita equivalence for derived, categorified matrix algebras implied by theory developed since its appearance. We work in the setting of perfect stacks X and their stable infinity-categories Q(X) of quasicoherent sheaves. Perfect stacks include all varieties and common stacks in characteristic zero, and their stable infinity-categories of sheaves are well behaved refinements of their quasicoherent derived categories, satisfying natural analogues of common properties of function spaces. To a morphism of perfect stacks pi:X-->Y, we associate the categorified matrix algebra Q(X x_Y X) of sheaves on the derived fiber product equipped with its monoidal convolution product. We show that for pi faithfully flat (as a corollary of the 1-affineness theorem of Gaisgory) or for pi proper and surjective and X,Y smooth (as an application of proper descent, cf. Gaitsgory and Preygel), there is a Morita equivalence between Q(X x_Y X) and Q(Y), that is, an equivalence of their infinity-categories of stable module infinity-categories. In particular, this immediately implies an identification of their Drinfeld centers (as previously established in 0805.0157), and more generally, an identification of their associated topological field theories. Another consequence is that for an affine algebraic group G in characteristic zero and an algebraic subgroup K, passing to K-invariants induces an equivalence from stable infinity-categories with algebraic G-action to modules for the Hecke category Q(K\G/K).

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Loop Spaces and Connections

We examine the geometry of loop spaces in derived algebraic geometry and extend in several directions the well known connection between rotation of loops and the de Rham differential. Our main result, a categorification of the geometric description of cyclic homology, relates S^1-equivariant quasicoherent sheaves on the loop space of a smooth scheme or geometric stack X in characteristic zero with sheaves on X with flat connection, or equivalently D_X-modules. By deducing the Hodge filtration on de Rham modules from the formality of cochains on the circle, we are able to recover D_X-modules precisely rather than a periodic version. More generally, we consider the rotated Hopf fibration Omega S^3 --> Omega S^2 --> S^1, and relate Omega S^2-equivariant sheaves on the loop space with sheaves on X with arbitrary connection, with curvature given by their Omega S^3-equivariance.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Integral Transforms and Drinfeld Centers in Derived Algebraic Geometry

We study the interaction between geometric operations on stacks and algebraic operations on their categories of sheaves. We work in the general setting of derived algebraic geometry: our basic objects are derived stacks X and their oo-categories QC(X) of quasicoherent sheaves. We show that for a broad class of derived stacks, called perfect stacks, algebraic and geometric operations on their categories of sheaves are compatible. We identify the category of sheaves on a fiber product with the tensor product of the categories of sheaves on the factors. We also identify the category of sheaves on a fiber product with functors between the categories of sheaves on the factors (thus realizing functors as integral transforms, generalizing a theorem of Toen for ordinary schemes). As a first application, for a perfect stack X, consider QC(X) with its usual monoidal tensor product. Then our main results imply the equivalence of the Drinfeld center (or Hochschild cohomology category) of QC(X), the trace (or Hochschild homology category) of QC(X) and the category of sheaves on the loop space of X. More generally, we show that the E_n-center and the E_n-trace (or E_n-Hochschild cohomology and homology categories respectively) of QC(X) are equivalent to the category of sheaves on the space of maps from the n-sphere into X. This directly verifies geometric instances of the categorified Deligne and Kontsevich conjectures on the structure of Hochschild cohomology. As a second application, we use our main results to calculate the Drinfeld center of categories of linear endofunctors of categories of sheaves. This provides concrete applications to the structure of Hecke algebras in geometric representation theory. Finally, we explain how all of the above results can be interpreted in the context of topological field theory.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

The Geometric Nature of the Fundamental Lemma

The Fundamental Lemma is a somewhat obscure combinatorial identity introduced by Robert P. Langlands as an ingredient in the theory of automorphic representations. After many years of deep contributions by mathematicians working in representation theory, number theory, algebraic geometry, and algebraic topology, a proof of the Fundamental Lemma was recently completed by Ngo Bao Chau, for which he was awarded a Fields Medal. Our aim here is to touch on some of the beautiful ideas contributing to the Fundamental Lemma and its proof. We highlight the geometric nature of the problem which allows one to attack a question in p-adic analysis with the tools of algebraic geometry.

0 citations0 reviewsNo code linkedOpen access