No Arabic abstract
The prolongation g^{(k)} of a linear Lie algebra g subset gl(V) plays an important role in the study of symmetries of G-structures. Cartan and Kobayashi-Nagano have given a complete classification of irreducible linear Lie algebras g subset gl(V) with non-zero prolongations. If g is the Lie algebra aut(hat{S}) of infinitesimal linear automorphisms of a projective variety S subset BP V, its prolongation g^{(k)} is related to the symmetries of cone structures, an important example of which is the variety of minimal rational tangents in the study of uniruled projective manifolds. From this perspective, understanding the prolongation aut(hat{S})^{(k)} is useful in questions related to the automorphism groups of uniruled projective manifolds. Our main result is a complete classification of irreducible non-degenerate nonsingular variety with non zero prolongations, which can be viewed as a generalization of the result of Cartan and Kobayashi-Nagano. As an application, we show that when $S$ is linearly normal and Sec(S) eq P(V), the blow-up of P(V) along S has the target rigidity property, i.e., any deformation of a surjective morphism Y to Bl_S(PV) comes from the automorphisms of Bl_S(PV).
In his groundbreaking work on classification of singularities with regard to right and stable equivalence of germs, Arnold has listed normal forms for all isolated hypersurface singularities over the complex numbers with either modality less than or equal to two or Milnor number less than or equal to 16. Moreover, he has described an algorithmic classifier, which determines the type of a given such singularity. In the present paper, we extend Arnolds work to a large class of singularities which is unbounded with regard to modality and Milnor number. We develop an algorithmic classifier, which determines a normal form for any singularity with corank less than or equal to two which is equivalent to a germ with non-degenerate Newton boundary in the sense of Kouchnirenko. In order to realize the classifier, we prove a normal form theorem: Suppose K is a mu-constant stratum of the jet space which contains a germ with a non-degenerate Newton boundary. We first observe that all germs in K are equivalent to some germ with the same fixed non-degenerate Newton boundary. We then prove that all right-equivalence classes of germs in K can be covered by a single normal form obtained from a regular basis of an appropriately chosen special fiber. All algorithms are implemented in the library arnold.lib for the computer algebra system Singular.
We prove a structure theorem for projective varieties with nef anticanonical divisors.
We generalise Flo{}ystads theorem on the existence of monads on the projective space to a larger set of projective varieties. We consider a variety $X$, a line bundle $L$ on $X$, and a base-point-free linear system of sections of $L$ giving a morphism to the projective space whose image is either arithmetically Cohen-Macaulay (ACM), or linearly normal and not contained in a quadric. We give necessary and sufficient conditions on integers $a$, $b$, and $c$ for a monad of type [ 0to(L^vee)^atomathcal{O}_{X}^{,b}to L^cto0 ] to exist. We show that under certain conditions there exists a monad whose cohomology sheaf is simple. We furthermore characterise low-rank vector bundles that are the cohomology sheaf of some monad as above. Finally, we obtain an irreducible family of monads over the projective space and make a description on how the same method could be used on an ACM smooth projective variety $X$. We establish the existence of a coarse moduli space of low-rank vector bundles over an odd-dimensional $X$ and show that in one case this moduli space is irreducible.
Euler-symmetric projective varieties are nondegenerate projective varieties admitting many C*-actions of Euler type. They are quasi-homogeneous and uniquely determined by their fundamental forms at a general point. We show that Euler-symmetric projective varieties can be classified by symbol systems, a class of algebraic objects modeled on the systems of fundamental forms at general points of projective varieties. We study relations between the algebraic properties of symbol systems and the geometric properties of Euler-symmetric projective varieties. We describe also the relation between Euler-symmetric projective varieties of dimension n and equivariant compactifications of the vector group G_a^n.
Let X be a nonsingular projective algebraic variety, and let S be a line bundle on X. Let A = (a_1,..., a_n) be a vector of integers. Consider a map f from a pointed curve (C,x_1,...,x_n) to X satisfying the following condition: the line bundle f*(S) has a meromorphic section with zeroes and poles exactly at the marked points x_i with orders prescribed by the integers a_i. A compactification of the space of maps based upon the above condition is given by the moduli space of stable maps to rubber over X. The main result of the paper is an explicit formula (in tautological classes) for the push-forward of the virtual fundamental class of the moduli space of stable maps to rubber over X via the forgetful morphism to the moduli space of stable maps to X. In case X is a point, the result here specializes to Pixtons formula for the double ramification cycle. Applications of the new formula, viewed as calculating double ramification cycles with target X, are given.