Publications

For a geometrically rational surface X over a perfect field of characteristic different from 2 that contains all roots of 1, we show that either X is birational to a product of a projective line and a conic, or the group of birational automorphisms of X has bounded finite subgroups. As an auxiliary result, we show boundedness of finite subgroups in anisotropic linear algebraic groups of bounded rank and number of connected components. Also, we provide applications to Jordan property for groups of birational automorphisms.

Given a relatively projective birational morphism f : X → Y of smooth algebraic spaces with dimension of fibers bounded by 1, we construct tilting relative (over Y) generators TX,f and S_X,f in D^b(X). We develop a piece of general theory of strict admissible lattice filtrations in triangulated categories and show that D^b(X) has such a filtration L where the lattice is the set of all birational decompositions f : X −→^g Z  −→^h Y with smooth Z. The t-structures related to T_X,f and S_X,f are proved to be glued via filtrations left and right dual to L. We realise all such Z as the fine moduli spaces of simple quotients of O_X in the heart of the t-structure for which S_X,g is a relative projective generator over Y . This implements the program of interpreting relevant smooth contractions of X in terms of a suitable system of t-structures on D^b(X).

For a simply connected, connected, semisimple complex algebraic group G, we dene two geometric crystals on the A-cluster variety of double Bruhat cell B\cap \ Bw_0B. These crystals are related by the duality . We dene the graded Donaldson-Thomas correspondence as the crystal bijection between these crystals. We show that this correspondence is equal to the composition of the cluster cham- ber Ansatz, the inverse generalized geometric RSK-correspondence, and transposed twist map due to Berenstein and Zelevinsky.

We prove that the derived category D(C) of a generic curve of genus greater than one embeds into the derived category D(M) of the moduli space M of rank two stable bundles on C with fixed determinant of odd degree.

 

We classify smooth Fano threefolds with infinite automorphism groups.

The construction from [B06], see also [B10], of cohomology classes of compactified moduli spaces of Riemann surfaces, starting from a derivation of associative whose square is nonzero, is generalized to the case of A-infinity algebras. It is shown that the constructed cohomology classes define Cohomological Field Theory.

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.

We give lower bounds for Hodge numbers of smooth well formed Fano weighted complete intersections. In particular, we compute their Hodge complexity, that is, the maximal distance between non-trivial Hodge numbers. This allows us to classify varieties of such type whose Hodge numbers are like that of a projective space, of a curve, or of a Calabi-Yau variety of low dimension.

We verify Katzarkov-Kontsevich-Pantev conjecture for Landau-Ginzburg models of smooth Fano threefolds.

We consider the conjectures of Katzarkov, Kontsevich, and Pantev  about Landau--Ginzburg Hodge numbers associated to tamely compactifiable Landau--Ginzburg models. We test these conjectures in case of dimension two, verifying some and giving a counterexample to the other.

In this paper, we prove that for any A>0 there exist infinitely many primes p for which sums of the Legendre symbols modulo p over an interval of length (ln ⁡p)^A can take large values.

We describe a new large  class of  Lorentzian Kac--Moody algebras. For all ranks, we classify 2-reflective hyperbolic lattices $S$ with the group of 2-reflections of finite volume and with a lattice Weyl vector.  They define the corresponding hyperbolic Kac--Moody algebras of restricted arithmetic type which are graded by S. For most of them, we construct Lorentzian Kac--Moody algebras which give their automorphic corrections: they are graded by the S, have the same simple real roots, but their denominator identities are given by automorphic forms with 2-reflective divisors. We give exact constructions of these automorphic forms as Borcherds products and, in some cases, as additive Jacobi liftings.

 

We compare previously found finite-dimensional matrix and integral operator realizations of the Bailey lemma employing univariate elliptic hypergeometric functions. With the help of residue calculus we explicitly show how the integral Bailey lemma can be reduced to its matrix version. As a consequence, we demonstrate that the matrix Bailey lemma can be interpreted as a star-triangle relation, or as a Coxeter relation for a permutation group.  

In this paper we construct the modular Cauchy kernel $\Xi_N(z_1, z_2)$, i.e. the modular invariant function of two variables, $(z_1, z_2) \in \mathbb{H} \times \mathbb{H}$, with the first order pole on the curve $$D_N=\left\{(z_1, z_2) \in \mathbb{H} \times \mathbb{H}|~ z_2=\gamma z_1, ~\gamma \in \Gamma_0(N)  \right\}.$$    The  function $\Xi_N(z_1, z_2)$ is used in two cases and for two different purposes. Firstly,  we prove generalization of the Zagier theorem (\cite{La}, \cite{Za3}) for the Hecke subgroups $\Gamma_0(N)$ of genus $g>0$. Namely, we obtain a kind of ``kernel function'' for the Hecke operator $T_N(m)$ on the space of the weight 2 cusp forms for $\Gamma_0(N)$, which is the analogue of the Zagier series $\omega_{m, N}(z_1,\bar{z_2}, 2)$. Secondly, we consider an elementary proof of the formula for the infinite Borcherds product of the difference of two normalized Hauptmoduls, ~$J_{\Gamma_0(N)}(z_1)-J_{\Gamma_0(N)}(z_2)$, for genus zero congruence subgroup $\Gamma_0(N)$.

In this paper we construct the modular Cauchy kernel $\Xi_N(z_1, z_2)$, i.e. the modular invariant function of two variables, $(z_1, z_2) \in \mathbb{H} \times \mathbb{H}$, with the first order pole on the curve $$D_N=\left\{(z_1, z_2) \in \mathbb{H} \times \mathbb{H}|~ z_2=\gamma z_1, ~\gamma \in \Gamma_0(N)  \right\}.$$ 

 

The  function $\Xi_N(z_1, z_2)$ is used in two cases and for two different purposes. Firstly,  we prove generalization of the Zagier theorem (\cite{La}, \cite{Za3}) for the Hecke subgroups $\Gamma_0(N)$ of genus $g>0$. Namely, we obtain a kind of ``kernel function'' for the Hecke operator $T_N(m)$ on the space of the weight 2 cusp forms for $\Gamma_0(N)$, which is the analogue of the Zagier series $\omega_{m, N}(z_1,\bar{z_2}, 2)$. Secondly, we consider an elementary proof of the formula for the infinite Borcherds product of the difference of two normalized Hauptmoduls, ~$J_{\Gamma_0(N)}(z_1)-J_{\Gamma_0(N)}(z_2)$, for genus zero congruence subgroup $\Gamma_0(N)$.

In this paper we construct the modular Cauchy kernel on the Hilbert modular surface ΞHil,m(z)(z2−z2¯), i.e. the function of two variables, (z1,z2)∈H×H, which is invariant under the action of the Hilbert modular group, with the first order pole on the Hirzebruch-Zagier divisors. The derivative of this function with respect to z2¯ is the function ωm(z1,z2) introduced by Don Zagier in \cite{Za1}. We consider the question of the convergence and the Fourier expansion of the kernel function. The paper generalizes the first part of the results obtained in the preprint \cite{Sa}

We present an example of modified moduli space of special Bohr-Sommerfeld lagrangian submanifolds for the case when the given algebraic variety is the full flag F3 for C3 and the very ample bundle is K^{-1/2}_{F3}