|01/31||Quiver varieties, stability conditions, and Mirkovic-Vilonen polytopes (Friday, 4:10 - 5:30, 939 Evans)||Peter Tingley , Loyola University, Chicago|
|02/07||Sigma models, elliptic cohomology and the Witten genus (Friday, 4:10 - 5:30, 939 Evans)||Daniel Berwick Evans , Stanford|
|02/14||Classical Lie superalgebras, translation functors, parabolic induction and categorification of Fock space. (Friday, 4:10 - 5:30, 939 Evans)||Vera Serganova , UC Berkeley|
|02/28||The Amplituhedron (Friday, 3:00 - 5:30, 939 Evans)||Jaroslav Trnka, Caltech|
|03/07||Isomonodromic tau-functions, conformal blocks and supersymmetric gauge theory. (Friday, 4:10 - 5:30, 939 Evans)||Joerg Teschner , DESY, University of Hamburg|
|03/13||Algebraic Geometry and Computer Vision (Thursday, 2:10 pm, 891 Evans)||Luke Oeding , Auburn University|
|03/21||Poisson sigma models, Lie third theorem and Lagrangian correspondences (Friday, 4:10 - 5:30, 939 Evans)||Ivan Contreras, UC Berkeley|
|04/04||Soergel bimodules and the Decomposition theorem (Friday, 4:10 - 5:30, 939 Evans)||Ben Elias, MIT|
|04/11||Khovanov homology from categorified quantum groups (Friday, 4:10 - 5:30, 939 Evans)||Hoel Queffelec , Institut de mathématiques de Jussieu|
|04/18||TBA (Friday, 4:10 - 5:30, 939 Evans)||Monica Vazirani, UC Davis|
|04/25||TBA (Friday, 4:10 - 5:30, 939 Evans)||Nicola Tarasca, University of Utah|
|05/02||TBA (Friday, 4:10 - 5:30, 939 Evans)||Theo Johnson-Freyd , Northwestern|
Quiver varieties, stability conditions, and Mirkovic-Vilonen polytopes, Peter Tingley :
Lusztig's nilpotent quiver varieties can be used to index the crystal basis for U−(g), where g is a simply laced complex simple Lie algebra. Various combinatorial objects also can be used to index this crystal, and we are interested in how they relate to the geometry. In particular we consider Mirkovic-Vilonen (MV) polytopes. To relate these to quiver varieties one uses Harder Narasimhan filtrations for various stability conditions on representations of the preprojective algebra. Perhaps the most interesting, we use this to extend the theory of MV polytopes beyond finite type. This is joint work with Joel Kamnitzer and Pierre Baumann. I will also mention recent work with John Claxton involving explicit type A combinatorics.
Sigma models, elliptic cohomology and the Witten genus, Daniel Berwick Evans :
I will describe a geometric model for elliptic cohomology with complex coefficients motivated by the physics of supersymmetric sigma models. One upshot of this language is a straightforward construction of the Witten genus of a smooth manifold equipped with a rational string structure. Time permitting, I will explain a relationship between (delocalized) equivariant elliptic cohomology and gauged sigma models.
Classical Lie superalgebras, translation functors, parabolic induction and categorification of Fock space., Vera Serganova :
After brief review of representation theory of Lie superalgebras, we will discuss two categorification constructions. The first one categorifies gl(infinity) by translation functors. The second construction categorifies free fermion action on Fock space using parabolic induction.
The Amplituhedron, Jaroslav Trnka:
In this talk we show that scattering amplitudes in N=4 SYM correspond to “The Amplituhedron”, a natural generalization of convex polygons into the Grassmannian. The amplitude itself is represented by the form with logarithmic singularities on the boundaries of this space. All physical concepts like Locality or Unitarity are just derived properties from Amplituhedron geometry.
Isomonodromic tau-functions, conformal blocks and supersymmetric gauge theory., Joerg Teschner :
We'll present a simple explanation for the recently discovered relations between the isomonodromic tau-functions and Virasoro conformal blocks at c=1. We will point out possible implications for the correspondence between Liouville theory and supersymmetric gauge theories discovered by Alday, Gaiotto and Tachikawa.
Algebraic Geometry and Computer Vision, Luke Oeding :
In Computer Vision and multi-view geometry one considers several cameras in general position as a collection of projection maps. One would like to understand how to reconstruct the 3-dimensional image from the 2-dimensional projections. [Hartley-Zisserman] (and others such as Alzati-Tortora and Papadopoulo-Faugeras) described several natural multi-linear (or tensorial) constraints which record certain relations between the cameras such as the epipolar, trifocal, and quadrifocal tensors. (Don't worry, I will stop at quadrifocal tensors!) A greater understanding of these tensors is needed for Computer Vision, and Algebraic Geometry and Representation Theory provide some answers. I will describe a uniform construction of the epipolar, trifocal and quadrifocal tensors via equivariant projections of a Grassmannian. Then I will use the beautiful Algebraic Geometry and Representation Theory, which naturally arrises in the construction, to recover some known information (such as symmetry and dimensions) and some new information (such as defining equations). Part of this work is joint with Chris Aholt (Microsoft).
Poisson sigma models, Lie third theorem and Lagrangian correspondences, Ivan Contreras:
In this talk we will present an alternative solution of the problem of integration of Poisson structures, through the phase space construction of the Poisson sigma model with boundary. We will describe this integration in terms of immersed canonical relations and we will mention some possible extensions of this construction for different categories, in a way to understand the quantization of Poisson manifolds via symplectic groupoids.
Soergel bimodules and the Decomposition theorem, Ben Elias:
In a 1979 paper, Kazhdan and Lusztig introduced the so-called Kazhdan-Lusztig basis of the Hecke algebra associated to a Coxeter group. They posited a number of deep algebraic conjectures about this basis, which inspired the blossoming field of geometric representation theory. Not long thereafter, these conjectures were proven for Weyl groups using the intersection cohomology of Schubert varieties, the key tool being the Decomposition Theorem of Beilinson-Bernstein-Deligne. However, this proof will not generalize to arbitrary Coxeter groups, because of the lack of any corresponding geometric setup. Soergel proposed an approach to proving these conjectures algebraically. He constructed a category of bimodules, known asSoergel bimodules, which agree with the equivariant intersection cohomology of Schubert varieties in Weyl group type, but are defined in an algebraic and combinatorial way for any Coxeter group. The Soergel conjecture states that the "characters" of the indecomposable Soergel bimodules are precisely the Kazhdan-Lusztig basis. This is an algebraic analog of the decomposition theorem, and it implies Kazhdan and Lusztig's conjectures. Inspired by de Cataldo and Migliorini's Hodge-theoretic proof of the Decomposition Theorem, Geordie Williamson and I recently gave an algebraic proof of the Soergel conjecture for a general Coxeter group. The key idea was to show that Soergel bimodules have the Hodge-theoretic properties expected of an equivariant intersection cohomology space.
Khovanov homology from categorified quantum groups, Hoel Queffelec :
About 15 years ago, Khovanov introduced an homological invariant of knots categoryfying the combinatorial skein version of the Jones polynomial. He later developed, with Lauda, a categorified analog of quantum groups, in which the definitions of the Jones polynomial in terms of representation theory have their roots. I will review both Khovanov homology and diagrammatic categorifications of Uq(slm), before presenting the map relating both categorifications. This allows for a presentation of Khovanov homology entirely in terms of higher representation theory, and paves the way for an extension of cobordism categories to general sln invariants.
TBA, Monica Vazirani:
To be announced.
TBA, Nicola Tarasca:
To be announced.
TBA, Theo Johnson-Freyd :
To be announced.
Research Seminar Fall 2013
Research Seminar Spring 2013
Research Seminar Fall 2012
Research Seminar Spring 2011
Research Seminar Fall 2010
Research Seminar Spring 2010
Research Seminar Fall 2009
Research Seminar Spring 2009
Research Seminar Fall 2008
Research Seminar Spring 2008
Research Seminar Fall 2007
Research Seminar Spring 2007
Research Seminar Fall 2006
Research Seminar Spring 2006
Research Seminar Fall 2005
Research Seminar Spring 2005
Research Seminar Fall 2004
Dimer Models Seminar Fall 2010
Groupoids in Algebra and Geometry Seminar Spring 2008
Geometric Langlands Seminar Spring 2007
Perverse Sheaves Seminar Spring 2007
Topological Invariants and Quantum Algebra Fall 2005
Representation Theory and Geometric Langlands Seminar Fall 2004
Quantum Field Theory Seminar Spring 2004
Edit Seminar Schedule