There is a conjecture by Colliot-Thelene (about 2005) that under specific hypotheses, a morphism of Q-varieties f : X --> Y has the property that for almost all prime numbers p, the corresponding map X(Q_p) --> Y(Q_p) is surjective. A sharpening of the conjecture was solved by Denef (2016), and later, "if and only if" conditions on f were given by Skorobogatov et al. The plan for the talk is to explain in detail the conjecture and the results mentioned above, and to report on work in progress on a different method to attack the conjecture under quite relaxed hypotheses.

A proper simply connected one-ended metric space is call semi-stable if any two proper rays are properly homotopic.  A finitely presented group is called semi-stable if the universal cover of its presentation 2-complex is semi-stable.  
It is conjectured that every finitely presented group is semi-stable.  We will examine the known results for the cases where the group in question is relatively hyperbolic or CAT(0). 
 

After outlining the principles of Algebraic Quantum Field Theory (AQFT) I will describe the generalization of Hochschild cohomology that is relevant to describing deformations in AQFT. An interaction is described by a cohomology class.

I will discuss a classical six-dimensional superconformal field theory containing a non-abelian tensor multiplet which we recently constructed in arXiv:1712.06623.

This theory satisfies many of the properties of the mysterious (2,0)-theory: non-abelian 2-form potentials, ADE-type gauge structure, reduction to Yang-Mills theory and reduction to M2-brane models. There are still some crucial differences to the (2,0)-theory, but our action seems to be a key stepping stone towards a potential classical formulation of the (2,0)-theory.

I will review in detail the underlying mathematics of categorified gauge algebras and categorified connections, which make our constructions possible.

Algebraic quantum field theories (AQFTs) are traditionally described as functors that assign algebras (of observables) to spacetime regions. These functors are required to satisfy a list of physically motivated axioms such as commutativity of the multiplication for spacelike separated regions. In this talk we will show that AQFTs can be described as algebras over a colored operad. This operad turns out to be interesting as it describes an interpolation between non-commutative and commutative algebraic structures. We analyze our operad from a homotopy theoretical perspective and determine a suitable resolution that describes the commutative behavior up to coherent homotopies. We present two concrete constructions of toy-models of algebras over the resolved operad in terms of (i) forming cochains on diagrams of simplicial sets (or stacks) and (ii) orbifoldization of equivariant AQFTs.