We show that affine cones over smooth cubic surfaces do not admit non-trivial Ga-actions.

We introcuce troical characteristic classes of very affine algebraic varieties and compute tropical versions of the simplest Thom polynomials.

We prove effective Nullstellensatz and elimination theorems for difference equations in sequence rings. More precisely, we compute an explicit function of geometric quantities associated to a system of difference equations (and these geometric quantities may themselves be bounded by a function of the number of variables, the order of the equations, and the degrees of the equations) so that for any system of difference equations in variables x=(x_1,…,x_m) and u=(u_1,…,u_r), if these equations have any nontrivial consequences in the x variables, then such a consequence may be seen algebraically considering transforms up to the order of our bound. Specializing to the case of m=0, we obtain an effective method to test whether a given system of difference equations is consistent.

We introduce a new construction of exceptional objects in the derived category of coherent sheaves on a compact homogeneous space of a semisimple algebraic group and show that it produces exceptional collections of the length equal to the rank of the Grothendieck group on homogeneous spaces of all classical groups.

We provide a geometric approach to constructing Lefschetz collections and Landau–Ginzburg homological projective duals from a variation of Geometric Invariant Theory quotients. This approach yields homological projective duals for Veronese embeddings in the setting of Landau–Ginzburg models. Our results also extend to a relative homological projective duality framework.

We present a solution of the algebraic version of Birkhoff Conjecture on integrable billiards. Namely we show that every polynomially integrable real bounded convex planar billiard with smooth boundary is an ellipse. We extend this result to billiards with piecewise-smooth and not necessarily convex boundary on arbitrary two-dimensional surface of constant curvature: plane, sphere, Lobachevsky (hyperbolic) plane; each of them being modeled as a plane or a (pseudo-) sphere in ℝ3 equipped with appropriate quadratic form. Namely, we show that a billiard is polynomially integrable, if and only if its boundary is a union of confocal conical arcs and appropriate geodesic segments. We also present a complexification of these results. These are joint results of Mikhail Bialy, Andrey Mironov and the author. The proof is split into two parts. The first part is given by Bialy and Mironov in their two joint papers. They considered the tautological projection of the boundary to ℝℙ2 and studied its orthogonal-polar dual curve, which is piecewise algebraic, by S.V.Bolotin's theorem. By their arguments and another Bolotin's theorem, it suffices to show that each non-linear complex irreducible component of the dual curve is a conic. They have proved that all its singularities and inflection points (if any) lie in the projectivized zero locus of the corresponding quadratic form on ℂ3. The present paper provides the second part of the proof: we show that each above irreducible component is a conic and finish the solution of the Algebraic Birkhoff Conjecture in constant curvature.

Drinfeld Zastava is a certain closure of the moduli space of maps from the projective line to the Kashiwara flag scheme of the affine Lie algebra of the special linear group. We introduce an affine, reduced, irreducible, normal quiver variety Z isomorphic to the zastava space. The natural Poisson structure on the zastava space can be described on Z in terms of Hamiltonian reduction of a certain Poisson subvariety of the dual space of a (nonsemisimple) Lie algebra. The quantum Hamiltonian reduction of the corresponding quotient of its universal enveloping algebra produces a quantization Y of the coordinate ring of Z. The same quantization was obtained in the finite (as opposed to the affine) case generically in the work of Gerasimov-Lebedev-Oblezin. We prove that, for generic values of quantization parameters, Y is a quotient of the affine Borel Yangian.

algebra $\hat{sl}_n$. We introduce an affine, reduced, irreducible, normal quiver variety $Z$ which maps to the Zastava space bijectively at the level of complex points. The natural Poisson structure on the Zastava space can be described on $Z$ in terms of Hamiltonian reduction of a certain Poisson subvariety of the dual space of a (nonsemisimple) Lie algebra. The quantum Hamiltonian reduction of the corresponding quotient of its universal enveloping algebra produces a quantization $Y$ of the coordinate ring of $Z$. The same quantization was obtained in the finite (as opposed to the affine) case generically in arXiv:math/0409031. We prove that, for generic values of quantization parameters, $Y$ is a quotient of the affine Borel Yangian.

We consider the derived category of coherent sheaves on a complex vector space equivariant with respect to an action of a finite reflection group G. In some cases, including Weyl groups of type A, B, G_2, F_4, as well as the groups G(m,1,n), we construct a semiorthogonal decomposition of this category, indexed by the conjugacy classes of G. The pieces of this decompositions are equivalent to the derived categories of coherent sheaves on the quotient-spaces V^g/C(g), where C(g) is the centralizer subgroup of g in G. In the case of the Weyl groups the construction uses some key results about the Springer correspondence, due to Lusztig, along with some formality statement generalizing a result of Deligne. We also construct global analogs of some of these semiorthogonal decompositions involving derived categories of equivariant coherent sheaves on C^n, where C is a smooth curve.