L6

Multiple zeta values are generalizations of the special values of Riemann's zeta function at positive integers. They satisfy a large number of algebraic relations some of which were already known to Euler. More recently, the interpretation of multiple zeta values as periods of mixed Tate motives has led to important new results. However, this interpretation seems insufficient to explain the occurrence of several phenomena related to modular forms.

The aim of this talk is to describe an analog of multiple zeta values for complex elliptic curves introduced by Enriquez. We will see that these define holomorphic functions on the upper half-plane which degenerate to multiple zeta values at cusps. If time permits, we will explain how some of the rather mysterious modular phenomena pertaining to multiple zeta values can be interpreted directly via the algebraic structure of their elliptic analogs.

I will describe an extremely easy construction with formal group laws, and a 
slightly more subtle argument to show that it can be done in a coordinate-free
way with formal groups.  I will then describe connections with a range of other
phenomena in stable homotopy theory, although I still have many more 
questions than answers about these.  In particular, this should illuminate the
relationship between the Lambda algebra and the Dyer-Lashof algebra at the
prime 2, and possibly suggest better ways to think about related things at 
odd primes.  The Morava K-theory of symmetric groups is well-understood
if we quotient out by transfers, but somewhat mysterious if we do not pass
to that quotient; there are some suggestions that dilation will again be a key
ingredient in resolving this.  The ring $MU_*(\Omega^2S^3)$ is another
object for which we have quite a lot of information but it seems likely that 
important ideas are missing; dilation may also be relevant here.
 

The lower central series of a group $G$ is defined by $\gamma_1=G$ and $\gamma_n = [G,\gamma_{n-1}]$. The "dimension series", introduced by Magnus, is defined using the group algebra over the integers: $\delta_n = \{g: g-1\text{ belongs to the $n$-th power of the augmentation ideal}\}$.

It has been, for the last 80 years, a fundamental problem of group theory to relate these two series. One always has $\delta_n\ge\gamma_n$, and a conjecture by Magnus, with false proofs by Cohn, Losey, etc., claims that they coincide; but Rips constructed an example with $\delta_4/\gamma_4$ cyclic of order 2. On the positive side, Sjogren showed that $\delta_n/\gamma_n$ is always a torsion group, of exponent bounded by a function of $n$. Furthermore, it was believed (and falsely proven by Gupta) that only $2$-torsion may occur.
In joint work with Roman Mikhailov, we prove however that for every prime $p$ there is a group with $p$-torsion in some quotient $\delta_n/\gamma_n$.
Even more interestingly, I will show that the dimension quotient $\delta_n/gamma_n$ is related to the difference between homotopy and homology: our construction is fundamentally based on the order-$p$ element in the homotopy group $\pi_{2p}(S^2)$ due to Serre.
 

 In the late seventies, Casson and Gordon developed several knot invariants that obstruct a knot from being slice, i.e. from bounding a disc in the 4-ball. In this talk, we use twisted Blanchfield pairings to define twisted generalisations of the Levine-Tristram signature function, and describe their relation to the Casson-Gordon invariants. If time permits, we will present some obstructions to algebraic knots being slice. This is joint work with Maciej Borodzik and Wojciech Politarczyk.

NSOP1 is a class of first order theories containing simple theories, which contains many natural examples that somehow slip-out of the simple context.

As in simple theories, NSOP1 theories admit a natural notion of independence dubbed Kim-independence, which generalizes non-forking in simple theories and satisfies many of its properties.

In this talk I will explain all these notions, and in particular talk about recent progress (joint with Nick Ramsey) in the study of Kim-independence, showing transitivity and several consequences.

Traditionally, logic was thought of as `principles of right reason'. Early twentieth century philosophy of mathematics focused on the problem of a general foundation for all mathematics. In contrast, the last 70 years have seen model theory develop as the study and comparison of formal theories for studying specific areas of mathematics. While this shift began in work of Tarski, Robinson, Henkin, Vaught, and Morley, the decisive step came with Shelah's stability theory. After this paradigm shift there is a systematic search for a short set of syntactic conditions which divide first order theories into disjoint classes such that models of different theories in the same class have similar mathematical properties. This classification of theories makes more precise the idea of a `tame structure'. Thus, logic (specifically model theory) becomes a tool for organizing and doing mathematics with consequences for combinatorics, diophantine geometry, differential equations and other fields. I will present an account of the last 70 years in model theory that illustrates this shift. This reports material in my recent book published by Cambridge: Formalization without Foundationalism: Model Theory and the Philosophy of Mathematical Practice.

Massless Quantum Field Theories can be described perturbatively by chiral worldsheet models - the so-called Ambitwistor Strings. In contrast to conventional string theory, where loop amplitudes are calculated from higher genus Riemann surfaces, loop amplitudes in the ambitwistor string localise on the non-separating boundary of the moduli space. I will describe the resulting framework for QFT amplitudes from (nodal) Riemann spheres, building up from tree-level to two-loop amplitudes.
 

We discuss shock reflection problem for compressible gas dynamics, von Neumann conjectures on transition between regular and Mach reflections, and existence of regular reflection solutions for potential flow equation. Then we will talk about recent results on uniqueness and stability of regular reflection solutions for potential flow equation in a natural class of self-similar solutions. The approach is to reduce the shock reflection problem to a free boundary problem for a nonlinear elliptic equation, and prove uniqueness by a version of method of continuity. A property of solutions important for the proof of uniqueness is convexity of the free boundary. 

This talk is based on joint works with G.-Q. Chen and W. Xiang.

We continue the study by Melo and Winter [arXiv:1712.01763, 2017] on the possible intersection sizes of a $k$-dimensional subspace with the vertices of the $n$-dimensional hypercube in Euclidean space. Melo and Winter conjectured that all intersection sizes larger than $2^{k-1}$ (the “large” sizes) are of the form $2^{k-1} + 2^i$. We show that this is almost true: the large intersection sizes are either of this form or of the form $35\cdot2^{k-6}$ . We also disprove a second conjecture of Melo and Winter by proving that a positive fraction of the “small” values is missing.

The classical theory of Erdős–Rényi random graphs is concerned primarily with random subgraphs of $K_n$ or $K_{n,n}$. Lately, there has been much interest in understanding random subgraphs of other graph families, such as regular graphs.

We study the following problem: Let $G$ be a $k$-regular bipartite graph with $2n$ vertices. Consider the random process where, beginning with $2n$ isolated vertices, $G$ is reconstructed by adding its edges one by one in a uniformly random order. An early result in the theory of random graphs states that if $G=K_{n,n}$, then with high probability a perfect matching appears at the same moment that the last isolated vertex disappears. We show that if $k = Ω(n)$, then this holds for any $k$-regular bipartite graph $G$. This improves on a result of Goel, Kapralov, and Khanna, who showed that with high probability a perfect matching appears after $O(n \log(n))$ edges have been added to the graph. On the other hand, if $k = o(n / (\log(n) \log (\log(n)))$, we construct a family of $k$-regular bipartite graphs in which isolated vertices disappear long before the appearance of perfect matchings.

Joint work with Roman Glebov and Zur Luria.