Georgia Institute of Technology College of Sciences

For a group G, stable G-equivariant homotopy theory studies (the stabilizations of) topological spaces with a G-action up to G-homotopy. For a field k, stable motivic homotopy theory studies varieties over k up to (a stable notion of) homotopy where the affine line plays the role of the unit interval. When L/k is a finite Galois extension with Galois group G, there is a functor F from the G-equivariant stable homotopy category to the stable motivic homotopy category of k. If k is the complex numbers (or any algebraically closed characteristic 0 field) and L=k (so G is trivial), then Marc Levine has shown that F is full and faithful. If k is the real numbers (or any real closed field) and L=k[i], we show that F is again full and faithful, i.e., that there is a "copy" of stable C_2-equivariant homotopy theory inside of the stable motivic homotopy category of R. We will explore computational implications of this theorem.This is a report on joint work with Jeremiah Heller.

We will outline the proof that gives a positive solution to Weaver's conjecture $KS_2$. That is, we will show that any isotropic collection of vectors whose outer products sum to twice the identity can be partitioned into two parts such that each part is a small distance from the identity. The distance will depend on the maximum length of the vectors in the collection but not the dimension (the two requirements necessary for Weaver's reduction to a solution of Kadison--Singer). This will include introducing a new technique for establishing the existence of certain combinatorial objects that we call the "Method of Interlacing Polynomials." This talk is intended to be accessible by a general mathematics audience, and represents joint work with Dan Spielman and Nikhil Srivastava.

We study the asymptotic behaviors of the pairwise angles among n randomly and uniformly distributed unit vectors in p-dimensional spaces as the number of points n goes to infinity, while the dimension p is either fixed or growing with n. For both settings, we derive the limiting empirical distribution of the random angles and the limiting distributions of the extreme angles. The results reveal interesting differences in the two settings and provide a precise characterization of the folklore that ``all high-dimensional random vectors are almost always nearly orthogonal to each other". Applications to statistics and connections with some open problems in physics and mathematics are also discussed. This is a joint work with Tony Cai and Jianqing Fan.

The mapping class group of a surface is a quotient of the group of orientation preserving diffeomorphisms. However the mapping class group generally can't be lifted to the group of diffeomorphisms, and even many subgroups can't be lifted. Given a surface S of genus at least 2 and a marked point z, the fundamental group of S naturally injects to a subgroup of MCG(S,z). I will present a result of Bestvina-Church-Souto that this subgroup can't be lifted to the diffeomorphisms fixing z.