REMEMBERING JEAN-LOUIS LODAY in All Fairness, I Am Not Too
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Generalized Springer Theory for D-Modules on a Reductive Lie Algebra 3
GENERALIZED SPRINGER THEORY FOR D-MODULES ON A REDUCTIVE LIE ALGEBRA SAM GUNNINGHAM Abstract. Given a reductive group G, we give a description of the abelian category of G- equivariant D-modules on g “ LiepGq, which specializes to Lusztig’s generalized Springer corre- spondence upon restriction to the nilpotent cone. More precisely, the category has an orthogonal decomposition in to blocks indexed by cuspidal data pL, Eq, consisting of a Levi subgroup L, and a cuspidal local system E on a nilpotent L-orbit. Each block is equivalent to the category of D-modules on the center zplq of l which are equivariant for the action of the relative Weyl group NGpLq{L. The proof involves developing a theory of parabolic induction and restriction functors, and studying the corresponding monads acting on categories of cuspidal objects. It is hoped that the same techniques will be fruitful in understanding similar questions in the group, elliptic, mirabolic, quantum, and modular settings. Main results. In his seminal paper [Lus84], Lusztig proved the Generalized Springer Correspon- dence, which gives a description of the category of G-equivariant perverse sheaves on the nilpotent cone NG Ď g “ LiepGq, for a reductive group G: K PervGpNGq» ReppWG,Lq. pàL,Eq The sum is indexed by cuspidal data: pairs pL, Eq of a Levi subgroup L of G and simple cuspidal local system on a nilpotent orbit for L, up to simultaneous conjugacy. For each such Levi L, WG,L “ NGpLq{L denotes the corresponding relative Weyl group. The main result of this paper is that Lusztig’s result extends to a description of the abelian category MpgqG of all G-equivariant D-modules on g: Theorem A. -
LETTERS to the EDITOR Responses to ”A Word From… Abigail Thompson”
LETTERS TO THE EDITOR Responses to ”A Word from… Abigail Thompson” Thank you to all those who have written letters to the editor about “A Word from… Abigail Thompson” in the Decem- ber 2019 Notices. I appreciate your sharing your thoughts on this important topic with the community. This section contains letters received through December 31, 2019, posted in the order in which they were received. We are no longer updating this page with letters in response to “A Word from… Abigail Thompson.” —Erica Flapan, Editor in Chief Re: Letter by Abigail Thompson Sincerely, Dear Editor, Blake Winter I am writing regarding the article in Vol. 66, No. 11, of Assistant Professor of Mathematics, Medaille College the Notices of the AMS, written by Abigail Thompson. As a mathematics professor, I am very concerned about en- (Received November 20, 2019) suring that the intellectual community of mathematicians Letter to the Editor is focused on rigor and rational thought. I believe that discrimination is antithetical to this ideal: to paraphrase I am writing in support of Abigail Thompson’s opinion the Greek geometer, there is no royal road to mathematics, piece (AMS Notices, 66(2019), 1778–1779). We should all because before matters of pure reason, we are all on an be grateful to her for such a thoughtful argument against equal footing. In my own pursuit of this goal, I work to mandatory “Diversity Statements” for job applicants. As mentor mathematics students from diverse and disadvan- she so eloquently stated, “The idea of using a political test taged backgrounds, including volunteering to help tutor as a screen for job applicants should send a shiver down students at other institutions. -
CURRICULUM VITAE Roman Bezrukavnikov
CURRICULUM VITAE Roman Bezrukavnikov Born: April 1, 1973, Moscow, Russia. Employment. September, 2005 { present: Professor of Mathematics, Massachusetts In- stitute of Technology. Spring 2018, on leave to MSRI as a Research Professor. Fall 2014 and spring 2016 on leave to Columbia University, spring 2016 as Eilenberg Visiting Professor. 2010/11 { on leave to Hebrew University of Jerusalem: Fall 2010 partici- pating in a special program at the Institute for Advanced Study of Hebrew University, Spring 2011 as a visiting professor at the Department of Math- ematics. 07-08: on leave to Princeton Institute for Advanced Study serving as an organizer of the Special Year "New Connections of Representation Theory to Algebraic Geometry and Physics". September, 02 { August, 05: tenure track Assistant Professor at Northwestern University (academic year 04/05: on leave to the Hebrew University of Jerusalem). 01-02: Long Term Prize Fellow at the Clay Mathematical Institute. 99-01: Dickson Instructor in Mathematics at the University of Chicago. 96-99: member at the Institute for Advanced Study, Princeton, NJ. Grants, fellowships and awards. Simons Foundation Fellowships awarded in 2014, 2020. NSF research grants, awarded in: 2000, 2005, 2011, 2016. Sloan Research Fellowship awarded February 2004. Clay Mathematical Institute Fellowship, January { June, 2000. Team member in group grants: NSF Focused Research Group grant, awarded July 2009; Binational US { Israeli Science Foundation grants awarded 2009, 2013, 2017. Education. 94-98: graduate student at the University of Tel-Aviv (96-98 on leave to the Institute for Advanced Study, Princeton, NJ), advisor Prof. Joseph Bernstein. PhD thesis "Homological properties of representations of p-adic groups related to geometry of the group at infinity" defended in 1998. -
Twisted Quasimaps and Symplectic Duality for Hypertoric Spaces Arxiv
Twisted Quasimaps and Symplectic Duality for Hypertoric Spaces Michael McBreen[1,2], Artan Sheshmani[1,2,3], Shing-Tung Yau[1,4] May 5, 2020 To the memory of Thomas Andrew Nevins (June 14, 1971–February 01, 2020) Abstract We study moduli spaces of twisted quasimaps to a hypertoric variety X, arising as the Higgs branch of an abelian supersymmetric gauge theory in three dimensions. These parametrise general quiver representations whose building blocks are maps between rank one sheaves on P1, subject to a stability condition, associated to the quiver, involving both the sheaves and the maps. We show that the singular coho- mology of these moduli spaces is naturally identified with the Ext group of a pair of holonomic modules over the ‘quantized loop space’ of X, which we view as a Higgs branch for a related theory with infinitely many matter fields. We construct the coulomb branch of this theory, and find that it is a periodic analogue of the coulomb branch associated to X. Using the formalism of symplectic duality, we de- rive an expression for the generating function of twisted quasimap invariants in terms of the character of a certain tilting module on the periodic coulomb branch. We give a closed formula for this generating function when X arises as the abelianisation of the N-step flag quiver. MSC codes: 14N35, 14M25, 14J33, 53D30, 53D55 Keywords: Higgs branch, Coulomb branch, Symplectic resolutions, Symplectic du- arXiv:2004.04508v3 [math.AG] 1 May 2020 ality, Koszul duality, N-step flag quivers, Quantization, Refined quasimap invariants Contents 1 Introduction2 1.1 Acknowledgements . -
My Project Description
Project Description Representation theory of symplectic singularities B W Northeastern University Research program. My research centers around the representation theory of deformation quantizations. While this might sound like an unfamiliar subject, in fact, it generalizes the study of universal enveloping algebras, which can be viewed as deformation quantizations of g∗. As with the representation theory of Lie algebras, these algebras have complex connections to topology, geometry and combinatorics. My main concentration at the moment is generalizing the rich theory surrounding category and Harish-Chandra bimodules. While these questions are interesting for their own sake,O applications of this work include the definition of knot homology categorifying quantum knot invariants for all Lie groups and a new perspective on the canonical basis theory of Lusztig and others. My plans for future research include: Investigating these categories for quiver varieties and slices between Schubert • varieties in the affine Grassmannian. These are conjecturally equivalent to alge- braically defined categories V from [Weba], which categorify tensor products of representations of simple Lie algebras. Some progress toward this conjecture was made in that paper, but much is left to be resolved. In particular, even if there one can prove an equivalence to the algebraic category, there are a number of functors between these categories which are important for the construction of knot invariants (the action of Lie algebra elements, the R-matrix for quantum groups, quantum trace, etc.). I also aim to find a geometric description of these. These categories include as a special case, for quiver varieties of extended Dynkin diagrams, category or the category of finite dimensional representations for a symplectic reflectionO algebra, so it may be that some of the beautiful results which have appeared in that context are more generally applicable. -
Research Statement Sam Gunningham
Research Statement Sam Gunningham My research is centered around the field of Geometric Representation Theory. Much of my work involves the study of algebraic systems of differential equations (D-modules) in the presence of symmetry, drawing on concepts and tools from category theory, homotopy theory, derived algebraic geometry, and mathematical physics. The first section of this statement gives an informal overview of my research, with a more detailed account following in the subsequent sections. 1 Overview: Categorical Harmonic Analysis Briefly, the goal of harmonic analysis is to express functions as superpositions of “basic waves”. In categorical harmonic analysis, the functions are replaced by differential equa- tions (or alternatively their sheaves of solutions). This is motivated by the observation that the “basic waves” are typically solutions of “basic eigenproblems” (for example, the exponential function upxq “ eiξx is an eigenfunction for the polynomial differential opera- tor B{Bx). The main object of study is typically the category DpXq of D-modules (algebraic incarnations of differential equations) on a space X. The theory of reductive groups has long been a fertile setting for harmonic analysis (after pioneering work of Harish-Chandra, Langlands, and others) and much of my own work is set in this world. For example, many of my projects are centered around the category DpGqG of class D-modules on a reductive group G (D-module analogues of class functions). This rich category is the home of Harish-Chandra’s system of differential equations (recast is the language of D-modules by Hotta and Kashiwara), a setting for Springer Theory, and for Lusztig’s character sheaves (in their D-module interpretation due to Ginzburg). -
Operads and Algebraic Combinatorics of Trees
S´eminaire Lotharingien de Combinatoire 58 (2008), Article B58c OPERADS AND ALGEBRAIC COMBINATORICS OF TREES F. CHAPOTON Abstract. This text is an introduction to operads from a combinatorial point of view. We give the definition, several examples of operads and the construction of a group from each operad. 1. Introduction Combinatorics is concerned with finite objects, and considers problems such as enumerating some finite sets or finding bijections between different sets. Algebraic combinatorics could be defined as the reciprocal application of methods and ideas of algebra to combinatorics or the other way round. Since the pioneering work of Rota “on the foundations of combinatorial theory”, these subjects have become an active and central piece of mathematics. Up to now, most of the algebraic structures used in algebraic combinatorics have been well-established and classical notions of algebra. One of the main streams is the use of associative algebras and their representation theory, where combina- torial objects appear typically as labelling sets for some basis, or in a description of some modules. For instance, partitions, as considered in number theory, play an important role in representation theory of symmetric groups, general linear groups and many related algebras. Similarly, there has been recently a lot of activity on relations between Hopf algebras and combinatorial objects. One salient point of these works is the ap- pearance of new kinds of combinatorial entities, such as different kinds of trees, in an algebraic context. The present text would like to advocate for the potential use in combinatorics of a more recent algebraic notion, which is called an operad. -
Potential Papers, with Brief Summaries
1 Potential papers, with brief summaries Key: Papers marked F are the key papers that we definitely want to include. Papers marked ? are important papers that we would also like to include if we have time. Papers not marked don't fit quite so well into the theme, or might be too long or technical, but could be covered if someone feels particularly strongly about including them. We're open to other suggestions, let me know if there's another paper you might like to hear about, and I can add it to the list. Kirillov, Unitary representations of nilpotent Lie groups, 1962 F This paper introduces the orbit method (for nilpotent groups). That is, for a nilpotent Lie group G with Lie algebra g, Kirillov constructs a canonical bijection between irreducible unitary representations of G and orbits for the coadjoint action of G on g∗. He goes on to discuss the representation theoretic meaning of the geometry of the coadjoint orbits (for instance, how representations are induced from subgroups). [Kir62] 52 pages. Bernstein-Gelfand-Gelfand, Differential operators on the base affine space and a study of g-modules, 1975 ? This paper has two independent parts. The base affine space in the title refers to the space G=N where N is a maximal unipotent subgroup. The first part discusses relationships between differential operators on G=N and functions on G. More specifically they conjecture that there exists a nice map O(G) ! D(G=N), compatible with the left and right G actions and the pullback O(G=N) !O(G). -
Parallel Worlds: Formal Structures and Informal Mechanisms of Postwar Soviet Mathematics
Parallel Worlds: Formal Structures and Informal Mechanisms of Postwar Soviet Mathematics ∗ Slava GEROVITCH Abstract The postwar period is often viewed as the “Golden Age” of Soviet mathematics, yet the mathematical community in that period faced serious constraints. Restrictions on foreign travel, limited access to foreign literature, obsessive secrecy regulations, an ob- solete university curriculum, the declining level of the faculty, discriminatory policies in university admissions and employment, and limitations on physical access to univer- sities and research institutions—all these factors worked against the creation of a fully functional research community. This article argues that the thriving of Soviet mathe- matics in that period was due to the creation of a parallel social infrastructure. Soviet mathematicians organized a network of study groups (“math circles”), correspondence courses, and specialized mathematical schools in major cities, opened free courses for students barred from top universities, offered employment at applied mathematics insti- tutions to talented researchers who were denied academic positions, and developed an extensive system of open research seminars, bringing together multigenerational groups of researchers and fostering collaboration and the spread of new ideas. Key words: Soviet Union, mathematics, education, politics, discrimination The game approach to problem-solving allows us to do things that cannot be fully analyzed by formal means. Israel Gelfand1 A “Golden Age”? The period from the 1950s through the early 1980s is fondly remembered by Russian mathematicians as the “Golden Age” of Soviet mathematics.2 “Golden ages” usually have little to do with the actual achievements of the past; they rather reflect the frustrations and ∗ Massachusetts Institute of Technology, Cambridge, Mass., U.S.A. -
Koszul Duality for En Algebras
Koszul Duality for En Algebras Yuchen Fu October 2, 2018 This is the note for a talk given at Joint Northeastern{MIT Graduate Research Seminar \The Yangian and Four-dimensional Gauge Theory" during Fall 2018. Assumptions We work over a field k of characteristic 0 and implicitly work in the (1; 1)-setting; so by the word \category" we always mean an (1; 1)-category. The background \category of categories" is the category of stable presentable (1; 1)-categories with only colimit-preserving morphisms between them. This category is equipped with a symmetric monoidal structure given by the Lurie tensor product. The category Vect is the (1; 1)-category of (unbounded) chain complexes over k. 1 Operads, Algebras and Modules 1.1 Operads We shall use the following version of definition from [FG12]. Let X be a symmetric monoidal category. Let Σ Y Σ be the category of (nonempty) finite sets and bijections. Let X := RepX (Σn) be the category of n≥1 symmetric sequences in X ; its objects are collections fO(n) 2 X ; n ≥ 1g such that Σn acts on O(n). Observe that X Σ ' Funct(Σ; X ). This category admits a monoidal structure ? such that the following functor is monoidal: X Σ ! Funct(X ; X ) 0 1 M ⊗ n fO(n)g 7! @x 7! (O(n) ⊗ x )Σn A n≥1 Namely it's given by M n P?Q = (P (n) ⊗ Q )Σn n≥1 where is the Day convolution: M (P Q)(n) = IndSn (P (i) ⊗ Q(j)) Si×Sj i+j=n Note that Day convolution is symmetric monoidal because Si × Sj and Sj × Si are conjugate in Sn.