Previous Conferences & Workshops

Mar
19
2024

Computer Science/Discrete Mathematics Seminar II

Geodesics and Minimal Surfaces in a Random Environment
10:30am|Simonyi Hall 101 and Remote Access

Endow the edges of the $Z^D$ lattice with positive weights, sampled independently from a suitable distribution (e.g., uniformly distributed on [a,b] for some b>a>0). We wish to study the geometric properties of the resulting network, focusing on the...

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...

Mar
18
2024

Members' Colloquium

Sum-of-Squares Proofs, Efficient Algorithms, and Applications
2:00pm|Simonyi 101 and Remote Access

Any non-negative univariate polynomial over the reals can be written as a sum of squares.  This gives a simple-to-verify certificate of non-negativity of the polynomial. Rooted in Hilbert's 17th problem, there's now more than a century's work that...

Mar
18
2024

Symplectic Geometry Seminar

The Shape Invariant for Toric Domains.
Richard Hind
12:30pm|Simonyi 101 and Remote Access

We discuss the shape invariant, a sort of set valued symplectic capacity defined by the Lagrangian tori inside a domain of $R^4$. Partial computations for convex toric domains are sometimes enough to give sharp obstructions to symplectic embeddings...

Mar
18
2024

Computer Science/Discrete Mathematics Seminar I

Computationally Sound Proofs of Network Properties
Rotem Oshman
11:00am|Simonyi 101 and Remote Access

In distributed certification, our goal is to certify that a network has a certain desired property, e.g., the network is connected, or the internal states of its nodes encode a valid spanning tree of the network. To this end, a prover generates...

Mar
15
2024

Special Year Workshop on p-adic Arithmetic Geometry

Multiplicative Polynomial Laws and Commutative Group Schemes
Akhil Mathew
12:00pm|Wolfensohn Hall

Abstract: I'll give an exposition of the theory of "multiplicative polynomial laws," introduced by Roby, and how (following a suggestion of Scholze) they can be applied to the theory of commutative (flat) group schemes. This talk will feature more...

Mar
15
2024

Special Year Workshop on p-adic Arithmetic Geometry

Categorification and Geometry
Lars Hesselholt
10:00am|Wolfensohn Hall

Abstract: The key principle in Grothendieck's algebraic geometry is that every commutative ring be considered as the ring of functions on some geometric object. Clausen and Scholze have introduced a categorification of algebraic and analytic...

Mar
15
2024

Joint IAS/Princeton/Montreal/Paris/Tel-Aviv Symplectic Geometry Zoominar

Quantitative Floer Theory and Coefficients
Yusuke Kawamoto
9:15am|Remote Access

I will discuss how much the choice of coefficients impacts the quantitative information of Floer theory, especially spectral invariants. In particular, I will present some phenomena that are specific to integer coefficients, including an answer to a...

Mar
14
2024

Joint PU/IAS Number Theory

Moments of Quadratic L-Functions Over Function Fields
Adrian Diaconu
4:30pm|*Princeton University, Fine 214*

In 2001, Conrey, Farmer, Keating, Rubinstein, and Snaith developed a "recipe" utilizing heuristic arguments to predict the asymptotics of moments of various families of L-functions. This heuristic was later extended by Andrade and Keating to include...

Mar
14
2024

Special Year Workshop on p-adic Arithmetic Geometry

The Analytic Topology Suffices for the B_dR^+-Grassmannian
Kęstutis Česnavičius
2:00pm|Wolfensohn Hall

Abstract: For a reductive group $G$, its $B_{d}R^{+}$-affine Grassmannian is defined as the étale (equivalently, v-) sheafification of the presheaf quotient $LG/L^{+}G$ of the $B_{d}R$-loop group $LG$ by the $B_{d}R^{+}$-loop subgroup $L^{+}G$. We...