-
Lagrangian Skeleta and Koszul Duality on Bionic Symplectic Varieties
Authors:
Gwyn Bellamy,
Christopher Dodd,
Kevin McGerty,
Thomas Nevins
Abstract:
We consider the category of modules over sheaves of Deformation-Quantization (DQ) algebras on bionic symplectic varieties. These spaces are equipped with both an elliptic $\mathbb{G}_m$-action and a Hamiltonian $\mathbb{G}_m$-action, with finitely many fixed points. On these spaces one can consider geometric category $\mathcal{O}$: the category of (holonomic) modules supported on the Lagrangian at…
▽ More
We consider the category of modules over sheaves of Deformation-Quantization (DQ) algebras on bionic symplectic varieties. These spaces are equipped with both an elliptic $\mathbb{G}_m$-action and a Hamiltonian $\mathbb{G}_m$-action, with finitely many fixed points. On these spaces one can consider geometric category $\mathcal{O}$: the category of (holonomic) modules supported on the Lagrangian attracting set of the Hamiltonian action. We show that there exists a local generator in geometric category $\mathcal{O}$ whose dg endomorphism ring, cohomologically supported on the Lagrangian attracting set, is derived equivalent to the category of all DQ-modules. This is a version of Koszul duality generalizing the equivalence between D-modules on a smooth variety and dg-modules over the de Rham complex.
△ Less
Submitted 20 January, 2025; v1 submitted 18 July, 2024;
originally announced July 2024.
-
Quantum Hamiltonian Reduction for Polar Representations
Authors:
G. Bellamy,
T. Levasseur,
T. Nevins,
J. T. Stafford
Abstract:
Let $G$ be a reductive complex Lie group with Lie algebra $\mathfrak{g}$ and suppose that $V$ is a polar $G$-representation. We prove the existence of a radial parts map $\mathrm{rad}: \mathcal{D}(V)^G\to A_κ$ from the $G$-invariant differential operators on $V$ to the spherical subalgebra $A_κ$ of a rational Cherednik algebra. Under mild hypotheses $\mathrm{rad}$ is shown to be surjective.
If…
▽ More
Let $G$ be a reductive complex Lie group with Lie algebra $\mathfrak{g}$ and suppose that $V$ is a polar $G$-representation. We prove the existence of a radial parts map $\mathrm{rad}: \mathcal{D}(V)^G\to A_κ$ from the $G$-invariant differential operators on $V$ to the spherical subalgebra $A_κ$ of a rational Cherednik algebra. Under mild hypotheses $\mathrm{rad}$ is shown to be surjective.
If $V$ is a symmetric space, then $\mathrm{rad}$ is always surjective, and we determine exactly when $A_κ$ is a simple ring. When $A_κ$ is simple, we also show that the kernel of $\mathrm{rad}$ is $\left(\mathcal{D}(V)τ(\mathfrak{g}\right)^G$, where $τ:\mathfrak{g}\to \mathcal{D}(V)$ is the differential of the $G$-action.
△ Less
Submitted 30 March, 2024; v1 submitted 23 September, 2021;
originally announced September 2021.
-
Invariant holonomic systems on symmetric spaces and other polar representations
Authors:
G. Bellamy,
T. Nevins,
J. T. Stafford
Abstract:
Let $V$ be a symmetric space over a connected reductive Lie algebra $G$, with Lie algebra $\mathfrak{g}$ and discriminant $δ\in \mathbb{C}[V]$. A fundamental object is the invariant holonomic system $\mathcal{G} =\mathcal{D}(V)\Big/ \Bigl(\mathcal{D}(V)\mathfrak{g}+ \mathcal{D}(V)(\mathrm{Sym}\, V)^G_+ \Bigr) $ over the ring of differential operators $\mathcal{D}(V)$. Jointly with Levasseur we hav…
▽ More
Let $V$ be a symmetric space over a connected reductive Lie algebra $G$, with Lie algebra $\mathfrak{g}$ and discriminant $δ\in \mathbb{C}[V]$. A fundamental object is the invariant holonomic system $\mathcal{G} =\mathcal{D}(V)\Big/ \Bigl(\mathcal{D}(V)\mathfrak{g}+ \mathcal{D}(V)(\mathrm{Sym}\, V)^G_+ \Bigr) $ over the ring of differential operators $\mathcal{D}(V)$. Jointly with Levasseur we have shown that there exists a surjective radial parts map $\mathrm{rad}$ from $ \mathcal{D}(V)^G$ to the spherical subalgebra $A_κ$ of a Cherednik algebra. When $A_κ$ is simple we show that $\mathcal{G}$ has no $δ$-torsion submodule nor factor module and we determine when $\mathcal{G}$ is semisimple, thereby answering questions of Sekiguchi, respectively Levasseur-Stafford. In the diagonal case when $V=\mathfrak{g}$, these results reduce to fundamental theorems of Harish-Chandra and Hotta-Kashiwara. We generalise these results to polar representations $V$ satisfying natural conditions. By twisting the radial parts map, we obtain families of invariant holonomic systems. We introduce shift functors between the different twists. We show that the image of the simple summands of $\mathcal{G} $ under these functors is described by Opdam's KZ-twist.
△ Less
Submitted 30 March, 2024; v1 submitted 23 September, 2021;
originally announced September 2021.
-
Counterexamples to hyperkahler Kirwan surjectivity
Authors:
Kevin McGerty,
Thomas Nevins
Abstract:
Suppose that M is a complete hyperkahler manifold with a compact Lie group K acting via hyperkahler isometries and with hyperkahler moment map $(μ_{\mathbb{C}}, μ_{\mathbb{R}}): M\rightarrow \mathfrak{k}^*\otimes\operatorname{Im}(\mathbb{H})$. It is a long-standing problem to determine when the hyperkahler Kirwan map $H^*_K(M,\mathbb{Q}) \longrightarrow H^*(M//K, \mathbb{Q})$ is surjective. We sho…
▽ More
Suppose that M is a complete hyperkahler manifold with a compact Lie group K acting via hyperkahler isometries and with hyperkahler moment map $(μ_{\mathbb{C}}, μ_{\mathbb{R}}): M\rightarrow \mathfrak{k}^*\otimes\operatorname{Im}(\mathbb{H})$. It is a long-standing problem to determine when the hyperkahler Kirwan map $H^*_K(M,\mathbb{Q}) \longrightarrow H^*(M//K, \mathbb{Q})$ is surjective. We show that for each $n\geq 2$, the natural $U(n)$-action on $M = T^*(SL_n\times\mathbb{C}^n)$ admits a hyperkahler quotient for which the hyperkahler Kirwan map fails to be surjective. As a tool, we establish a ``Kahler $=$ GIT quotient'' assertion for products of cotangent bundles of reductive groups, equipped with the Kronheimer metric, and representations.
△ Less
Submitted 26 April, 2019;
originally announced April 2019.
-
Springer theory for symplectic Galois groups
Authors:
Kevin McGerty,
Thomas Nevins
Abstract:
A classical and beautiful story in geometric representation theory is the construction by Springer of an action of the Weyl group on the cohomology of the fibres of the Springer resolution of the nilpotent cone. We establish a natural extension of Springer's theory to arbitrary symplectic resolutions of conical symplectic singularities. We analyse features of the action in the case of affine quive…
▽ More
A classical and beautiful story in geometric representation theory is the construction by Springer of an action of the Weyl group on the cohomology of the fibres of the Springer resolution of the nilpotent cone. We establish a natural extension of Springer's theory to arbitrary symplectic resolutions of conical symplectic singularities. We analyse features of the action in the case of affine quiver varieties, constructing Weyl group actions on the cohomology of $ADE$ quiver varieties, and also consider "symplectically dual" examples arising from slices in the affine Grassmannian. Along the way, we document some basic features of the symplectic geometry of quiver varieties.
△ Less
Submitted 23 April, 2019;
originally announced April 2019.
-
The pure cohomology of multiplicative quiver varieties
Authors:
Kevin McGerty,
Thomas Nevins
Abstract:
To a quiver $Q$ and choices of nonzero scalars $q_i$, non-negative integers $α_i$, and integers $θ_i$ labeling each vertex $i$, Crawley-Boevey--Shaw associate a "multiplicative quiver variety" $\mathcal{M}_θ^q(α)$, a trigonometric analogue of the Nakajima quiver variety associated to $Q$, $α$, and $θ$. We prove that the pure cohomology, in the Hodge-theoretic sense, of the stable locus…
▽ More
To a quiver $Q$ and choices of nonzero scalars $q_i$, non-negative integers $α_i$, and integers $θ_i$ labeling each vertex $i$, Crawley-Boevey--Shaw associate a "multiplicative quiver variety" $\mathcal{M}_θ^q(α)$, a trigonometric analogue of the Nakajima quiver variety associated to $Q$, $α$, and $θ$. We prove that the pure cohomology, in the Hodge-theoretic sense, of the stable locus $\mathcal{M}_θ^q(α)^s$ is generated as a $\mathbb{Q}$-algebra by the tautological characteristic classes. In particular, the pure cohomology of genus $g$ twisted character varieties of $GL_n$ is generated by tautological classes.
△ Less
Submitted 20 March, 2019;
originally announced March 2019.
-
On the Kirwan map for moduli of Higgs bundles
Authors:
Emily Cliff,
Thomas Nevins,
Shiyu Shen
Abstract:
Let $C$ be a smooth complex projective curve and $G$ a connected complex reductive group. We prove that if the center $Z(G)$ of $G$ is disconnected, then the Kirwan map $H^*\big(\operatorname{Bun}(G,C),\mathbb{Q}\big)\rightarrow H^*\big(\mathcal{M}_{\operatorname{Higgs}}^{\operatorname{ss}},\mathbb{Q}\big)$ from the cohomology of the moduli stack of $G$-bundles to the moduli stack of semistable…
▽ More
Let $C$ be a smooth complex projective curve and $G$ a connected complex reductive group. We prove that if the center $Z(G)$ of $G$ is disconnected, then the Kirwan map $H^*\big(\operatorname{Bun}(G,C),\mathbb{Q}\big)\rightarrow H^*\big(\mathcal{M}_{\operatorname{Higgs}}^{\operatorname{ss}},\mathbb{Q}\big)$ from the cohomology of the moduli stack of $G$-bundles to the moduli stack of semistable $G$-Higgs bundles, fails to be surjective: more precisely, the "variant cohomology" (and variant intersection cohomology) of the stack $\mathcal{M}_{\operatorname{Higgs}}^{\operatorname{ss}}$ of semistable $G$-Higgs bundles, is always nontrivial. We also show that the image of the pullback map $H^*\big(M_{\operatorname{Higgs}}^{\operatorname{ss}},\mathbb{Q}\big)\rightarrow H^*\big(\mathcal{M}_{\operatorname{Higgs}}^{\operatorname{ss}},\mathbb{Q}\big)$, from the cohomology of the moduli space of semistable $G$-Higgs bundles to the stack of semistable $G$-Higgs bundles, cannot be contained in the image of the Kirwan map. The proof uses a Borel-Quillen--style localization result for equivariant cohomology of stacks to reduce to an explicit construction and calculation.
△ Less
Submitted 30 August, 2018;
originally announced August 2018.
-
Kirwan surjectivity for quiver varieties
Authors:
Kevin McGerty,
Thomas Nevins
Abstract:
For algebraic varieties defined by hyperkahler or, more generally, algebraic symplectic reduction, it is a long-standing question whether the "hyperkahler Kirwan map" on cohomology is surjective. We resolve this question in the affirmative for Nakajima quiver varieties. We also establish similar results for other cohomology theories and for the derived category. Our proofs use only classical topol…
▽ More
For algebraic varieties defined by hyperkahler or, more generally, algebraic symplectic reduction, it is a long-standing question whether the "hyperkahler Kirwan map" on cohomology is surjective. We resolve this question in the affirmative for Nakajima quiver varieties. We also establish similar results for other cohomology theories and for the derived category. Our proofs use only classical topological and geometric arguments.
△ Less
Submitted 21 February, 2017; v1 submitted 25 October, 2016;
originally announced October 2016.
-
Morse decomposition for D-module categories on stacks
Authors:
Kevin McGerty,
Thomas Nevins
Abstract:
Let Y be a smooth algebraic stack exhausted by quotient stacks. Given a Kirwan-Ness stratification of the cotangent stack T^*Y, we establish a recollement package for twisted D-modules on Y, gluing the category from subquotients described via modules microsupported on the Kirwan-Ness strata of T^*Y. The package includes unusual existence and "preservation-of-finiteness'' properties for functors of…
▽ More
Let Y be a smooth algebraic stack exhausted by quotient stacks. Given a Kirwan-Ness stratification of the cotangent stack T^*Y, we establish a recollement package for twisted D-modules on Y, gluing the category from subquotients described via modules microsupported on the Kirwan-Ness strata of T^*Y. The package includes unusual existence and "preservation-of-finiteness'' properties for functors of the full category of twisted D-modules, extending the standard functorialities for holonomic modules. In the case that Y = X/G is a quotient stack, our results provide a higher categorical analogue of the Atiyah-Bott--Kirwan--Ness "equivariant perfection of Morse theory'' for the norm-squared of a real moment map. As a consequence, we deduce a modified form of Kirwan surjectivity for the cohomology of hyperkaehler/algebraic symplectic quotients of cotangent bundles.
△ Less
Submitted 28 February, 2014;
originally announced February 2014.
-
Compatibility of t-structures for quantum symplectic resolutions
Authors:
Kevin McGerty,
Thomas Nevins
Abstract:
Let W be a smooth complex quasiprojective variety with the action of a connected reductive group G. Adapting the stratification approach of Teleman to a microlocal context, we prove a vanishing theorem for the functor of G-invariant sections---i.e., of quantum Hamiltonian reduction---for G-equivariant twisted D-modules on W. As a consequence, when W is affine we establish an effective combinatoria…
▽ More
Let W be a smooth complex quasiprojective variety with the action of a connected reductive group G. Adapting the stratification approach of Teleman to a microlocal context, we prove a vanishing theorem for the functor of G-invariant sections---i.e., of quantum Hamiltonian reduction---for G-equivariant twisted D-modules on W. As a consequence, when W is affine we establish an effective combinatorial criterion for exactness of the global sections functors of microlocalization theory. When combined with our earlier derived equivalence results, this gives precise criteria for "microlocalization of representation categories."
△ Less
Submitted 12 March, 2014; v1 submitted 26 December, 2013;
originally announced December 2013.
-
Categorical Cell Decomposition of Quantized Symplectic Algebraic Varieties
Authors:
Gwyn Bellamy,
Christopher Dodd,
Kevin McGerty,
Thomas Nevins
Abstract:
We prove a new symplectic analogue of Kashiwara's Equivalence from D-module theory. As a consequence, we establish a structure theory for module categories over deformation quantizations that mirrors, at a higher categorical level, the Bialynicki-Birula stratification of a variety with an action of the multiplicative group. The resulting categorical cell decomposition provides an algebro-geometric…
▽ More
We prove a new symplectic analogue of Kashiwara's Equivalence from D-module theory. As a consequence, we establish a structure theory for module categories over deformation quantizations that mirrors, at a higher categorical level, the Bialynicki-Birula stratification of a variety with an action of the multiplicative group. The resulting categorical cell decomposition provides an algebro-geometric parallel to the structure of Fukaya categories of Weinstein manifolds. From it, we derive concrete consequences for invariants such as K-theory and Hochschild homology of module categories of interest in geometric representation theory.
△ Less
Submitted 10 July, 2024; v1 submitted 26 November, 2013;
originally announced November 2013.
-
Naive blowups and canonical birationally commutative factors
Authors:
T. A. Nevins,
S. J. Sierra
Abstract:
In 2008, Rogalski and Zhang showed that if R is a strongly noetherian connected graded algebra over an algebraically closed field, then R has a canonical birationally commutative factor. This factor is, up to finite dimension, a twisted homogeneous coordinate ring B(X, L, s); here X is the projective parameter scheme for point modules over R, as well as tails of points in qgr-R. (As usual, s is an…
▽ More
In 2008, Rogalski and Zhang showed that if R is a strongly noetherian connected graded algebra over an algebraically closed field, then R has a canonical birationally commutative factor. This factor is, up to finite dimension, a twisted homogeneous coordinate ring B(X, L, s); here X is the projective parameter scheme for point modules over R, as well as tails of points in qgr-R. (As usual, s is an automorphism of X, and L is an s-ample invertible sheaf on X.)
We extend this result to a large class of noetherian (but not strongly noetherian) algebras. Specifically, let R be a noetherian connected graded k-algebra, where k is an uncountable algebraically closed field. Let Y denote the parameter space (or stack or proscheme) parameterizing R-point modules, and suppose there is a projective variety X that is a coarse moduli space for tails of points. There is a canonical map p: Y -> X. If the indeterminacy locus of p^{-1} is 0-dimensional and X satisfies a mild technical assumption, we show that there is a homomorphism g: R -> B(X, L, s), and that g(R) is, up to finite dimension, a naive blowup on X in the sense of Keeler, Rogalski, and Stafford, and satisfies a universal property. We further show that the point space Y is noetherian.
△ Less
Submitted 14 April, 2014; v1 submitted 4 June, 2012;
originally announced June 2012.
-
Derived equivalence for quantum symplectic resolutions
Authors:
Kevin McGerty,
Thomas Nevins
Abstract:
Using techniques from the homotopy theory of derived categories and noncommutative algebraic geometry, we establish a general theory of derived microlocalization for quantum symplectic resolutions. In particular, our results yield a new proof of derived Beilinson-Bernstein localization and a derived version of the more recent microlocalization theorems of Gordon-Stafford and Kashiwara-Rouquier as…
▽ More
Using techniques from the homotopy theory of derived categories and noncommutative algebraic geometry, we establish a general theory of derived microlocalization for quantum symplectic resolutions. In particular, our results yield a new proof of derived Beilinson-Bernstein localization and a derived version of the more recent microlocalization theorems of Gordon-Stafford and Kashiwara-Rouquier as special cases. We also deduce a new derived microlocalization result linking cyclotomic rational Cherednik algebras with quantized Hilbert schemes of points on minimal resolutions of cyclic quotient singularities.
△ Less
Submitted 27 August, 2013; v1 submitted 31 August, 2011;
originally announced August 2011.
-
Moduli spaces for point modules on naive blowups
Authors:
Thomas A. Nevins,
Susan J. Sierra
Abstract:
The naive blow-up algebras developed by Keeler-Rogalski-Stafford, after examples of Rogalski, are the first known class of connected graded algebras that are noetherian but not strongly noetherian. This failure of the strong noetherian property is intimately related to the failure of the point modules over such algebras to behave well in families: puzzlingly, there is no fine moduli scheme for suc…
▽ More
The naive blow-up algebras developed by Keeler-Rogalski-Stafford, after examples of Rogalski, are the first known class of connected graded algebras that are noetherian but not strongly noetherian. This failure of the strong noetherian property is intimately related to the failure of the point modules over such algebras to behave well in families: puzzlingly, there is no fine moduli scheme for such modules, although point modules correspond bijectively with the points of a projective variety X. We give a geometric structure to this bijection and prove that the variety X is a coarse moduli space for point modules. We also describe the natural moduli stack \tilde{X} for embedded point modules---an analog of a "Hilbert scheme of one point"---as an infinite blow-up of X and establish good properties of \tilde{X}. The natural map \tilde{X} -> X is thus a kind of "Hilbert-Chow morphism of one point" for the naive blow-up algebra.
△ Less
Submitted 6 April, 2012; v1 submitted 10 September, 2010;
originally announced September 2010.
-
W-Symmetry of the Adelic Grassmannian
Authors:
David Ben-Zvi,
Thomas Nevins
Abstract:
We give a geometric construction of the W_{1+infty} vertex algebra as the infinitesimal form of a factorization structure on an adelic Grassmannian. This gives a concise interpretation of the higher symmetries and Backlund-Darboux transformations for the KP hierarchy and its multicomponent extensions in terms of a version of "W_{1+infty}-geometry": the geometry of D-bundles on smooth curves, or…
▽ More
We give a geometric construction of the W_{1+infty} vertex algebra as the infinitesimal form of a factorization structure on an adelic Grassmannian. This gives a concise interpretation of the higher symmetries and Backlund-Darboux transformations for the KP hierarchy and its multicomponent extensions in terms of a version of "W_{1+infty}-geometry": the geometry of D-bundles on smooth curves, or equivalently torsion-free sheaves on cuspidal curves.
△ Less
Submitted 31 July, 2008;
originally announced July 2008.
-
Mirabolic Langlands duality and the quantum Calogero-Moser system
Authors:
Thomas Nevins
Abstract:
We give a generic spectral decomposition of the derived category of twisted D-modules on a moduli stack of mirabolic vector bundles on a curve X in characteristic p: that is, we construct an equivalence with the derived category of quasi-coherent sheaves on a moduli stack of mirabolic local systems on X. This equivalence may be understood as a tamely ramified form of the geometric Langlands equi…
▽ More
We give a generic spectral decomposition of the derived category of twisted D-modules on a moduli stack of mirabolic vector bundles on a curve X in characteristic p: that is, we construct an equivalence with the derived category of quasi-coherent sheaves on a moduli stack of mirabolic local systems on X. This equivalence may be understood as a tamely ramified form of the geometric Langlands equivalence. When X has genus 1, this equivalence generically solves (in the sense of noncommutative geometry) the quantum Calogero-Moser system.
△ Less
Submitted 26 August, 2009; v1 submitted 25 April, 2008;
originally announced April 2008.
-
Perverse Bundles and Calogero-Moser Spaces
Authors:
David Ben-Zvi,
Thomas Nevins
Abstract:
We present a simple description of moduli spaces of torsion-free D-modules (``D-bundles'') on general smooth complex curves X, generalizing the identification of the space of ideals in the Weyl algebra with Calogero-Moser quiver varieties. Namely, we show that the moduli of D-bundles form twisted cotangent bundles to stacks of torsion sheaves on X, answering a question of Ginzburg. The correspon…
▽ More
We present a simple description of moduli spaces of torsion-free D-modules (``D-bundles'') on general smooth complex curves X, generalizing the identification of the space of ideals in the Weyl algebra with Calogero-Moser quiver varieties. Namely, we show that the moduli of D-bundles form twisted cotangent bundles to stacks of torsion sheaves on X, answering a question of Ginzburg. The corresponding (untwisted) cotangent bundles are identified with moduli of ``perverse vector bundles'' on T^*X, which contain as open subsets the moduli of framed torsion-free sheaves (the Hilbert schemes (T^*X)^[n] in the rank one case). The proof is based on the description of the derived category of D-modules on X by a noncommutative version of the Beilinson transform on the projective line.
△ Less
Submitted 1 November, 2007; v1 submitted 2 October, 2006;
originally announced October 2006.
-
Flows of Calogero-Moser Systems
Authors:
David Ben-Zvi,
Thomas Nevins
Abstract:
The Calogero-Moser (or CM) particle system and its generalizations appear, in a variety of ways, in integrable systems, nonlinear PDE, representation theory, and string theory. Moreover, the partially completed CM systems--in which dynamics of particles are continued through collisions--have been identified as meromorphic Hitchin systems, giving natural ``geometric action-angle variables'' for t…
▽ More
The Calogero-Moser (or CM) particle system and its generalizations appear, in a variety of ways, in integrable systems, nonlinear PDE, representation theory, and string theory. Moreover, the partially completed CM systems--in which dynamics of particles are continued through collisions--have been identified as meromorphic Hitchin systems, giving natural ``geometric action-angle variables'' for the CM system. Motivated by relations of the CM system to nonlinear PDE, we introduce a new class of generalizations of the spin CM particle systems, the framed (rational, trigonometric and elliptic) CM systems. We give two algebro-geometric descriptions of these systems, via meromorphic Hitchin systems with decorations (framing data) on (cuspidal, nodal and smooth) cubic curves and via one-dimensional sheaves on corresponding ``twisted'' ruled surfaces. We also present a simple geometric formulation of the flows of all meromorphic GL_n Hitchin systems (with no regularity assumptions) as tweaking flows on spectral sheaves. Using this formulation, we show that all spin and framed CM systems are identified with hierarchies of tweaking flows on the corresponding spectral sheaves. This generalizes the well-known description of spinless CM systems in terms of tangential covers.
△ Less
Submitted 30 March, 2006;
originally announced March 2006.
-
D-Bundles and Integrable Hierarchies
Authors:
David Ben-Zvi,
Thomas Nevins
Abstract:
We study the geometry of D-bundles--locally projective D-modules--on algebraic curves, and apply them to the study of integrable hierarchies, specifically the multicomponent Kadomtsev-Petviashvili (KP) and spin Calogero-Moser (CM) hierarchies. We show that KP hierarchies have a geometric description as flows on moduli spaces of D-bundles; in particular, we prove that the local structure of D-bun…
▽ More
We study the geometry of D-bundles--locally projective D-modules--on algebraic curves, and apply them to the study of integrable hierarchies, specifically the multicomponent Kadomtsev-Petviashvili (KP) and spin Calogero-Moser (CM) hierarchies. We show that KP hierarchies have a geometric description as flows on moduli spaces of D-bundles; in particular, we prove that the local structure of D-bundles is captured by the full Sato Grassmannian. The rational, trigonometric, and elliptic solutions of KP are therefore captured by D-bundles on cubic curves E, that is, irreducible (smooth, nodal, or cuspidal) curves of arithmetic genus 1. We develop a Fourier-Mukai transform describing D-modules on cubic curves E in terms of (complexes of) sheaves on a twisted cotangent bundle over E. We then apply this transform to classify D-bundles on cubic curves, identifying their moduli spaces with phase spaces of general CM particle systems (realized through the geometry of spectral curves in our twisted cotangent bundle). Moreover, it is immediate from the geometric construction that the flows of the KP and CM hierarchies are thereby identified and that the poles of the KP solutions are identified with the positions of the CM particles. This provides a geometric explanation of a much-explored, puzzling phenomenon of the theory of integrable systems: the poles of meromorphic solutions to KP soliton equations move according to CM particle systems.
△ Less
Submitted 31 March, 2006;
originally announced March 2006.
-
A Localization Principle for Orbifold Theories
Authors:
Tommaso de Fernex,
Ernesto Lupercio,
Thomas Nevins,
Bernardo Uribe
Abstract:
In this article, written primarily for physicists and geometers, we survey several manifestations of a general localization principle for orbifold theories such as $K$-theory, index theory, motivic integration and elliptic genera.
In this article, written primarily for physicists and geometers, we survey several manifestations of a general localization principle for orbifold theories such as $K$-theory, index theory, motivic integration and elliptic genera.
△ Less
Submitted 2 November, 2004;
originally announced November 2004.
-
Stringy Chern classes of singular varieties
Authors:
Tommaso de Fernex,
Ernesto Lupercio,
Thomas Nevins,
Bernardo Uribe
Abstract:
Motivic integration and MacPherson's transformation are combined in this paper to construct a theory of "stringy" Chern classes for singular varieties. These classes enjoy strong birational invariance properties, and their definition encodes data coming from resolution of singularities. The singularities allowed in the theory are those typical of the minimal model program; examples are given by…
▽ More
Motivic integration and MacPherson's transformation are combined in this paper to construct a theory of "stringy" Chern classes for singular varieties. These classes enjoy strong birational invariance properties, and their definition encodes data coming from resolution of singularities. The singularities allowed in the theory are those typical of the minimal model program; examples are given by quotients of manifolds by finite groups. For the latter an explicit formula is proven, assuming that the canonical line bundle of the manifold descends to the quotient. This gives an expression of the stringy Chern class of the quotient in terms of Chern-Schwartz-MacPherson classes of the fixed-point set data.
△ Less
Submitted 9 March, 2006; v1 submitted 18 July, 2004;
originally announced July 2004.
-
From solitons to many-body systems
Authors:
David Ben-Zvi,
Thomas Nevins
Abstract:
We present a bridge between the KP soliton equations and the Calogero-Moser many-body systems through noncommutative algebraic geometry. The Calogero-Moser systems have a natural geometric interpretation as flows on spaces of spectral curves on a ruled surface. We explain how the meromorphic solutions of the KP hierarchy have an interpretation via a noncommutative ruled surface. Namely, we ident…
▽ More
We present a bridge between the KP soliton equations and the Calogero-Moser many-body systems through noncommutative algebraic geometry. The Calogero-Moser systems have a natural geometric interpretation as flows on spaces of spectral curves on a ruled surface. We explain how the meromorphic solutions of the KP hierarchy have an interpretation via a noncommutative ruled surface. Namely, we identify KP Lax operators with vector bundles on quantized cotangent spaces (formulated technically in terms of D-modules). A geometric duality (a variant of the Fourier-Mukai transform) then identifies the parameter space for such vector bundles with that for the spectral curves and sends the KP flows to the Calogero-Moser flows. It follows that the motion and collisions of the poles of the rational, trigonometric, and elliptic solutions of the KP hierarchy, as well as of its multicomponent analogs, are governed by the (spin) Calogero-Moser systems on cuspidal, nodal, and smooth genus one curves. This provides a geometric explanation and generalizations of results of Airault-McKean-Moser, Krichever, and Wilson.
△ Less
Submitted 31 October, 2003;
originally announced October 2003.
-
Sklyanin algebras and Hilbert schemes of points
Authors:
T. A. Nevins,
J. T. Stafford
Abstract:
We construct projective moduli spaces for torsion-free sheaves on noncommutative projective planes. These moduli spaces vary smoothly in the parameters describing the noncommutative plane and have good properties analogous to those of moduli spaces of sheaves over the usual (commutative) projective plane P^2.
The generic noncommutative plane corresponds to the Sklyanin algebra S constructed fr…
▽ More
We construct projective moduli spaces for torsion-free sheaves on noncommutative projective planes. These moduli spaces vary smoothly in the parameters describing the noncommutative plane and have good properties analogous to those of moduli spaces of sheaves over the usual (commutative) projective plane P^2.
The generic noncommutative plane corresponds to the Sklyanin algebra S constructed from an automorphism sigma of infinite order on an elliptic curve E < P^2. In this case, the fine moduli space of line bundles over S with first Chern class zero and Euler characteristic (1-n) provides a symplectic variety that is a deformation of the Hilbert scheme of n points on P^2 - E.
△ Less
Submitted 30 January, 2004; v1 submitted 3 October, 2003;
originally announced October 2003.
-
Cusps and $\D$-Modules
Authors:
David Ben-Zvi,
Thomas Nevins
Abstract:
We study interactions between the categories of $\D$-modules on smooth and singular varieties. For a large class of singular varieties $Y$, we use an extension of the Grothendieck--Sato formula to show that $\D_Y$-modules are equivalent to stratifications on $Y$, and as a consequence are unaffected by a class of homeomorphisms, the {\em cuspidal quotients}. In particular, when $Y$ has a smooth b…
▽ More
We study interactions between the categories of $\D$-modules on smooth and singular varieties. For a large class of singular varieties $Y$, we use an extension of the Grothendieck--Sato formula to show that $\D_Y$-modules are equivalent to stratifications on $Y$, and as a consequence are unaffected by a class of homeomorphisms, the {\em cuspidal quotients}. In particular, when $Y$ has a smooth bijective normalization $X$, we obtain a Morita equivalence of $\D_Y$ and $\D_X$ and a Kashiwara theorem for $\D_Y$, thereby solving conjectures of Hart-Smith and Berest-Etingof-Ginzburg (generalizing results for complex curves and surfaces and rational Cherednik algebras). We also use this equivalence to enlarge the category of induced $\D$-modules on a smooth variety $X$ by collecting induced $\D_X$-modules on varying cuspidal quotients. The resulting {\em cusp-induced} $\D_X$-modules possess both the good properties of induced $\D$-modules (in particular, a Riemann-Hilbert description) and, when $X$ is a curve, a simple characterization as the generically torsion-free $\D_X$-modules.
△ Less
Submitted 9 October, 2003; v1 submitted 5 December, 2002;
originally announced December 2002.
-
Descent of coherent sheaves and complexes to geometric invariant theory quotients
Authors:
Thomas Nevins
Abstract:
Fix a scheme $X$ over a field of characteristic zero that is equipped with an action of a reductive algebraic group $G$.
We give necessary and sufficient conditions for a $G$-equivariant coherent sheaf on $X$ or a bounded-above complex of $G$-equivariant coherent sheaves on $X$ to descend to a good quotient $X//G$. This gives a description of the coherent derived category of $X//G$ as an admis…
▽ More
Fix a scheme $X$ over a field of characteristic zero that is equipped with an action of a reductive algebraic group $G$.
We give necessary and sufficient conditions for a $G$-equivariant coherent sheaf on $X$ or a bounded-above complex of $G$-equivariant coherent sheaves on $X$ to descend to a good quotient $X//G$. This gives a description of the coherent derived category of $X//G$ as an admissible subcategory of the equivariant derived category of $X$.
△ Less
Submitted 19 April, 2008; v1 submitted 27 June, 2002;
originally announced June 2002.
-
Moduli spaces of framed sheaves on certain ruled surfaces over elliptic curves
Authors:
Thomas A. Nevins
Abstract:
Fix a ruled surface S obtained as the projective completion of a line bundle L on a complex elliptic curve; we study the moduli problem of parametrizing certain pairs consisting of a sheaf E on S and a map of E to a fixed reference sheaf on S. We prove that the full moduli stack for this problem is representable by a scheme in some cases. Moreover, the moduli stack admits an action by the group…
▽ More
Fix a ruled surface S obtained as the projective completion of a line bundle L on a complex elliptic curve; we study the moduli problem of parametrizing certain pairs consisting of a sheaf E on S and a map of E to a fixed reference sheaf on S. We prove that the full moduli stack for this problem is representable by a scheme in some cases. Moreover, the moduli stack admits an action by the group ${\mathbf C}^*$, and we determine its fixed-point set, which leads in some special cases to explicit formulas for the rational homology of the moduli space.
△ Less
Submitted 25 August, 2000;
originally announced August 2000.
-
Representability for some moduli stacks of framed sheaves
Authors:
Thomas A. Nevins
Abstract:
We prove a representability theorem for moduli functors of framed torsion-free sheaves on nonsingular complex projective surfaces, using formal geometry along a curve in the surface. This has as a consequence that a certain restriction morphism for moduli stacks of sheaves has fibers that are schemes.
We prove a representability theorem for moduli functors of framed torsion-free sheaves on nonsingular complex projective surfaces, using formal geometry along a curve in the surface. This has as a consequence that a certain restriction morphism for moduli stacks of sheaves has fibers that are schemes.
△ Less
Submitted 10 May, 2002; v1 submitted 24 August, 2000;
originally announced August 2000.
