On the variety of rational curves inP n

Summary In this note one defines a stratification of the variety of rational curves inP ⁿ of given degree in terms of the decomposition of the normal bundle (see [E-vdV], [G-S] for the casen=3). The strata are showed to be irreducible and their dimension is computed.     

Isolated rational curves on K3-fibered Calabi–Yau threefolds

In this paper we study 16 complete intersection K3-fibered Calabi--Yau variety types in biprojective space ℙ ^{n 1}}×ℙ¹. These are all the CICY-types that are K3 fibered by the projection on the second factor. We prove existence of isolated rational curves of bidegree (d,0) for every positive integer d on a general Calabi–Yau variety of these types. The proof depends heavily on existence theorems for curves on K3-surfaces proved by S. Mori and K. Oguiso. Some of these varieties are related to Calabi–Yau varieties in projective space by a determinantal contraction, and we use this to prove existence of rational curves of every degree for a general Calabi–Yau variety in projective space. Received: 14 October 1997 / Revised version: 18 January 1998     

Projective Varieties Swept Out by Rational Normal Curves

Let X ? ? ⁿ be a complex nondegenerate projective variety of dimension m ≥ 2. For t ≤ n ? m and a general q ∈ ? ⁿ , the linear space L _q spanned by q and t general points of X meets X in a finite set of points. We classify those X ? ? ⁿ for which there exists a point q ∈ ? ⁿ such that L _q meets X in a positive dimensional variety. If this occurs, there exists d ≤ n ? m such that a degree d rational normal curve through d general points of X is contained in X. Examples of this situation are provided. An infinitesimal generalization of part of the main result is also stated.     

Cotangent cohomology of rational surface singularities

In this paper we show that the number of generators of the cotangent cohomology groups T _Y ⁿ , n≥2, is the same for all rational surface singularities Y of fixed multiplicity. For a large class of rational surface singularities, including quotient singularities, this number is also the dimension. For them we obtain an explicit formula for the Poincaré series P _Y (t)=∑dim T ⁿ _Y ·t ⁿ . In the special case of the cone over the rational normal curve we give the multigraded Poincaré series. Oblatum: 18-XI-1998 & 25-III-1999 / Published online: 6 July 1999     

Embedding a polytope in a lattice

We present a special similarity ofR ⁴ⁿ which maps lattice points into lattice points. Applying this similarity, we prove that if a (4n−1)-polytope is similar to a lattice polytope (a polytope whose vertices are all lattice points) inR ⁴ⁿ , then it is similar to a lattice polytope inR ⁴ⁿ⁻¹, generalizing a result of Schoenberg [4]. We also prove that ann-polytope is similar to a lattice polytope in someR ^N if and only if it is similar to a lattice polytope inR ²ⁿ⁺¹, and if and only if sin²(<ABC) is rational for any three verticesA, B, C of the polytope.     

On the Problem of Describing Sequences of Best Trigonometric Rational Approximations

For a strictly decreasing sequence a_{n n=0} of nonnegative real numbers converging to zero, we construct a continuous 2-periodic function f such that R^T _n(f) = a_n, n=0,1,2,..., where R^T _n(f) are best approximations of the function f in uniform norm by trigonometric rational functions of degree at most n.     

The Cohomology Ring of Weight Varieties and Polygon Spaces

We use a theorem of S. Tolman and J. Weitsman (The cohomology rings of Abelian symplectic quotients, math. DG/9807173) to find explicit formulæ for the rational cohomology rings of the symplectic reduction of flag varieties in ⁿ, or generic coadjoint orbits of SU(n), by (maximal) torus actions. We also calculate the cohomology ring of the moduli space of n points in P^k, which is isomorphic to the Grassmannian of k planes in ⁿ, by realizing it as a degenerate coadjoint orbit.     

On generators of ideals defining projective toric varieties

 For any ample line bundle L on a projective toric variety of dimension n, it is proved that the line bundle L ^⊗i is normally generated if i is greater than or equal to n−1, and examples showing that this estimate is best possible are given. Moreover we prove an estimate for the degree of the generators of the ideals defining projective toric varieties. In particular, when L is normally generated, the defining ideal of the variety embedded by the global sections of L has generators of degree at most n+1. When the variety is embedded by the global sections of L ^⊗(n−1) , then the defining ideal has generators of degree at most three. Received: 11 July 2001 / Revised version: 17 December 2001     

Polynomial-time computation of the degree of a dominant morphism in zero characteristic. IV

Consider a projective algebraic variety W that is an irreducible component of the set of all common zeros of a family of homogeneous polynomials of degrees less than d in n + 1 variables in zero characteristic. Consider a dominant rational morphism from W to W′ given by homogeneous polynomials of degree d′. We suggest algorithms for constructing objects in general position related to this morphism. These algorithms are deterministic and polynomial in (dd′) ⁿ and the size of the input. This work concludes a series of four papers. Bibliography: 13 titles. Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 360, 2008, pp. 260–294.     

The differential Hilbert series of a local algebra

The differential Hilbert series of a commutative local algebra R/R₀ which is essentially of finite type is the generating function of the numerical function which associates with each n ? \Bbb N n\in \Bbb N the minimal number of generators of the algebra Pⁿ_R/R0P^n_{R/R_0} of principal parts of order n, considered as an R-module. It can be expressed as a rational function over the integers. We wish to compute this rational function in terms of other invariants of the local algebra or at least give estimates of it. We obtain formulas which generalize wellknown facts about the minimal number of generators of the module of Kähler differentials.     

Simple <Emphasis Type="Italic">SL</Emphasis>(<Emphasis Type="Italic">n</Emphasis>)-modules with normal closures of maximal torus orbits

Let T be the subgroup of diagonal matrices in the group SL(n). The aim of this paper is to find all finite-dimensional simple rational SL(n)-modules V with the following property: for each point v∈V the closure [`(Tv)]\overline{Tv} of its T-orbit is a normal affine variety. Moreover, for any SL(n)-module without this property a T-orbit with non-normal closure is constructed. The proof is purely combinatorial: it deals with the set of weights of simple SL(n)-modules. The saturation property is checked for each subset in the set of weights.     

Blow-up rings and rational singularities

Let A be a normal local ring which is essentially finite type over a field of characteristic zero. Let I⊂A be an ideal such that the Rees algebra R _A (I) is Cohen–Macaulay and normal. In this paper we address the question: “When does R _A (I) have rational singularities?” In particular, we study the connection between rational singularities of R _A (I) and the adjoint ideals of the powers I ⁿ (n∋ℕ). Received: 25 May 1998 / Revised version: 20 August 1998     

On n-clone extensions of algebras

We consider algebras of a given type with a set F of fundamental operation symbols and without nullary operations. In this paper we generalize notions and results of [12]. An identity is called clone compatible if and are the same variable or the sets of fundamental operation symbols in and are nonempty and identical. In connection with these identities we define in section 1 a construction called an n-clone extension of an algebra for where n is an integer and we study its properties. For a variety V we denote by V ^c the variety defined by all clone compatible identities from Id (V). We also define a variety V ^c,n called the n-clone extension of V. These two varieties are strictly connected. In section 2 under some assumptions we give representations of algebras from V ^c,n and V ^c using n-clone extensions of algebras from V. We also find equational bases of these varieties. In section 3 we apply these results to some important varieties. In section 4 we find minimal generics of V ^c when V is the variety of distributive lattices or the variety of Boolean algebras. Received November 27, 1996; accepted in final form March 19, 1998.     

All Binomial-Type Painlevé Equations of the Second Order and Degree Three or Higher

In this paper we construct all rational Painlevé-type differential equations which take the binomial form, (d²y/dx²)ⁿ = F(x,y,dy/dx), where n ≥ 3, the case n = 2 having previously been treated in Cosgrove and Scoufis [1]. While F is assumed to be rational in the complex variables y and y′ and locally analytic in x, it is shown that the Painlevé property together with the absence of intermediate powers of y″ forces F to be a polynomial in y and y′. In addition to the six classes of second-degree equations found in the aforementioned paper, we find nine classes of higher-degree binomial Painlevé equations, denoted BP-VII,..., BP-XV, of which the first seven are new. Two of these equations are of the third degree, two of the fourth degree, three of the sixth degree, and two of arbitrary degree n. All equations are solved in terms of the first, second or fourth Painlevé transcendents, elliptic functions, or quadratures. In the appendices, we discuss certain closely related classes of second-order nth equations (not necessarily of Painlevé type) which can also be solved in terms of Painlevé transcendents or elliptic functions.     

First steps in tropical intersection theory

We establish first parts of a tropical intersection theory. Namely, we define cycles, Cartier divisors and intersection products between these two (without passing to rational equivalence) and discuss push-forward and pull-back. We do this first for fans in \mathbbRⁿ{\mathbb{R}^{n}} and then for “abstract” cycles that are fans locally. With regard to applications in enumerative geometry, we finally have a look at rational equivalence and intersection products of cycles and cycle classes in \mathbbRⁿ{\mathbb{R}^{n}} .     

Representation and character varieties of the Baumslag-Solitar groups

Representation and character varieties of the Baumslag–Solitar groups BS(p, q) are analyzed. Irreducible components of these varieties are found, and their dimension is calculated. It is proved that all irreducible components of the representation variety R_n(BS(p, q)) are rational varieties of dimension n², and each irreducible component of the character variety X_n(BS(p, q)) is a rational variety of dimension k ≤ n. The smoothness of irreducible components of the variety R_n^s (BS(p, q)) of irreducible representations is established, and it is proved that all irreducible components of the variety R_n^s (BS(p, q)) are isomorphic to A¹ {0}.     

Integer parts of powers of rational numbers

We prove that the sequence [ξ(5/4)ⁿ], n=1,2, . . . , where ξ is an arbitrary positive number, contains infinitely many composite numbers. A corresponding result for the sequences [(3/2)ⁿ] and [(4/3)ⁿ],n=1,2, . . . , was obtained by Forman and Shapiro in 1967. Furthermore, it is shown that there are infinitely many positive integers n such that ([ξ(5/4)ⁿ],6006)>1, where 6006=2·3·7·11·13. Similar results are obtained for shifted powers of some other rational numbers. In particular, the same is proved for the sets of integers nearest to ξ(5/3)ⁿ and to ξ(7/5)ⁿ, n∈ℕ. The corresponding sets of possible divisors are also described.     

All 113 and 123-configurations are rational

Summary A conjecture of Grünbaum states that everyn ³ -configuration in the real plane can also be realized in the rational plane. We prove this conjecture forn 12 by computing rational coordinates for all 31 types of 11³ -configurations and all 228 types of 12³- configurations in the classification of Daublebsky.Researc hsupported by the Institute for Mathematics and its Applications, Minneapolis, with funds provided by the National Science Foundation.     

On the Maximum Number of Translates in a Point Set

Given a finite set P⊆ℝ ^d , called a pattern, t _P (n) denotes the maximum number of translated copies of P determined by n points in ℝ ^d . We give the exact value of t _P (n) when P is a rational simplex, that is, the points of P are rationally affinely independent. In this case, we prove that t _P (n)=n−m _r (n), where r is the rational affine dimension of P, and m _r (n) is the r -Kruskal–Macaulay function. We note that almost all patterns in ℝ ^d are rational simplices. The function t _P (n) is also determined exactly when | P |≤3 or when P has rational affine dimension one and n is large enough. We establish the equivalence of finding t _P (n) and the maximum number s _R (n) of scaled copies of a suitable pattern R⊆ℝ⁺ determined by n positive reals. As a consequence, we show that s_Ak(n)=n-\varTheta (n^1-1/p(k))s_{A_{k}}(n)=n-\varTheta (n^{1-1/\pi(k)}) , where A _k ={1,2,…,k} is an arithmetic progression of size k, and π(k) is the number of primes less than or equal to k.