Hasil untuk "math.AG"

Chien-Hao Liu, Shing-Tung Yau

In this Part II, D(10.2), of D(10), we take D(10.1) (arXiv:1302.2054 [math.AG]) as the foundation to define the notion of $Z$-semistable morphisms from general Azumaya nodal curves, of genus $\ge 2$, with a fundamental module to a projective Calabi-Yau 3-fold and show that the moduli stack of such $Z$-semistable morphisms of a fixed type is compact. This gives us a counter moduli stack to D-strings as the moduli stack of stable maps in Gromov-Witten theory to the fundamental string. It serves and prepares for us the basis toward a new invariant of Calabi-Yau 3-fold that captures soft-D-string world-sheet instanton numbers in superstring theory. This note is written hand-in-hand with D(10.1) and is to be read side-by-side with ibidem.

Vittoria Bussi, Dominic Joyce, Sven Meinhardt

Let $U$ be a smooth scheme over an algebraically closed field $\mathbb K$ of characteristic zero and $f:U\to{\mathbb A}^1$ a regular function, and write $X=$Crit$(f)$, as a closed subscheme of $U$. The motivic vanishing cycle $MF_{U,f}^φ$ is an element of the $\hatμ$-equivariant motivic Grothendieck ring ${\mathcal M}^{\hatμ}_X$ defined by Denef and Loeser math.AG/0006050 and Looijenga math.AG/0006220, and used in Kontsevich and Soibelman's theory of motivic Donaldson-Thomas invariants, arXiv:0811.2435. We prove three main results: (a) $MF_{U,f}^φ$ depends only on the third-order thickenings $U^{(3)},f^{(3)}$ of $U,f$. (b) If $V$ is another smooth scheme, $g:V\to{\mathbb A}^1$ is regular, $Y=$Crit$(g)$, and $Φ:U\to V$ is an embedding with $f=g\circΦ$ and $Φ\vert_X:X\to Y$ an isomorphism, then $Φ\vert_X^*(MF_{V,g}^φ)$ equals $MF_{U,f}^φ$ "twisted" by a motive associated to a principal ${\mathbb Z}_2$-bundle defined using $Φ$, where now we work in a quotient ring $\bar{\mathcal M}^{\hatμ}_X$ of ${\mathcal M}^{\hatμ}_X$. (c) If $(X,s)$ is an "oriented algebraic d-critical locus" in the sense of Joyce arXiv:1304.4508, there is a natural motive $MF_{X,s} \in\bar{\mathcal M}^{\hatμ}_X$, such that if $(X,s)$ is locally modelled on Crit$(f:U\to{\mathbb A}^1)$, then $MF_{X,s}$ is locally modelled on $MF_{U,f}^φ$. Using results from arXiv:1305.6302, these imply the existence of natural motives on moduli schemes of coherent sheaves on a Calabi-Yau 3-fold equipped with "orientation data", as required in Kontsevich and Soibelman's motivic Donaldson-Thomas theory arXiv:0811.2435, and on intersections of oriented Lagrangians in an algebraic symplectic manifold. This paper is an analogue for motives of results on perverse sheaves of vanishing cycles proved in arXiv:1211.3259. We extend this paper to Artin stacks in arXiv:1312.0090.

Denis Osipov

We give a construction of the two-dimensional tame symbol as the commutator of a group-like monoidal groupoid which is obtained from some group of k-linear operators acting in a two-dimensional local field and corresponds to some third cohomology class of this group. We give also the hypothetical method for the proof of the two-dimensional Parshin reciprocity laws. This text was written in 2003 as preprint 03-13 of the Humboldt University of Berlin and was available at http://edoc.hu-berlin.de/docviews/abstract.php?id=26204 (only evident misprints are corrected now). Later E. Frenkel and X. Zhu obtained in arXiv:0810.1487 [math.RT] more general results concerning the third cohomology classes of groups acting on two-dimensional local fields, and the author and X. Zhu obtained in arXiv:1002.4848 [math.AG] the proof of the Parshin reciprocity laws on an algebraic surface similar to the Tate proof of the residue formula on an algebraic curve.

Bjorn Andreas, Gottfried Curio

Supersymmetric heterotic string models, built from a Calabi-Yau threefold $X$ endowed with a stable vector bundle $V$, usually lead to an anomaly mismatch between $c_2(V)$ and $c_2(X)$; this leads to the question whether the difference can be realized by a further bundle in the hidden sector. In math.AG/0604597 a conjecture is stated which gives sufficient conditions on cohomology classes on $X$ to be realized as the Chern classes of a stable reflexive sheaf $V$; a weak version of this conjecture predicts the existence of such a $V$ if $c_2(V)$ is of a certain form. In this note we prove that on elliptically fibered $X$ infinitely many cohomology classes $c\in H^4(X, {\bf Z})$ exist which are of this form and for each of them a stable SU(n) vector bundle with $c=c_2(V)$ exists.

Jiangwei Xue, Yuri G. Zarhin

Suppose that $K$ is a field of characteristic 0, $p$ is an odd prime, $r$ a positive integer, $q=p^r$ a prime power. Suppose that $f(x)$ is a polynomial of degree $n > 4$ with coefficients in $K$ and without multiple roots. Let us consider the superelliptic curve $C: y^q=f(x)$ and its jacobian $J(C)$. Assuming that $K$ is a subfield of the field of complex numbers, we study the (connected reductive algebraic) Hodge group $Hdg$ of the corresponding complex abelian variety $J(C)$. In our previous paper (arXiv:0907.1563 [math.AG]) we studied the center of $Hdg. In this paper we study the semisimple part (commutator subgroup) of $Hdg$. Assuming that $p$ does not divide $n$ and $n-1$ is not divisible by $q$, the Galois group of $f(x)$ over $K$ is either the full symmetric group $S_n$ or the alternating group $A_n$, we prove that the semisimple part of $Hdg$ is "as large as possible".

M. C. Fernandez-Fernandez, F. J. Castro-Jimenez

We describe the Gevrey series solutions at singular points of the irregular hypergeometric system (GKZ system) associated with an affine plane monomial curve. We also describe the irregularity complex of such a system with respect to its singular support.

Takehiko Yasuda

Our purpose is to make a contribution to the foundation of the theory of formal scheme. We are interested particularly in non-Noetherian or non-adic formal schemes, which have been little studied. We redefine the formal scheme as a proringed space and study its basic properties. We also find several examples of non-adic formal schemes.

Peter Magyar, Jerzy Weyman, Andrei Zelevinsky

Problem: Given a reductive algebraic group G, find all k-tuples of parabolic subgroups (P_1,...,P_k) such that the product of flag varieties G/P_1 x ... x G/P_k has finitely many orbits under the diagonal action of G. In this case we call G/P_1 x ... x G/P_k a multiple flag variety of finite type. (If P_1 is a Borel subgroup, the partial product G/P_2 x ... x G/P_k is a spherical variety.) In this paper we solve this problem in the case of the symplectic group G = Sp(2n). We also give a complete enumeration of the orbits, and explicit representatives for them. (It is well known that for k=2 the orbits are essentially Schubert varieties.) Our main tool is the algebraic theory of quiver representations. Rather unexpectedly, it turns out that we can use the same techniques in the present case as we did for G = GL(n) in math.AG/9805067.

Nicholas J. Proudfoot

Let X be a Kahler manifold that is presented as a Kahler quotient of C^n by the linear action of a compact group G. We define the hyperkahler analogue M of X as a hyperkahler quotient of the cotangent bundle T^*C^n by the induced G-action. Special instances of this construction include hypertoric varieties and quiver varieties. Our aim is to provide a unified treatment of these two previously studied examples, with specific attention to the geometry and topology of the circle action on M that descends from the scalar action on the fibers of the cotangent bundle. We provide a detailed study of this action in the cases where M is a hypertoric variety or a hyperpolygon space. Most of this document consists of material from the papers math.DG/0207012, math.AG/0308218, and math.SG/0310141. Sections 2.2 and 3.5 contain previously unannounced results.

Francisco Javier Gallego, Bangere P. Purnaprajna

In this article we classify quadruple Galois canonical covers $φ$ of singular surfaces of minimal degree. This complements the work done in math.AG/0302045, so the main output of both papers is the complete classification of quadruple Galois canonical covers of surfaces of minimal degree, both singular and smooth. Our results show that the covers $X$ studied in this article are all regular surfaces and form a bounded family in terms of geometric genus $p_g$. In fact, the geometric genus of $X$ is bounded by 4. Together with the results of Horikawa and Konno for double and triple covers, a striking numerology emerges that motivates some general questions on the existence of higher degree canonical covers. In this article, we also answer some of these questions. The arguments to prove our results include a delicate analysis of the discrepancies of divisors in connection with the ramification and inertia groups of $φ$.

Yuri G. Zarhin

In his previous paper (Math. Res. Letters 7(2000), 123--132) the author proved that in characteristic zero the jacobian $J(C)$ of a hyperelliptic curve $C: y^2=f(x)$ has only trivial endomorphisms over an algebraic closure $K_a$ of the ground field $K$ if the Galois group $Gal(f)$ of the irreducible polynomial $f(x) \in K[x]$ is either the symmetric group $S_n$ or the alternating group $A_n$. Here $n>4$ is the degree of $f$. In math.AG/0003002 we extended this result to the case of certain ``smaller'' Galois groups. In particular, we treated the infinite series $n=2^r+1, Gal(f)=L_2(2^r)$ and $n=2^{4r+2}+1, Gal(f)=Sz(2^{2r+1})$. In this paper we do the case of $Gal(f)=\U_3(2^m)$ and $n=2^{3m}+1$.

Igor Frenkel, Marcos Jardim

We use a complex version of the celebrated Atiyah-Hitchin-Drinfeld-Manin matrix equations to construct admissible torsion-free sheaves on $\p^3$ and complex quantum instantons over our quantum Minkowski space-time. We identify the moduli spaces of various subclasses of sheaves on $\p^3$, and prove their smoothness. We also define the Laplace equation in the quantum Minkowski space-time, study its solutions and relate them to the admissibility condition for sheaves on $\p^3$.

Dimitri Zvonkine

Let A be the algebra generated by the power series \sum n^{n-1} q^n/n! and \sum n^n q^n /n! . We prove that many natural generating functions lie in this algebra: those appearing in graph enumeration problems, in the intersection theory of moduli spaces M_{g,n} and in the enumeration of ramified coverings of the sphere. We argue that ramified coverings of the sphere with a large number of sheets provide a model of 2-dimensional gravity. Our results allow us to compute the asymptotic of the number of coverings as the number of sheets goes to infinity. The leading terms of such asymptotics are the values of certain observables in 2-dimensional gravity. We prove that they coincide with the values provided by other models. In particular, we recover a solution of the Painleve I equation and the string solution of the KdV hierarchy.

David Eisenbud, Sorin Popescu, Charles Walter

We give examples of subcanonical subvarieties of codimension 3 in projective n-space which are not Pfaffian, i.e. defined by the ideal sheaf of submaximal Pfaffians of an alternating map of vector bundles. This gives a negative answer to a question asked by Okonek. Walter had previously shown that a very large majority of subcanonical subschemes of codimension 3 in P^n are Pfaffian, but he left open the question whether the exceptional non-Pfaffian cases actually occur. We give non-Pfaffian examples of the principal types allowed by his theorem, including (Enriques) surfaces in P^5 in characteristic 2 and a smooth 4-fold in P^7. These examples are based on our previous work math.AG/9906170 showing that any strongly subcanonical subscheme of codimension 3 of a Noetherian scheme can be realized as a locus of degenerate intersection of a pair of Lagrangian (maximal isotropic) subbundles of a twisted orthogonal bundle.

Alexander Givental

According to a conjecture of E. Witten proved by M. Kontsevich, a certain generating function for intersection indices on the Deligne -- Mumford moduli spaces of Riemann surfaces coincides with a certain tau-function of the KdV hierarchy. The generating function is naturally generalized under the name the {\em total descendent potential} in the theory of Gromov -- Witten invariants of symplectic manifolds. The papers arXiv: math.AG/0108100 and arXive: math.DG/0108160 contain two equivalent constructions, motivated by some results in Gromov -- Witten theory, which associate a total descendent potential to any semisimple Frobenius structure. In this paper, we prove that in the case of K.Saito's Frobenius structure on the miniversal deformation of the $A_{n-1}$-singularity, the total descendent potential is a tau-function of the $n$KdV hierarchy. We derive this result from a more general construction for solutions of the $n$KdV hierarchy from $n-1$ solutions of the KdV hierarchy.

Anders S. Buch

In our joint paper with W. Fulton (math.AG/9804041) we prove a formula for the cohomology class of a quiver variety. This formula involves a new class of generalized Littlewood-Richardson coefficients, all of which surprisingly seem to be non-negative. We conjecture that each of these coefficients count the number of sequences of semistandard Young tableaux which satisfy certain conditions. In this paper I give a proof of this conjecture in the special case where the quiver variety can be described by at most four vector bundles. I also prove that the general conjecture follows from a simple combinatorial statement for which substantial computer verification has been obtained.

V. V. Fock, A. B. Goncharov

Cluster ensemble is a pair of positive spaces (X, A) related by a map p: A -> X. It generalizes cluster algebras of Fomin and Zelevinsky, which are related to the A-space. We develope general properties of cluster ensembles, including its group of symmetries - the cluster modular group, and a relation with the motivic dilogarithm. We define a q-deformation of the X-space. Formulate general duality conjectures regarding canonical bases in the cluster ensemble context. We support them by constructing the canonical pairing in the finite type case. Interesting examples of cluster ensembles are provided the higher Teichmuller theory, that is by the pair of moduli spaces corresponding to a split reductive group G and a surface S defined in math.AG/0311149. We suggest that cluster ensembles provide a natural framework for higher quantum Teichmuller theory.

M. Kapranov, E. Vasserot

To any algebraic variety X and and closed 2-form ωon X, we associate the "symplectic action functional" T(ω) which is a function on the formal loop space LX introduced by the authors in math.AG/0107143. The correspondence ω--> T(ω) can be seen as a version of the Radon transform. We give a characterization of the functions of the form T(ω) in terms of factorizability (infinitesimal analog of additivity in holomorphic pairs of pants) as well as in terms of vertex operator algebras. These results will be used in the subsequent paper which will relate the gerbe of chiral differential operators on X (whose lien is the sheaf of closed 2-forms) and the determinantal gerbe of the tangent bundle of LX (whose lien is the sheaf of invertible functions on LX). On the level of liens this relation associates to a closed 2-form ωthe invertible function exp T(ω).

Amnon Yekutieli

Let X be a separated finite type scheme over a noetherian base ring K. There is a complex C(X) of topological O_X-modules on X, called the complete Hochschild chain complex of X. To any O_X-module M - not necessarily quasi-coherent - we assign the complex Hom^{cont}_X(C(X),M) of continuous Hochschild cochains with values in M. Our first main result is that when X is smooth over K there is a functorial isomorphism between the complex of continuous Hochschild cochains and RHom_{X2}(O_X,M), in the derived category D(Mod(O_{X2})). The second main result is that if X is smooth of relative dimension n and n! is invertible in K, then the standard map from Hochschild chains to differential forms induces a decomposition of Hom^{cont}_X(C(X),M) in derived category D(Mod(O_X)). When M = O_X this is the precisely the quasi-isomorphism underlying the Kontsevich Formality Theorem. Combining the two results above we deduce a decomposition of the global Hochschild cohomology with values in M.

Atanas Iliev, Kristian Ranestad

The main outcome of this paper is 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 obtained a deformation of the Hilbert square of a K3 surface of genus 8. After publishing it in Trans. Am. Math. Soc. 353, No.4, 1455-1468 (2001), it was noted to us by Eyal Markman that in Theorem 3.17 we conclude without proof that VSP(F,10) should be the 4-fold of lines on another cubic 4-fold. We correct this in the e-print "Addendum to K3 surfaces of genus 8 and varieties of sums of powers of cubic fourfolds" (math.AG/0611533), where we establish that the general VSP(F,10) is in fact a new symplectic 4-fold different from the family of lines on a cubic 4-fold.