Seminars Sorted by Series

Informal Seminar

Instanton Counting and Knot Invariants

Institute Film Series in partnership with Women and Mathematics

May
20
2018

Institute Film Series in partnership with Women and Mathematics

7:00pm|Wolfensohn Hall

British intelligence agency MI6 in 1939 recruited English mathematician Alan Turing, portrayed by Benedict Cumberbatch, to decipher Nazi codes including Enigma codes. Turing, assisted by Joan Clarke, portrayed by Keira Knightley, worked to analyze...

Introduction to Polyfolds

Mar
08
2012

Introduction to Polyfolds

Introduction to Polyfolds
11:00am|S-101

Both of these talks will be useful preparation for Helmut Hofer's up coming mini-course on polyfold theory on April 4th and 5th

Mar
08
2012

Introduction to Polyfolds

A Simple Example of an M-Polyfold Relevant to Morse Theory
2:00pm|S-101

Both of these talks will be useful preparation for Helmut Hofer's up coming mini-course on polyfold theory on April 4th and 5th.

Introduction to the Univalent Foundations of Mathematics

Dec
03
2010

Introduction to the Univalent Foundations of Mathematics

Constructive Type Theory and Homotopy
11:00am|S-101

In recent research it has become clear that there are fascinating connections between constructive mathematics, especially as formulated in the type theory of Martin-Löf, and homotopy theory, especially in the modern treatment in terms of Quillen...

Dec
10
2010

Introduction to the Univalent Foundations of Mathematics

Univalent Foundations of Mathematics
11:00am|S-101

The correspondence between homotopy types and higher categorical analogs of groupoids which was first conjectured by Alexander Grothendieck naturally leads to a view of mathematics where sets are used to parametrize collections of objects without...

Introduction to the Univalent Foundations of Mathematics/Computer Science and Discrete Mathematics Seminar II

John F. Nash, Jr. Memorial

Joint Arithmetic Homogeneous Spaces and Computer Science/Discrete Mathematics Seminar II

Joint Arithmetic Homogeneous Spaces and Number Theory Seminar

Mar
31
2006

Joint Arithmetic Homogeneous Spaces and Number Theory Seminar

Some Modular Generating Functions for Arithmetic Cycles
11:00am|S-101

In this talk I will give an overview of joint work with M. Rapoport and T. Yang on the construction of generating series whose coefficients are the classes of special divisors and 0-cycles on the arithmetic surfaces attached to Shimura curves. These...

Joint BCOV/Hodge-de Rham Reading Group

Mar
17
2017

Joint BCOV/Hodge-de Rham Reading Group

Calabi-Yau geometry and quantum B-model
2:00pm

We discuss the Kadaira-Spencer gauge theory (or BCOV theory) on Calabi-Yau geometry. We explain Givental's loop space formalism at cochain level which leads to a degenerate BV theory on Calabi-Yau manifolds. Homotopic BV quantization together with a...

Joint Biology/Mathematics Seminar

Mar
18
2010

Joint Biology/Mathematics Seminar

Images of Life: Exploring Plant Development with Visual Models and Simulations
Przemyslaw Prusinkiewicz
4:30pm|Bloomberg Lecture Hall

Recent imaging techniques for acquiring and processing microscopic data, combined with computational models and simulations, are leading to a mechanistic understanding of the development of patterns and forms in plants. This presentation will focus...

Joint IAS/Columbia/Bendersky-Gitler Symplectic Geometry Seminar

Mar
20
2015

Joint IAS/Columbia/Bendersky-Gitler Symplectic Geometry Seminar

Nearby Lagrangians are simply homotopic
1:30pm|Jadwin A10, Princeton University

This is a report on joint work in progress with T. Kragh, wherein we prove that a closed exact Lagrangian in a cotangent bundle is simply homotopy equivalent to the base. I will explain the two main ingredients of the proof: (i) realising the...

Mar
20
2015

Joint IAS/Columbia/Bendersky-Gitler Symplectic Geometry Seminar

Non-Hamiltonian actions with isolated fixed points
Sue Tolman
2:45pm|Jadwin A10, Princeton University

Let a circle act symplectically on a closed symplectic manifold $M$. If the action is Hamiltonian, we can pass to the reduced space; moreover, the fixed set largely determines the cohomology and Chern classes of $M$. In particular, symplectic circle...

Joint IAS/PNI Seminar on ML and Neuroscience

Oct
01
2019

Joint IAS/PNI Seminar on ML and Neuroscience

A geometric data structure from neuroscience
12:00pm|White-Levy

An intriguing primitive representation, "expand-and-sparsify", appears in the olfactory system of the fly and the sensory systems of several other organisms. It maps an input vector to a much higher-dimensional sparse representation, using a random...

Dec
03
2019

Joint IAS/PNI Seminar on ML and Neuroscience

A distributional code for value in dopamine-based reinforcement learning
Matthew Botvinick
3:00pm|Princeton Neuroscience Institute, Room A32

Twenty years ago, a link was discovered between the neurotransmitter dopamine and the computational framework of reinforcement learning. Since then, it has become well established that dopamine release reflects a reward prediction error, a surprise...

Jan
14
2020

Joint IAS/PNI Seminar on ML and Neuroscience

Compositional inductive biases in human function learning
Samuel J. Gershman
12:00pm|Dilworth Room

This talk presents evidence that humans learn complex functions by harnessing compositionality: complex structure is decomposed into simpler building blocks. I formalize this idea in the framework of Bayesian nonparametric regression using a grammar...

Feb
18
2020

Joint IAS/PNI Seminar on ML and Neuroscience

Compositional generalization in minds and machines
Brenden Lake
4:00pm|Princeton Neurosciences Institute: Room A32

People learn in fast and flexible ways that elude the best artificial neural networks. Once a person learns how to “dax,” they can effortlessly understand how to “dax twice” or “dax vigorously” thanks to their compositional skills. In this talk, we...

Joint IAS/Princeton Arithmetic Geometry Seminar

Feb
06
2023

Joint IAS/Princeton Arithmetic Geometry Seminar

Conditional Computability of Rational Points on Hyperbolic Curves
Levent Alpöge
4:30pm|Princeton University, Fine Hall 314

In this talk, I will specify a Turing machine T and prove the following about it. 1. On input C/K a smooth projective hyperbolic curve over a number field, if T halts, then its output is C(K). 2. The Hodge, Tate, and Fontaine-Mazur conjectures imply...

Feb
20
2023

Joint IAS/Princeton Arithmetic Geometry Seminar

Diffracting prismatic envelopes
Arthur Ogus
4:30pm|Princeton University, Fine Hall 314

Let X/k be a smooth scheme over a perfect field k of characteristic p > 0 and let W be the Witt ring of k. Inspired by Drinfeld’s “stacky” approach to prismatic cohomology, Bhatt, Lurie, and others have shown that a lifting of X/k to W induces a...

Mar
06
2023

Joint IAS/Princeton Arithmetic Geometry Seminar

p-adic analogue of Borel's theorem
Ananth Shankar
4:30pm|Princeton University, Fine Hall 314

Borel proved that any holomorphic map from an affine complex algebraic curve to a Shimura variety (with sufficient level structure) must be algebraic. We will discuss a p-adic analogue of this theorem. This is joint work with Abhishek Oswal and...

Apr
03
2023

Joint IAS/Princeton Arithmetic Geometry Seminar

Functions on the Commuting Scheme Via Langlands Duality
4:00pm|Princeton University, Fine Hall 314

I will explain how ideas from the (geometric) Langlands program help solve the following purely algebraic problem: describe the ring of conjugation-invariant functions on the scheme of commuting pairs in a complex reductive group. The answer was...

Oct
09
2023

Joint IAS/Princeton Arithmetic Geometry Seminar

Irregular Loci in the Emerton-Gee Stack for GL2
3:30pm|Simonyi Hall 101 and Remote Access

Let K be a finite extension of Qp. The Emerton-Gee stack for GL2 is a stack of etale (phi, Gamma)-modules of rank two. Its reduced part, X, is an algebraic stack of finite type over a finite field, and can be viewed as a moduli stack of two...

Oct
30
2023

Joint IAS/Princeton Arithmetic Geometry Seminar

Shimurian Generalizations of Truncated Barsotti-Tate Groups (after V. Drinfeld)
4:30pm|Princeton University, Fine Hall 314

In a recent article, Vladimir Drinfeld proposed (using prismatic F-gauges) new "Shimurian" analogs of the stack of n-truncated Barsotti-Tate groups. I will give an overview of Drinfeld’s work and the relation to the prismatic Dieudonné theory of...

Nov
06
2023

Joint IAS/Princeton Arithmetic Geometry Seminar

What is the K-theory of the Complex Numbers?
Dustin Clausen
4:30pm|Simonyi Hall 101 and Remote Access

I will explain what the question means and how to make it precise. Then I will give a conjectural answer. This is based on joint work with Peter Scholze.

Nov
20
2023

Joint IAS/Princeton Arithmetic Geometry Seminar

Algebraic K-theory of Rings of Continuous Functions
Ko Aoki
4:30pm|Simonyi Hall 101 and Remote Access

Recent interactions between condensed mathematics and K-theory have led us to revisit the topic of (nonconnective) algebraic K-theory of topological algebras. In this talk, among recent developments, I will focus on the ring of continuous functions...

Nov
27
2023

Joint IAS/Princeton Arithmetic Geometry Seminar

Duality for 𝑝-adic Proétale Cohomology of Stein Spaces
4:30pm|Princeton University, Fine Hall 314

I will discuss duality theorems for p-adic proétale cohomology of rigid analytic Stein spaces, in both arithmetic and geometric cases. This is based on a joint work with Pierre Colmez and Wieslawa Niziol.

Dec
04
2023

Joint IAS/Princeton Arithmetic Geometry Seminar

Mirror Symmetry and the Breuil-Mezard Conjecture
Tony Feng
4:30pm|Simonyi Hall 101 and Remote Access

The Breuil-Mezard Conjecture predicts the existence of hypothetical "Breuil-Mezard cycles" that should govern congruences between mod p automorphic forms on a reductive group G. Most of the progress thus far has been concentrated on the case G = GL...

Dec
11
2023

Joint IAS/Princeton Arithmetic Geometry Seminar

Spin Structures on Number Fields
4:30pm|Princeton University, Fine Hall 314

In topology, the choice of a spin structure on an oriented surface gives a quadratic refinement of the intersection form on mod 2 homology. There is a similar story about 3-manifolds. I will report on joint work (in progress) with Artane Siad where...

Jan
22
2024

Joint IAS/Princeton Arithmetic Geometry Seminar

Tangent Bundles in p-adic Geometry
3:30pm|Simonyi Hall 101 and Remote Access

Because of the existence of approximate p-power roots, a perfectoid algebra over Q_p admits no continuous derivations, and thus the natural Kahler tangent space of a perfectoid space over Q_p is identically zero. However, it turns out that many...

Jan
29
2024

Joint IAS/Princeton Arithmetic Geometry Seminar

Intermediate Extension in Arithmetic Statistics
Will Sawin
3:30pm|Fine 322, Princeton University

Davenport-Heilbronn and Bhargava counted cubic, quartic, and quintic fields by first counting a larger set of orbits in some prehomogenous vector space and then sieving out the orbits corresponding to fields. Several mathematicians have studied...

Feb
05
2024

Joint IAS/Princeton Arithmetic Geometry Seminar

Truncated (G,mu)-Displays and Conjectures of Drinfeld
Keerthi Madapusi
3:30pm|Fine 322, Princeton University

We report on proofs of some recent conjectures of Drinfeld on the algebraicity of formal stacks associated with minuscule cocharacters of smooth group schemes over Z_p. These stacks are constructed using the theory of syntomification as developed by...

Feb
19
2024

Joint IAS/Princeton Arithmetic Geometry Seminar

Witt-Differential Operators
Christopher Dodd
3:30pm|Simonyi Hall 101

We describe a new theory of sheaves of rings of differential operators on the Witt-vectors on a smooth scheme characteristic p. Roughly speaking, these sheaves are to the de Rham-Witt complex as the usual sheaf of differential operators is to the de...

Feb
26
2024

Joint IAS/Princeton Arithmetic Geometry Seminar

Prismatization and the Image of the J-homomorphism
3:30pm|Fine 322, Princeton University

For p a prime number, Bhatt–Lurie and Drinfeld defined the prismatization of a p-complete commutative ring R. I will overview a different perspective on prismatization, using homotopy theory and in particular topological Hochschild homology. This...

Mar
04
2024

Joint IAS/Princeton Arithmetic Geometry Seminar

Pro-Etale Cohomology of Rigid-Analytic Spaces
Johannes Anschütz
3:30pm|Simonyi Hall 101 and Remote Access

In this talk I want to explain some surprising features of the pro-etale cohomology of rigid-analytic varieties, and how they can be explained by a six functor formalism with values in solid quasi-coherent sheaves on the Fargues-Fontaine curve. 

This...

Mar
18
2024

Joint IAS/Princeton Arithmetic Geometry Seminar

Towards a Unified Theory of Canonical Heights on Abelian Varieties
Padmavathi Srinivasan
3:30pm|Simonyi Hall 101 and Remote Access

p-adic heights have been a rich source of explicit functions vanishing on rational points on a curve. In this talk, we will outline a new construction of canonical p-adic heights on abelian varieties from p-adic adelic metrics, using p-adic Arakelov...

Apr
01
2024

Joint IAS/Princeton Arithmetic Geometry Seminar

On De Rham Flip-Flopping in Dual Towers
3:30pm|Simonyi Hall 101 and Remote Access

We will discuss de Rham and Hyodo-Kato flip-flopping for dual towers of rigid analytic spaces. The main tools are comparison theorems expressing the two cohomologies as pro-étale cohomologies of corresponding relative period sheaves that, by...

Apr
08
2024

Joint IAS/Princeton Arithmetic Geometry Seminar

Recent Progress on Hodge Loci
Bruno Klingler
3:30pm|Fine 322, Princeton University

Given a quasi projective family S of complex algebraic varieties, its Hodge locus is the locus of points of S where the corresponding variety admits exceptional Hodge classes (conjecturally: exceptional algebraic cycles). In this talk, I will survey...

Apr
22
2024

Joint IAS/Princeton Arithmetic Geometry Seminar

Pointwise Good Reduction Criteria for Local Systems
Ziquan Yang
3:30pm|Fine 322, Princeton University

Let S be a connected smooth rigid analytic variety over a p-adic field K and let T be a p-adic local system over S. A celebrated theorem of Liu and Zhu says that if V is de Rham at one classical point, then V is globally de Rham. When S has good...