Consider an algebraic variety $X$ over a base scheme $S$ and a faithful base change $T \to S$. Given an admissible subcategory $\CA$ in the bounded derived category of coherent sheaves on $X$, we construct an admissible subcategory in the bounded derived category of coherent sheaves on the fiber product $X\times_S T$, called the base change of $\CA$, in such a way that the following base change theorem holds: if a semiorthogonal decomposition of the bounded derived category of $X$ is given then the base changes of its components form a semiorthogonal decomposition of the bounded derived category of the fiber product. As an intermediate step we construct a compatible system of semiorthogonal decompositions of the unbounded derived category of quasicoherent sheaves on $X$ and of the category of perfect complexes on $X$. As an application we prove that the projection functors of a semiorthogonal decomposition are kernel functors.

Let M be an irreducible holomorphic symplectic (hyperkähler) manifold. If b 2 (M ) > 5, we construct a deformation M 0 of M which admits a symplectic automorphism of infinite order. This automorphism is hyperbolic, that is, its action on the space of real (1, 1)-classes is hyperbolic. If b 2 (M ) > 14, similarly, we construct a deformation which admits a parabolic automorphism (and many other automorphisms as well).

For each del Pezzo surface S with du Val singularities, we determine whether it admits a (−K S )-polar cylinder or not. If it allows one, then we present an effective Q-divisor D that is Q-linearly equivalent to −K S and such that the open set S\Supp(D) is a cylinder. As a corollary, we classify all the del Pezzo surfaces with du Val singularities that admit non-trivial G a -actions on their affine cones defined by their anticanonical divisors.

We study the derived categories of coherent sheaves on Gushel–Mukai varieties. In the derived category of such a variety, we isolate a special semiorthogonal component, which is a K3 or Enriques category according to whether the dimension of the variety is even or odd. We analyze the basic properties of this category using Hochschild homology, Hochschild cohomology, and the Grothendieck group. We study the K3 category of a Gushel–Mukai fourfold in more detail. Namely, we show this category is equivalent to the derived category of a K3 surface for a certain codimension 1 family of rational Gushel–Mukai fourfolds, and to the K3 category of a birational cubic fourfold for a certain codimension 3 family. The first of these results verifies a special case of a duality conjecture which we formulate. We discuss our results in the context of the rationality problem for Gushel–Mukai varieties, which was one of the main motivations for this work.

We prove that the monodromy group of a reduced irreducible square system of general polynomial equations equals the symmetric group. This is a natural first step towards the Galois theory of general systems of polynomial equations, because arbitrary systems split into reduced irreducible ones upon monomial changes of variables. In particular, our result proves the multivariate version of the Abel--Ruffini theorem: the classification of general systems of equations solvable by radicals reduces to the classification of lattice polytopes of mixed volume 4 (which we prove to be finite in every dimension). We also notice that the monodromy of every general system of equations is either symmetric or imprimitive, similarly to what Sottile and White conjectured in Schubert calculus. The proof is based on a new result of independent importance regarding dual defectiveness of systems of equations: the discriminant of a reduced irreducible square system of general polynomial equations is a hypersurface unless the system is linear up to a monomial change of variables.

In this paper we use the theory of formal moduli problems developed by Lurie in order to study the space of formal deformations of a k-linear 1-category for a eld k. Our main result states that if C is a k-linear 1-category which has a compact generator whose groups of self-extensions vanish for suciently high positive degrees, then every formal deformation of C has zero curvature and moreover admits a compact generator.

Using Auroux's description of Fukaya categories of symmetric products of punctured surfaces, we compute the partially wrapped Fukaya category of the complement of k+1 generic hyperplanes in ℂℙ^n, for k≥n, with respect to certain stops in terms of the endomorphism algebra of a generating set of objects. The stops are chosen so that the resulting algebra is formal. In the case of the complement of (n+2)-generic hyperplanes in ℂP^n (n-dimensional pair-of-pants), we show that our partial wrapped Fukaya category is equivalent to a certain categorical resolution of the derived category of the singular affine variety x_1 x_2 ... x_{n+1}=0. By localizing, we deduce that the (fully) wrapped Fukaya category of n-dimensional pants is equivalent to the derived category of x_1 x_2 ... x_{n+1}=0. We also prove similar equivalences for finite abelian covers of the n-dimensional pair-of-pants.

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.

Let (M, I, J, K, g) be a hyperkähler manifold. Then the complex manifold (M, I) is holomorphic symplectic. We prove that for all real x, y with x^2 + y^2 = 1 except countably many, any finite-energy ( x J + y K )-holomorphic curve with boundary in a collection of I-holomorphic Lagrangians must be constant. By an argument based on the Łojasiewicz inequality, this result holds no matter how the Lagrangians intersect each other. It follows that one can choose perturbations such that the holomorphic polygons of the associated Fukaya category lie in an arbitrarily small neighborhood of the Lagrangians. That is, the Fukaya category is local. We show that holomorphic Lagrangians are tautologically unobstructed. Moreover, the Fukaya A_\infty-algebra of a holomorphic Lagrangian is formal. Our result also explains why the special Lagrangian condition holds without instanton corrections for holomorphic Lagrangians.

We study the moduli spaces of polarised irreducible symplectic manifolds. By a comparison with locally symmetric varieties of orthogonal type of dimension 20, we show that the moduli space of 2d polarised (split type) symplectic manifolds which are deformation equivalent to degree 2 Hilbert schemes of a K3 surface is of general type if d is at least 12.

To resolve some geometric problems we give a new, clear, formulation of Siegel's formula for the number of representationс natural numbers by positive definite quadratic forms of odd rank. It may be expressed either in terms of Zagier L-functions or in terms of the H.~Cohen numbers.

In his work on deformation quantization of algebraic varieties Kontsevich introduced the notion of algebroid as a certain generalization of a sheaf of algebras. We construct algebroids which are given locally by NC-smooth thickenings in the sense of Kapranov, over two classes of smooth varieties: the bases of miniversal families of vector bundles on projective curves, and the bases of miniversal families of quiver representations.

In this paper we study categories O over quantizations of symplectic resolutions admitting Hamiltonian tori actions with finitely many fixed points. In this generality, these categories were introduced by Braden, Licata, Proudfoot and Webster. We establish a family of standardly stratified structures (in the sense of the author and Webster) on these categories O. We use these structures to study shuffling functors of Braden, Licata, Proudfoot and Webster (called cross-walling functors in this paper). Most importantly, we prove that all cross-walling functors are derived equivalences that define an action of the Deligne groupoid of a suitable real hyperplane arrangement.

We introduce relative noncommutative Calabi–Yau structures defined on functors of differential graded categories. Examples arise in various contexts such as topology, algebraic geometry, and representation theory. Our main result is a composition law for Calabi–Yau cospans generalizing the classical composition of cobordisms of oriented manifolds. As an application, we construct Calabi–Yau structures on topological Fukaya categories of framed punctured Riemann surfaces.