i will present some recent joint work with nick boschert and ethan davis where we prove that if $a_1, a_2, \dots, a_n$ are abelian tracial w$^*$-algebras for $2\leq n \leq \infty$ and $m = a_1 * \cdots * a_n$ is their free product, then any subalgebra $\mathcal{a} \subset m$ of the form $\a = \sum_{i=1}^n u_i a_i p_i u_i^*$, for some projections $p_i \in a_i$ and unitaries $u_i \in \mathcal{u}(m)$, for $1 \leq i \leq n$, such that $\sum_i u_i p_i u_i^* = 1$, is freely complemented (fc) in $m$. we also show that any of the known maximal amenable masas $a\subset l\mathbb{f}_n$ satisfy popa's weak fc conjecture, namely there exists a haar unitary in $l\mathbb{f}_n$ that's free independent to $a$.

in this talk, i will discuss some new results on intersection graphs of pseudo-segments in the plane and their applications in graph drawing.  these results are joint work with jacob fox and janos pach.
 

for $(r, r^{+})$ an analytic perfectoid ring in char $p$, let $\mathbf{a}_{\textrm{inf}}(r^{+})$ be the ring of witt vectors with the induced topology from $(r, r^{+})$. we prove that $\textrm{spa}(\mathbf{a}_{\textrm{inf}}(r^{+}),\mathbf{a}_{\textrm{inf}}(r^{+}))$ is a sheafy adic space and its structure sheaf is acyclic. we first show $\mathbf{a}_{\textrm{{inf}}}(r^{+})$ is a stably uniform banach ring. the 'stably uniform implies sheafy' argument is applied to tate huber rings in buzzard-verberkmoes(2015) and is generalized to analytic huber rings in kedlaya(2019). here we show that the 'stably uniform implies sheafy' argument in kedlaya(2019) can be applied to general stably uniform banach rings whose underlying topological ring is a huber ring. finally we show the equivalence of categories of vector bundles over $\textrm{spa}(\mathbf{a}_{\textrm{inf}}(r^{+}),\mathbf{a}_{\textrm{inf}}(r^{+}))$ and finite projective modules over $\mathbf{a}_{\textrm{inf}}(r^{+})$.

the hecke orbit conjecture predicts that hecke symmetries characterize the central foliation on shimura varieties over an algebraically closed field $k$ of characteristic $p$. the conjecture predicts that on the mod $p$ reduction of a shimura variety, any prime-to-p hecke orbit is dense in the central leaf containing it, and was recently proved by a series of nice papers. however, the behavior of hecke correspondences induced by isogenies between abelian varieties in characteristic $p$ and $p$-adically is significantly different from the behavior in characteristic zero and under the topology induced by archimedean valuations. in this talk,  we will formulate a $p$-adic analog of the hecke orbit conjecture and investigate the $p$-adic monodromy of $p$-adic galois representations attached to points of shimura varieties of hodge type. we prove a density theorem for the locus of formal neighborhood associated to the mod $p$ points of the shimura variety whose monodromy is large and use it to deduce the non-where density of hecke orbits under certain circumstances.

[pre-talk at 3:00pm]
 

many classical locally compact groups $g$ admit a very large compact subgroup $k$, where "very large" has been formalized by gelfand in 1950. examples include $g=\mathrm{sl}_n(\mathbb{r})$ with $k=\mathrm{so}(n)$, or $g=\mathrm{sl}_n(\mathbb{q}_p)$ with $k=\mathrm{sl}_n(\mathbb{z}_p)$. more generally, all semi-simple algebraic groups and some tree automorphism groups.

in these explicit examples, there is also an "iwasawa decomposition" which formalizes the fact that $g$ has a homogeneous frustenberg boundary, even homogeneous under $k$. this is a very strong restriction for general groups.

using no structure theory whatsoever, we prove that this homogeneity (and iwasawa decomposition) holds for all gelfand pairs. this implies, in some geometric cases, a classification of gelfand pairs. (this is related to a small part of my 2021 zoom colloquium at ucsd).
 

we consider the range of gaussian analytic functions (gaf) with finite radius of convergence. we show that any unbounded gaf has dense image in the plane. we moreover show that if in addition the coefficients have sufficiently regular variances, then the image is the whole complex plane. we do this by exploiting an approximate connection between the coverage problem and spatial branching processes, analogous to the branching structure that appears in the log-correlated gaf and circular beta ensembles. this answers a long-standing open question of j.-p. kahane, with sufficient regularity.  

joint work with alon nishry.

application of non-abelian chabauty method to diophantine equations

micrometer-sized particles made from responsive polymer networks (that is, responsive microgel colloids) are of high potential for the design of functional soft materials due to their adaptive compressibility and stimuli-triggered volume transition. in this talk, i will discuss models and theoretical approaches, such as langevin simulations and classical (dynamic) density functional theory (dft), to describe the structural and dynamical behavior of dispersions of these responsive colloids in and out of equilibrium. moreover, i will argue that chemical fueling and the inclusion of chemomechanical feedback loops may lead to excitable and oscillatory dynamics of the active colloids, establishing first steps to a well-controlled design of artificial cells and their emergent behavior.

by a pseudo-representation, i mean an umbrella term for several abstractions/generalizations of finite dimensional representations. in my talk, i will discuss two types of pseudo-representations, explain their relevance to number theory, and highlight the relationship between the two. i will conclude by mentioning a few open questions. 

steklov eigenvalues are eigenvalues of the dirichlet-to-neumann operator which are introduced by steklov in 1902 motivated by physics. and there is a deep connection between the extremal steklov eigenvalue problems and the free boundary minimal surface theory in the unit euclidean ball as revealed by fraser and schoen in 2016. in the talk, we will discuss the question of how rare simple steklov eigenvalues are on manifolds and its applications in nodal sets and critical points of eigenfunctions.

different constructions of cohomology allow us to measure different properties of manifolds. to construct either the singular cohomology or the de rham cohomology groups, the representatives of each are distinct things: cochains and closed differential forms. yet the de rham theorem states there is a correspondence between them. and we can see this directly via examples displaying how integration on a manifold is greatly influenced by the manifold’s topology. in this talk, i will cover highlights of the proof of the de rham theorem and show how stokes’ theorem lends itself to defining an explicit homomorphism between the two cohomology groups: de rham and singular. i will also discuss a further direction that this correspondence allows which leads us into hodge theory. 

we will discuss some ongoing work on the subject, specifically in the rank $2$, genus $2$ case. the talk will start with a quick review of existing literature on $m_2$ and some of its étale covers, along with results and constructions involving moduli of rank $2$ bundles. we will go over their generalizations to the universal setting and outline the current plan on using these tools for computing the chow ring.