SEARCH · Searcharxiv
Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
In a previous paper, math.AG/0409419, we described six families of K3-surfaces with Picard-number 19, and we identified surfaces with Picard-number 20. In these notes we classify some of the surfaces by computing their transcendental lattices. Moreover we show that the surfaces with Picard-number 19 are birational to a Kummer surface which is the quotient of a non-product type abelian surface by an involution.
In this note I give a description of Lyubeznik's local cohomology invariants for a certain natural class of local rings, namely the ones which have the same local cohomology vanishing as one expects from an isolated singularity. This strengthens the results of Bondu and myself in math.AG/0406265 while at the same time somewhat simplifying the proofs. Through examples I further point out the bad behavior of these invariants under reduction to positive characteristic.
In their paper Livné and Yui (math.AG/0304497) discuss several examples of non-rigid Calabi-Yau varieties which admit semi-stable K3-fibrations with 6 singular fibres over a base which is a rational modular curve. They also establish the modularity of the L-function of these examples. The purpose of this note is to point out that the examples which were listed in their paper, but which do not lead to semi-stable fibrations, are still modular in the sense that their L-function is associated to modular forms. We treat the case associated to the group Gamma_1(7) in detail, but our technique also applies to many other cases. We further make some comments concerning the Kummer construction for fibre products of elliptic surfaces in general.
I have finalized my old (1979) results about enumeration of connected components of moduli of real polarized K3 surfaces. As an application, using recent results of math.AG/0312396, the complete classification of real polarized K3 surfaces which are deformations of real hyper-elliptically polarized K3 surfaces is obtained. This could be important in some questions, because real hyper-elliptically polarized K3 surfaces can be constructed explicitly.
We work over an algebraically closed field of arbitrary characteristic. Ellingsrud-Peskine proved that smooth surfaces in P^4 are subject to strong limitations. Their whole argument is derived from the fact that the sectional genus of surfaces of degree d lying on a hypersurface of degree s varies in an interval of length \frac{d(s-1)^2}{2s}. The aim of the present paper is to show that for smooth codimension two subvarieties of P^n, n\geq 5, one can get a similar result with an interval whose length depends only on s. The main point is Lemma 1.1 whose proof is a direct application of the positivity of N_X(-1) (where N_X is the normal bundle of X in P^n). We get a series of (n-3) inequalities; the first one of which being in the paper of Ellingsrud-Peskine, the second was obtained in a preliminary version (arXiv:math.AG/0406497) by an essentially equivalent but more geometric argument. Then we first derive two consequences: 1) roughly speaking, (Thm. 2.1, Remark 2.2) the family of "biliaison classes" of smooth subvarieties of P^5 lying on a hypersurface of degree s is limited; 2) the family of smooth codimension two subvarieties of P^6 lying on a hypersurface of degree s is limited (Thm. 1.4). The result quoted in 1) is not effective, but 2) is. In the last section we try to obtain precise inequalities connecting the usual numerical invariants of a smooth subcanonical subvariety X of P^n, n\geq 5 (the degree d, the speciality index e, the least degree, s, of an hypersurface containing X). In particular we prove (Thm. 3.12): s\geq n+1.
We discuss and extend some of the results obtained in "Arakelov inequalities and the uniformization of certain rigid Shimura varieties" (math.AG/0503339), restricting ourselves to the two dimensional case, i.e. to surfaces Y mapping generically finite to the moduli stack of Abelian varieties. In particular we show that Y is a Hilber modular surfaces if and only if the dergee of the Hodge bundle satisfies the Arakelov equality. In the revised version, we corrected some minor mistakes, pointed out by the referee, and we tried to improve the presentation of the text.
Graber, Harris and Starr proved, when n >= 2d, the irreducibility of the Hurwitz space H^0_{d,n}(Y) which parametrizes degree d coverings of a smooth, projective curve Y of positive genus, simply branched in n points, with full monodromy group S_d (math.AG/0205056). We sharpen this result and prove that H^0_{d,n}(Y) is irreducible if n >= max{2,2d-4} and in the case of elliptic Y if n >= max{2,2d-6}. We extend the result to coverings simply branched in all but one point of the discriminant. Fixing the ramification multiplicities over the special point we prove that the corresponding Hurwitz space is irreducible if the number of simply branched points is >= 2d-2. We study also simply branched coverings with monodromy group different from S_d and when n is large enough determine the corresponding connected components of H_{d,n}(Y). Our results are based on explicit calculation of the braid moves associated with the standard generators of the n-strand braid group of Y.
This is a local version of math.AG/0506534. We shall deal with the deformation of a convex symplectic variety $X$ instead of a projective one. The usual deformation does not work well in the convex case. Instead, we regard $X$ as a Poisson scheme and study its Poisson deformation. One of the application is the following: Let $Y$ be an affine symplectic variety, and assume that $Y$ has two $Q$-factorial crepant terminalizations $X$ and $X'$. If $X$ is non-singular, then $X'$ is non-singular, too. Moreover, when $Y$ has a good $C^*$-action, $X$ and $X'$ have the same kind of singularities.
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(ω).
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.
We show that the mapping cone of a morphism of differential graded Lie algebras $χ\colon L\to M$ can be canonically endowed with an $L_\infty$-algebra structure which at the same time lifts the Lie algebra structure on $L$ and the usual differential on the mapping cone. Moreover, this structure is unique up to isomorphisms of $L_\infty$-algebras. The associated deformation functor coincides with the one introduced by the second author in arXiv:math.AG/0507287.
In this paper we develop a theory of Grothendieck's six operations for adic constructible sheaves on Artin stacks continuing the study of the finite coefficients case in math.AG/0512097.
We continue our study on infinitesimal lifting properties of maps between locally noetherian formal schemes started in math.AG/0604241. In this paper, we focus on some properties which arise specifically in the formal context. In this vein, we make a detailed study of the relationship between the infinitesimal lifting properties of a morphism of formal schemes and those of the corresponding maps of usual schemes associated to the directed systems that define the corresponding formal schemes. Among our main results, we obtain the characterization of completion morphisms as pseudo-closed immersions that are flat. Also, the local structure of smooth and etale morphisms between locally noetherian formal schemes is described: the former factors locally as a completion morphism followed by a smooth adic morphism and the latter as a completion morphism followed by an etale adic morphism.
In math.AG/0407496, a new construction of limit linear series is presented which functorializes and compactifies the original construction of Eisenbud and Harris, using a new space called the linked Grassmannian. The boundary of the compactification consists of crude limit series, and maps with positive-dimensional fibers to crude limit series of Eisenbud and Harris. In this paper, we carry out a careful analysis of the linked Grassmannian to obtain an upper bound on the dimension of the fibers of the map on crude limit series, thereby concluding an upper bound on the dimension of the locus of crude limit series, and obtaining a simple proof of the Brill-Noether theorem using only the limit linear series machinery. We also see that on a general reducible curve, even crude limit series may be smoothed to nearby fibers.
We generalize the decomposition theorem of Hochschild, Kostant and Rosenberg for Hochschild (co-)homology to arbitrary morphisms between complex spaces or schemes over a field of characteristic zero. To be precise, we show that for each such morphism, the Hochschild complex, as introduced in math.AG/0606593, decomposes naturally in the derived category into the direct sum of the derived symmetric powers of the shifted cotangent complex, a result due to Quillen in the affine case. Even in the affine case, our proof is new and provides further information. It shows that the decomposition is given explicitly and naturally by the universal Atiyah-Chern character, the exponential of the universal Atiyah class. We further use the decomposition theorem to show that the semiregularity map for perfect complexes factors through Hochschild homology and, in turn, factors the Atiyah-Hochschild character through the characteristic homomorphism from Hochschild cohomology to the graded centre of the derived category.
Let V be an even dimensional vector space with a non degenerate quadratic form. We denote by X the variety of maximal isotropic subspaces in V (in fact one of its two connected components). In this paper, we prove the irreducibility of the scheme of degree d morphism f:C->X as soon as d is bigger than 1/2dim(V)-1. When dim(V)=10 and d=6, this result was used by A. Iliev and D. Markushevich in math.AG/0403122 to prove the irreducibility of the moduli space M_{X_12}(2,1,6) where X_{12} is the Fano threefold of index 1 and degree 12.
The space of smooth genus 0 curves in projective space has a natural smooth compactification: the moduli space of stable maps, which may be seen as the generalization of the classical space of complete conics. In arbitrary genus, no such natural smooth model is expected, as the space satisfies ``Murphy's Law''. In genus 1, however, the situation remains beautiful. We give a natural smooth compactification of the space of elliptic curves in projective space, and describe some of its properties. This space is a blow up of the space of stable maps. It can be interpreted as blowing up the most singular locus first, then the next most singular, and so on, but with a twist -- these loci are often entire components of the moduli space. We give a number of applications in enumerative geometry and Gromov-Witten theory. The proof that this construction indeed gives a desingularization will appear in math.AG/0603353v2 (currently under revision).
A connected linear algebraic group G is called a Cayley group if the Lie algebra of G endowed with the adjoint G-action and the group variety of G endowed with the conjugation G-action are birationally G-isomorphic. In particular, the classical Cayley map, X \mapsto (I_n-X)/(I_n+X), between the special orthogonal group SO_n and its Lie algebra so_n, shows that SO_n is a Cayley group. In an earlier paper (see math.AG/0409004) we classified the simple Cayley groups defined over an algebraically closed field of characteristic zero. Here we consider a new numerical invariant of G, the Cayley degree, which "measures" how far G is from being Cayley, and prove upper bounds on Cayley degrees of some groups.