We study the derived categories of coherent sheaves of weighted projective spaces and their noncommutative deformations, and the derived categories of Lagrangian vanishing cycles of their mirror Landau-Ginzburg models. In particular, we show that the derived category of coherent sheaves (B-branes) on the weighted projective plane $\CP^2(a,b,c)$ is equivalent to the derived category of vanishing cycles (A-branes) on the affine hypersurface $X=\{x^ay^bz^c=1\}\subset (\C^*)^3$ equipped with an exact symplectic form and the superpotential $W=x+y+z$. Hence, the homological mirror symmetry conjecture holds for weighted projective planes. Moreover, we also show that this mirror correspondence between derived categories can be extended to toric noncommutative deformations of $\CP^2(a,b,c)$ where B-branes are concerned, and their mirror counterparts, non-exact deformations of the symplectic structure of $X$ where A-branes are concerned. We also obtain similar results for other examples such as weighted projective lines or Hirzebruch surfaces.
We formulate a constructive theory of noncommutative Landau-Ginzburg models mirror to symplectic manifolds based on Lagrangian Floer theory. The construction comes with a natural functor from the Fukaya category to the category of matrix factorizations of the constructed Landau-Ginzburg model. As applications, it is applied to elliptic orbifolds, punctured Riemann surfaces and certain non-compact Calabi-Yau threefolds to construct their mirrors and functors. In particular it recovers and strengthens several interesting results of Etingof-Ginzburg, Bocklandt and Smith, and gives a unified under…
We introduce the notion of a tropical coamoeba which gives a combinatorial description of the Fukaya category of the mirror of a toric Fano stack. We show that the polyhedral decomposition of a real n-torus into (n + 1) permutohedra gives a tropical coamoeba for the mirror of the projective space, and prove a torus-equivariant version of homological mirror symmetry for the projective space. As a corollary, we obtain homological mirror symmetry for toric orbifolds of the projective space.
We generalize Kuznetsov's theory of homological projective duality to the setting of noncommutative algebraic geometry. Simultaneously, we develop the theory over general base schemes, and remove the usual smoothness, properness, and transversality hypotheses.
In this paper, we establish equivariant mirror symmetry for the weighted projective line. This extends the results by B. Fang, C.C. Liu and Z. Zong, where the projective line was considered [{\it Geometry \& Topology} 24:2049-2092, 2017]. More precisely, we prove the equivalence of the $R$-matrices for A-model and B-model at large radius limit, and establish isomorphism for $R$-matrices for general radius. We further demonstrate that the graph sum of higher genus cases are the same for both models, hence establish equivariant mirror symmetry for the weighted projective line.
A D-brane fantasy on noncommutative mirror symmetry, prelude: Noncommutative ringed spaces from local noncommutative crepant resolutions of a singular Calabi-Yau space, dynamical D-branes thereupon, and questions beyond
We introduce the notion of the moduli stack of relations of a quiver. When the quiver with relations is derived-equivalent to an algebraic variety, the corresponding compact moduli scheme can be viewed as a compact moduli of noncommutative deformations of the variety. We study the case of noncommutative projective planes in detail, and discuss its relation with geometry of elliptic curves with level 3 structures.
In noncommutative algebraic geometry, noncommutative quadric hypersurfaces are major objects of study. In this paper, we focus on studying noncommutative conics $\operatorname{Proj_{nc}} A$ embedded into Calabi-Yau quantum projective planes. In particular, we give complete classifications of homogeneous coordinate algebras $A$ of noncommutative conics up to isomorphism of graded algebras, and of noncommutive conics $\operatorname{Proj_{nc}} A$ up to isomorphism of noncommutative schemes.
This article describes recent applications of algebraic geometry to noncommutative algebra. These techniques have been particularly successful in describing graded algebras of small dimension.
We describe the Fukaya-Seidel category of a Landau-Ginzburg model LG(2) for the semisimple adjoint orbit of sl(2,C). We prove that this category is equivalent to a full triangulated subcategory of the category of coherent sheaves on the second Hirzebruch surface. We show that no projective variety can be mirror to LG(2), and that this remains so after compactification.
In the past 15 years a study of ``noncommutative projective geometry'' has flourished. By using and generalizing techniques of commutative projective geometry, one can study certain noncommutative graded rings and obtain results for which no purely algebraic proof is known. For instance, noncommutative graded domains of quadratic growth, or ``noncommutative curves,'' have now been classified by geometric data and these rings must be noetherian. Rings of cubic growth, or ``noncommutative surfaces,'' are not yet classified, but a rich theory is currently forming. In this survey, we describe some…
We give a noncommutative geometric description of the internal Hom dg-category in the homotopy category of dg-categories between two noncommutative projective schemes in the style of Artin-Zhang. As an immediate application, we give a noncommutative projective derived Morita statement along lines of Rickard and Orlov.
Let $k$ be a field. We describe necessary and sufficient conditions for a $k$-linear abelian category to be a noncommutative projective line, i.e. a noncommutative $\mathbb{P}^{1}$-bundle over a pair of division rings over $k$. As an application, we prove that $\mathbb{P}^{1}_{n}$, Piontkovski's $n$th noncommutative projective line, is the noncommutative projectivization of an $n$-dimensional vector space.
In this note we compute several invariants (e.g. algebraic K-theory, cyclic homology and topological Hochschild homology) of the noncommutative projective schemes associated to Koszul algebras of finite global dimension.
In this note we relate the notions of Lefschetz type, decomposability, and isomorphism, on Chow motives with the notions of unit type, decomposability, and isomorphism, on noncommutative motives. Examples, counter-examples, and applications are also described.
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 deriv…
We introduce a compact moduli of noncommutative quadrics, and show that it is the weighted projective space of weight (2,4,4,6). We also introduce a compact moduli of potentials for the conifold quiver, and show that it is the weighted projective space of weight (1,2,3,4). There is a natural morphism from the latter to the former, which is finite of degree 4.
We prove Homological Mirror Symmetry for a smooth d-dimensional Calabi-Yau hypersurface in projective space, for any d > 2 (for example, d = 3 is the quintic three-fold). The main techniques involved in the proof are: the construction of an immersed Lagrangian sphere in the `d-dimensional pair of pants'; the introduction of the `relative Fukaya category', and an understanding of its grading structure; a description of the behaviour of this category with respect to branched covers (via an `orbifold' Fukaya category); a Morse-Bott model for the relative Fukaya category that allows one to make ex…
We prove that Hori--Vafa mirror models for smooth Fano complete intersections in weighted projective spaces admit an interpretation as Laurent polynomials.
In this paper, we discuss classical derivation of the residue integral representation of the d=1 rational Gromov-Witten invariants of projective hypersurfaces that followed from localization technique.
The mirror of a projective toric manifold $X_Σ$ is given by a Landau-Ginzburg model $(Y,W)$. We introduce a class of Lagrangian submanifolds in $(Y,W)$ and show that, under the SYZ mirror transformation, they can be transformed to torus-invariant hermitian metrics on holomorphic line bundles over $X_Σ$. Through this geometric correspondence, we also identify the mirrors of Hermitian-Einstein metrics, which are given by distinguished Lagrangian sections whose potentials satisfy certain Laplace-type equations.
Let $k$ be a field, let ${\sf C}$ be a $k$-linear abelian category, let $\underline{\mathcal{L}}:=\{\mathcal{L}_{i}\}_{i \in \mathbb{Z}}$ be a sequence of objects in ${\sf C}$, and let $B_{\underline{\mathcal{L}}}$ be the associated orbit algebra. We describe sufficient conditions on $\underline{\mathcal{L}}$ such that there is a canonical morphism from the noncommutative space ${\sf Proj }B_{\underline{\mathcal{L}}}$ to a noncommutative projective line in the sense of \cite{abstractp1}, generalizing the usual construction of a map from a scheme $X$ to $\mathbb{P}^{1}$ defined by an invertible…
Recently Abouzaid, Auroux, Efimov, Katzarkov and Orlov showed that the wrapped Fukaya Categories of punctured spheres and finite unbranched covers of punctured spheres are derived equivalent to the categories of singularities of a superpotential on certain crepant resolutions of toric 3 dimensional singularities. We generalize this result to other punctured Riemann surfaces and reformulate it in terms of certain noncommutative algebras coming from dimer models. In particular, given any consistent dimer model we can look at a subcategory of noncommutative matrix factorizations and show that thi…
Let k be a field. In this paper, we find necessary and sufficient conditions for a noncommutative curve of genus zero over k to be a noncommutative P^1-bundle. This result can be considered a noncommutative, one-dimensional version of Tsen's theorem. By specializing this theorem, we show that every arithmetic noncommutative projective line is a noncommutative curve, and conversely we characterize exactly those noncommutative curves of genus zero which are arithmetic. We then use this characterization, together with results regarding arithmetic noncommutative projective lines, to address some p…
A well-known conjecture says that every one-relator group is coherent. We state and partly prove an analogous statement for graded associative algebras. In particular, we show that every Gorenstein algebra $A$ of global dimension 2 is graded coherent. This allows us to define a noncommutative analogue of the projective line $\PP^1$ as a noncommutative scheme based on the coherent noncommutative spectrum $\cohp A$ of such an algebra $A$, that is, the category of coherent $A$-modules modulo the torsion ones. This category is always abelian Ext-finite hereditary with Serre duality, like the categ…
This is a survey article on mirror symmetry and Fourier-Mukai partners of Calabi-Yau threefolds with Picard number one based on recent works by the authors [HoTa1,2,3,4]. For completeness, mirror symmetry and Fourier-Mukai partners of K3 surfaces are also discussed.
We show that the orbifold Chow ring of a root stack over a well-formed weighted projective space can be naturally seen as the Jacobian algebra of a function on a singular variety given by a partial compactification of its Ginzburg-Landau model.
Let $\mathbb{X}$ be a weighted noncommutative regular projective curve over a field $k$. The category $\operatorname{Qcoh}\mathbb{X}$ of quasicoherent sheaves is a hereditary, locally noetherian Grothendieck category. We classify all tilting sheaves which have a non-coherent torsion subsheaf. In case of nonnegative orbifold Euler characteristic we classify all large (that is, non-coherent) tilting sheaves and the corresponding resolving classes. In particular we show that in the elliptic and in the tubular cases every large tilting sheaf has a well-defined slope.
We study the equivariantly perturbed mirror Landau-Ginzburg model of the projective line. We show that the Eynard-Orantin recursion on this model encodes all genus all descendants equivariant Gromov-Witten invariants of the projective line. The non-equivariant limit of this result is the Norbury-Scott conjecture, while by taking large radius limit we recover the Bouchard-Marino conjecture on simple Hurwitz numbers.
We propose, motivate and give evidence for a relation between the $\mathcal D$-modules of the quantum cohomology of a smooth complex projective manifold $X$ and a projective bundle $\PP(\oplus L_i)$ over $X$.
We consider the category $\operatorname{Qcoh}\mathbb{X}$ of quasicoherent sheaves where $\mathbb{X}$ is a weighted noncommutative regular projective curve over a field $k$. This category is a hereditary, locally noetherian Grothendieck category. We classify all indecomposable pure-injective sheaves and all cotilting sheaves of slope $\infty$. In the cases of nonnegative orbifold Euler characteristic this leads to a classification of pure-injective indecomposable sheaves and a description of all large cotilting sheaves in $\operatorname{Qcoh}\mathbb{X}$.
I. Panin proved in the nineties that the algebraic K-theory of twisted projective homogeneous varieties can be expressed in terms of central simple algebras. Later, Merkurjev and Panin described the algebraic K-theory of toric varieties as a direct summand of the algebraic K-theory of separable algebras. In this article, making use of the recent theory of noncommutative motives, we extend Panin and Merkurjev-Panin computations from algebraic K-theory to every additive invariant. As a first application, we fully compute the cyclic homology (and all its variants) of twisted projective homogeneou…
We consider a class of Calabi-Yau compactifications which are constructed as a complete intersection in weighted projective space. For manifolds with one Kähler modulus we construct the mirror manifolds and calculate the instanton sum.
We study hybrid models arising as homological projective duals (HPD) of certain projective embeddings $f:X\rightarrow\mathbb{P}(V)$ of Fano manifolds $X$. More precisely, the category of B-branes of such hybrid models corresponds to the HPD category of the embedding $f$. B-branes on these hybrid models can be seen as global matrix factorizations over some compact space $B$ or, equivalently, as the derived category of the sheaf of $\mathcal{A}$-modules on $B$, where $\mathcal{A}$ is an $A_{\infty}$ algebra. This latter interpretation corresponds to a noncommutative resolution of $B$. We compute…
Let A=k+A_1+A_2.... be a connected graded, noetherian k-algebra that is generated in degree one over an algebraically closed field k. Suppose that the graded quotient ring Q(A) has the form Q(A)=k(Y)[t,t^{-1},sigma], where sigma is an automorphism of the integral projective surface Y. Then we prove that A can be written as a naive blowup algebra of a projective surface X birational to Y. This enables one to obtain a deep understanding of the structure of these algebras; for example, generically they are not strongly noetherian and their point modules are not parametrized by a projective scheme…
Studying the mirror symmetry of a Calabi-Yau threefold $X$ of the Reye congruence in $\mP^4$, we conjecture that $X$ has a non-trivial Fourier-Mukai partner $Y$. We construct $Y$ as the double cover of a determinantal quintic in $\mP^4$ branched over a curve. We also calculate BPS numbers of both $X$ and $Y$ (and also a related Calabi-Yau complete intersection $\tilde X_0$) using mirror symmetry.
In this paper we generalize some classical birational transformations to the non-commutative case. In particular we show that 3-dimensional quadratic Sklyanin algebras (non-commutative projective planes) and 3-dimensional cubic Sklyanin algebras (non-commutative quadrics) have the same function field. In the same vein we construct and analogue of the Cremona transform for non-commutative projective planes.
Recently N.Nekrasov and A.Schwarz proposed a modification of the ADHM construction of instantons which produces instantons on a noncommutative deformation of the 4-dimensional real affine space. In this paper we study the relation between their construction and algebraic bundles on noncommutative projective spaces. We exhibit one-to-one correspondences between three classes of objects: framed bundles on a noncommutative projective plane, certain complexes of sheaves on a noncommutative 3-dimensional projective space, and the modified ADHM data. The modified ADHM construction itself is interpre…
We express total set of rational Gromov-Witten invariants of projective spaces via periods of variations of semi-infinite Hodge structure associated with their mirror partners.
In this paper we compute certain two-point integrals over a moduli space of stable maps into projective space. Computation of one-point analogues of these integrals constitutes a proof of mirror symmetry for genus-zero one-point Gromov-Witten invariants of projective hypersurfaces. The integrals computed in this paper constitute a significant portion in the proof of mirror symmetry for genus-one GW-invariants completed in a separate paper. These integrals also provide explicit mirror formulas for genus-zero two-point GW-invariants of projective hypersurfaces. The approach described in this pap…
In an earlier paper we conjectured a relation between the quantum $\mathcal D$-modules of a smooth variety $X$ and the projectivisation of a direct sum of line bundles over it. In this paper we prove the conjecture when $X$ is a complete intersection in a toric variety. We also use the conjecture to show that the relations of the small quantum cohomology ring of $X$ that come from differential operators lift to the projective bundle. The basic cohomology relation of the projective bundle deforms to a relation in the small quantum cohomology.
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.
Let $X\subset Y$ be smooth, projective manifolds. Assume that $X$ is the zero locus of a generic section of a direct sum $V+$ of positive line bundles on $\PP^n$. Furthermore assume that the normal bundle $N_{X/Y}$ is a direct sum $V-$ of negative line bundles. We show that a $V:=V+\oplus V-$-twisted Gromov-Witten theory of $\PP^n$ restricts to the Gromov-Witten theory of $X$ inherited form $Y$. The later one can be computed via a Mirror Theorem which we prove in this paper.
In this paper, we directly derive generalized mirror transformation of projective hypersurfaces up to degree 3 genus 0 Gromov-Witten invariants by comparing Kontsevich localization formula with residue integral representation of the virtual structure constants. We can easily generalize our method for rational curves of arbitrary degree except for combinatorial complexities.
Let $\mathcal{H}$ be a noncommutative regular projective curve over a perfect field $k$. We study global and local properties of the Auslander-Reiten translation $τ$ and give an explicit description of the complete local rings, with the involvement of $τ$. We introduce the $τ$-multiplicity $e_τ(x)$, the order of $τ$ as a functor restricted to the tube concentrated in $x$. We obtain a local-global principle for the (global) skewness $s(\mathcal{H})$, defined as the square root of the dimension of the function (skew-) field over its centre. In the case of genus zero we show how the ghost group, …
In this paper we discuss different properties of noncommutative schemes over a field. We define a noncommutative scheme as a differential graded category of a special type. We study regularity, smoothness and properness for noncommutative schemes. Admissible subcategories of categories of perfect complexes on smooth projective schemes provide natural examples of smooth and proper noncommutative schemes that are called geometric noncommutative schemes. In this paper we show that the world of all geometric noncommutative schemes is closed under an operation of a gluing of differential graded cat…
We first describe a canonical mirror partner (B-model) of the small quantum orbifold cohomology of weighted projective spaces (A-model) in the framework of differential equations: we attach to the A-model (resp. B-model) a D-module on the torus and we show that these two D-modules are isomorphic. This makes the A and B-models mirror partners and yields, in this situation, an explicit and finer version of a recent result of Iritani. Then we study, using the theory of the Kashiwara-Malgrange filtration, their degenerations at the origin and we apply our results to the construction of (classical,…
