Imposing Singular Points and Many Nodes to Curves on Surfaces

 Let S be a smooth projective surface. Here we study the conditions imposed to curves of a fixed very ample linear system by a general union of types of singularities τ when most of connected components of τ are ordinary double points. This problem is related to the existence of “good” families of curves on S with prescribed singularities, most of them being nodes, and to the regularity of their Hilbert scheme.     

Uniformization of conformal involutions on stable Riemann surfaces

Let S be a closed Riemann surface of genus g. It is well known that there are Schottky groups producing uniformizations of S (Retrosection Theorem). Moreover, if τ: S → S is a conformal involution, it is also known that there is a Kleinian group K containing, as an index two subgroup, a Schottky group G that uniformizes S and so that K/G induces the cyclic group 〈τ〉. Let us now assume S is a stable Riemann surface and τ: S → S is a conformal involution. Again, it is known that S can be uniformized by a suitable noded Schottky group, but it is not known whether or not there is a Kleinian group K, containing a noded Schottky group G of index two, so that G uniformizes S and K/G induces 〈τ〉. In this paper we discuss this existence problem and provide some partial answers: (1) a complete positive answer for genus g ≤ 2 and for the case that S/〈τ〉 is of genus zero; (2) the existence of a Kleinian group K uniformizing the quotient stable Riemann orbifold S/〈τ〉. Applications to handlebodies with orientation-preserving involutions are also provided.     

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.     

Derivations on the Algebra of τ-Compact Operators Affiliated with a Type I von Neumann Algebra

Let M be a type I von Neumann algebra with the center Z, and a faithful normal semi-finite trace τ. Consider the algebra L(M, τ) of all τ-measurable operators with respect to M and let S ₀(M, τ) be the subalgebra of τ-compact operators in L(M, τ). We prove that any Z-linear derivation of S ₀(M, τ) is spatial and generated by an element from L(M, τ).      

A Krasnosel’skii-type theorem for paths of bounded length

Let S be a nonempty closed, simply connected set in the plane, and let α τ; 0. If every three points of 5 see a common point of S via paths of length at most α, then for some point s0 of S, s0 sees each point of S via such a path. That is, S is starshaped via paths of length at most α. Supported in part by NSF grant DMS-9207019     

On the 2 very ampleness of the adjoint bundle

Let S be a smooth projective surface over C polarized by a 2-very ample line bundle L=O _S(L), i.e. for any 0-dimensional subscheme (Z,O _Z ) of length 3 the restriction map Γ(L)→Γ(L⊗O _Z) is a surjection. This generalization of very ampleness was recently introduced by M. Beltrametti and A.J. Sommese. The authors prove that, if L·L≥13, the adjoint line bundleK _S⊗L is 2-very ample apart from a list of well understood exceptions and up to contracting down the smooth rational curves E such that E·E=−1, L·E=2. The appendix contains an inductive argument in order to extend the result in higher dimension.     

Nonexistence of Certain Spherical Designs of Odd Strengths and Cardinalities

A spherical τ -design on S ^n-1 is a finite set such that, for all polynomials f of degree at most τ , the average of f over the set is equal to the average of f over the sphere S ^n-1 . In this paper we obtain some necessary conditions for the existence of designs of odd strengths and cardinalities. This gives nonexistence results in many cases. Asymptotically, we derive a bound which is better than the corresponding estimation ensured by the Delsarte—Goethals—Seidel bound. We consider in detail the strengths τ =3 and τ =5 and obtain further nonexistence results in these cases. When the nonexistence argument does not work, we obtain bounds on the minimum distance of such designs. Received January 30, 1997, and in revised form November 29, 1997.     

Some remarks on the study of good contractions

LetX be a complex projective variety with log terminal singularities admitting an extremal contraction in terms of Minimal Model Theory, i.e. a projective morphism φ:X→Z onto a normal varietyZ with connected fibers which is given by a (high multiple of a) divisor of the typeK _x+rL, wherer is a positive rational number andL is an ample Cartier divisor. We first prove that the dimension of anu fiberF of φ is bigger or equal to (r-1) and, if φ is birational, thatdimF≥r, with the equalities if and only ifF is the projective space andL the hyperplane bundle (this is a sort of “relative” version of a theorem of Kobayashi-Ochiai). Then we describe the structure of the morphism φ itself in the case in which all fibers have minimal dimension with the respect tor. If φ is a birational divisorial contraction andX has terminal singularities we prove that φ is actually a “blow-up”.     

On the string-theoretic Euler number of a class of absolutely isolated singularities

An explicit computation of the so-called string-theoretic E-function of a normal complex variety X with at most log-terminal singularities can be achieved by constructing one snc-desingularization of X, accompanied with the intersection graph of the exceptional prime divisors, and with the precise knowledge of their structure. In the present paper, it is shown that this is feasible for the case in which X is the underlying space of a class of absolutely isolated singularities (including both usual ? _n -singularities and Fermat singularities of arbitrary dimension). As byproduct of the exact evaluation of lim, for this class of singularities, one gets counterexamples to a conjecture of Batyrev concerning the boundedness of the string-theoretic index. Finally, the string-theoretic Euler number is also computed for global complete intersections in ℙ_ℂ ^N with prescribed singularities of the above type. Received: 2 January 2001 / Revised version: 22 May 2001     

On the degree of iterates of automorphisms¶of the affine plane

For a polynomial automorphism f of ?² _ℂ, we set τ = deg f ²)/(deg f). We prove that τ≤ 1 if and only if f is triangularizable. In this situation, we show (by using a deep result from number theory known as the theorem of Skolem–Mahler–Lech) that the sequence (deg f ⁿ ) _{n ∈ℕ} is periodic for large n. In the opposite case, we prove that τ is an integer (τ≥ 2) and that the sequence (deg f ⁿ ) _{n ∈ℕ} is a geometric progression of ratio τ. In particular, if f is any automorphism, we obtain the rationality of the formal series . Received: 1 December 1997     

On the divisor class group of double solids

For a double solid V→ℙ_3> branched over a surface B⊂ℙ₃(ℂ) with only ordinary nodes as singularities, we give a set of generators of the divisor class group in terms of contact surfaces of B with only superisolated singularities in the nodes of B. As an application we give a condition when H ^* (˜V , ℤ) has no 2-torsion. All possible cases are listed if B is a quartic. Furthermore we give a new lower bound for the dimension of the code of B. Received: 16 November 1998     

Evidence of a natural boundary and nonintegrability of the mixmaster universe model

Summary The formal asymptotic analysis of Latifi et al. [4] suggests that the Mixmaster Universe model possesses movable transcendental singularities and thus is nonintegrable in the sense that it does not satisfy the Painlevé property (i.e., singularities with nonalgebraic branching). In this paper, we present numerical evidence of the nonintegrability of the Mixmaster model by studying the singularity patterns in the complext-plane, wheret is the “physical” time, as well as in the complex τ-plane, where τ is the associated “logarithmic” time. More specifically, we show that in the τ-plane there appears to exist a “natural boundary” of remarkably intricate structure. This boundary lies at the ends of a sequence of smaller and smaller “chimneys” and consists of the type of singularities studied in [4], on which pole-like singularities accumulate densely. We also show numerically that in the complext-plane there appear to exist complicated, dense singularity patterns and infinitely-sheeted solutions with sensitive dependence on initial conditions.     

Absolutely continuous invariant measures for piecewise expandingC 2 transformations inR N

LetS be a bounded region inR ^N and let ℊ={S _i} _i ^=1/m be a partition ofS into a finite number of subsets having piecewiseC ² boundaries. We assume that whereC ² segments of the boundaries meet, the angle subtended by tangents to these segments at the point of contact is bounded away from 0. Letτ:S →S be piecewiseC ² on ℊ and expanding in the sense that there exists 0<σ< 1 such that for anyi=1, 2, ...,m, ‖Dτ _i ⁻¹ ‖<σ, whereDτ _i ⁻¹ is the derivative matrix ofτ _i ⁻¹ and ‖ ‖ is the euclidean matrix norm. The main result provides an upper bound onσ which guarantees the existence of an absolutely continuous invariant measure forτ. The research of the second author was supported by NSERC and FCAR grants.     

Special points on products of two Shimura curves

Let S ₁ and S ₂ be two Shimura curves over ℚ attached to rational indefinite quaternion algebras B _{1 ℚ} and B _{1 ℚ} with maximal orders B ₁ and B ₂ respectively. We consider an irreducible closed algebraic curve C in the product (S ₁×S ₂)_ℂ such that C(ℂ) ∩ (S ₁×S ₂)(ℂ) contains infinitely many complex multiplication points. We prove, assuming the Generalized Riemann Hypothesis (GRH) for imaginary quadratic fields, that C is of Hodge type. Received: 3 January 2000 / Revised version: 2 October 2000     

On <Emphasis Type="Italic">τ</Emphasis>-adic representations of integers

Elliptic curve cryptosystems (ECCs) have become increasingly popular due to their efficiency and the small size of the keys they use. Particularly, the anomalous curves introduced by Koblitz allow a complex representation of the keys, denoted τNAF, that make the computations over these curves more efficient. In this article, we propose an efficient method for randomizing a τNAF to produce different equivalent representations of the same key to the same complex base τ. We prove that the average Hamming density of the resulting representations is 0.5. We identify the pattern of the τNAFs yielding the maximum number of representations and the formula governing this number. We also present deterministic methods to compute the average and the exact number of possible representations of a τNAF.      

Strongly and weakly almost periodic linear maps on semigroup algebras

Let S be a foundation locally compact topological semigroup. Two new topologies τ _c and τ _w are introduced on M _a (S)^*. We introduce τ _c and τ _w almost periodic functionals in M _a (S)^*. We study these classes and compare them with each other and with the norm almost periodic and weakly almost periodic functionals. For f∈M _a (S)^*, it is proved that T _f ∈ℬ(M _a (S),M _a (S)^*) is strong almost periodic if and only if f is τ _c -almost periodic. Indeed, we have obtained a generalization of a well known result of Crombez for locally compact group to a more general setting of foundation topological semigroups. Finally if P(S) (the set of all probability measures in M _a (S)) has the semiright invariant isometry property, it is shown that the set of τ _w -almost periodic functionals has a topological left invariant mean.     

Equianalytic and equisingular families of curves on surfaces

Summary We consider flat families of reduced curves on a smooth surfaceS such that each memberC has the same number of singularities and each singularity has a fixed singularity type (up to analytic resp. topological equivalence). We show that these families are represented by a schemeH and give sufficient conditions for the smoothness ofH (atC). Our results improve previously known criteria for families with fixed analytic singularity type and seem to be quite sharp for curves in ℙ² of small degree. Moreover, for families with fixed topological type this paper seems to be the first in which arbitrary singularities are treated. This article was processed by the author using the LATEX style filecljour1 from Springer-Verlag.     

On the topological types of symmetries of elliptic-hyperelliptic Riemann surfaces

LetX be a Riemann surface of genusg. The surfaceX is called elliptic-hyperelliptic if it admits a conformal involutionh such that the orbit spaceX/〈h〉 has genus one. The involutionh is then called an elliptic-hyperelliptic involution. Ifg>5 then the involutionh is unique, see [A]. We call symmetry to any anticonformal involution ofX. LetAut ^±(X) be the group of conformal and anticonformal automorphisms ofX and letσ, τ be two symmetries ofX with fixed points and such that {σ, hσ} and {τ, hτ} are not conjugate inAut ^±(X). We describe all the possible topological conjugacy classes of {σ, σh, τ, τh}. As consequence of our study we obtain that, in the moduli space of complex algebraic curves of genusg (g even >5), the subspace whose elements are the elliptic-hyperelliptic real algebraic curves is not connected. This fact contrasts with the result in [Se]: the subspace whose elements are the hyperelliptic real algebraic curves is connected. The authors are supported by BFM2002-04801.     

n-dimensional totally real minimal submanifolds of CP n

Let CP ⁿ be the n-dimensional complex projective space with the Study-Fubini metric of constant holomorphic sectional curvature 4 and let M be a compact, orientable, n-dimensional totally real minimal submanifold of CP ⁿ . In this paper we prove the following results.

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