### Book

## Handbook of Moduli. Vol. I

The *Handbook of Moduli,* comprising three volumes, offers a multi-faceted survey of a rapidly developing subject aimed not just at specialists but at a broad community of producers of algebraic geometry, and even at some consumers from cognate areas. The thirty-five articles in the *Handbook,* written by fifty leading experts, cover nearly the entire range of the field. They reveal the relations between these many threads and explore their connections to other areas of algebraic geometry, number theory, differential geometry, and topology. The goals of the *Handbook* are to introduce the techniques, examples, and results essential to each topic, and to say enough about recent developments to provide a gateway to the primary sources. Many articles are original treatments commissioned to bridge gaps in the literature and to make important problems accessible to a wide audience for the first time, and many others illustrate yogas and heuristics that experts use privately to guide intuition or simplify calculation, but that do not appear in published work aimed at other specialists.

This is the first of three volumes constituting the *Handbook of Moduli.*

The name "K3 surfaces" was coined by A. Weil in 1957 when he formulated a research programme for these surfaces and theirmoduli. Since then, irreducible holomorphic symplectic manifolds have been introduced as a higher dimensional analogue of K3 surfaces. In this paper we present a review of this theory starting from the definition of K3 surfaces and going as far as the global Torelli theorem for irreducible holomorphic symplectic manifolds as recently proved by M. Verbitsky. For many years the last open question of Weil's programme was that of the geometric type of the moduli spaces of polarised K3 surfaces. We explain how this problem has been solved. Our method uses algebraic geometry, modular forms and Borcherds automorphic products. We collect and discuss the relevant facts from the theory of modular forms with respect to the orthogonal group O(2,n). We also give a detailed description of quasi pull-back of automorphic Borcherds products. This part contains previously unpublished results. We apply our geometric-automorphic method to study moduli spaces of both polarised K3 surfaces and irreducible symplectic varieties.

Let $A$ be an abelian surface over a finite field $k$. The $k$-isogeny class of $A$ is uniquely determined by a Weil polynomial $f_A$ of degree 4. We give a classification of the groups of $k$-rational points on varieties from this class in terms of $f_A$.

Toric geometry exhibited a profound relation between algebra and topology on one side and combinatorics and convex geometry on the other side. In the last decades, the interplay between algebraic and convex geometry has been explored and used successfully in a much more general setting: first, for varieties with an algebraic group action (such as spherical varieties) and recently for all algebraic varieties (construction of Newton-Okounkov bodies). The main goal of the conference is to survey recent developments in these directions. Main topics of the conference are: Theory of Newton polytopes and Newton-Okounkov bodies; Toric geometry, geometry of spherical varieties, Schubert calculus, geometry of moduli spaces; Tropical geometry and convex geometry; Real algebraic geometry and fewnomial theory; Polynomial vector fields and the Hilbert 16th problem.

Comprising three volumes, this offers a multi-faceted survey of a rapidly developing subject aimed not just at specialists but at a broad community of producers of algebraic geometry, and even at some consumers from cognate areas. The thirty-five articles in the Handbook, written by fifty leading experts, cover nearly the entire range of the field. This is the second of the three volumes and is also available as part of a three volume set.

Let M_{g;n} denote the moduli space of genus g stable algebraic curves with n marked points. It carries the Mumford cohomology classes k_{i}. A homology class in H_{*}(M_{g;n}) is said to be k-zero if the integral of any monomial in the k-classes vanishes on it. We show that any k-zero class implies a partial differential equation for generating series for certain intersection indices on the moduli spaces. The genus homogeneous components of the Witten–Kontsevich potential, as well as of the more general Hodge potential, which include, in addition to psi-classes, intersection indices for lambda-classes, are special cases of these generating series, and the well-known partial differential equations for them are instances of our general construction.

Using the notion of isoclinism introduced by P. Hall for finite p-groups, we show that many important classes of finite p-groups have stable cohomology detected by abelian subgroups (see Theorem 11). Moreover, we show that the stable cohomology of the n-fold wreath product Gn=Z/p≀…≀Z/p of cyclic groups Z/p is detected by elementary abelian p-subgroups and we describe the resulting cohomology algebra explicitly. Some applications to the computation of unramified and stable cohomology of finite groups of Lie type are given.

In this paper a method of constructing a semiorthogonal decomposition of the derived category of *G*-equivariant sheaves on a variety *X* is described, provided that the derived category of sheaves on *X *admits a semiorthogonal decomposition, whose components are preserved by the action of the group *G *on *X*. Using this method, semiorthogonal decompositions of equivariant derived categories were obtained for projective bundles and for blow-ups with a smooth center, and also for varieties with a full exceptional collection, preserved by the action of the group. As a main technical instrument, descent theory for derived categories is used.

I give the explicit formula for the (set-theoretical) system of Resultants of m+1 homogeneous polynomials in n+1 variables

Featuring a blend of original research papers and comprehensive surveys from an international team of leading researchers in the thriving fields of foliation theory, holomorphic foliations, and birational geometry, this book presents the proceedings of the conference "Foliation Theory in Algebraic Geometry," hosted by the Simons Foundation in New York City in September 2013.

We consider (local) parameterizations of Teichmüller space Tg,n (of genus g hyperbolic surfaces with n boundary components) by lengths of 6 g- 6 + 3 n geodesics. We find a large family of suitable sets of 6 g- 6 + 3. n geodesics, each set forming a special structure called "admissible double pants decomposition". For admissible double pants decompositions containing no double curves we show that the lengths of curves contained in the decomposition determine the point of Tg,n up to finitely many choices. Moreover, these lengths provide a local coordinate in a neighborhood of all points of Tg,n{set minus}X where X is a union of 3 g- 3 + n hypersurfaces. Furthermore, there exists a groupoid acting transitively on admissible double pants decompositions and generated by transformations exchanging only one curve of the decomposition. The local charts arising from different double pants decompositions compose an atlas covering the Teichmüller space. The gluings of the adjacent charts are coming from the elementary transformations of the decompositions, the gluing functions are algebraic. The same charts provide an atlas for a large part of the boundary strata in Deligne-Mumford compactification of the moduli space Mg,n.

Let k be a field of characteristic zero, let G be a connected reductive algebraic group over k and let g be its Lie algebra. Let k(G), respectively, k(g), be the field of k- rational functions on G, respectively, g. The conjugation action of G on itself induces the adjoint action of G on g. We investigate the question whether or not the field extensions k(G)/k(G)^G and k(g)/k(g)^G are purely transcendental. We show that the answer is the same for k(G)/k(G)^G and k(g)/k(g)^G, and reduce the problem to the case where G is simple. For simple groups we show that the answer is positive if G is split of type A_n or C_n, and negative for groups of other types, except possibly G_2. A key ingredient in the proof of the negative result is a recent formula for the unramified Brauer group of a homogeneous space with connected stabilizers. As a byproduct of our investigation we give an affirmative answer to a question of Grothendieck about the existence of a rational section of the categorical quotient morphism for the conjugating action of G on itself.

This proceedings publication is a compilation of selected contributions from the “Third International Conference on the Dynamics of Information Systems” which took place at the University of Florida, Gainesville, February 16–18, 2011. The purpose of this conference was to bring together scientists and engineers from industry, government, and academia in order to exchange new discoveries and results in a broad range of topics relevant to the theory and practice of dynamics of information systems. Dynamics of Information Systems: Mathematical Foundation presents state-of-the art research and is intended for graduate students and researchers interested in some of the most recent discoveries in information theory and dynamical systems. Scientists in other disciplines may also benefit from the applications of new developments to their own area of study.

Let G be a connected semisimple algebraic group over an algebraically closed field k. In 1965 Steinberg proved that if G is simply connected, then in G there exists a closed irreducible cross-section of the set of closures of regular conjugacy classes. We prove that in arbitrary G such a cross-section exists if and only if the universal covering isogeny Ĝ → G is bijective; this answers Grothendieck's question cited in the epigraph. In particular, for char k = 0, the converse to Steinberg's theorem holds. The existence of a cross-section in G implies, at least for char k = 0, that the algebra k[G]G of class functions on G is generated by rk G elements. We describe, for arbitrary G, a minimal generating set of k[G]G and that of the representation ring of G and answer two Grothendieck's questions on constructing generating sets of k[G]G. We prove the existence of a rational (i.e., local) section of the quotient morphism for arbitrary G and the existence of a rational cross-section in G (for char k = 0, this has been proved earlier); this answers the other question cited in the epigraph. We also prove that the existence of a rational section is equivalent to the existence of a rational W-equivariant map T- - - >G/T where T is a maximal torus of G and W the Weyl group.