Georgia Institute of Technology College of Sciences

A classical theorem in modern homotopy theory states that functors from finite pointed sets to spaces satisfying certain conditions model infinite loop spaces (Segal 1974). This theorem offers a recognition principle for infinite loop spaces. An analogous theorem for Morel-Voevodsky's motivic homotopy theory has been sought for since its inception. In joint work with Marc Hoyois, Adeel Khan, Vladimir Sosnilo and Maria Yakerson, we provide such a theorem. The category of finite pointed sets is replaced by a category where the objects are smooth schemes and the maps are spans whose "left legs" are finite syntomic maps equipped with a K​-theoretic trivialization of its contangent complex. I will explain what this means, how it is not so different from finite pointed sets and why it was a natural guess. In particular, I will explain some of the requisite algebraic geometry.Time permitting, I will also provide 1) an explicit model for the motivic sphere spectrum as a torsor over a Hilbert scheme and,2) a model for all motivic Eilenberg-Maclane spaces as simplicial ind-smooth schemes.

We use Manolescu's Pin(2)-equivariant Floer homology to study homology cobordisms among Seifert spaces. In particular, we will show that the subgroup of the homology cobordism group generated by Seifert spaces admits a \mathbb{Z}^\infty summand. This is joint work with Irving Dai.

No Combinatorics Seminar, but many others of interest: (a) on Friday [September 29th, 1pm-2pm in Skiles 005] He Guo, will give an ACO Student Seminar on "Packing nearly optimal Ramsey R(3,t) Graphs" (b) on Thursday [September 28th, 11am-12am in Skiles 006] Tom Bohman will give an ACO colloquim talk on "Randomized Controlled Trials for Combinatorial Construction" (c) on Saturday and Sunday [September 30th and October 1st] Atlanta Lecture Series in Combinatorics and Graph Theory XX takes place at Georgia Tech, with featured speaker Paul Seymour

In 1995 Kim famously proved the Ramsey bound $R(3,t) \ge c t^2/\log t$ by constructing an $n$-vertex graph that is triangle-free and has independence number at most $C \sqrt{n \log n}$. We extend this celebrated result, which is best possible up to the value of the constants, by approximately decomposing the complete graph $K_n$ into a packing of such nearly optimal Ramsey $R(3,t)$ graphs. More precisely, for any $\epsilon>0$ we find an edge-disjoint collection $(G_i)_i$ of $n$-vertex graphs $G_i \subseteq K_n$ such that (a) each $G_i$ is triangle-free and has independence number at most $C_\epsilon \sqrt{n \log n}$, and (b) the union of all the $G_i$ contains at least $(1-\epsilon)\binom{n}{2}$ edges. Our algorithmic proof proceeds by sequentially choosing the graphs $G_i$ via a semi-random (i.e., Rödl nibble type) variation of the triangle-free process. As an application, we prove a conjecture in Ramsey theory by Fox, Grinshpun, Liebenau, Person, and Szabó (concerning a Ramsey-type parameter introduced by Burr, Erdös, Lovász in 1976). Namely, denoting by $s_r(H)$ the smallest minimum degree of $r$-Ramsey minimal graphs for $H$, we close the existing logarithmic gap for $H=K_3$ and establish that $s_r(K_3) = \Theta(r^2 \log r)$. Based on joint work with Lutz Warnke.