Georgia Institute of Technology College of Sciences

Work of Levin and Przytycki shows that if two non-special rational
functions f and g of degree $> 1 $over $\mathbb{C}$ share the same set of
preperiodic points, there are $m$, $n$, and $r$ such that $f^m g^n = f^r$.
In other words, $f$ and $g$ nearly commute.  One might ask if there are
other sorts of relations non-special rational functions $f$ and $g$ over $\mathbb{C}$
might satisfy when they do not share the same set of preperiodic
points.  We will present a recent proof of Beaumont that shows that

The Ceresa cycle and the Gross—Kudla—Schoen modified diagonal cycle are algebraic $1$-cycles associated to a smooth algebraic curve. They are algebraically trivial for a hyperelliptic curve and non-trivial for a very general complex curve of genus $>2$. Given an algebraic curve, it is an interesting question to study whether the Ceresa and GKS cycles associated to it are rationally or algebraically trivial. In this talk, I will discuss some methods and tools to study this problem

Primitive integral Apollonian circle packings are fractal arrangements of tangent circles with integer curvatures.  The curvatures form an orbit of a 'thin group,' a subgroup of an algebraic group having infinite index in its Zariski closure.  The curvatures that appear must fall into a restricted class of residues modulo 24. The twenty-year-old local-global conjecture states that every sufficiently large integer in one of these residue classes will appear as a curvature in the packing.

Given a modular form $f$, one can construct a measure $\mu_f$ on the modular surface $SL(2,\mathbb{Z})\backslash\mathbb{H}$. The celebrated mass equidistribution theorem of Holowinsky and Soundararajan states that as $k\rightarrow\infty$, the measure $\mu_f$ approaches the uniform measure on the surface. Given a maximal order in a quaternion algebra which is non-split over $\mathbb{Q}$, a maximal order leads to a cocompact subgroup of $R^1\subseteq SL(2,\mathbb{Z})$ where the quotient $R^1\backslash\mathbb{H}$ is a Shimura curve.

This talk is about the arithmetic of points of small canonical height relative to dynamical systems over number fields, particularly those aspects amenable to the use of equidistribution techniques. Past milestones in the subject include the proof of the Bogomolov Conjecture given by Ullmo and Zhang, and Baker-DeMarco's work on the finiteness of common preperiodic points of unicritical maps.

Given an action of a finite group $G$ on a complex vector space $V$, the Chevalley-Shephard-Todd Theorem gives a beautiful characterization for when the quotient variety $V/G$ is smooth. In his 1986 ICM address, Popov asked whether this criterion could be extended to the case of Lie groups. I will discuss my contributions to this problem and some intriguing questions in combinatorics that this raises. This is based on joint work with Dan Edidin.