Embeddable anticonformal automorphisms of Riemann surfaces

Let S be a Riemann surface and f be an automorphism of finite order of S. We call f embeddable if there is a conformal embedding such that is the restriction to e(S) of a rigid motion. In this paper we show that an anticonformal automorphism of finite order is embeddable if and only if it belongs to one of the topological conjugation classes here described. For conformal automorphisms a similar result was known by R.A. Rüedy [R3]. Received: February 8, 1996     

On Isotopies and Homologies of Subvarieties of Toric Varieties

In ℂⁿ we consider an algebraic surface Y and a finite collection of hypersurfaces S_i. Froissart’s theorem states that if Y and S_i are in general position in the projective compactification of ℂⁿ together with the hyperplane at infinity then for the homologies of Y \∪ S_i we have a special decomposition in terms of the homology of Y and all possible intersections of S_i in Y. We prove the validity of this homological decomposition on assuming a weaker condition: there exists a smooth toric compactification of ℂn in which Y and S_i are in general position with all divisors at infinity. One of the key steps of the proof is the construction of an isotopy in Y leaving invariant all hypersurfaces Y ∩ S_k with the exception of one Y ∩ S_i, which is shifted away from a given compact set. Moreover, we consider a purely toric version of the decomposition theorem, taking instead of an affine surface Y the complement of a surface in a compact toric variety to a collection of hypersurfaces in it.     

Flat metrics,cubic differentials and limits of projective holonomies

F. Labourie and the author independently have shown that a convex real projective structure on an oriented closed surface S of genus at least two is equivalent to a pair of a conformal structure plus a holomorphic cubic differential. Along certain paths, we find the limiting holonomy of convex real projective structures on a surface S corresponding corresponding to a given fixed conformal structure S and a holomorphic cubic differential λ U ₀ as . We explicitly give part of the data needed to identify the boundary point in Inkang Kim’s compactification of the deformation space of convex real projective structures. The proof follows similar analysis to that studied by Mike Wolf is his application of harmonic map theory to reproduce Thurston’s boundary of Teichmüller space.      

Differential operators associated with zonal polynomials. II

Summary LetC _κ(S) be the zonal polynomial of the symmetricm×m matrixS=(s_ij), corresponding to the partition κ of the non-negative integerk. If ∂/∂S is them×m matrix of differential operators with (i, j)th entry ((1+δ_ij)∂/∂s_ij)/2, δ being Kronecker's delta, we show that C_k(∂/∂S)C_λ(S)=k!δ_λkC_k(I), where λ is a partition ofk. This is used to obtain new orthogonality relations for the zonal polynomials, and to derive expressions for the coefficients in the zonal polynomial expansion of homogenous symmetric polynomials.     

On the classification of Hilbert modular threefolds

Letk be a totally real number field with ring of integersO _k . The Hilbert modular variety overk is a desingularization of the (natural) compactification of PSL₂(O _k )∖H ^k . The purpose of this paper is to present specific numerical bounds on the size of the discriminantd _k of a cubic fieldk with Hilbert modular variety of particular classifications. specifically, it is shown that ifd _k>2.12×10⁷, then the Hilbert modular variety overk is not rational and further, ifd _k>2.77×10⁸, then Hilbert modular variety overk is of general type. This material is based on work supported by the National Science Foundation under Grant No. DMS-9008689     

A Compactification of the Space of Expanding Maps on the Circle

We show the space of expanding Blaschke products on S¹ is compactified by a sphere of invariant measures, reminiscent of the sphere of geodesic currents for a hyperbolic surface. More generally, we develop a dynamical compactification for the Teichmüller space of all measure preserving topological covering maps of S¹. Research supported in part by the NSF.     

Polytopal and nonpolytopal spheres an algorithmic approach

The convexity theory for oriented matroids, first developed by Las Vergnas [17], provides the framework for a new computational approach to the Steinitz problem [13]. We describe an algorithm which, for a given combinatorial (d − 2)-sphereS withn vertices, determines the setC _d,n(S) of rankd oriented matroids withn points and face latticeS. SinceS is polytopal if and only if there is a realizableM εC _d,n(S), this method together with the coordinatizability test for oriented matroids in [10] yields a decision procedure for the polytopality of a large class of spheres. As main new result we prove that there exist 431 combinatorial types of neighborly 5-polytopes with 10 vertices by establishing coordinates for 98 “doubted polytopes” in the classification of Altshuler [1]. We show that for alln ≧k + 5 ≧8 there exist simplicialk-spheres withn vertices which are non-polytopal due to the simple fact that they fail to be matroid spheres. On the other hand, we show that the 3-sphereM ₉₆₃ ⁹ with 9 vertices in [2] is the smallest non-polytopal matroid sphere, and non-polytopal matroidk-spheres withn vertices exist for alln ≧k + 6 ≧ 9.     

On the normal bundle of curves on nodal quartic surfaces

Let k be an algebraically closed field, char k = 0. Let C be an irreducible nonsingular curve such that 2C = S ? F, where S and F are two surfaces and all the singularities of F are rational double points (if any). We prove that C can never pass through rational singularities of types A _2n n∈N, E₆ and E₈. We give conditions for C to pass through rational singularities of types. A _2k+1 k∈Z⁺ D_n n≥4 and E₇, (0.8).     

On Conformal Infinity and Compactifications of the Minkowski Space

Using the standard Cayley transform and elementary tools it is reiterated that the conformal compactification of the Minkowski space involves not only the “cone at infinity” but also the 2-sphere that is at the base of this cone. We represent this 2-sphere by two additionally marked points on the Penrose diagram for the compactified Minkowski space. Lacks and omissions in the existing literature are described, Penrose diagrams are derived for both, simple compactification and its double covering space, which is discussed in some detail using both the U(2) approach and the exterior and Clifford algebra methods. Using the Hodge *{\star} operator twistors (i.e. vectors of the pseudo-Hermitian space H _2,2) are realized as spinors (i.e., vectors of a faithful irreducible representation of the even Clifford algebra) for the conformal group SO(4, 2)/Z ₂. Killing vector fields corresponding to the left action of U(2) on itself are explicitly calculated. Isotropic cones and corresponding projective quadrics in H _p,q are also discussed. Applications to flat conformal structures, including the normal Cartan connection and conformal development has been discussed in some detail.     

Time-like Willmore surfaces in Lorentzian 3-space

Let R13 be the Lorentzian 3-space with inner product (, ). Let Q3 be the conformal compactification of R13, obtained by attaching a light-cone C∞ to R13 in infinity. Then Q3 has a standard conformal Lorentzian structure with the conformal transformation group O(3,2)/{±1}. In this paper, we study local conformal invariants of time-like surfaces in Q3 and dual theorem for Willmore surfaces in Q3. Let M (?) R13 be a time-like surface. Let n be the unit normal and H the mean curvature of the surface M. For any p ∈ M we define S12(p) = {X ∈ R13 (X - c(P),X - c(p)) = 1/H(p)2} with c(p) = P 1/H(p)n(P) ∈ R13. Then S12 (p) is a one-sheet-hyperboloid in R3, which has the same tangent plane and mean curvature as M at the point p. We show that the family {S12(p),p ∈ M} of hyperboloid in R13 defines in general two different enveloping surfaces, one is M itself, another is denoted by M (may be degenerate), and called the associated surface of M. We show that (i) if M is a time-like Willmore surface in Q3 with non-degenerate associated surface M, then M is also a time-like Willmore surface in Q3 satisfying M = M; (ii) if M is a single point, then M is conformally equivalent to a minimal surface in R13.     

Generalized Adjunction of k‐Very Ample Vector Bundles on Algebraic Surfaces II

We study the k‐very ampleness of the adjoint bundle K_S + det E associated to a (k — 1)‐very ample vector bundle E with degree greater than or equal to 4k + 5 on an algebraic surface S. We classify polarized surfaces (S, E) which the k‐very ampleness of K_S + det E fails.     

The smallest ideal of βS is not closed

Let S be an infinite discrete semigroup which can be embedded algebraically into a compact topological group and let βS be the Stone–Čech compactification of S. We show that the smallest ideal of βS is not closed.     

Points of increase for random walks

Say that a sequenceS ₀, ..., S_n has a (global) point of increase atk ifS _k is maximal amongS ₀, ..., S_k and minimal amongS _k, ..., S_n. We give an elementary proof that ann-step symmetric random walk on the line has a (global) point of increase with probability comparable to 1/logn. (No moment assumptions are needed.) This implies the classical fact, due to Dvoretzky, Erdős and Kakutani (1961), that Brownian motion has no points of increase. Research partially supported by NSF grant # DMS-9404391.     

Construction of representation-finite selfinjective artin algebras of classB n andC n

In this paper, we discuss the representation-finite selfinjective artin algebras of classB _n andC _n and obtain the following main results: For any fieldk, let Λ be a representation-finite selfinjective artin algebras of classB _n orC _n overk.

On galois descent for Hochschild and cyclic homology

LetG be a finite group acting by automorphisms on an algebraS over some commutative ringk. We show that if the action ofG restricted to the center ofS is Galois in the sense of [C-H-R], thenHH _*(S ^G)≊HH _* (S) ^G. An analogous result holds for cyclic homology, provided the order ofG is invertible ink. The author was supported in part by a grant from the NSF.     

Partitioning a graph into convex sets

Let G be a finite simple graph. Let S⊆V(G), its closed interval I[S] is the set of all vertices lying on shortest paths between any pair of vertices of S. The set S is convex if I[S]=S. In this work we define the concept of a convex partition of graphs. If there exists a partition of V(G) into p convex sets we say that G is p-convex. We prove that it is NP-complete to decide whether a graph G is p-convex for a fixed integer p≥2. We show that every connected chordal graph is p-convex, for 1≤p≤n. We also establish conditions on n and k to decide if the k-th power of a cycle C_n is p-convex. Finally, we develop a linear-time algorithm to decide if a cograph is p-convex.     

A note on the order of the antipode of a pointed Hopf algebra

Let k be a field and let H denote a pointed Hopf k-algebra with antipode S. We are interested in determining the order of S. Building on the work done by Taft and Wilson in [7], we define an invariant for H, denoted m_H, and prove that the value of this invariant is connected to the order of S. In the case where char k?=?0, it is shown that if S has finite order then it is either the identity or has order 2?m_H. If in addition H is assumed to be coradically graded, it is shown that the order of S is finite if and only if m_H is finite. We also consider the case where char k?=?p?>?0, generalizing the results of [7] to the infinite-dimensional setting.     

Computing circular separability

Two sets of planar pointsS ₁ andS ₂ are circularly separable if there is a circle that enclosesS ₁ but excludesS ₂. We show that deciding whether two sets are circularly separable can be accomplished inO(n) time using linear programming. We also show that a smallest separating circle can be found inO(n) time, and largest separating circles can be found inO(n logn) time. Finally we establish that all these results are optimal.     

Sensitivity and chaos of semigroup actions

We prove that if an action of a C-semigroup S on a Polish space is syndetic transitive, then the system is either minimal and equicontinuous, or sensitive. Additionally, we show that if an action of an abelian monoid S on a Polish space has a transitive point x and a periodic orbit O such that [`(Hx)]\overline{Hx} is perfect where H={s∈S:s| _O is an identity map}, then the system is chaotic.