arXiv subjects
Publications and source records attributed to Alexander Polishchuk.
Generalizing math.AG/0003076 we express universal triple Massey products between line bundles on elliptic curves in terms of Hecke's indefinite theta series. We show that all Hecke's indefinite theta series arise in this way.
We prove that an abelian category equipped with an ample sequence of objects is equivalent to the quotient of the category of coherent modules over the corresponding algebra by the subcategory of finite-dimensional modules. In the Noetherian case a similar result was proved by Artin and Zhang.
We define and study analogues of exponentials for functions on noncommutative two-tori that depend on a choice of a complex structure. The major difference with the commutative case is that our noncommutative exponentials can be defined only for sufficiently small functions. We show that this phenomenon is related to the existence of certain discriminant hypersurfaces in an irrational rotation algebra. As an application of our methods we give a very explicit characterization of connected components in the group of invertible elements of this algebra.
We present a collection of algebraic equivalences between tautological cycles on the Jacobian $J$ of a curve, i.e., cycles in the subring of the Chow ring of $J$ generated by the classes of certain standard subvarieties of $J$. These equivalences are universal in the sense that they hold for all curves of given genus. We show also that they are compatible with the action of the Fourier transform on tautological cycles and compute this action explicitly.
We introduce the moduli stack of pointed curves equipped with effective $r$-spin structures: these are effective divisors $D$ such that $rD$ is a canonical divisor modified at marked points. We prove that this moduli space is smooth and compute its dimension. We also prove that it always contains a component that projects birationally to the locus $S^0$ in the moduli space of $r$-spin curves consisting of $r$-spin structures $L$ such that $h^0(L)\neq 0$. Finally, we study the relation between the locus $S^0$ and Witten's virtual top Chern class.
We study $A_{\infty}$-structures extending the natural algebra structure on the cohomology of $\oplus_n L^n$, where $L$ is a very ample line bundle on a projective $d$-dimensional variety $X$ such that $H^i(X,L^n)=0$ for $0<i<d$ and all $n$. We prove that there exists a unique such nontrivial $A_{\infty}$-structure up to homotopy and rescaling. In the case when $X$ is a curve we also compute the group of self-homotopies of this $A_{\infty}$-structure.
We prove that every holomorphic vector bundle on a noncommutative two-torus $T$ can be obtained by successive extensions from standard holomorphic bundles considered in math.QA/0211262. This implies that the category of holomorphic bundles on $T$ is equivalent to the heart of certain $t$-structure on the derived category of coherent sheaves on an elliptic curve.
We define analogues of homogeneous coordinate algebras for noncommutative two-tori with real multiplication. We prove that the categories of standard holomorphic vector bundles on such noncommutative tori can be described in terms of graded modules over appropriate homogeneous coordinate algebras. We give a criterion for such an algebra to be Koszul and prove that the Koszul dual algebra also comes from some noncommutative two-torus with real multiplication. These results are based on the techniques of math.QA/0211262 allowing to interpret all the data in terms of autoequivalences of the derived categories of coherent sheaves on elliptic curves.
In this paper we study the category of standard holomorphic vector bundles on a noncommutative two-torus. We construct a functor from the derived category of such bundles to the derived category of coherent sheaves on an elliptic curve and prove that it induces an equivalence with the subcategory of stable objects. By the homological mirror symmetry for elliptic curves this implies an equivalence between the derived category of holomorphic bundles on a noncommutative two-torus and the Fukaya category of the corresponding symplectic (commutative) torus.
In the first part of this paper we study minimal representations of simply connected simple split groups of type $D_k$ or $E_k$ over local non-archimedian fields. Our main result is an explicit formula for the spherical vectors in these representations. In the case of real and complex groups such a formula was obtained recently in hep-th/0107222. We also use our techniques to study the structure of the space of smooth vectors in the minimal representation recovering some results of Magaard and Savin. In the second part we consider groups as above defined over a global field. In this situation we describe the form of the automorphic functional on the minimal representation of the corresponding adelic group.
This paper is a sequel to math.AG/0011032. Its goal is to show that Witten's "top Chern class" constructed in loc.cit. satisfies all the axioms of math.AG/9905034.
We show that Fay's trisecant identity follows from the A_{infinity}-constraint between certain triple Massey products in the derived category of coherent sheaves on a curve. We also deduce the matrix analogue of this identity that can be conveniently formulated using quasideterminants of matrices with non-commuting entries. On the other hand, looking at more special triple Massey products we derive a formula for the tangent line to a canonically embedded curve at a given point.
We use A_{infinity}-formalism to study variation of cohomology spaces under formal deformations of coherent sheaves on projective varieties. As an application we describe formal neighborhoods of twisted Brill-Noether loci at some points. Another application is a computation of the Fourier-Mukai transform of some natural line bundles on symmetric powers of a curve.
A theorem of Waldspurger states that the Fourier transform of a stable distribution on the Lie algebra of a simply-connected semisimple group $G$ over a p-adic field, is again stable. We generalize this theorem to representations whose generic stabilizer subgroup is connected and reductive (assuming that $G$ is simple). In this more general situation the Fourier transform of a stable distribution is stable up to a sign that we describe explicitly. The proof is based on the $p$-adic stationary phase principle and on the global techniques introduced by Kottwitz for stabilization of the trace formula. As an application of our main theorem, we find the explicit diagonalization of the gamma-matrix for the prehomogeneous space of symmetric $n\times n$ matrices over a p-adic field (for odd $n$).
The main result of this paper is the proof of the "transversal part" of the homological mirror symmetry conjecture for an elliptic curve which states an equivalence of two $A_{\infty}$-structures on the category of vector bundles on an elliptic curves. The proof is based on the study of $A_{\infty}$-structures on the category of line bundles over an elliptic curve satisfying some natural restrictions (in particular, $m_1$ should be zero, $m_2$ should coincide with the usual composition). The key observation is that such a structure is uniquely determined up to homotopy by certain triple products.
This paper is devoted to the study of the gluing construction for perverse sheaves on $G/U$ introduced by Kazhdan and Laumon ($G$ is a semisimple gourp, $U$ is the unipotent radical of a Borel subgroup in $G$). Kazhdan and Laumon conjectured that all Ext-groups in the glued category are finite-dimensional and that global cohomological dimension is finite. We prove the first part of this conjecture. In the appendix we show that the simple object in the glued category corresponding to the constant sheaf has infinite cohomological dimension, thus disproving the second part of the above conjecture.
We describe a family of $q$-series generating the space of weight 1 modular forms coming from indefinite binary quadratic forms and study linear relations between these series.
We give a construction of Witten's "top Chern class" on the compactified moduli space of curves with higher spin structures and show that it satisfies most of the axioms proposed in math.AG/9905034.