{"id":14163,"date":"2024-08-20T14:28:59","date_gmt":"2024-08-20T18:28:59","guid":{"rendered":"https:\/\/www.crmath.ca\/page-calendrier\/abstracts-proofs-2024\/"},"modified":"2024-09-18T16:30:40","modified_gmt":"2024-09-18T20:30:40","slug":"abstracts-d-modules-2024","status":"publish","type":"page-calendrier","link":"https:\/\/www.crmath.ca\/en\/page-calendrier\/abstracts-d-modules-2024\/","title":{"rendered":"Abstracts D-modules-2024"},"content":{"rendered":"<div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-1 fusion-flex-container nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"max-width:1420.64px;margin-left: calc(-4% \/ 2 );margin-right: calc(-4% \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-0 fusion_builder_column_1_1 1_1 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:100%;--awb-margin-top-large:0px;--awb-spacing-right-large:1.92%;--awb-margin-bottom-large:0px;--awb-spacing-left-large:1.92%;--awb-width-medium:100%;--awb-order-medium:0;--awb-spacing-right-medium:1.92%;--awb-spacing-left-medium:1.92%;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:1.92%;--awb-spacing-left-small:1.92%;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-text fusion-text-1\"><h3>RESEARCH TALKS<\/h3>\n<h4>Amina Abdurrahman (Stony Brook \/ IHES)<\/h4>\n<p>A formula for symplectic L-functions and Reidemeister torsion<\/p>\n<details open=\"open\">\n<summary>Abstract<\/summary>\n<p>We give a global cohomological formula for the central value of the L-function of a symplectic representation on a curve up to squares. The proof relies crucially on a similar formula for the Reidemeister torsion of 3-manifolds together with a symplectic local system. We sketch both analogous arithmetic and topological pictures. This is based on joint work with A. Venkatesh.<\/p>\n<\/details>\n<h4 class=\"p1\">Amadou Bah (Columbia)<\/h4>\n<div class=\"Qr7Oae\" role=\"listitem\">\n<div class=\"OxAavc NVbRL\" data-required=\"true\" data-item-id=\"1023802753\">\n<div class=\"xMZTse Ih4Dzb\">\n<div class=\"Mh5jwe JqSWld yqQS1\" tabindex=\"0\" role=\"textbox\" aria-describedby=\"c445\" aria-label=\"Proposed title\" aria-disabled=\"true\">\n<p>Variation of the Swan conductor of an l-adic sheaf on a rigid disc<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<details open=\"open\">\n<summary>Abstract<\/summary>\n<div class=\"lrKTG\">\n<div class=\"o3Dpx\" role=\"list\">\n<div class=\"Qr7Oae\" role=\"listitem\">\n<div class=\"OxAavc NVbRL\" data-required=\"true\" data-item-id=\"133437574\">\n<div class=\"Ih4Dzb\">\n<div class=\"q4tvle JqSWld yqQS1\" tabindex=\"0\" role=\"textbox\" aria-label=\"Abstract (400 words max)\" aria-disabled=\"true\">\n<p>The radius of convergence of a $p$-adic differential equation on a p-adic disc has interesting variational properties. It turns out that its $\\ell$-adic analog, the Swan conductor of an $\\ell$-adic local system $\\mathcal$ on a closed rigid unit disc $D$, has similar properties: using the ramification theory of Abbes and Saito, we show that the Swan conductor function $_{\\mathcal}:\\mathbb\\to\\mathbb$ (of variable the radius of a sub-disc of $D$) is continuous, convex and piecewise linear; its slopes are integers that can be computed in terms of local characteristic cycles of $\\mathcal$ (analogs of the characteristic cycle of a holonomic $\\mathcal$-module).<\/p>\n<p><strong>Roman Bezrukavnikov (MIT)<\/strong><\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/details>\n<div class=\"Qr7Oae\" role=\"listitem\">\n<div class=\"OxAavc NVbRL\" data-required=\"true\" data-item-id=\"1023802753\">\n<div class=\"xMZTse Ih4Dzb\">\n<div class=\"Mh5jwe JqSWld yqQS1\" tabindex=\"0\" role=\"textbox\" aria-describedby=\"c760\" aria-label=\"Proposed title\" aria-disabled=\"true\">\n<p>Derived divided power operators on a stack<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<details open=\"open\">\n<summary>Abstract<\/summary>\n<div class=\"lrKTG\">\n<div class=\"o3Dpx\" role=\"list\">\n<div class=\"Qr7Oae\" role=\"listitem\">\n<div class=\"OxAavc NVbRL\" data-required=\"true\" data-item-id=\"133437574\">\n<div class=\"Ih4Dzb\">\n<div class=\"q4tvle JqSWld yqQS1\" tabindex=\"0\" role=\"textbox\" aria-label=\"Abstract (400 words max)\" aria-disabled=\"true\">\n<p>Crystalline differential operators on a smooth variety X in positive characteristic form an Azumaya algebra over the Frobenius twist of its cotangent bundle. The natural extension to the case of a smooth algebraic stack X has derived nature: it involves a gerbe over the cotangent of X which is a derived stack. I will discuss an attempt to define a similar derived enhancement for divided power differential operators on a stack, focusing on the example where X is the classifying stack of a maximal unipotent subgroup in a reductive algebraic group G; the construction is motivated by the study of G-modules via derived localization. Time permitting I will explain related structures in the topology of the affine Grassmannian, connected to the above by the geometric Satake equivalence. The results are partly joint with Pablo Boixeda Alvarez.<\/p>\n<p><strong>Ekaterina Bogdanova (Harvard)<\/strong><\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/details>\n<p class=\"p1\">Non-vanishing of quantum geometric WhiPaker coefficients<\/p>\n<details open=\"open\">\n<summary>Abstract<\/summary>\n<p class=\"p1\">We will discuss the functor of geometric WhiPaker coefficients in the context of quantum geometric Langlands. Concretely, we will prove (modulo the spectral decomposition conjecture) that for good levels the functor of quantum geometric WhiPaker coefficients is conservative. The proof will combine generalizations of representation-theoretic and microlocal methods from the preceding works of Faergeman-Raskin and Nadler-Taylor respectively.<\/p>\n<\/details>\n<h4>Alexander Braverman (Toronto)<\/h4>\n<p>Koszul duality for some categories of D-modules coming from relative Langlands duality and equivariant localization for equivariant D-module categories<\/p>\n<details open=\"open\">\n<summary>Abstract<\/summary>\n<p>Let G be a connected reductive group over complex numbers with a Borel subgroup B. A well-known result of Beilinson-Ginzburg-Soergel essentially says that the category of BxB-equivariant D-modules on G is Koszul dual to the similar category where G is replaced by its Langlands dual group and \"equivariant\" is replaced with \"monodromic with unipotent monodromy\". In the talk I will describe a rather general conjectural generalization of the above Koszul dual for the category of B-equivariant D-modules on any smooth affine spherical G-variety X (or the category of B-equivariant modules over the quantization over a smooth affine hyperspherical variety M \u2013 this notion will be reviewed at the talk) using the language of relative Langlands duality of Ben-Zvi-Sakellaridis-Venkatesh. This conjecture is originally due\u00a0 to<br \/>\nFinkelberg, Ginzburg and Travkin. We shall discuss a proof of a weaker statement \u2014 an equivalence between the corresponding Z_2-graded categories,\u00a0 using a very general localization theorem for derived categories of equivariant D-modules.<\/p>\n<p>This is a joint work with Finkelberg and Travkin.<\/p>\n<\/details>\n<h4>Yagna Dutta (Leiden)<\/h4>\n<div class=\"Qr7Oae\" role=\"listitem\">\n<div class=\"OxAavc NVbRL\" data-required=\"true\" data-item-id=\"1023802753\">\n<div class=\"xMZTse Ih4Dzb\">\n<div class=\"Mh5jwe JqSWld yqQS1\" tabindex=\"0\" role=\"textbox\" aria-describedby=\"c634\" aria-label=\"Proposed title\" aria-disabled=\"true\">\n<p>A relative intermediate Jacobian<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<details open=\"open\">\n<summary>Abstract<\/summary>\n<div class=\"lrKTG\">\n<div class=\"o3Dpx\" role=\"list\">\n<div class=\"Qr7Oae\" role=\"listitem\">\n<div class=\"OxAavc NVbRL\" data-required=\"true\" data-item-id=\"133437574\">\n<div class=\"Ih4Dzb\">\n<div class=\"q4tvle JqSWld yqQS1\" tabindex=\"0\" role=\"textbox\" aria-label=\"Abstract (400 words max)\" aria-disabled=\"true\">In this talk, I will report on a joint work in progress with D. Mattei and E. Shinder, where we construct, using Hodge modules, a complex analytic N\u00e9ron model associated with the intermediate Jacobian of a certain complete family of cubic threefolds. I will demonstrate how the global sections (resp. 1- cycles) of this group scheme mimics the Mordell\u2013Weil group (resp. Tate\u2013Shafarevich group) for elliptic fibrations of K3 surfaces.<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/details>\n<h4>H\u00e9l\u00e8ne Esnault (Harvard\/Copenhague)<\/h4>\n<div class=\"Qr7Oae\" role=\"listitem\">\n<div class=\"OxAavc NVbRL\" data-required=\"true\" data-item-id=\"1023802753\">\n<div class=\"xMZTse Ih4Dzb\">\n<div class=\"Mh5jwe JqSWld yqQS1\" tabindex=\"0\" role=\"textbox\" aria-describedby=\"c70\" aria-label=\"Proposed title\" aria-disabled=\"true\">\n<p>A non-abelian version of Deligne's Fixed Part Theorem<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<details open=\"open\">\n<summary>Abstract<\/summary>\n<p>We formulate and prove a non-abelian analog of Deligne's Fixed Part theorem on Hodge classes, revisiting previous work of Jost\u2013Zuo, Katzarkov\u2013Pantev and Landesman\u2013Litt. To this aim we study algebraically isomonodromic extensions of local systems and we relate them to variations of Hodge structures, for example we show that the Mumford-Tate group at a generic point stays constant in an algebraically isomonodromic extension of a variation of Hodge structures. Joint with Moritz Kerz.<\/p>\n<p><strong>Joakim F\u00e6rgeman (Yale University)<\/strong><\/p>\n<p>Motivic realization of rigid G-local systems on curves<\/p>\n<div class=\"Qr7Oae\" role=\"listitem\">\n<div class=\"OxAavc NVbRL\" data-required=\"true\" data-item-id=\"1023802753\">\n<div class=\"xMZTse Ih4Dzb\">\n<div class=\"Mh5jwe JqSWld yqQS1\" tabindex=\"0\" role=\"textbox\" aria-describedby=\"c193\" aria-label=\"Proposed title\" aria-disabled=\"true\">\n<details open=\"open\">\n<summary>Abstract<\/summary>\n<p>A natural problem in the study of local systems on complex varieties is to characterize those that arise in a family of varieties. We refer to such local systems as motivic. While a classification of motivic local systems is evidently out of reach, Simpson conjectured that for a reductive group G, rigid G-local systems with suitable finiteness conditions at infinity are motivic. This was proven for curves when G=GL_n by Katz who classified such rigid local systems. In this talk, we discuss our generalization of Katz' theorem to a general reductive group. Our proof goes through the (tamely ramified) categorical geometric Langlands program in characteristic zero.<\/p>\n<\/details>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"Qr7Oae\" role=\"listitem\">\n<div class=\"OxAavc NVbRL\" data-required=\"true\" data-item-id=\"1023802753\">\n<div class=\"xMZTse Ih4Dzb\">\n<div class=\"Mh5jwe JqSWld yqQS1\" tabindex=\"0\" role=\"textbox\" aria-describedby=\"c319\" aria-label=\"Proposed title\" aria-disabled=\"true\"><strong>Joel Kamnitzer (McGill University)<br \/>\n<\/strong><\/div>\n<\/div>\n<\/div>\n<\/div>\n<div class=\"Qr7Oae\" role=\"listitem\">\n<div class=\"OxAavc NVbRL\" data-required=\"true\" data-item-id=\"133437574\">\n<div class=\"pYfr3c\">\n<div class=\"prOLdf\">\n<div class=\"g53bl\">\n<div class=\"cTDvob D1wxyf RjsPE\" role=\"heading\" aria-level=\"3\" aria-describedby=\"i.desc.133437574 c325\">\n<div class=\"Qr7Oae\" role=\"listitem\">\n<div class=\"OxAavc NVbRL\" data-item-id=\"2141604888\">\n<div class=\"pYfr3c\">\n<div class=\"prOLdf\">\n<div class=\"g53bl\">\n<div class=\"cTDvob D1wxyf RjsPE\" role=\"heading\" aria-level=\"3\" aria-describedby=\"i.desc.2141604888\">\n<div class=\"Qr7Oae\" role=\"listitem\">\n<div class=\"OxAavc NVbRL\" data-required=\"true\" data-item-id=\"1023802753\">\n<div class=\"xMZTse Ih4Dzb\">\n<div class=\"Mh5jwe JqSWld yqQS1\" tabindex=\"0\" role=\"textbox\" aria-describedby=\"c319\" aria-label=\"Proposed title\" aria-disabled=\"true\">\n<p>Quantum Hikita conjecture<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<details open=\"open\">\n<summary>Abstract<\/summary>\n<p>The quantum Hikita conjecture relates two D-modules coming from dual symplectic resolution. The first D-module is the quantum D-module coming from quantum cohomology of one variety. The second D-module controls graded traces for the resolution of the dual variety. I will present this conjecture and present some examples.<\/p>\n<\/details>\n<p><strong>Vasily Krylov (MIT)<\/strong><\/p>\n<p>Representations for quantized ADHM spaces via the D-modules on the nilpotent cone<\/p>\n<\/details>\n<details open=\"open\">\n<summary>Abstract<\/summary>\n<div class=\"lrKTG\">\n<div class=\"o3Dpx\" role=\"list\">\n<div class=\"Qr7Oae\" role=\"listitem\">\n<div class=\"OxAavc NVbRL\" data-required=\"true\" data-item-id=\"133437574\">\n<div class=\"Ih4Dzb\">\n<div class=\"q4tvle JqSWld yqQS1\" tabindex=\"0\" role=\"textbox\" aria-label=\"Abstract (400 words max)\" aria-disabled=\"true\">\n<p>Over the past twenty years, mathematicians and physicists have shown increasing interest in studying certain Poisson varieties, known as \"symplectic singularities,\" and the quantizations of their rings of functions. These objects naturally arise in the study of 3D Topological Quantum Field Theories (TQFTs) and also within the framework of 3D mirror symmetry. In this talk, we will focus on an important family of examples of symplectic singularities \u2014 namely, \"ADHM spaces\" or \"moduli spaces of instantons on R^4\". We will explain how to compute characters of \"minimally supported\" irreducible representations over the quantizations of the ADHM spaces and, in particular, will provide formulas for the dimensions of all finite-dimensional representations over these quantizations. Our main tools include SL_n-equivariant D-modules on the nilpotent cone of SL_n and the representation theory of rational Cherednik algebras. The talk is based on joint work with Pavel Etingof, Ivan Losev, and Jos\u00e9 Simental.<\/p>\n<p><strong>Daniel Litt (University of Toronto)<\/strong><\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/details>\n<p>Integrality and algebraicity of solutions to differential equations<\/p>\n<details open=\"open\">\n<summary>Abstract<\/summary>\n<p class=\"p1\">Eisenstein proved, in 1852, that if a function f(z) is algebraic, then its Taylor expansion at a point has coefficients lying in some finitely-generated Z-algebra. I will explain ongoing joint work with Josh Lam which studies the extent to which the converse of this theorem holds. Namely, we conjecture that if f(z) satisfies a (possibly nonlinear!) algebraic ODE, non-singular at 0, and its Taylor expansion has coefficients lying in a finitely-generated Zalgebra, then f is algebraic. For linear ODE, we prove this conjecture when (A) f(z) satisfies a Picard-Fuchs equation, with initial conditions the class of an algebraic cycle, or (B) f(z) satisfies an ODE of geometric origin and order at most 2. For non-linear ODE, we prove it when f(z) satisfies an \"isomonodromy\" ODE with \"Picard-Fuchs\" initial conditions.<\/p>\n<\/details>\n<h4>Mircea Mustata (Ann Arbor)<\/h4>\n<div class=\"Qr7Oae\" role=\"listitem\">\n<div class=\"OxAavc NVbRL\" data-required=\"true\" data-item-id=\"1023802753\">\n<div class=\"xMZTse Ih4Dzb\">\n<div class=\"Mh5jwe JqSWld yqQS1\" tabindex=\"0\" role=\"textbox\" aria-describedby=\"c153\" aria-label=\"Proposed title\" aria-disabled=\"true\">\n<p>Invariants of singularities and Hodge modules<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<details open=\"open\">\n<summary>Abstract<\/summary>\n<div class=\"lrKTG\">\n<div class=\"o3Dpx\" role=\"list\">\n<div class=\"Qr7Oae\" role=\"listitem\">\n<div class=\"OxAavc NVbRL\" data-required=\"true\" data-item-id=\"133437574\">\n<div class=\"Ih4Dzb\">\n<div class=\"q4tvle JqSWld yqQS1\" tabindex=\"0\" role=\"textbox\" aria-label=\"Abstract (400 words max)\" aria-disabled=\"true\">\n<p>I will give an overview of some applications of Saito's theory of Hodge modules to invariants of hypersurface (and, more generally, complete intersection) singularities.<\/p>\n<p><strong>Sebastian Olano (Toronto)<\/strong><\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/details>\n<div class=\"Qr7Oae\" role=\"listitem\">\n<div class=\"OxAavc NVbRL\" data-required=\"true\" data-item-id=\"1023802753\">\n<div class=\"xMZTse Ih4Dzb\">\n<div class=\"Mh5jwe JqSWld yqQS1\" tabindex=\"0\" role=\"textbox\" aria-describedby=\"c697\" aria-label=\"Proposed title\" aria-disabled=\"true\">\n<p>Singularities of Secant Varieties from a Hodge theoretic perspective<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<details open=\"open\">\n<summary>Abstract<\/summary>\n<p>Given a smooth projective variety $X$ and a sufficiently positive embedding into $\\mathbb^N$, we can define the associated secant variety. These varieties have been extensively studied, yet many aspects of their singularities remain to be understood. The singular locus admits a simple description since it is the original variety $X$. However, its singularities are more intricate, as the variety is generally not a local complete intersection. In this talk, I will explore the singularities of secant varieties from a Hodge-theoretic perspective, focusing on generalizations of notions well-understood in the context of local complete intersections. Specifically, I will describe the du Bois complex and its relationship with the sheaves of differential forms, linking it to the generalization of the classical notions of du Bois and rational singularities. Additionally, I will present results concerning the local cohomology module of the secant variety in projective space.<\/p>\n<\/details>\n<h4>Rachel Ollivier (UBC)<\/h4>\n<p>Rigid dualizing complexes for affine Hecke algebras<\/p>\n<details open=\"open\">\n<summary>Abstract<\/summary>\n<div>\n<p>Grothendieck's duality theory relies on the noLon of a dualizing complex. In the non-commutaLve seTng such dualizing complexes were studied in the 90s beginning with work by YekuLeli. Since these complexes are not unique (for example, one can tensor them with any inverLble object) Van der Bergh subsequently introduced the noLon of a rigid dualizing complex. We will discuss rigid dualizing complexes in the context of (generic) affine Hecke algebras and see what sort of consequences one can draw. This is joint work with Sabin Cautis.<\/p>\n<p><strong>Xinwen Zhu (Stanford University)<\/strong><\/p>\n<p>Endoscopy for affine Hecke categories<\/p>\n<\/div>\n<div>\n<details open=\"open\">\n<summary>Abstract<\/summary>\n<\/details>\n<\/div>\n<div>I will report a joint work with Gurbir Dhillon, Yau-Wing Li and Zhiwei Yun, where we develop an endoscopy theory for affine Hecke categories. As an application, we extend the celebrated Bezrukavnikov equivalence from the unipotent case to the tame case (as conjectured by Bezrukavnikov). Time permitting, I will indicate how to further extend the local geometric Langlands correspondence to include all \"geometric principal series\".<\/div>\n<\/details>\n<\/div><\/div><\/div><\/div><\/div>\n","protected":false},"author":19,"template":"","class_list":["post-14163","page-calendrier","type-page-calendrier","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.crmath.ca\/en\/wp-json\/wp\/v2\/page-calendrier\/14163","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.crmath.ca\/en\/wp-json\/wp\/v2\/page-calendrier"}],"about":[{"href":"https:\/\/www.crmath.ca\/en\/wp-json\/wp\/v2\/types\/page-calendrier"}],"author":[{"embeddable":true,"href":"https:\/\/www.crmath.ca\/en\/wp-json\/wp\/v2\/users\/19"}],"version-history":[{"count":8,"href":"https:\/\/www.crmath.ca\/en\/wp-json\/wp\/v2\/page-calendrier\/14163\/revisions"}],"predecessor-version":[{"id":15042,"href":"https:\/\/www.crmath.ca\/en\/wp-json\/wp\/v2\/page-calendrier\/14163\/revisions\/15042"}],"wp:attachment":[{"href":"https:\/\/www.crmath.ca\/en\/wp-json\/wp\/v2\/media?parent=14163"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}