In this follow-up of our earlier two works D(11.1) (arXiv:1406.0929 [math.DG]) and D(11.2) (arXiv:1412.0771 [hep-th]) in the D-project, we study further the notion of a `differentiable map from an Azumaya/matrix manifold to a real manifold'. A conjecture is made that the notion of differentiable maps from Azumaya/matrix manifolds as defined in D(11.1) is equivalent to one defined through the contravariant ring-homomorphisms alone. A proof of this conjecture for the smooth (i.e. $C^{\infty}$) case is given in this note. Thus, at least in the smooth case, our setting for D-branes in the realm of differential geometry is completely parallel to that in the realm of algebraic geometry, cf.\ arXiv:0709.1515 [math.AG] and arXiv:0809.2121 [math.AG]. A related conjecture on such maps to ${\Bbb R}^n$, as a $C^k$-manifold, and its proof in the $C^{\infty}$ case is also given. As a by-product, a conjecture on a division lemma in the finitely differentiable case that generalizes the division lemma in the smooth case from Malgrange is given in the end, as well as other comments on the conjectures in the general $C^k$ case. We remark that there are similar conjectures in general and theorems in the smooth case for the fermionic/super generalization of the notion.
The construction of double point cobordism groups of vector bundles on varieties in the work [Lee-P] (arXiv:1002.1500 [math.AG]) of Yuan-Pin Lee and Rahul Pandharipande gives immediately double point cobordism groups of filtered vector bundles on varieties. We note also that among the four basic operations -- direct sum, tensor product, dual, and Hom -- on vector bundles on varieties, only taking dual is compatible with double point cobordisms of vector bundles on varieties in general, by a demonstration on an example of vector bundles on Calabi-Yau 3-folds. A question on refined and/or higher algebraic cobordisms of vector bundles on varieties is posed in the end.
We prove that every geometrically reduced projective variety of pure dimension n over a field of positive characteristic admits a morphism to projective n-space, etale away from the hyperplane H at infinity, which maps a chosen divisor into H and some chosen smooth points not on the divisor to points not in H. This improves our earlier result in math.AG/0207150, which was restricted to infinite perfect fields. We also prove a related result that controls the behavior of divisors through the chosen point.
The `linear orbit' of a plane curve of degree d is its orbit in P^{d(d+3)/2} under the natural action of PGL(3). We classify curves with positive dimensional stabilizer, and we compute the degree of the closure of the linear orbits of curves supported on unions of lines. Together with the results of math.AG/9805020, this encompasses the enumerative geometry of all plane curves with small linear orbit. This information will serve elsewhere as an ingredient in the computation of the degree of the orbit closure of an arbitrary plane curve.
Greuel, Lossen and Shustin gave a general sufficient numerical condition for the T-smoothness (smoothness and expected dimension) of equisingular families of plane curves. This condition involves a new invariant γfor plane curve singularities, and it is conjectured to be asymptotically proper. In math.AG/0308247, similar sufficient numerical conditions are obtained for the T-smoothness of equisingular families on various classes surfaces. These conditions involve a series of invariants γ_a, 0 <= a <= 1, with γ_1=γ. In the present paper we compute (respectively give bounds for) these invariants for semiquasihomogeneous singularities.
We give a presentation for the Chow ring of the moduli space of degree two stable maps from two-pointed rational curves to P^1. Also, integrals of of all degree four monomials in the hyperplane pullbacks and boundary divisors of this ring are computed using equivariant intersection theory. Finally, the presentation is used to give a new computation of the (previously known) values of the genus zero, degree two, two-pointed gravitational correlators of P^1. This article is a sequel to math.AG/0501322, although the only information truly needed from that article is the Poincare polynomial of the moduli space under consideration.
This is a revised version of the second half of my paper math.AG/9909021. We prove that there exists a positive integer $ν_{n}$ depending only on $n$ such that for every smooth projective $n$-fold of general type $X$ defined over complex numbers, $\mid mK_{X}\mid$ gives a birational rational map from $X$ into a projective space for every $m\geq ν_{n}$.
Steven B. Bradlow, Oscar Garcia-Prada, Peter B. Gothen
Using the L^2 norm of the Higgs field as a Morse function, we study the moduli spaces of U(p,q)-Higgs bundles over a Riemann surface. We require that the genus of the surface be at least two, but place no constraints on (p,q). A key step is the identification of the function's local minima as moduli spaces of holomorphic triples. In a companion paper "Moduli spaces of holomorphic triples over compact Riemann surfaces" (math.AG/0211428) we prove that these moduli spaces of triples are non-empty and irreducible. Because of the relation between flat bundles and fundamental group representations, we can interpret our conclusions as results about the number of connected components in the moduli space of semisimple PU(p,q)-representations. The topological invariants of the flat bundles are used to label subspaces. These invariants are bounded by a Milnor-Wood type inequality. For each allowed value of the invariants satisfying a certain coprimality condition, we prove that the corresponding subspace is non-empty and connected. If the coprimality condition does not hold, our results apply to the closure of the moduli space of irreducible representations. This paper, and its companion mentioned above, form a substantially revised version of math.AG/0206012.
The paper is a short supplement of the longer paper "The Algebraic Proof of the Universality Theorem", preprint math.AG/0402045. In this short note, we outline the geometric meaning of Universality theorem (conjecture by Gottsche) as a non-linear extension of surface Riemann-Roch Theorem, inspired by the string theory argument of Yau-Zaslow to probe non-linear information from linear systems of algebraic surfaces. The universality theorem is an existence result which reflects the topological nature of the Riemann-Roch problem. We also outline the crucial role that Yau-Zaslow formula has played in our theory. At the end, we list a few open problems related to the algebraic solution of the problem.
A main ingredient for Kustin-Miller unprojection, as developed in (S. Papadakis and M. Reid, Kustin-Miller unprojection without complexes, math.AG/0011094), is the module Hom_R(I, \om_R), where R is a local Gorenstein ring and I a codimension one ideal with R/I Gorenstein. We prove a method of calculating it in a relative setting using resolutions. We give three applications. In the first we generalise a result of (F. Catanese et al., Embeddings of curves and surfaces, Nagoya Math. J. 154 (1999), 185-220). The second and the third are about Tom and Jerry, two families of Gorenstein codimension four rings with 9x16 resolutions.
In this note, I discuss in some detail the dual version of the ribbon graph decomposition of the moduli spaces of Riemann surfaces with boundary and marked points, which I introduced in math.AG/0402015, and used in math.QA/0412149 to construct open-closed topological conformal field theories. This dual version of the ribbon graph decomposition is a compact orbi-cell complex with a natural weak homotopy equivalence to the moduli space.
This paper is a sequel to math.AG/9810041 (whose abstract should have mentioned the fact that a version of the jacobi complex and higher-order Kodaira-Spencer maps were also discovered independently by Esnault and Viehweg). We give a canonical algebraic construction for the variation of Hodge structure associated to the universal m-th order deformation of a compact Kahler manifold without vector fields. Specializing to the case of a Calabi-Yau manifold, we give a formula for the mth derivative of its period map and deduce formal defining equations for the image (Schottky relations).
In this note, which is an addendum to the e-print math.AG/9810121, we prove that the variety VSP(F,10) of presentations of a general cubic form F in 6 variables as a sum of 10 cubes is a smooth symplectic 4-fold, which is deformation equivalent to the Hilbert square of a K3 surface of genus 8 but different from the family of lines on a cubic 4-fold. This provides a new geometric construction of a compact complex symplectic fourfold, different from a Hilbert square of a K3 surface, a generalized Kummer 4-fold, the variety of lines on a cubic 4-fold and the recent examples of O'Grady (see Duke Math. J. 134, no. 1 (2006), 99-137).
One of the open questions in the geometry of line arrangements is to what extent does the incidence lattice of an arrangement determine its fundamental group. Line arrangements of up to 6 lines were recently classified by K.M. Fan, and it turns out that the incidence lattice of such arrangements determines the projective fundamental group. We use actions on the set of wiring diagrams, introduced in [GTV] (math.AG/0107178), to classify real arrangements of up to 8 lines. In particular, we show that the incidence lattice of such arrangements determines both the affine and the projective fundamental groups.