We study $3$-folds with an action of a algebraic torus $T$ and finite fixed point set. In particular, assuming the torus action has (exactly) $6$ fixed points we show that aside from Mori fibre spaces, the topology of such spaces is strongly restricted. For $T= \mathbb{C}^{*}$ we prove that there are two explicit infinite families plus a finite number of exceptional cases. For $T = \mathbb{C}^{*} \times \mathbb{C}^{*}$ there are $2$ exceptional cases which are described explicitly.
We continue the classification of terminal Fano threefolds with an effective two-torus action. In earlier work we settled the Q-factorial case with Picard number one. Here we treat the larger class of varieties that do not admit any contraction of a prime divisor; these are called combinatorially minimal.
We compute the asymptotics of the number of connected branched coverings of a torus as their degree goes to infinity and the ramification type stays fixed. These numbers are equal to the volumes of the moduli spaces of pairs (curve, holomorphic differential) with fixed multiplicities of zeros of the differential and have several applications in ergodic theory.
In this paper we discuss topological properties of holomorphic Lefschetz pencils on the four-torus. Relying on the theory of moduli spaces of polarized abelian surfaces, we first prove that, under some mild assumption, the (smooth) isomorphism class of a holomorphic Lefschetz pencil on the four-torus is uniquely determined by its genus and divisibility. We then explicitly give a system of vanishing cycles of the genus-3 holomorphic Lefschetz pencil on the four-torus due to Smith, and obtain those of holomorphic pencils with higher genera by taking finite unbranched coverings. One can also obta…
Let $C$ be a smooth elliptic curve embedded in a smooth complex surface $X$ such that $C$ is a leaf of a suitable holomorphic foliation of $X$. We investigate complex analytic properties of a neighborhood of $C$ under some assumptions on complex dynamical properties of the holonomy function. As an application, we give an example of $(C, X)$ in which the line bundle $[C]$ is formally flat along $C$ however it does not admit a $C^\infty$ Hermitian metric with semi-positive curvature.
We extend the equivariant holomorphic Morse inequalities of circle actions to cases with torus and non-Abelian group actions on holomorphic vector bundles over Kahler manifolds and show the necessity of the Kahler condition. For torus actions, there is a set of inequalities for each choice of action chambers specifying directions in the Lie algebra of the torus. We apply the results to invariant line bundles over toric manifolds. If the group is non-Abelian, there is in addition an action of the Weyl group on the fixed-point set of its maximal torus. The sum over the fixed points can be rearra…
As an analogy to Gopakumar-Vafa conjecture on Calabi-Yau 3-folds, Klemm-Pandharipande defined Gopakumar-Vafa type invariants of a Calabi-Yau 4-fold $X$ using Gromov-Witten theory. When $X$ is holomorphic symplectic, Gromov-Witten invariants vanish and one can consider the corresponding reduced theory. In a companion work, we propose a definition of Gopakumar-Vafa type invariants for such a reduced theory. In this paper, we give them a sheaf theoretic interpretation via moduli spaces of stable pairs.
We apply the methods of C{ă}ld{ă}raru to construct a twisted Fourier-Mukai transform between a pair of holomorphic symplectic four-folds. More precisely, we obtain an equivalence between the derived category of coherent sheaves on a certain four-fold and the derived category of twisted sheaves on its `mirror' partner. As corollaries, we show that the two spaces are connected by a one-parameter family of deformations through Lagrangian fibrations, and we extend the original Fourier-Mukai transform to degenerations of abelian surfaces.
We define a formal Gromov-Witten theory of the quintic 3-fold via localization on CP4. Our main result is a direct geometric proof of holomorphic anomaly equations for the formal quintic in precisely the same form as predicted by B-model physics for the true Gromov-Witten theory of the quintic 3-fold. The results suggest that the formal quintic and the true quintic theories should be related by transformations which respect the holomorphic anomaly equations. Such a relationship has been recently found by Q. Chen, S. Guo, F. Janda, and Y. Ruan via the geometry of new moduli spaces.
We briefly review the formal picture in which a Calabi-Yau $n$-fold is the complex analogue of an oriented real $n$-manifold, and a Fano with a fixed smooth anticanonical divisor is the analogue of a manifold with boundary, motivating a holomorphic Casson invariant counting bundles on a Calabi-Yau 3-fold. We develop the deformation theory necessary to obtain the virtual moduli cycles of \cite{LT}, \cite{BF} in moduli spaces of stable sheaves whose higher obstruction groups vanish. This gives, for instance, virtual moduli cycles in Hilbert schemes of curves in $\Pee^3$, and Donaldson-- and Grom…
Given a symplectic three-fold $(M,ω)$ we show that for a generic almost complex structure $J$ which is compatible with $ω$, there are finitely many $J$-holomorphic curves in $M$ of any genus $g\geq 0$ representing a homology class $β$ in $\H_2(M,\Z)$ with $c_1(M).β=0$, provided that the divisibility of $β$ is at most 4 (i.e. if $β=nα$ with $α\in H_2(M,\Z)$ and $n\in \Z$ then $n\leq 4$). Moreover, each such curve is embedded and 4-rigid.
Consider a holomorphic torus action on vector bundles over a complex manifold which lifts to a holomorphic vector bundle. When the connected components of the fixed-point set are partially ordered, we construct, using sheaf-theoretical techniques, two spectral sequences that converges to the twisted Dolbeault cohomology groups and those with compact support, respectively. These spectral sequences are the holomorphic counterparts of the instanton complex in standard Morse theory. The results proved imply holomorphic Morse inequalities and fixed-point formulas on a possibly non-compact manifold.…
In this article, we propose a way of seeing the noncommutative tori in the category of noncommutative motives. As an algebra, the noncommutative torus is lack the smoothness property required to define a noncomutative motive. Thus, instead of working with the algebra, we work with the category of holomorphic bundles. It is known that these are related to the coherent sheaves of an elliptic curve. We describe the cyclic homology of the category of holomorphic bundle on a noncommutative torus. We then introduce a notion of (weak) t-structure in dg categories. By applying the t-structure to a non…
For quantum torus generated by unitaries $UV = e(θ)VU$ there exist nontrivial strong Morita autoequivalences in case when $θ$ is real quadratic irrationality. A.Polishchuk introduced and studied the graded ring of holomorphic sections of powers of the respective bimodule (depending on the choice of a complex structure). We consider a Segre square of this ring whose graded components are spanned by Rieffel scalar products of Polishchuk's holomorphic vectors. These graded components are linear spaces of quantum theta functions in sense of Yu.Manin.
We describe the basic cohomology ring of the canonical holomorphic foliation on a moment-angle manifold, LVMB-manifold or any complex manifold with a maximal holomorphic torus action. Namely, we show that the basic cohomology has a description similar to the cohomology ring of a complete simplicial toric variety due to Danilov and Jurkiewicz. This settles a question of Battaglia and Zaffran, who previously computed the basic Betti numbers for the canonical holomorphic foliation in the case of a shellable fan. Our proof uses an Eilenberg-Moore spectral sequence argument; the key ingredient is t…
We prove that the Kodaira dimension of the n-fold universal family of lattice-polarized holomorphic symplectic varieties with dominant and generically finite period map stabilizes to the moduli number when n is sufficiently large. Then we study the transition of Kodaira dimension explicitly, from negative to nonnegative, for known explicit families of polarized symplectic varieties. In particular, we determine the exact transition point in the cases of Beauville-Donagi and Debarre-Voisin, where the Borcherds Phi_{12} form plays a crucial role.
We describe and solve a double scaling limit of large N Yang-Mills theory on a two-dimensional torus. We find the exact strong-coupling expansion in this limit and describe its relation to the conventional Gross-Taylor series. The limit retains only the chiral sector of the full gauge theory and the coefficients of the expansion determine the asymptotic Hurwitz numbers, in the limit of infinite winding number, for simple branched coverings of a torus. These numbers are computed exactly from the gauge theory vacuum amplitude and shown to coincide with the volumes of the principal moduli spaces …
Let X be a Calabi-Yau 3-fold, T=D^b(coh(X)) the derived category of coherent sheaves on X, and Stab(T) the complex manifold of Bridgeland stability conditions Z on T. It is conjectured that one can define rational numbers J^a(Z) for Z in Stab(T) and a in the numerical Grothendieck group K(T) generalizing Donaldson-Thomas invariants, which `count' Z-semistable (complexes of) coherent sheaves on X in class a, and whose transformation law under change of Z is known. This paper explains how to combine such invariants J^a(Z), if they exist, into a family of holomorphic generating functions F^a:Stab…
Based on work of R. Lazarsfeld and M. Popa, we use the derivative complex associated to the bundle of the holomorphic p-forms to provide inequalities for all the Hodge numbers of a special class of irregular compact Kaehler manifolds. For 3-folds and 4-folds we give an asymptotic bound for all the Hodge numbers in terms of the irregularity. As a byproduct, via the BGG correspondence, we also bound the regularity of the exterior cohomology modules of bundles of holomorphic p-forms.
The Hodge Conjecture is equivalent to a statement about conditions under which a complex vector bundle on a smooth complex projective variety admits a holomorphic structure. I advertise a class of abelian four-folds due to Mumford where this approach could be tested. I construct explicit smooth vector bundles - which can in fact be constructed in terms of of smooth line bundles - whose Chern characters are given Hodge classes. An instanton connection on these vector bundles would endow them with a holomorphic structure and thus prove that these classes are algebraic. I use complex multiplicati…
This paper classifies toric Fano 3-folds with singular locus { 1/k(1,1,1) } for any positive integer k, building on the work of Batyrev and Watanabe-Watanabe. This is achieved by completing an equivalent problem in the language of Fano polytopes. Furthermore we identify birational relationships between entries of the classification. For a fixed value k>4, there are exactly two such Fano 3-folds linked by a blow-up in a torus-invariant line.
The configuration space C^n of unordered n-tuples of distinct points on a torus T^2 is a non-singular complex algebraic variety. We study holomorphic self-maps of C^n and prove that for n>4 any such map F either carries the whole of C^n into an orbit of the diagonal Aut(T^2) action in C^n or is of the form F(x)=T(x)x for some holomorphic map T:C^n-->Aut(T^2). We also prove that for n>4 any endomorphism of the torus braid group B_n(T^2) with a non-abelian image preserves the pure torus braid group PB_n(T^2).
We shall construct a 5-dimensional linear system of holomorphic automorphic forms on a 3-dimensional complex ball by applying Borcherds theory of automorphic forms. We shall show that this linear system gives the dual map from the Segre cubic 3-fold to the Igusa quartic 3-fold.
We give a construction of Lagrangian torus fibrations with controlled discriminant locus on certain affine varieties. In particular, we apply our construction in the following ways. We find a Lagrangian torus fibration on the 3-fold negative vertex whose discriminant locus has codimension 2; this provides a local model for finding torus fibrations on compact Calabi-Yau 3-folds with codimension 2 discriminant locus. Then, we find a Lagrangian torus fibration on a neighbourhood of the one-dimensional stratum of a simple normal crossing divisor (satisfying certain conditions) such that the base o…
Harmonic band theory: rigidity of non-zero degree harmonic maps from 2-torus to complex projective space
Osaka Metropolitan University（大阪公立大学）；Instituto Superior Técnico, Universidade de Lisboa（里斯本大学高等技术学院）；Advanced Institute for Materials Research (WPI-AIMR), Tohoku University（东北大学物质材料研究高层研究所（WPI-AIMR））
Motivated by gauge theory under special holonomy, we present techniques to produce holomorphic bundles over certain noncompact $3-$folds, called building blocks, satisfying a stability condition `at infinity'. Such bundles are known to parametrise solutions of the Yang-Mills equation over the $\rm G_2-$manifolds obtained from asymptotically cylindrical Calabi-Yau $3-$folds studied by Kovalev and by Corti-Haskins-Nordström-Pacini et al. The most important tool is a generalisation of Hoppe's stability criterion to holomorphic bundles over smooth projective varieties $X$ with $\operatorname{Pic}{…
We develop a new approach to the study of the multipoint loci of holomorphic maps between complex manifolds. We relate the $k$-fold locus to the curvilinear component of the Hilbert scheme of $k$ points on the source space of the map, and using equivariant localisation, we derive a closed iterated multipoint residue formula. Our work is motivated by ideas and conjectures of M. Kazarian and R. Rimányi on residual polynomials.
Let M be a symplectic manifold equipped with a Hamiltonian circle action and let L be an invariant Lagrangian submanifold of M. We study the problem of counting holomorphic disc sections of the trivial M-bundle over a disc with boundary in L through degeneration. We obtain a conjectural relationship between the potential function of L and the Seidel element associated to the circle action. When applied to a Lagrangian torus fibre of a semi-positive toric manifold, this degeneration argument reproduces a conjecture (now a theorem) of Chan-Lau-Leung-Tseng relating certain correction terms appear…
We classify the irreducible components of the space of foliations on Fano 3-folds with rank one Picard group. As a corollary we obtain a classification of holomorphic Poisson structures on the same class of 3-folds.
An old result of the first author and David Lieberman says that if a compact Kaehler manifold X admits a holomorphic vector field V having at least one zero, then the Dolbeault cohomology algebra H^*(X, Ω^*) of X is isomorphic with the bigraded algebra associated to a certain filtered graded ring. If V has isolated zeros this is the graded algebra associated to a certain filtration of the coordinate ring of the scheme Z defined by zero(V). The purpose of this note is to show that if V is generated by a torus action then equivariant Dolbeault cohomology can be used to give direct geometric proo…
We describe the basic Dolbealut cohomology algebra of the canonical foliation on a class of complex manifolds with a torus symmetry group. This class includes complex moment-angle manifolds, LVM- and LVMB-manifolds and, in most generality, complex manifolds with a maximal holomorphic torus action. We also provide a dga model for the ordinary Dolbeault cohomology algebra. The Hodge decomposition for the basic Dolbeault cohomology is proved by reducing to the transversely Kaehler (equivalently, polytopal) case using a foliated analogue of toric blow-up.
There is a set of remarkable physical predictions for the structure of BCOV's higher genus B-model of mirror quintic 3-folds which can be viewed as conjectures for the Gromov-Witten theory of quintic 3-folds. They are (i) Yamaguchi--Yau's finite generation, (ii) the holomorphic anomaly equation, (iii) the orbifold regularity and (iv) the conifold gap condition. Moreover, these properties are expected to be universal properties for all the Calabi-Yau 3-folds. This article is devoted to proving first three conjectures. The main geometric input to our proof is a log GLSM moduli space and the comp…
Let $X$ be a complex manifold, $π: E \rightarrow X$ a locally trivial holomorphic fibration with fiber $F$, and $\mathfrak{g}$ a Lie algebra with an invariant symmetric form. We associate to this data a holomorphic prefactorization algebra $\mathcal{F}_{\mathfrak{g}, π}$ on $X$ in the formalism of Costello-Gwilliam. When $X=\mathbb{C}$, $\mathfrak{g}$ is simple, and $F$ is a smooth affine variety, we extract from $\mathcal{F}_{\mathfrak{g}, π}$ a vertex algebra which is a vacuum module for the universal central extension of the Lie algebra $\mathfrak{g} \otimes H^{0}(F, \mathcal{O})[z,z^{-1}]$…
