Alexander Polishchuk

A Landau-Ginzburg mirror theorem via matrix factorizations

For an in invertible quasihomogeneous singularity $w$ we prove an all-genus mirror theorem establishing an isomorphism between two cohomological field theories. On the $B$ -side it is the Saito-Givental theory given by a certain choice of a primitive form. On the $A$ -side, it is the reduced matrix factorization CohFT for the dual singularity $w^T$ with the maximal diagonal symmetry group.

Compatible Feigin-Odesskii Poisson brackets

We prove that several Feigin-Odesskii Poisson brackets associated with normal elliptic curves in ${\mathbb P}^n$ are compatible if and only if they are contained in a scroll or in a Veronese surface in ${\mathbb P}^5$ (with an exception of one case when $n=3$ ). In the case $n=3$ we determine the quartic corresponding to the Schouten bracket of two (non-compatible) Poisson brackets associated with normal elliptic curves $E_1$ and $E_2$ .

Feigin-Odesskii brackets, syzygies, and Cremona transformations

We identify Feigin-Odesskii brackets $q_{n,1}(C)$ , associated with a normal elliptic curve of degree $n$ , $C\subset {\mathbb P}^{n-1}$ , with the skew-symmetric $n\times n$ matrix of quadratic forms introduced by Fisher in arXiv:1510.04327 in connection with some minimal free resolutions related to the secant varieties of $C$ . On the other hand, we show that for odd $n$ , the generators of the ideal of the secant variety of $C$ of codimension $3$ give a Cremona transformation of ${\mathbb P}^{n-1}$ , generalizing the quadro-cubic Cremona transformation of ${\mathbb P}^4$ . We identify this transformation with the one considered in arXiv:alg-geom/9712022 and find explict formulas for the inverse transformation. We also find polynomial formulas for Cremona transformations from arXiv:alg-geom/9712022 associated with higher rank bundles on $C$ .

Linear subspaces in cubic hypersurfaces

We prove that for any cubic polynomial of slice rank $r$ , the intersection of all linear subspaces of minimal codimension contained in the corresponding hypersurface has codimension $\le r^2+\frac{(r+1)^2}{4}+r$ in the affine space. This is deduced from the following result of independent interest. Consider the intersection $I$ of linear ideals $(P_i)$ in $k[x_1,\ldots,x_n]$ , with $\dim P_i\le r$ . Then the number of quadratic generators of $I$ is $\le r^2$ .

Linear subspaces of minimal codimension in hypersurfaces

Let $k$ be a perfect field and let $X\subset {\mathbb P}^N$ be a hypersurface of degree $d$ defined over $k$ and containing a linear subspace $L$ defined over an algebraic closure $\overline{k}$ with $\mathrm{codim}_{{\mathbb P}^N}L=r$ . We show that $X$ contains a linear subspace $L_0$ defined over $k$ with $\mathrm{codim}_{{\mathbb P}^N}L\le dr$ . We conjecture that the intersection of all linear subspaces (over $\overline{k}$ ) of minimal codimension $r$ contained in $X$ , has codimension bounded above only in terms of $r$ and $d$ . We prove this when either $d\le 3$ or $r\le 2$ .

preprint2020arXiv

Bondal-Orlov Fully Faithfulness Criterion for Deligne-Mumford Stacks

Suppose $F\colon \mathcal{D}(X)\to \mathcal{T}$ is an exact functor from the bounded derived category of coherent sheaves on a smooth projective variety $X$ to a triangulated category $\mathcal{T}$ . If $F$ possesses left and right adjoints, then the Bondal-Orlov criterion gives a simple way of determining if $F$ is fully faithful. We prove a natural extension to the case when $X$ is a smooth and proper DM stack with projective coarse moduli space.

preprint2020arXiv

Homological mirror symmetry for higher dimensional pairs of pants

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 $\mathbb{CP}^n$ , for $k \geq 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 $\mathbb{C}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_1x_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_1x_2...x_{n+1}=0$ . We also prove similar equivalences for finite abelian covers of the $n$ -dimensional pair-of-pants.

A-infinity algebras associated with elliptic curves and Eisenstein-Kronecker series

We compute the A-infinity structure on the self-Ext algebra of the vector bundle $G$ over an elliptic curve of the form $G=\bigoplus_{i=1}^r P_i\oplus \bigoplus_{j=1}^s L_j$ , where $(P_i)$ and $(L_j)$ are line bundles of degrees 0 and 1, respectively. The answer is given in terms of Eisenstein-Kronecker numbers $(e^*_{a,b}(z,w))$ . The A-infinity constraints lead to quadratic polynomial identities between these numbers, allowing to express them in terms of few ones. Another byproduct of the calculation is the new representation for $e^*_{a,b}(z,w)$ by rapidly converging series.

Arithmetic mirror symmetry for genus 1 curves with $n$ marked points

We establish a $\mathbb{Z}[[t_1,\ldots, t_n]]$ -linear derived equivalence between the relative Fukaya category of the 2-torus with $n$ distinct marked points and the derived category of perfect complexes on the $n$ -Tate curve. Specialising to $t_1= \ldots =t_n=0$ gives a $\mathbb{Z}$ -linear derived equivalence between the Fukaya category of the $n$ -punctured torus and the derived category of perfect complexes on the standard (Néron) $n$ -gon. We prove that this equivalence extends to a $\mathbb{Z}$ -linear derived equivalence between the wrapped Fukaya category of the $n$ -punctured torus and the derived category of coherent sheaves on the standard $n$ -gon.

Contracting the Weierstrass locus to a point

We construct an open substack $U\subset\mathcal{M}_{g,1}$ with the complement of codimension $\ge 2$ and a morphism from $U$ to a weighted projective stack, which sends the Weierstrass locus $\mathcal{W}\cap U$ to a point, and maps $\mathcal{M}_{g,1}\setminus\mathcal{W}$ isomorphically to its image. The proof uses alternative birational models of $\mathcal{M}_{g,1}$ and $\mathcal{M}_{g,2}$ from arXiv:1509.07241.

Moduli of curves with nonspecial divisors and relative moduli of $A_\infty$ -structures

In this paper for each $n\ge g\ge 0$ we consider the moduli stack $\widetilde{\mathcal U}^{ns}_{g,n}$ of curves $(C,p_1,\ldots,p_n,v_1,\ldots,v_n)$ of arithmetic genus $g$ with $n$ smooth marked points $p_i$ and nonzero tangent vectors $v_i$ at them, such that the divisor $p_1+\ldots+p_n$ is nonspecial (has no $h^1$ ) and ample. With some mild restrictions on the characteristic we show that it is a scheme, affine over the Grassmannian $G(n-g,n)$ . We also construct an isomorphism of $\widetilde{\mathcal U}^{ns}_{g,n}$ with a certain relative moduli of $A_\infty$ -structures (up to an equivalence) over a family of graded associative algebras parametrized by $G(n-g,n)$ .

preprint2015arXiv

Moduli of curves, Gröbner bases, and the Krichever map

We study moduli spaces of (possibly non-nodal) curves (C,p_1,\ldots,p_n) of arithmetic genus g with n smooth marked points, equipped with nonzero tangent vectors, such that ${\mathcal O}_C(p_1+\ldots+p_n)$ is ample and $H^1({\mathcal O}_C(a_1p_1+\ldots+a_np_n))=0$ for given weights ${\bf a}=(a_1,\ldots,a_n)$ such that $a_i\ge 0$ and $\sum a_i=g$ . We show that each such moduli space $\widetilde{\mathcal U}^{ns}_{g,n}({\bf a})$ is an affine scheme of finite type, and the Krichever map identifies it with the quotient of an explicit locally closed subscheme of the Sato Grassmannian by the free action of the group of changes of formal parameters. We study the GIT quotients of $\widetilde{\mathcal U}^{ns}_{g,n}({\bf a})$ by the natural torus action and show that some of the corresponding stack quotients give modular compactifications of ${\mathcal M}_{g,n}$ with projective coarse moduli spaces. More generally, using similar techniques, we construct moduli spaces of curves with chains of divisors supported at marked points, with prescribed number of sections, which in the case n=1 corresponds to specifying the Weierstrass gap sequence at the marked point.

preprint2014arXiv

A-infinity algebras associated with curves and rational functions on M_{g,g}. I

We consider the natural A-infinity structure on the Ext-algebra $Ext^*(G,G)$ associated with the coherent sheaf $G={\cal O}_C\oplus {\cal O}_{p_1}\oplus...\oplus {\cal O}_{p_n}$ on a smooth projective curve $C$ , where $p_1,...,p_n\in C$ are distinct points. We study the homotopy class of the product $m_3$ . Assuming that $h^0(p_1+...+p_n)=1$ we prove that $m_3$ is homotopic to zero if and only if $C$ is hyperelliptic and the points $p_i$ are Weierstrass points. In the latter case we show that $m_4$ is not homotopic to zero, provided the genus of $C$ is at least 2. In the case $n=g$ we prove that the A-infinity structure is determined uniquely (up to homotopy) by the products $m_i$ with $i\le 6$ . Also, in this case we study the rational map ${\cal M}_{g,g}\to {\Bbb A}^{g^2-2g}$ associated with the homotopy class of $m_3$ . We prove that for $g\ge 6$ it is birational onto its image, while for $g\le 5$ it is dominant. We also give an interpretation of this map in terms of tangents to $C$ in the canonical embedding and in the projective embedding given by the linear series $|2(p_1+...+p_g)|$ .

preprint2014arXiv

Matrix factorizations and Cohomological Field Theories

We give a purely algebraic construction of a cohomological field theory associated with a quasihomogeneous isolated hypersurface singularity W and a subgroup G of the diagonal group of symmetries of W. This theory can be viewed as an analogue of the Gromov-Witten theory for an orbifoldized Landau-Ginzburg model for W/G. The main geometric ingredient for our construction is provided by the moduli of curves with W-structures introduced by Fan, Jarvis and Ruan. We construct certain matrix factorizations on the products of these moduli stacks with affine spaces which play a role similar to that of the virtual fundamental classes in the Gromov-Witten theory. These matrix factorizations are used to produce functors from the categories of equivariant matrix factorizations to the derived categories of coherent sheaves on the Deligne-Mumford moduli stacks of stable curves. The structure maps of our cohomological field theory are then obtained by passing to the induced maps on Hochschild homology. We prove that for simple singularities a specialization of our theory gives the cohomological field theory constructed by Fan, Jarvis and Ruan using analytic tools.

DG-resolutions of NC-smooth thickenings and NC-Fourier-Mukai transforms

We give a construction of NC-smooth thickenings (a notion defined by Kapranov in math/9802041) of a smooth variety equipped with a torsion free connection. We show that a twisted version of this construction realizes all NC-smooth thickenings as 0th cohomology of a differential graded sheaf of algebras, similarly to Fedosov's construction in \cite{Fed}. We use this dg resolution to construct and study sheaves on NC-smooth thickenings. In particular, we construct an NC version of the Fourier-Mukai transform from coherent sheaves on a (commutative) curve to perfect complexes on the canonical NC-smooth thickening of its Jacobian. We also define and study analytic NC-manifolds. We prove NC-versions of some of GAGA theorems, and give a $C^\infty$ -construction of analytic NC-thickenings that can be used in particular for Kahler manifolds with constant holomorphic sectional curvature. Finally, we describe an analytic NC-thickening of the Poincare line bundle for the Jacobian of a curve, and the corresponding Fourier-Mukai functor, in terms of A-infinity structures.

Lefschetz type formulas for dg-categories

We prove an analog of the holomorphic Lefschetz formula for endofunctors of smooth compact dg-categories. We deduce from it a generalization of the Lefschetz formula of V. Lunts that takes the form of a reciprocity law for a pair of commuting endofunctors. As an application, we prove a version of Lefschetz formula proposed by Frenkel and Ngo. Also, we compute explicitly the ingredients of the holomorphic Lefschetz formula for the dg-category of matrix factorizations of an isolated singularity w(x). We apply this formula to get some restrictions on the Betti numbers of a Z/2-equivariant module over k[[x_1,...,x_n]]/(w) in the case when w(-x)=w(x).

Phases of Lagrangian-invariant objects in the derived category of an abelian variety

We continue the study of Lagrangian-invariant objects (LI-objects for short) in the derived category $D^b(A)$ of coherent sheaves on an abelian variety, initiated in arXiv:1109.0527. For every element of the complexified ample cone $D_A$ we construct a natural phase function on the set of LI-objects, which in the case $\dim A=2$ gives the phases with respect to the corresponding Bridgeland stability (see math.AG/0307164). The construction is based on the relation between endofunctors of $D^b(A)$ and a certain natural central extension of groups, associated with $D_A$ viewed as a hermitian symmetric space. In the case when $A$ is a power of an elliptic curve, we show that our phase function has a natural interpretation in terms of the Fukaya category of the mirror dual abelian variety. As a byproduct of our study of LI-objects we show that the Bridgeland's component of the stability space of an abelian surface contains all full stabilities.