Mar 25, 2019
Monday
|
09:15 AM - 09:30 AM
|
|
Welcome
|
- Location
- SLMath: Eisenbud Auditorium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
09:30 AM - 10:30 AM
|
|
Characters of categorical representations: theory and applications
Constantin Teleman (University of California, Berkeley)
|
- Location
- SLMath: Eisenbud Auditorium
- Video
-
- Abstract
I will review the theory of topological group actions on complex-linear categories and their algebraic calculus of characters, with (old and new) applications to Gromov-Witten theory and dualities in mathematical physics.
- Supplements
-
Notes
698 KB application/pdf
|
|
10:30 AM - 11:00 AM
|
|
Break
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
11:00 AM - 12:00 PM
|
|
TBA
Bhargav Bhatt (Institute for Advanced Study)
|
- Location
- SLMath: Eisenbud Auditorium
- Video
-
- Abstract
- --
- Supplements
-
Notes
732 KB application/pdf
|
|
12:00 PM - 02:00 PM
|
|
Lunch
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
02:00 PM - 03:00 PM
|
|
Dualizing spheres for p-adic analytic groups with applications to chromatic homotopy theory.
Vesna Stojanoska (University of Illinois at Urbana-Champaign)
|
- Location
- SLMath: Eisenbud Auditorium
- Video
-
- Abstract
I will describe a Linearization Conjecture that identifies the spectral dualizing module of a p-adic Lie group in terms of a representation sphere built from the Lie algebra. We can prove this when the action is restricted to certain small finite subgroups. These results are enough to determine Spanier-Whitehead duals of some chromatically interesting spectra. This is joint work in progress with Beaudry, Goerss, and Hopkins.
- Supplements
-
Notes
748 KB application/pdf
|
|
03:00 PM - 03:30 PM
|
|
Tea
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
03:30 PM - 04:30 PM
|
|
Spectral Lie algebras and unstable homotopy theory
Gijs Heuts (Universiteit Utrecht)
|
- Location
- SLMath: Eisenbud Auditorium
- Video
-
- Abstract
In this talk I will review spectral Lie algebras, an adaptation of the theory of Lie algebras to the category of spectra. These generalize differential graded Lie algebras over the rational numbers and admit similar applications in derived algebraic geometry and homotopy theory. As an example of this, I will discuss their role as algebraic models for spaces, generalizing Quillen's rational homotopy theory.
- Supplements
-
Notes
819 KB application/pdf
|
|
|
Mar 26, 2019
Tuesday
|
09:30 AM - 10:30 AM
|
|
Affine Beilinson-Bernstein at the critical level for GL_2
Sam Raskin (University of Texas, Austin)
|
- Location
- SLMath: Eisenbud Auditorium
- Video
-
- Abstract
There has long been interest in Beilinson-Bernstein localization for the affine Grassmannian (or affine flag variety). First, Kashiwara-Tanisaki treated the so-called negative level case in the 90's. Some ten years later, Frenkel-Gaitsgory (following work of Feigin-Frenkel and Beilinson-Drinfeld) formulated a conjecture at the critical level and made some progress on it. Their conjecture is more subtle than its negative level counterpart, but also more satisfying. We will review the necessary background from representation theory of Kac-Moody algebras at critical level, formulate the Frenkel-Gaitsgory conjecture, and outline the proof for GL_2.
- Supplements
-
Notes
747 KB application/pdf
|
|
10:30 AM - 11:00 AM
|
|
Break
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
11:00 AM - 12:00 PM
|
|
Moduli of flat connections on smooth varieties
Tony Pantev (University of Pennsylvania)
|
- Location
- SLMath: Eisenbud Auditorium
- Video
-
- Abstract
This is a report on a joint work with Bertrand To\""{e}n. We study the derived geometry of the moduli of local systems and flat bundles on a smooth but not necessarily proper complex algebraic variety $X$. In the Betti case we show that these moduli carry natural Poisson structures, generalizing the well known case of curves. We also construct symplectic leaves of this Poisson structure by fixing local monodromies at infinity, and show that a new feature, called strictness, appears as soon as the divisor at infinity has non-trivial crossings. In the de Rham case we introduce the notion of a formal boundary of $X$, and explain how to define a restriction to the boundary map $R$ between derived moduli of flat bundles. I will discuss representability results for the geometric fibers of $R$ and will explain why the morphism $R$ comes equipped with a canonical shifted Lagrangian structure.
- Supplements
-
Notes
4.85 MB application/pdf
|
|
12:00 PM - 02:00 PM
|
|
Lunch
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
02:00 PM - 03:00 PM
|
|
Singular support for categories over a scheme
Dmytro Arinkin (University of Wisconsin-Madison)
|
- Location
- SLMath: Eisenbud Auditorium
- Video
-
- Abstract
Some geometric objects can be studied `microlocally': instead of just looking at their support (the set of points where an object is non-trivial), one can consider their `singular support', which remembers the `direction' of non-trivial behavior. Examples include the wave front of a distribution, the singular support of a constructible sheaf, and the characteristic variety of a D-module. Another important example of such `microlocal' theory is singular support of (ind-)coherent sheaves, which plays an important role in the global geometric Langlands program. In my talk, I will present a higher categorical analogue of this: the theory of singular support for categories over a scheme, which is important for the local Langlands program.
- Supplements
-
Notes
678 KB application/pdf
|
|
03:00 PM - 03:30 PM
|
|
Tea
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
03:30 PM - 04:30 PM
|
|
An arithmetic enrichment of the degree of a finite map, and applications to enumerative geometry
Kirsten Wickelgren (Duke University)
|
- Location
- SLMath: Eisenbud Auditorium
- Video
-
- Abstract
Using the Eisenbud-Khimshiashvili-Levine local degree, which is the A1-local degree of Morel in A1 homotopy theory, we define a degree of a finite map between smooth schemes over k. When the target is appropriately connected, this degree is a bilinear form over k. We discuss some applications to enumerative geometry over non-algebraically closed fields. This is joint work with Jesse Kass and Jake Solomon, and will also contain joint work with Padmavathi Srinivasan.
- Supplements
-
Notes
743 KB application/pdf
|
|
04:30 PM - 06:20 PM
|
|
Reception
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
|
Mar 27, 2019
Wednesday
|
09:30 AM - 10:30 AM
|
|
p-adic K-theory and topological cyclic homology
Akhil Mathew (University of Chicago)
|
- Location
- SLMath: Eisenbud Auditorium
- Video
-
- Abstract
I will discuss some recent results on the p-adic algebraic K-theory of p-adic rings, obtained using the cyclotomic trace from K-theory to topological cyclic homology. Parts of this are joint with Bhargav Bhatt, Dustin Clausen, and Matthew Morrow.
- Supplements
-
Notes
773 KB application/pdf
|
|
10:30 AM - 11:00 AM
|
|
Break
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
11:00 AM - 12:00 PM
|
|
On the K-theory of pullbacks
Georg Tamme (Universität Regensburg)
|
- Location
- SLMath: Eisenbud Auditorium
- Video
-
- Abstract
I will report on joint work with Markus Land. To any pullback diagram of ring spectra we associate a new square of ring spectra which becomes cartesian upon applying K-theory, or in fact any localizing invariant. The new square canonically maps to the original one, and this map is an equivalence in three corners. In the fourth corner, this map is generally not an equivalence. However, we understand this map well enough to deduce simple proofs of various excision results, most of which were previously proven by different methods in work of Suslin-Wodzicki, Cuntz-Quillen, Cortiñas, and Geisser-Hesselholt.
- Supplements
-
Notes
757 KB application/pdf
|
|
|
Mar 28, 2019
Thursday
|
09:30 AM - 10:30 AM
|
|
Character Theory and Tempered Cohomology
Jacob Lurie (Harvard University)
|
- Location
- SLMath: Eisenbud Auditorium
- Video
-
- Abstract
Complex K-theory is a generalized cohomology theory introduced by Atiyah and Hirzebruch, which associates to each finite cell complex X the Grothendieck group KU(X) of complex vector bundles on X. However, it also admits a purely algebraic description which makes no mention of vector bundles: it is the complex-oriented cohomology theory associated to the multiplicative formal group over Spec(Z). In this talk, I'll discuss a variant of this algebraic picture which can be used to recover equivariant complex K-theory (as well as equivariant elliptic cohomology), and explain its relationship with the classical character theory of finite groups and various generalizations thereof.
- Supplements
-
Notes
804 KB application/pdf
|
|
10:30 AM - 11:00 AM
|
|
Break
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
11:00 AM - 12:00 PM
|
|
Arithmetic subloci of rank one local systems
Hélène Esnault (Freie Universität Berlin)
|
- Location
- SLMath: Eisenbud Auditorium
- Video
-
- Abstract
We show that closed subsets of the character variety of a normal complex variety, which are p-adically integral and Galois invariant, are motivic. Joint with Mortiz Kerz. (Not really derived, clearly geometric, and p-adic)
- Supplements
-
Notes
720 KB application/pdf
|
|
12:00 PM - 02:00 PM
|
|
Lunch
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
02:00 PM - 03:00 PM
|
|
Geometrization of the local Langlands correspondence
Laurent Fargues (Institut de Mathématiques de Jussieu)
|
- Location
- SLMath: Eisenbud Auditorium
- Video
-
- Abstract
I will review my geometrization conjecture of the local Langlands correspondence and my ongoing work with Peter Scholze about the construction of local Langlands parameters. I will mainly focus on the central object I introduced 4 years ago: the stack Bun_G of G-bundles on the curve.
- Supplements
-
Notes
730 KB application/pdf
|
|
03:00 PM - 03:30 PM
|
|
Tea
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
03:30 PM - 04:30 PM
|
|
TBA
Peter Scholze (Universität Bonn)
|
- Location
- SLMath: Eisenbud Auditorium
- Video
-
- Abstract
- --
- Supplements
-
Notes
738 KB application/pdf
|
|
|
Mar 29, 2019
Friday
|
09:30 AM - 10:30 AM
|
|
The Chern character and categorification
Sarah Scherotzke (Westfälische Wilhelms-Universität Münster)
|
- Location
- SLMath: Eisenbud Auditorium
- Video
-
- Abstract
The Chern character is a central construction which appears in topology, representation theory and algebraic geometry. In algebraic topology it is for instance used to probe algebraic K-theory which is notoriously hard to compute, in representation theory it takes the form of classical character theory. Recently, Toen and Vezzosi suggested a construction, using derived algebraic geometry, which allows to unify the various Chern characters. We will categorify this Chern character. In the categorified picture algebraic K-theory is replaced by the category of non-commutative motives. It turns out that the categorified Chern character has many interesting applications. For instance we show that the DeRham realisation functor is of non-commutative origin.
- Supplements
-
Notes
714 KB application/pdf
|
|
10:30 AM - 11:00 AM
|
|
Break
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
11:00 AM - 12:00 PM
|
|
$K$-theory of division algebras over local fields
Lars Hesselholt (Nagoya University)
|
- Location
- SLMath: Eisenbud Auditorium
- Video
-
- Abstract
This is joint work with Michael Larsen and Ayelet Lindenstrauss. Let $K$ be a complete discrete valuation field with finite residue field of characteristic $p$, and let $D$ be a central division algebra over $K$ of finite index $d$. Thirty years ago, Suslin and Yufryakov showed that for all prime numbers $\ell \neq p$ and integers $j \geq 1$, there exists a canonical "reduced norm" isomorphism of $\ell$-adic $K$-groups $\operatorname{Nrd}_{D/K} \colon K_j(D,\mathbb{Z}_{\ell}) \to K_j(K,\mathbb{Z}_{\ell})$ such that $d \cdot \operatorname{Nrd}_{D/K}$ is equal to the norm homomorphism $N_{D/K}$. We prove the analogous statement for the $p$-adic $K$-groups. To do so, we employ the cyclotomic trace map to topological cyclic homology and show that there exists a "reduced trace" equivalence $\operatorname{Trd}_{A/S} \colon \operatorname{THH}(A\,|\,D,\mathbb{Z}_p) \to \operatorname{THH}(S\,|\,K,\mathbb{Z}_p)$ between two $p$-complete cyclotomic spectra associated with $D$ and $K$, respectively, from which the statement for the $p$-adic $K$-groups ensues. Interestingly, we show that if $p$ divides $d$, then it is not possible to choose said equivalence such that, as maps of cyclotomic spectra, $d \cdot \operatorname{Trd}_{A/S}$ agrees with the trace $\operatorname{Tr}_{A/S}$, although this is possible as maps of spectra with $\mathbb{T}$-action.
- Supplements
-
Notes
723 KB application/pdf
|
|
12:00 PM - 02:00 PM
|
|
Lunch
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
02:00 PM - 03:00 PM
|
|
Vanishing cycles, Bloch's conductor conjecture and non-commutative geometry
Gabriele Vezzosi (Università di Firenze)
|
- Location
- SLMath: Eisenbud Auditorium
- Video
-
- Abstract
- --
- Supplements
-
Notes
2.17 MB application/pdf
|
|
03:00 PM - 03:30 PM
|
|
Tea
|
- Location
- SLMath: Atrium
- Video
-
--
- Abstract
- --
- Supplements
-
--
|
03:30 PM - 04:30 PM
|
|
Bokstedt periodicity and Bott periodicity
Dmitry Kaledin (HSE University; V. A. Steklov Institute of Mathematics)
|
- Location
- SLMath: Eisenbud Auditorium
- Video
-
- Abstract
One of the miracles of Topological Hochschild Homology is that THH(F_p) is very simple: it is just the algebra of polynomials in one variable of degree 2. However, the existing proofs of this fact are not simple at all. I will present yet another proof that uses quite a few additional general structures THH is known to have (multiplication, a trace functor structure), but almost nothing specific to F_p.
- Supplements
-
Notes
679 KB application/pdf
|
|
|