Preservation of the injectivity of the Gauss map for general projections

Let X be a smooth irreducible quasi-projective variety of dimension n in P ^N with N ≥ 2n + 2. Let γ be its Gauss map, let be the embedding obtained from the general projection in P ^N and let γ′ be its Gauss map. We say that the general projection preserves the injectivity of the Gauss map if γ(Q) ≠ γ(Q′) implies γ′(Q) ≠ γ′ (Q′). We prove that this property holds in the following cases: N≥ 3n + 1; N ≥ 3n with n ≥ 2; N ≥ 3n−1 with n ≥ 4 and X does not contain a linear (n−1)-space. In case N = 3n−1 and X does contain a linear (n−1)-space (such smooth varieties exist) then the general projection does not preserver the injectivity of the Gauss map. This shows that there does not exist a straightforward kind of Bertini theorem for properties related to the Gauss map. The author is affiliated with the University at Leuven as a research fellow. This paper belongs to the FWO-project G.0318.06.     

A Remark on Characterizations of Projective Spaces among Singular Varieties

Let X be a projective variety of dimension n ≥ 2 with at worst log-terminal singularities and let be an ample vector bundle of rank r. By partially extending previous results due to Andreatta and Wiśniewski in the smooth case, we prove that if r = n then , while if r = n − 1 and X has only isolated singularities, then either or n = 2 and X is the quadric cone Q ₂. Received: April 20, 2006. Revised: April 5, 2007.     

On Stability of Cones in <Emphasis Type="Italic">R</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis>+1</Superscript> with Zero Scalar Curvature

In this work we generalize the case of scalar curvature zero the results of Simmons (Ann. Math. 88 (1968), 62–105) for minimal cones in Rⁿ⁺¹. If Mⁿ⁻¹ is a compact hypersurface of the sphere Sⁿ(1) we represent by C(M)ε the truncated cone based on M with center at the origin. It is easy to see that M has zero scalar curvature if and only if the cone base on M also has zero scalar curvature. Hounie and Leite (J. Differential Geom. 41 (1995), 247–258) recently gave the conditions for the ellipticity of the partial differential equation of the scalar curvature. To show that, we have to assume n ⩾ 4 and the three-curvature of M to be different from zero. For such cones, we prove that, for n ≤slant 7 there is an ε for which the truncate cone C(M)_ε is not stable. We also show that for n ⩾ 8 there exist compact, orientable hypersurfaces Mⁿ⁻¹ of the sphere with zero scalar curvature and S₃ different from zero, for which all truncated cones based on M are stable. Mathematics Subject Classifications (2000): 53C42, 53C40, 49F10, 57R70.     

Centrality in Rees-Sushkevich varieties

Denote by RS _n the variety generated by all completely 0-simple semigroups over groups of exponent dividing n. Subvarieties of RS _n are called Rees-Sushkevich varieties and those that are generated by completely simple or completely 0-simple semigroups are said to be exact. For each positive integer m, define C _m RS _n to be the class of all semigroups S in RS _n with the property that if the product of m idempotents of S belongs to some subgroup of S, then the product belongs to the center of that subgroup. The classes C _m RS _n constitute varieties that are the main object of investigation in this article. It is shown that a sublattice of exact subvarieties of C ₂ RS _n is isomorphic to the direct product of a three-element chain with the lattice of central completely simple semigroup varieties over groups of exponent dividing n. In the main result, this isomorphism is extended to include those exact varieties for which the intersection of the core with any subgroup, if nonempty, is contained in the center of that subgroup. The equational property of the varieties C _m RS _n is also addressed. For any fixed n ≥ 2, it is shown that although the varieties C _m RS _n , where m = 1, 2, ... , are all finitely based, their complete intersection (denoted by C _∞ RS _n ) is non-finitely based. Further, the variety C _∞ RS _n contains a continuum of ultimately incomparable infinite sequences of finitely generated exact subvarieties that are alternately finitely based and non-finitely based. Received October 29, 2003; accepted in final form February 11, 2007.     

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     

On toric h-vectors of centrally symmetric polytopes

We prove tight lower bounds for the coefficients of the toric h-vector of an arbitrary centrally symmetric polytope generalizing previous results due to R. Stanley and the author using toric varieties. Our proof here is based on the theory of combinatorial intersection cohomology for normal fans of polytopes developed by G. Barthel, J.-P. Brasselet, K. Fieseler and L. Kaup, and independently by P. Bressler and V. Lunts. This theory is also valid for nonrational polytopes when there is no standard correspondence with toric varieties. In this way we can establish our bounds for centrally symmetric polytopes even without requiring them to be rational. Received: 24 March 2004     

Differential operators on toric varieties and Fourier transform

We show that Fourier transforms on the Weyl algebras have a geometric counterpart in the framework of toric varieties, namely they induce isomorphisms between twisted rings of differential operators on regular toric varieties, whose fans are related to each other by reflections of one-dimensional cones. The simplest class of examples is provided by the toric varieties related by such reflections to projective spaces. It includes the blow-up at a point of the affine space and resolution of singularities of varieties appearing in the study of the minimal orbit of .     

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     

Circuits and Cocircuits in Regular Matroids

A classical result of Dirac's shows that, for any two edges and any n−2 vertices in a simple n-connected graph, there is a cycle that contains both edges and all n−2 of the vertices. Oxley has asked whether, for any two elements and any n−2 cocircuits in an n-connected matroid, there is a circuit that contains both elements and that has a non-empty intersection with all n−2 of the cocircuits. By using Seymour's decomposition theorem and results of Oxley and Denley and Wu, we prove that a slightly stronger property holds for regular matroids.     

On a notion of toric special linear systems

In this note, we study linear systems on complete toric varieties X with an invariant point whose orbit under the action of $\mathrm{Aut}(X)$ contains the dense torus T of X. We give a characterization of such varieties in terms of its defining fan and introduce a new definition of expected dimension of linear systems which consider the contribution given by certain toric subvarieties. Finally, we study degenerations of linear systems on these toric varieties induced by toric degenerations.     

Ricci-flat Kähler metrics on crepant resolutions of Kähler cones

We prove that a crepant resolution π : Y → X of a Ricci-flat Kähler cone X admits a complete Ricci-flat Kähler metric asymptotic to the cone metric in every Kähler class in ${H^2_c(Y,\mathbb{R})}We prove that a crepant resolution π : Y → X of a Ricci-flat K?hler cone X admits a complete Ricci-flat K?hler metric asymptotic to the cone metric in every K?hler class in H²_c(Y,\mathbbR){H^2_c(Y,\mathbb{R})}. A K?hler cone (X,[`(g)]){(X,\bar{g})} is a metric cone over a Sasaki manifold (S, g), i.e. ${X=C(S):=S\times\mathbb{R}_{ >0 }}${X=C(S):=S\times\mathbb{R}_{ >0 }} with [`(g)]=dr² +r² g{\bar{g}=dr^2 +r^2 g}, and (X,[`(g)]){(X,\bar{g})} is Ricci-flat precisely when (S, g) Einstein of positive scalar curvature. This result contains as a subset the existence of ALE Ricci-flat K?hler metrics on crepant resolutions p:Y? X=\mathbbC<sup>n</sup> /G{\pi:Y\rightarrow X=\mathbb{C}^n /\Gamma}, with G ì SL(n,\mathbbC){\Gamma\subset SL(n,\mathbb{C})}, due to P. Kronheimer (n = 2) and D. Joyce (n > 2). We then consider the case when X = C(S) is toric. It is a result of A. Futaki, H. Ono, and G. Wang that any Gorenstein toric K?hler cone admits a Ricci-flat K?hler cone metric. It follows that if a toric K?hler cone X = C(S) admits a crepant resolution π : Y → X, then Y admits a T <sup>n</sup> -invariant Ricci-flat K?hler metric asymptotic to the cone metric (X,[`(g)]){(X,\bar{g})} in every K?hler class in H²_c(Y,\mathbbR){H^2_c(Y,\mathbb{R})}. A crepant resolution, in this context, is a simplicial fan refining the convex polyhedral cone defining X. We then list some examples which are easy to construct using toric geometry.     

Factoriality of complete intersections in ℙ<Superscript>5</Superscript>

Let X be a complete intersection of two hypersurfaces F _n and F _k in ℙ⁵ of degree n and k, respectively, with n ≥ k, such that the singularities of X are nodal and F _k is smooth. We prove that if the threefold X has at most (n + k − 2)(n − 1) − 1 singular points, then it is factorial.     

Pavages des simplexes, schémas de graphes recollés et compactification des PGLrn+1/PGLr

Some equivariant compactifications of the quotients PGL _r ^{n +1}/PGL _r are constructed. Each one is decomposed into locally closed strata which are smooth, are indexed by the entire convex pavings of the simplex of dimension n and admit a modular interpretation deduced from that of the Grassmann varieties. Together, they form a simplicial scheme which “compactifies” the classifying simplicial scheme of PGL _r consisting of all the quotients PGL _r ^{n +1}/PGL _r , n≥0.

Oblatum 8-IV-1998 & 8-X-1998 / Published online: 28 January 1999     

Forest-Like Permutations

Given a permutation , construct a graph G _π on the vertex set {1, 2,..., n} by joining i to j if (i) i < j and π(i) < π(j) and (ii) there is no k such that i < k < j and π(i) < π(k) < π(j). We say that π is forest-like if G _π is a forest. We first characterize forest-like permutations in terms of pattern avoidance, and then by a certain linear map being onto. Thanks to recent results of Woo and Yong, these show that forest-like permutations characterize Schubert varieties which are locally factorial. Thus forest-like permutations generalize smooth permutations (corresponding to smooth Schubert varieties). We compute the generating function of forest-like permutations. As in the smooth case, it turns out to be algebraic. We then adapt our method to count permutations for which G _π is a tree, or a path, and recover the known generating function of smooth permutations. Received March 27, 2006     

On the smallest poles of Igusa's p-adic zeta functions

Let K be a p-adic field. We explore Igusa's p-adic zeta function, which is associated to a K-analytic function on an open and compact subset of Kⁿ. First we deduce a formula for an important coefficient in the Laurent series of this meromorphic function at a candidate pole. Afterwards we use this formula to determine all values less than −1/2 for n=2 and less than −1 for n=3 which occur as the real part of a pole.     

Quasi-projective reduction of toric varieties

We define a quasi–projective reduction of a complex algebraic variety X to be a regular map from X to a quasi–projective variety that is universal with respect to regular maps from X to quasi–projective varieties. A toric quasi–projective reduction is the analogous notion in the category of toric varieties. For a given toric variety X we first construct a toric quasi–projective reduction. Then we show that X has a quasi–projective reduction if and only if its toric quasi–projective reduction is surjective. We apply this result to characterize when the action of a subtorus on a quasi–projective toric variety admits a categorical quotient in the category of quasi–projective varieties. Received October 29, 1998; in final form December 28, 1998     

A nilregular element property

An element a of a commutative ring R is nilregular if and only if x is nilpotent whenever ax is nilpotent. More generally, an ideal I of R is nilregular if and only if x is nilpotent whenever ax is nilpotent for all a ∈ I . We give a direct proof that if R is Noetherian, then every nilregular ideal contains a nilregular element. In constructive mathematics, this proof can then be seen as an algorithm to produce nilregular elements of nilregular ideals whenever R is coherent, Noetherian, and discrete. As an application, we give a constructive proof of the Eisenbud-Evans-Storch theorem that every algebraic set in n-dimensional affine space is the intersection of n hypersurfaces.Received: 6 September 2004     

On the Lüroth semigroup of curves lying on a smooth quadric

For a smooth irreducible complete algebraic curveC the “gaps” are the integersn such that every linear series of degreen has at least a base point. The Lüroth semigroup S_C of a curveC is the subsemigroup ofN whose elements are not gaps. In this paper we deal with irreducible smooth curves of type (a, b) on a smooth quadricQ. The main result is an algorithm by which we can say if some integer λ∈N is a gap or is in S_C. In the general case there are integers λ which are undecidable. For curves such as complete intersection, arithmetically Cohen-Macaulay or Buchsbaum, we are able to describe explicitly “intervals” of gaps and “intervals” of integers which belong to S_C. For particular cases we can completely determine S_C, by giving just the type of the curve (in particular the degree and the genus). Work done with financial support of M.U.R.S.T. while the authors were members of G.N.S.A.G.A. of C.N.R.