For the integral canonical model $\mathscr{S}_{\mathsf{K}^p}$ of a Shimura variety $\mathrm{Sh}_{\mathsf{K}_0\mathsf{K}^p}(\mathbf{G},\mathbf{X})$ of abelian type at hyperspecial level $K_0=\mathcal{G}(\mathbb{Z}_p)$, we construct a prismatic $F$-gauge model for the `universal' $\mathcal{G}(\mathbb{Z}_p)$-local system on $\mathrm{Sh}_{\mathsf{K}_0\mathsf{K}^p}(\mathbf{G},\mathbf{X})$. We use this to obtain several new results about the $p$-adic geometry of Shimura varieties, notably an abelian-type analogue of the Serre--Tate deformation theorem (realizing an expectation of Drinfeld in the abelian-type case) and a prismatic characterization of these models at individual level.

We develop the Tannakian theory of (analytic) prismatic $F$-crystals on a smooth formal scheme $\mathfrak{X}$ over the ring of integers of a discretely valued field with perfect residue field. Our main result gives an equivalence between the $\mathcal{G}$-objects of prismatic $F$-crystals on $\mathfrak{X}$ and $\mathcal{G}$-objects on a newly-defined category of $\mathbb{Z}_p$-local systems on $\mathfrak{X}_\eta$: those of prismatically good reduction. Additionally, we develop a shtuka realization functor for (analytic) prismatic $F$-crystals on $p$-adic (formal) schemes and show it satisfies several compatibilities with previous work on the Tannakian theory of shtukas over such objects.

This paper gives an overview of the various approaches towards F_1-geometry. In a first part, we review all known theories in literature so far, which are: Deitmar's F_1-schemes, To\"en and Vaqui\'e's F_1-schemes, Haran's F-schemes, Durov's generalized schemes, Soul\'e's varieties over F_1 as well as his and Connes-Consani's variations of this theory, Connes and Consani's F_1-schemes, the author's torified varieties and Borger's Lambda-schemes. In a second part, we will tie up these different theories by describing functors between the different F_1-geometries, which partly rely on the work of others, partly describe work in progress and partly gain new insights in the field. This leads to a commutative diagram of F_1-geometries and functors between them that connects all the reviewed theories. We conclude the paper by reviewing the second author's constructions that lead to realization of Tits' idea about Chevalley groups over F_1.

These are lecture notes prepared for a minicourse given at the Cimpa Research School "Algebraic and geometric aspects of representation theory", held in Curitiba, Brazil in March 2013. The purpose of the course is to provide an introduction to the study of representations of braid groups. Three general classes of representations of braid groups are considered: homological representations via mapping class groups, monodromy representations via the Knizhnik-Zamolodchikov connection, and solutions of the Yang-Baxter equation via braided bialgebras. Some of the remarkable relations between these three different constructions are described.

For a simple Lie algebra $\mathfrak{g}$ and an irreducible faithful representation $\pi$ of $\mathfrak{g}$, we introduce the Schur polynomials of $(\mathfrak{g},\pi)$-type. We then derive the Sato-Zhou type formula for tau functions of the Drinfeld-Sokolov (DS) hierarchy of $\mathfrak{g}$-type. Namely, we show that the tau functions are linear combinations of the Schur polynomials of $(\mathfrak{g},\pi)$-type with the coefficients being the Plücker coordinates. As an application, we provide a way of computing polynomial tau functions for the DS hierarchy. For $\mathfrak{g}$ of low rank, we give several examples of polynomial tau functions, and use them to detect bilinear equations for the DS hierarchy.

We give a complete classification of topological field theories with reflection structure and spin-statistics in one and two spacetime dimensions. Our answers can be naturally expressed in terms of an internal fermionic symmetry group $G$ which is different from the spacetime structure group. Fermionic groups encode symmetries of systems with fermions and time reversing symmetries. We show that 1-dimensional topological field theories with reflection structure and spin-statistics are classified by finite dimensional hermitian representations of $G$. In spacetime dimension two we give a classification in terms strongly $G$-graded stellar Frobenius algebras. Our proofs are based on the cobordism hypothesis. Along the way, we develop some useful tools for the computation of homotopy fixed points of 2-group actions on bicategories.

We give a natural construction of unramified over Z framed mixed Tate motives, whose periods are the multiple zeta values. Namely, for each convergent multiple zeta-value we define two boundary divisors A and B in the moduli space M_{0,n+3} of stable curves of genus zero. The corresponding multiple zeta-motive is the n-th cohomology of the pair (M_{0,n+3} -A,B).

These are lectures notes for a 4h30 mini-course held in Ulaanbaatar, National University of Mongolia, August 5-7th 2015, at the summer school "Stochastic Processes and Applications". It aims at presenting an introduction to basic results of random matrix theory and some of its motivations, targeted to a large panel of students coming from statistics, finance, etc. Only a small background in probability is required.

We study families of algebraic spaces with a fiberwise $\mathbb{G}_m$-action and prove Braden's theorem on hyperbolic localization for arbitrary base schemes. As an application, we obtain that hyperbolic localization commutes with nearby cycles.

We study a class of meromorphic modular forms characterised by Fourier coefficients that satisfy certain divisibility properties. We present new candidates for these so-called magnetic modular forms, and we conjecture properties that these functions should obey. In particular, we conjecture that magnetic modular forms are closed under the standard operators acting on spaces of modular forms (SL$_2(\mathbb{Z})$ action, Hecke and Atkin-Lehner operators), and that they are characterised by algebraic residues and vanishing period polynomials. We use our conjectures to construct examples of real-analytic modular forms with poles.

We study a 2-functor that assigns to a bimodule category over a finite k-linear tensor category a k-linear abelian category. This 2-functor can be regarded as a category-valued trace for 1-morphisms in the tricategory of finite tensor categories. It is defined by a universal property that is a categorification of Hochschild homology of bimodules over an algebra. We present several equivalent realizations of this 2-functor and show that it has a coherent cyclic invariance. Our results have applications to categories associated to circles in three-dimensional topological field theories with defects. This is made explicit for the subclass of Dijkgraaf-Witten topological field theories.

The Grothendieck-Serre conjecture predicts that every generically trivial torsor under a reductive group $G$ over a regular semilocal ring $R$ is trivial. We establish this for unramified $R$ granted that $G^{\mathrm{ad}}$ is totally isotropic, that is, has a "maximally transversal" parabolic $R$-subgroup. We also use purity for the Brauer group to reduce the conjecture for unramified $R$ to simply connected $G$--a much less direct such reduction of Panin had been a step in solving the equal characteristic case of Grothendieck-Serre. We base the group-theoretic aspects of our arguments on the geometry of the stack $\mathrm{Bun}_G$, instead of the affine Grassmannian used previously, and we quickly reprove the crucial weak $\mathbb{P}^1$-invariance input: for any reductive group $H$ over a semilocal ring $A$, every $H$-torsor $\mathscr{E}$ on $\mathbb{P}^1_A$ satisfies $\mathscr{E}|_{\{t = 0\}} \simeq \mathscr{E}|_{\{t = \infty\}}$. For the geometric aspects, we develop reembedding and excision techniques for relative curves with finiteness weakened to quasi-finiteness, thus overcoming a known obstacle in mixed characteristic, and show that every generically trivial torsor over $R$ under a totally isotropic $G$ trivializes over every affine open of $\mathrm{Spec}(R) \setminus Z$ for some closed $Z$ of codimension $\ge 2$.

In Mulevi\v{c}ius-Runkel, arXiv:2002.00663, it was shown how a so-called orbifold datum $\mathbb{A}$ in a given modular fusion category (MFC) $\mathcal{C}$ produces a new MFC $\mathcal{C}_{\mathbb{A}}$. Examples of these associated MFCs include condensations, i.e. the categories $\mathcal{C}_B^\circ$ of local modules of a separable commutative algebra $B\in\mathcal{C}$. In this paper we prove that the relation $\mathcal{C} \sim \mathcal{C}_{\mathbb{A}}$ on MFCs is the same as Witt equivalence. This is achieved in part by providing one with an explicit construction for inverting condensations, i.e. finding an orbifold datum $\mathbb{A}$ in $\mathcal{C}_B^\circ$ whose associated MFC is equivalent to $\mathcal{C}$. As a tool used in this construction we also explore what kinds of functors $F\colon\mathcal{C}\rightarrow\mathcal{D}$ between MFCs preserve orbifold data. It turns out that $F$ need not necessarily be strong monoidal, but rather a `ribbon Frobenius' functor, which has weak monoidal and weak comonoidal structures, related by a Frobenius-like property.

We consider a polynomial h(x,y) in two complex variables of degree n+1>1 with a generic higher homogeneous part. The rank of the first homology group of its nonsingular level curve h(x,y)=t is n*n. To each 1- form in the variable space and a generator of the homology group one associates the (Abelian) integral of the form along the generator. The Abelian integral is a multivalued function in t. For a fixed canonic tuple of n*n monomial 1- forms we consider the multivalued square matrix function in t whose elements are the Abelian integrals of the forms along the generators. Its determinant does not depend on the choice of the generators in the homology group (up to change of sign, which corresponds to change of generator system that reverses orientation). In 1999 Yu.S.Ilyashenko proved that the determinant of the Abelian integral matrix is a polynomial in t of degree n*n whose zeroes are the critical values of h. We give an explicit formula for the determinant.

Recently, inspired by the Connes-Kreimer Hopf algebra of rooted trees, the second named author introduced rooted tree maps as a family of linear maps on the noncommutative polynomial algebra in two letters. These give a class of relations among multiple zeta values, which are known to be a subclass of the so-called linear part of the Kawashima relations. In this paper we show the opposite implication, that is the linear part of the Kawashima relations is implied by the relations coming from rooted tree maps.

We propose a conjectural explicit formula of generating series of a new type for Gromov--Witten invariants of $\mathbb{P}^1$ of all degrees in full genera.

Taubes' gluing theorems establish the existence of ASD connections on closed, oriented 4-manifolds. We extend these gluing results to the mASD connections of Morgan-Mrowka-Ruberman on oriented 4-manifolds with cylindrical ends. As a corollary, we obtain an ASD-existence result in the presence of degenerate asymptotic flat connections.

We study dynamics of two-dimensional non-abelian gauge theories with N=(0,2) supersymmetry that include N=(0,2) supersymmetric QCD and its generalizations. In particular, we present the phase diagram of N=(0,2) SQCD and determine its massive and low-energy spectrum. We find that the theory has no mass gap, a nearly constant distribution of massive states, and lots of massless states that in general flow to an interacting CFT. For a range of parameters where supersymmetry is not dynamically broken at low energies, we give a complete description of the low-energy physics in terms of 2d N=(0,2) SCFTs using anomaly matching and modular invariance. Our construction provides a vast landscape of new N=(0,2) SCFTs which, for small values of the central charge, could be used for building novel heterotic models with no moduli and, for large values of the central charge, could be dual to AdS_3 string vacua.

Given a topological modular functor $\mathcal{V}$ in the sense of Walker \cite{Walker}, we construct vector bundles over $\bar{\mathcal{M}}_{g,n}$, whose Chern classes define semi-simple cohomological field theories. This construction depends on a determination of the logarithm of the eigenvalues of the Dehn twist and central element actions. We show that the intersection of the Chern class with the $\psi$-classes in $\bar{\mathcal{M}}_{g,n}$ is computed by the topological recursion of \cite{EOFg}, for a local spectral curve that we describe. In particular, we show how the Verlinde formula for the dimensions $D_{\vec{\lambda}}(\mathbf{\Sigma}_{g,n}) = \dim \mathcal{V}_{\vec{\lambda}}(\mathbf{\Sigma}_{g,n})$ is retrieved from the topological recursion. We analyze the consequences of our result on two examples: modular functors associated to a finite group $G$ (for which $D_{\vec{\lambda}}(\mathbf{\Sigma}_{g,n})$ enumerates certain $G$-principle bundles over a genus $g$ surface with $n$ boundary conditions specified by $\vec{\lambda}$), and the modular functor obtained from Wess-Zumino-Witten conformal field theory associated to a simple, simply-connected Lie group $G$ (for which $\mathcal{V}_{\vec{\lambda}}(\mathbf{\Sigma}_{g,n})$ is the Verlinde bundle).

The WDVV equation is satisfied by the genus 0 correlation functions of any topological field theory in two dimensions coupled to topological gravity, and may be used to determine the genus 0 (rational) Gromov-Witten invariants of many projective varieties (as was done for projective spaces by Kontsevich). In this paper, we present an equation of a similar universal nature for genus 1 (elliptic) Gromov-Witten invariants -- however, it is much more complicated than the WDVV equation, and its geometric significance is unclear to us. (Our prove is rather indirect.) Nevertheless, we show that this equation suffices to determine the elliptic Gromov-Witten invariants of projective spaces. In a sequel to this paper, we will prove that this equation is the only one other than the WDVV equation which relates elliptic and rational correlation functions for two-dimensional topological field theories coupled to topological gravity. It is unclear if there are any further equations of this type on the small phase space in higher genus, but we think it unlikely. (The genus 0 and 1 cases are special, since the correlation functions on the small phase space determine those on the large phase space.)