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. Received 6 July 2000; in revised form 16 June 2001     

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.     

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     

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.     

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.     

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.     

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.

Geodesic discs in teichmüller space

LetT(S) be the Teichmüller space of a Riemann surfaceS. By definition, a geodesic disc inT(S) is the image of an isometric embedding of the Poincaré disc intoT(S). It is shown in this paper that for any non-Strebel pointτ ∈ T(S), there are infinitely many geodesic discs containing [0] and τ.     

Real loci of based loop groups

Let (G, K) be a Riemannian symmetric pair of maximal rank, where G is a compact simply connected Lie group and K is the fixed point set of an involutive automorphism σ. This induces an involutive automorphism τ of the based loop space Ω(G). There exists a maximal torus T ⊂ G such that the canonical action of T × S ¹ on Ω(G) is compatible with τ (in the sense of Duistermaat). This allows us to formulate and prove a version of Duistermaat’s convexity theorem. Namely, the images of Ω(G) and Ω(G) ^τ (fixed point set of τ) under the T × S ¹ moment map on Ω(G) are equal. The space Ω(G) ^τ is homotopy equivalent to the loop space Ω(G/K) of the Riemannian symmetric space G/K. We prove a stronger form of a result of Bott and Samelson which relates the cohomology rings with coefficients in \mathbbZ₂ {\mathbb{Z}_2} of Ω(G) and Ω(G/K). Namely, the two cohomology rings are isomorphic, by a degree-halving isomorphism (Bott and Samelson [BS] had proved that the Betti numbers are equal). A version of this theorem involving equivariant cohomology is also proved. The proof uses the notion of conjugation space in the sense of Hausmann, Holm, and Puppe [HHP].     

Sharp Error Terms for Return Time Statistics under Mixing Conditions

We describe the statistics of repetition times of a string of symbols in a stochastic process. Denote by τ _A the time elapsed until the process spells a finite string A and by S _A the number of consecutive repetitions of A. We prove that, if the length of the string grows unboundedly, (1) the distribution of τ _A , when the process starts with A, is well approximated by a certain mixture of the point measure at the origin and an exponential law, and (2) S _A is approximately geometrically distributed. We provide sharp error terms for each of these approximations. The errors we obtain are point-wise and also allow us to get approximations for all the moments of τ _A and S _A . To obtain (1) we assume that the process is φ-mixing, while to obtain (2) we assume the convergence of certain conditional probabilities.      

Hereditary Torsion Theory of Pseudo-Regular S -Systems

Abstract. The concept of pseudo-regular S -system is introduced. A torsion theory τ _u = ( U _S , \bar U _S ) with its torsion class U _S consisting of pseudo-regular S -systems, is constructed. Its corresponding quasi-filter is completely described. A number of results on the relations between τ _u and two special torsion theories, the stable and Lambek torsion theories, are obtained.     

On moduli of vector bundles on surfaces with negative Kodaira dimension

Summary Here we prove the following result. Fix integersq, τ,a’, b’, a’ _i, 1≤i≤τ,a’, b’, a’ _i, 1≤i≤τ; then there is an integerew such that for every integert≥w, for every algebraically closed fieldK for every smooth complete surfaceX with negative Kodaira dimension, irregularityq andK _X ² =8(1−q)−τ, the following condition holds; ifX→S is a sequence fo τ blowing-downs which gives a relatively minimal model with ruling ρ:S→C, take as basis of the Neron Severi groupNS(X) a smooth rational curve which is the total transform of a fiber ofC, the total transform of a minimal section of ρ and the total transformD _i, 1≤i≤τ, of the exceptional curver; then for everyH andL∈Pic (X) withH ample,H (resp.L) represented by the integersa’, b’, a’ _i, (resp.a’, b’, a’ _i), 1≤i≤τ, in the chosen basis ofNS(X) the moduli spaceM(ZX, 2,H, L, t) of rank 2H-stable vector bundles onX with determinantL andc ₂=t is generically smooth and the number, dimension and ?birational structure? of the irreducible components ofM(X, 2,H, L, t)_red do not depend on the choice ofK andX. Furthermore the birational structure of these irreducible components can be loosely described in terms of the birational structure of the components of suitableM(S, 2,H’, L’, t’)_red withS a relatively minimal model ofX.

---

Sunto SiaX una superficie algebrica liscia completa con dimensione di Kodaira negativa e definita su un campo algebricamente chiusoK; fissiamoH eL∈Pic (X),t∈Z; siaq l’irregolarità diX e τ≔8(1−q)−K _X ^Emphasis>2 ; siaM(X, 2,H, L, t) to schema dei moduli dei fibrati vettorialiH-stabili di rango 2 suX con determinateL ec ₂=t. Si dimostra che esiste una costantew che dipende solo daq, da τ e dalla classe numerica diH e diL (ma non da char (K) o dalla classe di isomorphismo diX) tale che per ognit≥w il numero, la dimensione e ?la struttura birazionale? delle componenti irriducibili diM(X, 2,H, L, t)_red non dipende dalla scelta di char (K),K eX ma solo daq, τ e dalle classi diH eL inNS(X). Inoltre la ?struttura birazionale? di queste componenti irriducibili può essere grossolanamente descritta in termini delle componenti di opportuni spazi di moduliM(S, 2,H’, L’, t’) (doveS è un modello minimale diX).

     

On dualL 1-spaces and injective bidual Banach spaces

In a previous paper (Israel J. Math.28 (1977), 313–324), it was shown that for a certain class of cardinals τ,l ¹(τ) embeds in a Banach spaceX if and only ifL ¹([0, 1]^τ) embeds inX ^*. An extension (to a rather wider class of cardinals) of the basic lemma of that paper is here applied so as to yield an affirmative answer to a question posed by Rosenthal concerning dual ℒ₁-spaces. It is shown that ifZ ^* is a dual Banach space, isomorphic to a complemented subspace of anL ¹-space, and κ is the density character ofZ ^*, thenl ¹(κ) embeds inZ ^*. A corollary of this result is that every injective bidual Banach space is isomorphic tol ^∞(κ) for some κ. The second part of this article is devoted to an example, constructed using the continuum hypothesis, of a compact spaceS which carries a homogeneous measure of type ω₁, but which is such thatl ¹(ω₁) does not embed in ℰ(S). This shows that the main theorem of the already mentioned paper is not valid in the case τ = ω₁. The dual space ℰ(S)^* is isometric to , and is a member of a new isomorphism class of dualL ¹-spaces.     

On the Dirichlet series related to the cubic theta function

The paper studies the function L(τ;·) defined by the Dirichlet series

Generic initial ideals and exterior algebraic shifting of the join of simplicial complexes

In this paper, the relation between algebraic shifting and join which was conjectured by Eran Nevo will be proved. Let σ and τ be simplicial complexes and σ*τ be their join. Let J _σ be the exterior face ideal of σ and Δ(σ) the exterior algebraic shifted complex of σ. Assume that σ*τ is a simplicial complex on [n]={1,2,...,n}. For any d-subset S⊂[n], let denote the number of d-subsets R∈σ which are equal to or smaller than S with respect to the reverse lexicographic order. We will prove that for all S⊂[n]. To prove this fact, we also prove that for all S⊂[n] and for all nonsingular matrices ϕ, where Δ_ϕ(σ) is the simplicial complex defined by .