Showing 1–50 of 72 results for author: Borisov, L

Non-existence of phantoms on some non-generic blowups of the projective plane

Authors: Lev Borisov, Kimoi Kemboi

Abstract: We show that blowups of the projective plane at points lying on a smooth cubic curve do not contain phantoms, provided the points are chosen in very general position on this curve. We show that blowups of the projective plane at points lying on a smooth cubic curve do not contain phantoms, provided the points are chosen in very general position on this curve. △ Less

Submitted 2 May, 2024; originally announced May 2024.

Comments: 5 pages

MSC Class: 14F08

Modular curves $X_1(n)$ as moduli spaces of point arrangements and applications

Authors: Lev Borisov, Xavier Roulleau

Abstract: For a complex elliptic curve $E$ and a point $p$ of order $n$ on it, the images of the points $p_k=kp$ under the Weierstrass embedding of $E$ into $\mathbb{C}\mathbb{P}^2$ are collinear if and only if the sum of indices is divisible by $n$. Thus, it provides a realization of a certain matroid. We study this matroid in detail and prove that its realization space is isomorphic (over $\mathbb{C}$) to… ▽ More For a complex elliptic curve $E$ and a point $p$ of order $n$ on it, the images of the points $p_k=kp$ under the Weierstrass embedding of $E$ into $\mathbb{C}\mathbb{P}^2$ are collinear if and only if the sum of indices is divisible by $n$. Thus, it provides a realization of a certain matroid. We study this matroid in detail and prove that its realization space is isomorphic (over $\mathbb{C}$) to the modular curve $X_1(n)$, provided $n\geq 10$, which also provides an integral model of $X_1(n)$. In the process, we find a connection to the classical Ceva and Böröczky examples of special point and line configurations. We also discuss the situation for smaller values of $n$. △ Less

Submitted 5 April, 2024; originally announced April 2024.

Comments: 25 pages, two ancillary files

MSC Class: 14N20; 14G35; 11G05; 14K10; 11Fxx

Asymptotics of immaculate line bundles on smooth toric Deligne-Mumford stacks

Authors: Lev Borisov, Alexander Duncan

Abstract: A line bundle is immaculate if its cohomology vanishes in every dimension. We give a criterion for when a smooth toric Deligne-Mumford stack has infinitely many immaculate line bundles. This answers positively a question of Borisov and Wang. As a byproduct, we describe the asymptotic behaviour of the collection of immaculate line bundles. A line bundle is immaculate if its cohomology vanishes in every dimension. We give a criterion for when a smooth toric Deligne-Mumford stack has infinitely many immaculate line bundles. This answers positively a question of Borisov and Wang. As a byproduct, we describe the asymptotic behaviour of the collection of immaculate line bundles. △ Less

Submitted 25 April, 2024; v1 submitted 5 December, 2023; originally announced December 2023.

Comments: 8 pages

MSC Class: 14M25; 14C20; 14F17

Explicit equations of the fake projective plane $(a=7,p=2,\emptyset,D_3 X_7)$

Authors: Lev Borisov, Mattie Ji, Yanxin Li

Abstract: We find explicit equations of the fake projective plane $(a=7,p=2,\emptyset,D_3 X_7)$, which lies in the same class as the fake projective plane $(a=7,p=2,\emptyset,D_3 2_7)$ with $21$ automorphisms whose equations were previously found by Borisov and Keum. The method involves finding a birational model of a common Galois cover of these two surfaces. We find explicit equations of the fake projective plane $(a=7,p=2,\emptyset,D_3 X_7)$, which lies in the same class as the fake projective plane $(a=7,p=2,\emptyset,D_3 2_7)$ with $21$ automorphisms whose equations were previously found by Borisov and Keum. The method involves finding a birational model of a common Galois cover of these two surfaces. △ Less

Submitted 27 August, 2023; originally announced August 2023.

Comments: 12 pages. The relevant Mathematica, Magma, Macaulay2 codes and equations produced can be found in the ancillary folder and links in the bibliography

MSC Class: 14J29; 14Q10

On the Geometry of a Fake Projective Plane with $21$ Automorphisms

Authors: Lev Borisov, Mattie Ji, Yanxin Li, Sargam Mondal

Abstract: A fake projective plane is a complex surface with the same Betti numbers as $\mathbb{C} P^2$ but not biholomorphic to it. We study the fake projective plane $\mathbb{P}_{\operatorname{fake}}^2 = (a = 7, p = 2, \emptyset, D_3 2_7)$ in the Cartwright-Steger classification. In this paper, we exploit the large symmetries given by… ▽ More A fake projective plane is a complex surface with the same Betti numbers as $\mathbb{C} P^2$ but not biholomorphic to it. We study the fake projective plane $\mathbb{P}_{\operatorname{fake}}^2 = (a = 7, p = 2, \emptyset, D_3 2_7)$ in the Cartwright-Steger classification. In this paper, we exploit the large symmetries given by $\operatorname{Aut}(\mathbb{P}_{\operatorname{fake}}^2) = C_7 \rtimes C_3$ to construct an embedding of this surface into $\mathbb{C} P^5$ as a system of $56$ sextics with coefficients in $\mathbb{Q}(\sqrt{-7})$. For each torsion line bundle $T \in \operatorname{Pic}(\mathbb{P}_{\operatorname{fake}}^2)$, we also compute and study the linear systems $|nH + T|$ with small $n$, where $H$ is an ample generator of the Néron-Severi group. △ Less

Submitted 20 August, 2023; originally announced August 2023.

Comments: 8 pages. The relevant Mathematica, Magma, Macaulay2 codes and equations produced can be found in the ancillary folder and links in the bibliography

MSC Class: 14E25; 14Q10 (Primary) 14C20; 14J29 (Secondary)

Realizing a Fake Projective Plane as a Degree 25 Surface in $\mathbb P^5$

Authors: Lev Borisov, Zachary Lihn

Abstract: Fake projective planes are smooth complex surfaces of general type with Betti numbers equal to that of the usual projective plane. Recent explicit constructions of fake projective planes embed them via their bicanonical embedding in $\mathbb P^9$. In this paper, we study Keum's fake projective plane $(a=7, p=2, \{7\}, D_3 2_7)$ and use the equations of \cite{Borisov} to construct an embedding of f… ▽ More Fake projective planes are smooth complex surfaces of general type with Betti numbers equal to that of the usual projective plane. Recent explicit constructions of fake projective planes embed them via their bicanonical embedding in $\mathbb P^9$. In this paper, we study Keum's fake projective plane $(a=7, p=2, \{7\}, D_3 2_7)$ and use the equations of \cite{Borisov} to construct an embedding of fake projective plane in $\mathbb P^5$. We also simplify the 84 cubic equations defining the fake projective plane in $\mathbb P^9$. △ Less

Submitted 16 March, 2023; v1 submitted 22 January, 2023; originally announced January 2023.

Comments: 11 pages, 1 table. Mathematica, Magma, and Macaulay2 code and key equations from the paper are included in separate files for convenience

MSC Class: 14J29 (Primary) 32Q40 (Secondary)

On Hypergeometric Duality Conjecture

Authors: Lev Borisov, Zengrui Han

Abstract: We give an explicit formula for the duality, previously conjectured by Horja and Borisov, of two systems of GKZ hypergeometric PDEs. We prove that in the appropriate limit this duality can be identified with the inverse of the Euler characteristics pairing on cohomology of certain toric Deligne-Mumford stacks, by way of $Γ$-series cohomology valued solutions to the equations. We give an explicit formula for the duality, previously conjectured by Horja and Borisov, of two systems of GKZ hypergeometric PDEs. We prove that in the appropriate limit this duality can be identified with the inverse of the Euler characteristics pairing on cohomology of certain toric Deligne-Mumford stacks, by way of $Γ$-series cohomology valued solutions to the equations. △ Less

Submitted 3 January, 2023; originally announced January 2023.

Comments: 23 pages

MSC Class: 14M25; 14J32; 14J33; 33C99

Journal ref: Advances in Mathematics, Volume 442 (2024), 109582

On equations of fake projective planes with automorphism group of order $21$

Authors: Lev Borisov

Abstract: We study Dolgachev elliptic surfaces with a double and a triple fiber and find explicit equations of two new pairs of fake projective plane with $21$ automorphisms, thus finishing the task of finding explicit equations of fake projective planes with this automorphism group. This includes, in particular, the fake projective plane discovered by J. Keum. We study Dolgachev elliptic surfaces with a double and a triple fiber and find explicit equations of two new pairs of fake projective plane with $21$ automorphisms, thus finishing the task of finding explicit equations of fake projective planes with this automorphism group. This includes, in particular, the fake projective plane discovered by J. Keum. △ Less

Submitted 27 May, 2023; v1 submitted 5 September, 2021; originally announced September 2021.

Comments: 19 pages + supplemental files

MSC Class: 14J29

Journal ref: Épijournal de Géométrie Algébrique, Volume 7 (May 30, 2023) epiga:8507

Derived Partners of Enriques Surfaces

Authors: Lev Borisov, Vernon Chan, Chengxi Wang

Abstract: Let $V$ be a $6$-dimensional complex vector space with an involution $σ$ of trace $0$, and let $W \subseteq \operatorname{Sym}^2 V^\vee$ be a generic $3$-dimensional subspace of $σ$-invariant quadratic forms. To these data we can associate an Enriques surface as the $σ$-quotient of the complete intersection of the quadratic forms in $W$. We exhibit noncommutative Deligne-Mumford stacks together wi… ▽ More Let $V$ be a $6$-dimensional complex vector space with an involution $σ$ of trace $0$, and let $W \subseteq \operatorname{Sym}^2 V^\vee$ be a generic $3$-dimensional subspace of $σ$-invariant quadratic forms. To these data we can associate an Enriques surface as the $σ$-quotient of the complete intersection of the quadratic forms in $W$. We exhibit noncommutative Deligne-Mumford stacks together with Brauer classes whose derived categories are equivalent to those of the Enriques surfaces. This provides a more accessible treatment of Theorem 6.16 in https://www.ams.org/journals/jams/2021-34-02/S0894-0347-2021-00963-3/ . △ Less

Submitted 22 September, 2021; v1 submitted 17 August, 2021; originally announced August 2021.

Comments: 22 pages

A journey from the octonionic $\mathbb P^2$ to a fake $\mathbb P^2$

Authors: Lev Borisov, Anders Buch, Enrico Fatighenti

Abstract: We discover a family of surfaces of general type with $K^2=3$ and $p=q=0$ as free $C_{13}$ quotients of special linear cuts of the octonionic projective plane $\mathbb O \mathbb P^2$. A special member of the family has $3$ singularities of type $A_2$, and is a quotient of a fake projective plane. We use the techniques of \cite{BF20} to define this fake projective plane by explicit equations in its… ▽ More We discover a family of surfaces of general type with $K^2=3$ and $p=q=0$ as free $C_{13}$ quotients of special linear cuts of the octonionic projective plane $\mathbb O \mathbb P^2$. A special member of the family has $3$ singularities of type $A_2$, and is a quotient of a fake projective plane. We use the techniques of \cite{BF20} to define this fake projective plane by explicit equations in its bicanonical embedding. △ Less

Submitted 21 August, 2020; originally announced August 2020.

Comments: 6 pages + ancillary files

MSC Class: 14J29; 14Q10

New explicit constructions of surfaces of general type

Authors: Lev Borisov, Enrico Fatighenti

Abstract: We discover a simple construction of a four-dimensional family of smooth surfaces of general type with $p_g(S)=q(S)=0$, $K^2_S=3$ with cyclic fundamental group $C_{14}$. We use a degeneration of the surfaces in this family to find (complicated) explicit equations of six new pairs of fake projective planes. Our methods for finding new fake projective planes involve nontrivial computer calculations… ▽ More We discover a simple construction of a four-dimensional family of smooth surfaces of general type with $p_g(S)=q(S)=0$, $K^2_S=3$ with cyclic fundamental group $C_{14}$. We use a degeneration of the surfaces in this family to find (complicated) explicit equations of six new pairs of fake projective planes. Our methods for finding new fake projective planes involve nontrivial computer calculations which we hope will be applicable in other settings. △ Less

Submitted 22 April, 2020; v1 submitted 6 April, 2020; originally announced April 2020.

Comments: 17 pages, supplementary data files available at L.B.'s home page; references added to this version

MSC Class: 14J29 14J29 14J29; 14Q10

On duality of certain GKZ hypergeometric systems

Authors: Lev Borisov, Zengrui Han, Chengxi Wang

Abstract: We study a pair of conjectures on better behaved GKZ hypergeometric systems of PDEs inspired by Homological mirror symmetry for crepant resolutions of Gorenstein toric singularities. We prove the conjectures in the case of dimension two. We study a pair of conjectures on better behaved GKZ hypergeometric systems of PDEs inspired by Homological mirror symmetry for crepant resolutions of Gorenstein toric singularities. We prove the conjectures in the case of dimension two. △ Less

Submitted 9 October, 2019; originally announced October 2019.

Comments: 27 pages, 3 figures

MSC Class: 14M25; 14J32; 14J33; 13D09; 33C99

On strong exceptional collections of line bundles of maximal length on Fano toric Deligne-Mumford stacks

Authors: Lev Borisov, Chengxi Wang

Abstract: We study strong exceptional collections of line bundles on Fano toric Deligne-Mumford stacks $\mathbb{P}_{\mathbfΣ}$ with rank of Picard group at most two. We prove that any strong exceptional collection of line bundles generates the derived category of $\mathbb{P}_{\mathbfΣ}$, as long as the number of elements in the collection equals the rank of the (Grothendieck) $K$-theory group of… ▽ More We study strong exceptional collections of line bundles on Fano toric Deligne-Mumford stacks $\mathbb{P}_{\mathbfΣ}$ with rank of Picard group at most two. We prove that any strong exceptional collection of line bundles generates the derived category of $\mathbb{P}_{\mathbfΣ}$, as long as the number of elements in the collection equals the rank of the (Grothendieck) $K$-theory group of $\mathbb{P}_{\mathbfΣ}$. △ Less

Submitted 16 July, 2019; v1 submitted 1 July, 2019; originally announced July 2019.

Comments: 18 pages, 4 figures. Reference added

MSC Class: 14M25(primary); 14F05; 14C20(secondary)

On $\mathrm{H}-$trivial line bundles on toric DM stacks of dim $\geq3$

Authors: Lev Borisov, Chengxi Wang

Abstract: We study line bundles on smooth toric DM stacks $\mathbb{P}_{\mathbfΣ}$ of arbitrary dimension. A sufficient condition is given for when infinitely many line bundles on $\mathbb{P}_{\mathbfΣ}$ have trivial cohomology. In dimension three, the sufficient condition is also a necessary condition in the case that $\mathbfΣ$ has no more than one pair of collinear rays. We study line bundles on smooth toric DM stacks $\mathbb{P}_{\mathbfΣ}$ of arbitrary dimension. A sufficient condition is given for when infinitely many line bundles on $\mathbb{P}_{\mathbfΣ}$ have trivial cohomology. In dimension three, the sufficient condition is also a necessary condition in the case that $\mathbfΣ$ has no more than one pair of collinear rays. △ Less

Submitted 21 July, 2023; v1 submitted 28 March, 2019; originally announced April 2019.

Comments: 18 pages, 6 figures; minor revision of the previous version

MSC Class: 14M25(primary); 14F05; 14C20(secondary)

Equivariant exceptional collections on smooth toric stacks

Authors: Lev Borisov, Dmitri Orlov

Abstract: We study the bounded derived categories of torus-equivariant coherent sheaves on smooth toric varieties and Deligne-Mumford stacks. We construct and describe full exceptional collections in these categories. We also observe that these categories depend only on the PL homeomorphism type of the corresponding simplicial complex. We study the bounded derived categories of torus-equivariant coherent sheaves on smooth toric varieties and Deligne-Mumford stacks. We construct and describe full exceptional collections in these categories. We also observe that these categories depend only on the PL homeomorphism type of the corresponding simplicial complex. △ Less

Submitted 8 October, 2018; v1 submitted 21 June, 2018; originally announced June 2018.

Comments: updated version, 34 pages

MSC Class: 14F05; 14M25; 55U10

On stringy Euler characteristics of Clifford non-commutative varieties

Authors: Lev Borisov, Chengxi Wang

Abstract: It was shown by Kuznetsov that complete intersections of $n$ generic quadrics in ${\mathbb P}^{2n-1}$ are related by Homological Projective Duality to certain non-commutative (Clifford) varieties which are in some sense birational to double covers of ${\mathbb P}^{n-1}$ ramified over symmetric determinantal hypersurfaces. Mirror symmetry predicts that the Hodge numbers of the complete intersection… ▽ More It was shown by Kuznetsov that complete intersections of $n$ generic quadrics in ${\mathbb P}^{2n-1}$ are related by Homological Projective Duality to certain non-commutative (Clifford) varieties which are in some sense birational to double covers of ${\mathbb P}^{n-1}$ ramified over symmetric determinantal hypersurfaces. Mirror symmetry predicts that the Hodge numbers of the complete intersections of quadrics must coincide with the appropriately defined Hodge numbers of these double covers. We observe that these numbers must be different from the well-known Batyrev's stringy Hodge numbers, else the equality fails already at the level of Euler characteristics. We define a natural modification of stringy Hodge numbers for the particular class of Clifford varieties, and prove the corresponding equality of Euler characteristics in arbitrary dimension. △ Less

Submitted 17 May, 2018; originally announced May 2018.

Comments: 34 pages, 2 figures

MSC Class: 14J33 (Primary); 14A22 (Secondary)

Explicit equations of the Cartwright-Steger surface

Authors: Lev A. Borisov, Sai-Kee Yeung

Abstract: We construct explicit equations of Cartwright-Steger and related surfaces. We construct explicit equations of Cartwright-Steger and related surfaces. △ Less

Submitted 9 July, 2020; v1 submitted 2 April, 2018; originally announced April 2018.

Comments: 16 pages, LaTeX

Journal ref: Épijournal de Géométrie Algébrique, Volume 4 (July 10, 2020) epiga:5662

Explicit equations of a fake projective plane

Authors: Lev A. Borisov, JongHae Keum

Abstract: Fake projective planes are smooth complex surfaces of general type with Betti numbers equal to those of the usual projective plane. They come in complex conjugate pairs and have been classified as quotients of the two-dimensional ball by explicitly written arithmetic subgroups. In this paper we find equations of a projective model of a conjugate pair of fake projective planes by studying the geome… ▽ More Fake projective planes are smooth complex surfaces of general type with Betti numbers equal to those of the usual projective plane. They come in complex conjugate pairs and have been classified as quotients of the two-dimensional ball by explicitly written arithmetic subgroups. In this paper we find equations of a projective model of a conjugate pair of fake projective planes by studying the geometry of the quotient of such surface by an order seven automorphism. △ Less

Submitted 16 April, 2019; v1 submitted 18 February, 2018; originally announced February 2018.

Comments: This is a full version of "Research announcement: equations of a fake projective plane", arXiv:1710.04501. Key tables and some M2 and Magma code from the paper are included in separate files for convenience

MSC Class: 14J29; 14F05; 32Q40; 32N15

Journal ref: Duke Math. J. 169, no. 6 (2020), 1135-1162

Research announcement: equations of a fake projective plane

Authors: Lev Borisov, JongHae Keum

Abstract: In this short note we announce explicit equations of a fake projective plane in its bicanonical embedding in $\mathbb C\mathbb P^9$. In this short note we announce explicit equations of a fake projective plane in its bicanonical embedding in $\mathbb C\mathbb P^9$. △ Less

Submitted 10 October, 2017; originally announced October 2017.

Comments: 2 pages + 2 pages of tables

MSC Class: 14J29

Intersections of two Grassmannians in $\mathbf{P}^9$

Authors: Lev A. Borisov, Andrei Caldararu, Alexander Perry

Abstract: We study the intersection of two copies of $\mathrm{Gr}(2,5)$ embedded in $\mathbf{P}^9$, and the intersection of the two projectively dual Grassmannians in the dual projective space. These intersections are deformation equivalent, derived equivalent Calabi-Yau threefolds. We prove that generically they are not birational. As a consequence, we obtain a counterexample to the birational Torelli prob… ▽ More We study the intersection of two copies of $\mathrm{Gr}(2,5)$ embedded in $\mathbf{P}^9$, and the intersection of the two projectively dual Grassmannians in the dual projective space. These intersections are deformation equivalent, derived equivalent Calabi-Yau threefolds. We prove that generically they are not birational. As a consequence, we obtain a counterexample to the birational Torelli problem for Calabi-Yau threefolds. We also show that these threefolds give a new pair of varieties whose classes in the Grothendieck ring of varieties are not equal, but whose difference is annihilated by a power of the class of the affine line. Our proof of non-birationality involves a detailed study of the moduli stack of Calabi-Yau threefolds of the above type, which may be of independent interest. △ Less

Submitted 11 April, 2018; v1 submitted 3 July, 2017; originally announced July 2017.

Comments: 30 pages, minor changes

On mirrors of elliptically fibered K3 surfaces

Authors: Lev Borisov

Abstract: We study a two-parameter family of K3 surfaces of (generic) Picard rank $18$ which is mirror to the $18$-dimensional family of elliptically fibered K3 surfaces with a section. Members of this family are given as compactifications of hypersurfaces in three dimensional algebraic torus given by equations $y^2+z+z^{-1} + x^3 + ax +b =0$ where $a$ and $b$ are the parameters of the family. It follows fr… ▽ More We study a two-parameter family of K3 surfaces of (generic) Picard rank $18$ which is mirror to the $18$-dimensional family of elliptically fibered K3 surfaces with a section. Members of this family are given as compactifications of hypersurfaces in three dimensional algebraic torus given by equations $y^2+z+z^{-1} + x^3 + ax +b =0$ where $a$ and $b$ are the parameters of the family. It follows from previous work of Morrison that these surfaces are double covers of Kummer surfaces coming from products of elliptic curves, and we establish this connection explicitly. This in turn provides a description of the one-parameter families of K3 surfaces which are mirror to polarized K3 surfaces of Picard rank one. It has been brought to our attention that the results of this paper have already appeared in the literature. The appropriate references are added at the end of the introduction. △ Less

Submitted 27 February, 2017; v1 submitted 13 February, 2017; originally announced February 2017.

Comments: It was brought to our attention that the results are well known to the experts. Specifically, the results appear in the work of T. Shioda as well as A. Clingher and C. Doran. The appropriate comments are made in the new abstract and at the end of the introduction

MSC Class: 14J28; 14J33

Statistical Properties of European Languages and Voynich Manuscript Analysis

Authors: Andronik Arutyunov, Leonid Borisov, Sergey Fedorov, Anastasiya Ivchenko, Elizabeth Kirina-Lilinskaya, Yurii Orlov, Konstantin Osminin, Sergey Shilin, Dmitriy Zeniuk

Abstract: The statistical properties of letters frequencies in European literature texts are investigated. The determination of logarithmic dependence of letters sequence for one-language and two-language texts are examined. The pare of languages is suggested for Voynich Manuscript. The internal structure of Manuscript is considered. The spectral portraits of two-letters distribution are constructed. The statistical properties of letters frequencies in European literature texts are investigated. The determination of logarithmic dependence of letters sequence for one-language and two-language texts are examined. The pare of languages is suggested for Voynich Manuscript. The internal structure of Manuscript is considered. The spectral portraits of two-letters distribution are constructed. △ Less

Submitted 17 November, 2016; originally announced November 2016.

Optimality of the relaxed polar factors by a characterization of the set of real square roots of real symmetric matrices

Authors: Lev Borisov, Andreas Fischle, Patrizio Neff

Abstract: We consider the problem to determine the optimal rotations $R \in {\rm SO}(n)$ which minimize $$W: {\rm SO}(n) \to \mathbb{R}^+_0,\quad W(R\,;D) := ||{\rm sym}(RD - 1)||^2$$ for a given diagonal matrix $D := {\rm diag}(d_1, ..., d_n) \in \mathbb{R}^{n \times n}$. The function $W$ subject to minimization is the reduced form of the Cosserat shear-stretch energy, which, in its general form, is a co… ▽ More We consider the problem to determine the optimal rotations $R \in {\rm SO}(n)$ which minimize $$W: {\rm SO}(n) \to \mathbb{R}^+_0,\quad W(R\,;D) := ||{\rm sym}(RD - 1)||^2$$ for a given diagonal matrix $D := {\rm diag}(d_1, ..., d_n) \in \mathbb{R}^{n \times n}$. The function $W$ subject to minimization is the reduced form of the Cosserat shear-stretch energy, which, in its general form, is a contribution in any geometrically nonlinear, isotropic and quadratic Cosserat micropolar (extended) continuum model. We characterize the critical points of the energy $W(R\,;D)$, determine the global minimizers and the global minimum. This proves the correctness of previously obtained formulae for the optimal Cosserat rotations in dimensions two and three. The key to the proof is a characterization of the entire set of (possibly non-symmetric) real matrix square roots of (possibly non-positive definite) real symmetric matrices which does not seem to be known in the literature. △ Less

Submitted 23 February, 2017; v1 submitted 29 June, 2016; originally announced June 2016.

Comments: 26 pages

Ulrich Bundles on Enriques Surfaces

Authors: Lev Borisov, Howard Nuer

Abstract: We study Ulrich bundles and their moduli on unnodal Enriques surfaces. In particular, we prove that unnodal Enriques surfaces are of wild representation type by constructing moduli spaces of stable Ulrich bundles of arbitrary rank and arbitrarily large dimension. We study Ulrich bundles and their moduli on unnodal Enriques surfaces. In particular, we prove that unnodal Enriques surfaces are of wild representation type by constructing moduli spaces of stable Ulrich bundles of arbitrary rank and arbitrarily large dimension. △ Less

Submitted 4 June, 2016; originally announced June 2016.

Comments: 12 pages, 1 figure

MSC Class: 14D20

On Clifford double mirrors of toric complete intersections

Authors: Lev Borisov, Zhan Li

Abstract: We present a construction of noncommutative double mirrors to complete intersections in toric varieties. This construction unifies existing sporadic examples and explains the underlying combinatorial and physical reasons for their existence. We present a construction of noncommutative double mirrors to complete intersections in toric varieties. This construction unifies existing sporadic examples and explains the underlying combinatorial and physical reasons for their existence. △ Less

Submitted 18 February, 2016; v1 submitted 5 January, 2016; originally announced January 2016.

Comments: 53 pages; minor changes

MSC Class: 14M25; 14M10; 14A22; 14J33

The sum of squared logarithms inequality in arbitrary dimensions

Authors: Lev Borisov, Patrizio Neff, Suvrit Sra, Christian Thiel

Abstract: We prove the \emph{sum of squared logarithms inequality} (SSLI) which states that for nonnegative vectors $x, y \in \mathbb{R}^n$ whose elementary symmetric polynomials satisfy $e_k(x)\le e_k(y)$ (for $1\le k < n$) and $e_n(x)=e_n(y)$, the inequality $\sum_i (\log x_i)^2 \le \sum_i (\log y_i)^2$ holds. Our proof of this inequality follows by a suitable extension to the complex plane. In particular… ▽ More We prove the \emph{sum of squared logarithms inequality} (SSLI) which states that for nonnegative vectors $x, y \in \mathbb{R}^n$ whose elementary symmetric polynomials satisfy $e_k(x)\le e_k(y)$ (for $1\le k < n$) and $e_n(x)=e_n(y)$, the inequality $\sum_i (\log x_i)^2 \le \sum_i (\log y_i)^2$ holds. Our proof of this inequality follows by a suitable extension to the complex plane. In particular, we show that the function $f\colon M\subseteq \mathbb{C}^n\to \mathbb{R}$ with $f(z)=\sum_i(\log z_i)^2$ has nonnegative partial derivatives with respect to the elementary symmetric polynomials of $z$. This property leads to our proof. We conclude by providing applications and wider connections of the SSLI. △ Less

Submitted 2 November, 2015; v1 submitted 17 August, 2015; originally announced August 2015.

MSC Class: 26D05; 26D07; 30C15; 97H20

Stringy $E$-functions of Pfaffian-Grassmannian double mirrors

Authors: Lev Borisov, Anatoly Libgober

Abstract: We establish the equality of stringy $E$-functions for double mirror Calabi-Yau complete intersections in the varieties of skew forms of rank at most $2k$ and at most $n-1-2k$ on a vector space of odd dimension $n$. We establish the equality of stringy $E$-functions for double mirror Calabi-Yau complete intersections in the varieties of skew forms of rank at most $2k$ and at most $n-1-2k$ on a vector space of odd dimension $n$. △ Less

Submitted 24 February, 2015; v1 submitted 12 February, 2015; originally announced February 2015.

Comments: 33 pages

MSC Class: 14J33; 14M99; 81T30

Class of the affine line is a zero divisor in the Grothendieck ring

Authors: Lev Borisov

Abstract: We show that the class of the affine line is a zero divisor in the Grothendieck ring of algebraic varieties over complex numbers. The argument is based on the Pfaffian-Grassmannian double mirror correspondence. We show that the class of the affine line is a zero divisor in the Grothendieck ring of algebraic varieties over complex numbers. The argument is based on the Pfaffian-Grassmannian double mirror correspondence. △ Less

Submitted 12 March, 2015; v1 submitted 18 December, 2014; originally announced December 2014.

Comments: minor exposition changes (6 pages)

MSC Class: 14A10

On complete intersections with trivial canonical class

Authors: Lev A. Borisov, Zhan Li

Abstract: We prove birational boundedness results on complete intersections with trivial canonical class of base point free divisors in (some version of) Fano varieties. Our results imply in particular that Batyrev-Borisov toric construction produces only a bounded set of Hodge numbers in any given dimension, even as the codimension is allowed to grow. We prove birational boundedness results on complete intersections with trivial canonical class of base point free divisors in (some version of) Fano varieties. Our results imply in particular that Batyrev-Borisov toric construction produces only a bounded set of Hodge numbers in any given dimension, even as the codimension is allowed to grow. △ Less

Submitted 29 April, 2014; originally announced April 2014.

Comments: 13 pages

MSC Class: 14M10; 14J32; 14M25

Applications of homological mirror symmetry to hypergeometric systems: duality conjectures

Authors: Lev A. Borisov, R. Paul Horja

Abstract: Homological mirror symmetry for crepant resolutions of Gorenstein toric singularities leads to a pair of conjectures on certain hypergeometric systems of PDEs. We explain these conjectures and verify them in some cases. Homological mirror symmetry for crepant resolutions of Gorenstein toric singularities leads to a pair of conjectures on certain hypergeometric systems of PDEs. We explain these conjectures and verify them in some cases. △ Less

Submitted 26 August, 2013; v1 submitted 9 August, 2013; originally announced August 2013.

Comments: 34 pages, v2 typos fixed, v3 minor corrections

MSC Class: 14M25; 14J32; 14J33; 13D09; 33C99

On $(2,4)$ complete intersection threefolds that contain an Enriques surface

Authors: Lev A. Borisov, Howard J. Nuer

Abstract: We study nodal complete intersection threefolds of type $(2,4)$ in $\PP^5$ which contain an Enriques surface in its Fano embedding. We completely determine Calabi-Yau birational models of a generic such threefold. These models have Hodge numbers $(h^{11},h^{12})=(2,32)$. We also describe Calabi-Yau varieties with Hodge numbers equal to $(2,26)$, $(23,5)$ and $(31,1)$. The last two pairs of Hodge n… ▽ More We study nodal complete intersection threefolds of type $(2,4)$ in $\PP^5$ which contain an Enriques surface in its Fano embedding. We completely determine Calabi-Yau birational models of a generic such threefold. These models have Hodge numbers $(h^{11},h^{12})=(2,32)$. We also describe Calabi-Yau varieties with Hodge numbers equal to $(2,26)$, $(23,5)$ and $(31,1)$. The last two pairs of Hodge numbers are, to the best of our knowledge, new. △ Less

Submitted 1 August, 2013; v1 submitted 5 October, 2012; originally announced October 2012.

Comments: 30 pages, 1 figure. Added arguments so that most Macaulay calculations are not needed anymore

MSC Class: 14J32; 14J28

On stringy cohomology spaces

Authors: Lev A. Borisov

Abstract: We modify the definition of the families of $A$ and $B$ stringy cohomology spaces associated to a pair of dual reflexive Gorenstein cones. The new spaces have the same dimension as the ones defined in the joint paper with Mavlyutov \cite{BM}, but they admit natural flat connections with respect to the appropriate parameters. This solves a longstanding question of relating GKZ hypergeometric system… ▽ More We modify the definition of the families of $A$ and $B$ stringy cohomology spaces associated to a pair of dual reflexive Gorenstein cones. The new spaces have the same dimension as the ones defined in the joint paper with Mavlyutov \cite{BM}, but they admit natural flat connections with respect to the appropriate parameters. This solves a longstanding question of relating GKZ hypergeometric system to stringy cohomology. We construct products on these spaces by vertex algebra techniques. In the process, we fix a minor gap in \cite{BM} and prove a statement on intersection cohomology of dual cones that may be of independent interest. △ Less

Submitted 7 September, 2013; v1 submitted 24 May, 2012; originally announced May 2012.

Comments: 21 pages, LaTeX

MSC Class: 14J33; 32S60; 17B69

Journal ref: Duke Math. J. 163, no. 6 (2014), 1105-1126

On Hilbert modular threefolds of discriminant 49

Authors: Lev A. Borisov, Paul E. Gunnells

Abstract: Let K be the totally real cubic field of discriminant 49, let O be its ring of integers, and let p be the prime over 7. Let Gamma (p)\subset Gamma = SL_2(O) be the principal congruence subgroup of level p. This paper investigates the geometry of the Hilbert modular threefold attached to Gamma (p) and some related varieties. In particular, we discover an octic in P^3 with 84 isolated singular point… ▽ More Let K be the totally real cubic field of discriminant 49, let O be its ring of integers, and let p be the prime over 7. Let Gamma (p)\subset Gamma = SL_2(O) be the principal congruence subgroup of level p. This paper investigates the geometry of the Hilbert modular threefold attached to Gamma (p) and some related varieties. In particular, we discover an octic in P^3 with 84 isolated singular points of type A_2. △ Less

Submitted 8 August, 2011; originally announced August 2011.

MSC Class: 11F41; 14G35

On CY-LG correspondence for (0,2) toric models

Authors: Lev A. Borisov, Ralph M. Kaufmann

Abstract: We conjecture a description of the vertex (chiral) algebras of the (0,2) nonlinear sigma models on smooth quintic threefolds. We provide evidence in favor of the conjecture by connecting our algebras to the cohomology of a twisted chiral de Rham sheaf. We discuss CY/LG correspondence in this setting. We conjecture a description of the vertex (chiral) algebras of the (0,2) nonlinear sigma models on smooth quintic threefolds. We provide evidence in favor of the conjecture by connecting our algebras to the cohomology of a twisted chiral de Rham sheaf. We discuss CY/LG correspondence in this setting. △ Less

Submitted 28 February, 2012; v1 submitted 26 February, 2011; originally announced February 2011.

Comments: 25 pages, reference added, typos corrected, to be published in Advances in Mathematics

MSC Class: 17B69; 14M25

On the better behaved version of the GKZ hypergeometric system

Authors: Lev A. Borisov, R. Paul Horja

Abstract: We consider a version of the generalized hypergeometric system introduced by Gelfand, Kapranov and Zelevinski (GKZ) suited for the case when the underlying lattice is replaced by a finitely generated abelian group. In contrast to the usual GKZ hypergeometric system, the rank of the better behaved GKZ hypergeometric system is always the expected one. We give largely self-contained proofs of many pr… ▽ More We consider a version of the generalized hypergeometric system introduced by Gelfand, Kapranov and Zelevinski (GKZ) suited for the case when the underlying lattice is replaced by a finitely generated abelian group. In contrast to the usual GKZ hypergeometric system, the rank of the better behaved GKZ hypergeometric system is always the expected one. We give largely self-contained proofs of many properties of this system. The discussion is intimately related to the study of the variations of Hodge structures of hypersurfaces in algebraic tori. △ Less

Submitted 10 September, 2013; v1 submitted 26 November, 2010; originally announced November 2010.

Comments: LaTex, 22 pages; v2 is a major revision: the introduction, sections 4 and 5 have been changed; section 5 is new; v3 published version

MSC Class: 13N10; 14D23; 14M25

Journal ref: Mathematische Annalen: Volume 357, Issue 2 (2013), Page 585-603

Berglund-Hübsch mirror symmetry via vertex algebras

Authors: Lev A. Borisov

Abstract: We give a vertex algebra proof of the Berglund-Hübsch duality of nondegenerate invertible potentials. We suggest a way to unify it with the Batyrev-Borisov duality of reflexive Gorenstein cones. We give a vertex algebra proof of the Berglund-Hübsch duality of nondegenerate invertible potentials. We suggest a way to unify it with the Batyrev-Borisov duality of reflexive Gorenstein cones. △ Less

Submitted 1 November, 2011; v1 submitted 15 July, 2010; originally announced July 2010.

Comments: 35 pages, typos corrected and references added

MSC Class: 14J33

Finding integral diagonal pairs in a two dimensional $\mathcal{N}$--set

Authors: Lev A. Borisov, Renling **

Abstract: According to [1] an $n$-dimensional $\mathcal{N}$--set is a compact subset $A$ of $\mathbb{R}^n$ such that for every $x$ in $\mathbb{R}^n$ there is $y$ in $A$ with $y-x$ in $\mathbb{Z}^n$. We prove that every two dimensional $\mathcal{N}$--set $A$ must contain distinct points $x,y$ such that $x-y$ is in $\mathbb{Z}^2$ and $x-y$ is neither horizontal nor vertical. This answers a question of P. Hega… ▽ More According to [1] an $n$-dimensional $\mathcal{N}$--set is a compact subset $A$ of $\mathbb{R}^n$ such that for every $x$ in $\mathbb{R}^n$ there is $y$ in $A$ with $y-x$ in $\mathbb{Z}^n$. We prove that every two dimensional $\mathcal{N}$--set $A$ must contain distinct points $x,y$ such that $x-y$ is in $\mathbb{Z}^2$ and $x-y$ is neither horizontal nor vertical. This answers a question of P. Hegarty and M. Nathanson. △ Less

Submitted 8 July, 2010; originally announced July 2010.

Twistor geometry and warped product orthogonal complex structures

Authors: Lev Borisov, Simon Salamon, Jeff Viaclovsky

Abstract: The twistor space of the sphere S^{2n} is an isotropic Grassmannian that fibers over S^{2n}. An orthogonal complex structure on a subdomain of S^{2n} (a complex structure compatible with the round metric) determines a section of this fibration with holomorphic image. In this paper, we use this correspondence to prove that any finite energy orthogonal complex structure on R^6 must be of a special… ▽ More The twistor space of the sphere S^{2n} is an isotropic Grassmannian that fibers over S^{2n}. An orthogonal complex structure on a subdomain of S^{2n} (a complex structure compatible with the round metric) determines a section of this fibration with holomorphic image. In this paper, we use this correspondence to prove that any finite energy orthogonal complex structure on R^6 must be of a special warped product form, and we also prove that any orthogonal complex structure on R^{2n} that is asymptotically constant must itself be constant. We will also give examples defined on R^{2n} which have infinite energy, and examples of non-standard orthogonal complex structures on flat tori in complex dimension three and greater. △ Less

Submitted 22 May, 2009; originally announced May 2009.

Comments: 39 pages

Journal ref: Duke Math. J. 156, no. 1 (2011), 125-166

Absorption Probabilities for the Two-Barrier Quantum Walk

Authors: Eric Bach, Lev Borisov

Abstract: Let p_j^(n) be the probability that a Hadamard quantum walk, started at site j on the integer lattice {0,...,n}, is absorbed at 0. We give an explicit formula for p_j^(n). Our formula proves a conjecture of John Watrous, concerning an empirically observed linear fractional recurrence relation for the numbers p_1^(n). Let p_j^(n) be the probability that a Hadamard quantum walk, started at site j on the integer lattice {0,...,n}, is absorbed at 0. We give an explicit formula for p_j^(n). Our formula proves a conjecture of John Watrous, concerning an empirically observed linear fractional recurrence relation for the numbers p_1^(n). △ Less

Submitted 27 January, 2009; originally announced January 2009.

Comments: 11 pages

Threefolds of order one in the six-quadric

Authors: Lev Borisov, Jeff Viaclovsky

Abstract: Consider the smooth quadric Q_6 in P^7. The middle homology group H_6(Q_6,Z) is two-dimensional with a basis given by two classes of linear subspaces. We classify all threefolds of bidegree (1,p) inside Q_6. Consider the smooth quadric Q_6 in P^7. The middle homology group H_6(Q_6,Z) is two-dimensional with a basis given by two classes of linear subspaces. We classify all threefolds of bidegree (1,p) inside Q_6. △ Less

Submitted 12 August, 2008; v1 submitted 3 August, 2008; originally announced August 2008.

Comments: 14 pages; added Propositions 3.6 and 4.4 in version 2

On the conjecture of King for smooth toric Deligne-Mumford stacks

Authors: Lev Borisov, Zheng Hua

Abstract: We construct full strong exceptional collections of line bundles on smooth toric Fano Deligne-Mumford stacks of Picard number at most two and of any Picard number in dimension two. It is hoped that the approach of this paper will eventually lead to the proof of the existence of such collections on all smooth toric nef-Fano Deligne-Mumford stacks. We construct full strong exceptional collections of line bundles on smooth toric Fano Deligne-Mumford stacks of Picard number at most two and of any Picard number in dimension two. It is hoped that the approach of this paper will eventually lead to the proof of the existence of such collections on all smooth toric nef-Fano Deligne-Mumford stacks. △ Less

Submitted 24 December, 2008; v1 submitted 17 January, 2008; originally announced January 2008.

Comments: 28 pages, 7 figures; results strengthened to include arbitrary del Pezzo toric stacks

MSC Class: 14M25

On Calabi-Yau threefolds with large nonabelian fundamental groups

Authors: Lev Borisov, Zheng Hua

Abstract: In this short note we construct Calabi-Yau threefolds with nonabelian fundamental groups of order 64 as quotients of the small resolutions of certain complete intersections of quadrics in $\PP^7$ that were first considered by M. Gross and S. Popescu. In this short note we construct Calabi-Yau threefolds with nonabelian fundamental groups of order 64 as quotients of the small resolutions of certain complete intersections of quadrics in $\PP^7$ that were first considered by M. Gross and S. Popescu. △ Less

Submitted 26 September, 2006; originally announced September 2006.

Comments: 4 pages

MSC Class: 14J32

The Pfaffian-Grassmannian derived equivalence

Authors: Lev Borisov, Andrei Caldararu

Abstract: We argue that there exists a derived equivalence between Calabi-Yau threefolds obtained by taking dual hyperplane sections (of the appropriate codimension) of the Grassmannian G(2, 7) and the Pfaffian Pf(7). The existence of such an equivalence has been conjectured by physicists for almost ten years, as the two families of Calabi-Yau threefolds are believed to have the same mirror. It is the fir… ▽ More We argue that there exists a derived equivalence between Calabi-Yau threefolds obtained by taking dual hyperplane sections (of the appropriate codimension) of the Grassmannian G(2, 7) and the Pfaffian Pf(7). The existence of such an equivalence has been conjectured by physicists for almost ten years, as the two families of Calabi-Yau threefolds are believed to have the same mirror. It is the first example of a derived equivalence between Calabi-Yau threefolds which are provably non-birational. △ Less

Submitted 25 September, 2006; v1 submitted 15 August, 2006; originally announced August 2006.

Comments: Streamlined and shortened exposition, Macaulay calculations not needed any more

MSC Class: 14J32; 14F43; 14M15; 81T30

Higher elliptic genera

Authors: L. Borisov, A. Libgober

Abstract: We show that elliptic classes introduced in our earlier paper for spaces with infinite fundamental groups yield Novikov's type higher elliptic genera which are invariants of K-equivalence. This include, as a special case, the birational invariance of higher Todd classes studied recently by J.Rosenberg and J.Block-S.Weinberger. We also prove the modular properties of these genera, show that they… ▽ More We show that elliptic classes introduced in our earlier paper for spaces with infinite fundamental groups yield Novikov's type higher elliptic genera which are invariants of K-equivalence. This include, as a special case, the birational invariance of higher Todd classes studied recently by J.Rosenberg and J.Block-S.Weinberger. We also prove the modular properties of these genera, show that they satisfy a McKay correspondence, and consider their twist by discrete torsion. △ Less

Submitted 17 October, 2008; v1 submitted 17 February, 2006; originally announced February 2006.

Comments: Comments on lemma 3.1 deleted. Final version

MSC Class: 14J50; 58J03; 14M; 11F

Journal ref: Math. Res. Lett. 15 (2008), no. 3, 511--520

Mellin-Barnes integrals as Fourier-Mukai transforms

Authors: Lev A. Borisov, R. Paul Horja

Abstract: We study the generalized hypergeometric system introduced by Gelfand, Kapranov and Zelevinsky and its relationship with the toric Deligne-Mumford (DM) stacks recently studied by Borisov, Chen and Smith. We construct series solutions with values in a combinatorial version of the Chen-Ruan (orbifold) cohomology and in the $K$-theory of the associated DM stacks. In the spirit of the homological mir… ▽ More We study the generalized hypergeometric system introduced by Gelfand, Kapranov and Zelevinsky and its relationship with the toric Deligne-Mumford (DM) stacks recently studied by Borisov, Chen and Smith. We construct series solutions with values in a combinatorial version of the Chen-Ruan (orbifold) cohomology and in the $K$-theory of the associated DM stacks. In the spirit of the homological mirror symmetry conjecture of Kontsevich, we show that the $K$-theory action of the Fourier-Mukai functors associated to basic toric birational maps of DM stacks are mirrored by analytic continuation transformations of Mellin-Barnes type. △ Less

Submitted 23 October, 2005; originally announced October 2005.

Comments: 55 pages, LaTeX

MSC Class: 14M25; 14J32

On the $K$-theory of smooth toric DM stacks

Authors: Lev A. Borisov, R. Paul Horja

Abstract: We explicitly calculate the Grothendieck $K$-theory ring of a smooth toric Deligne-Mumford stack and define an analog of the Chern character. In addition, we calculate $K$-theory pushforwards and pullbacks for weighted blowups of reduced smooth toric DM stacks. We explicitly calculate the Grothendieck $K$-theory ring of a smooth toric Deligne-Mumford stack and define an analog of the Chern character. In addition, we calculate $K$-theory pushforwards and pullbacks for weighted blowups of reduced smooth toric DM stacks. △ Less

Submitted 14 March, 2005; originally announced March 2005.

Comments: 28 pages, LaTeX

MSC Class: 14M25

On Wronskians of weight one Eisenstein series

Authors: Lev A. Borisov

Abstract: We describe the span of Hecke eigenforms of weight four with nonzero central value of $L$-function in terms of Wronskians of certain weight one Eisenstein series. We describe the span of Hecke eigenforms of weight four with nonzero central value of $L$-function in terms of Wronskians of certain weight one Eisenstein series. △ Less

Submitted 28 February, 2005; originally announced March 2005.

Comments: LaTeX, 20 pages

MSC Class: 11F11

Holomorphic Eisenstein series with Jacobian twists

Authors: Lev A. Borisov

Abstract: For every point on the Jacobian of the modular curve $X_0(l)$ we define and study certain twisted holomorphic Eisenstein series. These are particular cases of a more general notion of twisted modular forms which correspond to sections on the modular curve $X_1(l)$ of the degree zero twists of line bundles of usual modular forms. We conjecture that a point on the Jacobian is rational if and only… ▽ More For every point on the Jacobian of the modular curve $X_0(l)$ we define and study certain twisted holomorphic Eisenstein series. These are particular cases of a more general notion of twisted modular forms which correspond to sections on the modular curve $X_1(l)$ of the degree zero twists of line bundles of usual modular forms. We conjecture that a point on the Jacobian is rational if and only if the ratios of these twisted Eisenstein series of the same weights have rational coefficients. △ Less

Submitted 27 October, 2004; v1 submitted 14 October, 2004; originally announced October 2004.

Comments: 19 pages, 1 figure

MSC Class: 11F11

The orbifold Chow ring of toric Deligne-Mumford stacks

Authors: Lev A. Borisov, Linda Chen, Gregory G. Smith

Abstract: Generalizing toric varieties, we introduce toric Deligne-Mumford stacks which correspond to combinatorial data. The main result in this paper is an explicit calculation of the orbifold Chow ring of a toric Deligne-Mumford stack. As an application, we prove that the orbifold Chow ring of the toric Deligne-Mumford stack associated to a simplicial toric variety is a flat deformation of (but is not… ▽ More Generalizing toric varieties, we introduce toric Deligne-Mumford stacks which correspond to combinatorial data. The main result in this paper is an explicit calculation of the orbifold Chow ring of a toric Deligne-Mumford stack. As an application, we prove that the orbifold Chow ring of the toric Deligne-Mumford stack associated to a simplicial toric variety is a flat deformation of (but is not necessarily isomorphic to) the Chow ring of a crepant resolution. △ Less

Submitted 11 June, 2004; v1 submitted 14 September, 2003; originally announced September 2003.

Comments: 23 pages; revision improves the exposition in several places

MSC Class: 14N35 (Primary); 14C15; 14M25 (Secondary)

Journal ref: Journal of the American Mathematical Society 18 (2005) 193-215.

Self-self-dual spaces of polynomials

Authors: Lev Borisov, Evgeny Mukhin

Abstract: A space of polynomials V of dimension 7 is called self-dual if the divided Wronskian of any 6-subspace is in V. A self-dual space V has a natural inner product. The divided Wronskian of any isotropic 3-subspace of V is a square of a polynomial. We call V self-self-dual if the square root of the divided Wronskian of any isotropic 3-subspace is again in V. We show that the self-self-dual spaces ha… ▽ More A space of polynomials V of dimension 7 is called self-dual if the divided Wronskian of any 6-subspace is in V. A self-dual space V has a natural inner product. The divided Wronskian of any isotropic 3-subspace of V is a square of a polynomial. We call V self-self-dual if the square root of the divided Wronskian of any isotropic 3-subspace is again in V. We show that the self-self-dual spaces have a natural non-degenerate skew-symmetric 3-form defined in terms of Wronskians. We show that the self-self-dual spaces correspond to G_2-populations related to the Bethe Ansatz of the Gaudin model of type G_2 and prove that a G_2-population is isomorphic to the G_2 flag variety. △ Less

Submitted 13 August, 2003; originally announced August 2003.

Comments: Latex, 38 pages