BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Alexander Polishchuk appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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.
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$.
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$.
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$.
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$.
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.
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.
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.
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.
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.
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)$.
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.
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)|$.
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.
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.
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).
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.
Let V be a finite dimensional vector space over a local field. Let us say that a complex function on V is elementary if it is a product of the additive character of a rational function Q on V and multiplicative characters of polynomials on V. In this paper we study when the Fourier transform of an elementary function is elementary. If Q has a nonzero Hessian, a necessary condition for this is that the Legendre transform Q_* of Q is rational. The basic example is a nondegenerate quadratic form. We study such functions Q, give examples, and find all of them such that both Q and Q_* are of the form f(x)/t, where f is a cubic form in many variables (the simplest case after quadratic forms). It turns out that this classification is closely related to Zak's classification of Severi varieties. The second half of the paper is devoted to finding and classifying elementary functions with elementary Fourier transforms when Q is a fixed function with rational Q_*. We consider the simplest case when Q is a monomial, and classify combinations of multiplicative characters that can arise. The answer (for real and complex fields) is given in terms of exact covering systems. We also describe examples related to prehomogeneous vector spaces. Finally, we consider examples over p-adic fields, and in particular give a local proof of an integral formula of D.K. that could previously be proved only by a global method.
We define and study the Hochschild (co)homology of the second kind (known also as the Borel-Moore Hochschild homology and the compactly supported Hochschild cohomology) for curved DG-categories. An isomorphism between the Hochschild (co)homology of the second kind of a CDG-category B and the same of the DG-category C of right CDG-modules over B, projective and finitely generated as graded B-modules, is constructed. Sufficient conditions for an isomorphism of the two kinds of Hochschild (co)homology of a DG-category are formulated in terms of the two kinds of derived categories of DG-modules over it. In particular, a kind of "resolution of the diagonal" condition for the diagonal CDG-bimodule B over a CDG-category B guarantees an isomorphism of the two kinds of Hochschild (co)homology of the corresponding DG-category C. Several classes of examples are discussed.
We partially generalize the theory of semihomogeneous bundles on an abelian variety $A$ developed by Mukai. This involves considering abelian subvarieties $Y\subset X_A=A\times\hat{A}$ and studying coherent sheaves on $A$ invariant under the action of $Y$. The natural condition to impose on $Y$ is that of being Lagrangian with respect to a certain skew-symmetric biextension of $X_A\times X_A$. We prove that in this case any $Y$-invariant sheaf is a direct sum of several copies of a single coherent sheaf. We call such sheaves Lagrangian-invariant (or LI-sheaves). We also study LI-functors $D^b(A)\to D^b(B)$ associated with kernels in $D^b(A\times B)$ that are invariant with respect to some Lagrangian subvariety in $X_A\times X_B$. We calculate their composition and prove that in characteristic zero it can be decomposed into a direct sum of LI-functors. In the case $B=A$ this leads to an interesting central extension of the group of symplectic automorphisms of $X_A$ in the category of abelian varieties up to isogeny.
We define and study a gluing procedure for Bridgeland stability conditions in the situation when a triangulated category has a semiorthogonal decomposition. As an application we construct stability conditions on the derived categories of ${\mathbb{Z}}_2$-equivariant sheaves associated with ramified double coverings of ${\mathbb{P}}^3$. Also, we study the stability space for the derived category of ${\mathbb{Z}}_2$-equivariant coherent sheaves on a smooth curve $X$, associated with a degree 2 map $X\to Y$, where $Y$ is another smooth curve. In the case when the genus of $Y$ is $\geq 1$ we give a complete description of the stability space.
We study matrix factorizations of a section W of a line bundle on an algebraic stack. We relate the corresponding derived category (the category of D-branes of type B in the Landau-Ginzburg model with potential W) with the singularity category of the zero locus of W generalizing a theorem of Orlov. We use this result to construct push-forward functors for matrix factorizations with relatively proper support.
We compute explicitly the A-infinity structure on the Ext-algebra of the collection $({\mathcal O}_C, L)$, where $L$ is a line bundle of degree 1 on an elliptic curve $C$. The answer involves higher derivatives of Eisenstein series.