A necessary and sufficient condition for lifting the hyperelliptic involution

Let denote a Riemann surface which possesses a fixed point free group of automorphisms with a hyperelliptic orbit space. A criterion is proved which determines whether the hyperelliptic involution lifts to an automorphism of Necessary and sufficient conditions are stated which determine when a lift of the hyperelliptic involution is fixed point free. A complete determination is made of the abelian groups which may arise as automorphism groups of surfaces which possess a fixed point free lift.

     

Automorphisms of curves fixing the order two points of the Jacobian

Let X be an irreducible smooth projective curve, of genus at least two, defined over an algebraically closed field of characteristic different from two. If X admits a nontrivial automorphism σ that fixes pointwise all the order two points of Pic⁰(X), then we prove that X is hyperelliptic with σ being the unique hyperelliptic involution. As a corollary, if a nontrivial automorphisms of X fixes pointwise all the theta characteristics on X, then X is hyperelliptic with being its hyperelliptic involution.      

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.     

Wild automorphisms of varieties with Kodaira dimension 0

An automorphism σ of a projective variety X is said to be wild if σ(Y) ≠ Y for every non-empty subvariety Y \subsetneq X{Y \subsetneq X} . In [1] Z. Reichstein, D. Rogalski, and J.J. Zhang conjectured that if X is an irreducible projective variety admitting a wild automorphism then X is an abelian variety, and proved this conjecture for dim(X) ≤ 2. As a step toward answering this conjecture in higher dimensions we prove a structure theorem for projective varieties of Kodaira dimension 0 admitting wild automorphisms. This essentially reduces the Kodaira dimension 0 case to a study of Calabi-Yau varieties, which we also investigate. In support of this conjecture, we show that there are no wild automorphisms of certain Calabi-Yau varieties.     

On theta characteristics of a compact Riemann surface

Let σ be a nontrivial automorphism of a compact connected Riemann surface X of genus at least two. Assume that σ fixes each of the theta characteristics of X. We prove that X is hyperelliptic, and σ is the unique hyperelliptic involution of X.     

Fixed points of automorphisms of real algebraic curves

We bound the number of fixed points of an automorphism of a real curve in terms of the genus and the number of connected components of the real part of the curve. Using this bound, we derive some consequences concerning the maximum order of an automorphism and the maximum order of an abelian group of automorphisms of a real curve. We also bound the full group of automorphisms of a real hyperelliptic curve. Work supported by the European Community’s Human Potential Programme under contract HPRN-CT-2001-00271, RAAG.     

The Adjoint Action of an Expansive Algebraic -Action

 Let , and let α be an expansive -action by continuous automorphisms of a compact abelian group X with completely positive entropy. Then the group of homoclinic points of α is countable and dense in X, and the restriction of α to the α-invariant subgroup is a -action by automorphisms of . By duality, there exists a -action by automorphisms of the compact abelian group : this action is called the adjoint action of α. We prove that is again expansive and has completely positive entropy, and that α and are weakly algebraically equivalent, i.e. algebraic factors of each other. A -action α by automorphisms of a compact abelian group X is reflexive if the -action on the compact abelian group adjoint to is algebraically conjugate to α. We give an example of a non-reflexive expansive -action α with completely positive entropy, but prove that the third adjoint is always algebraically conjugate to . Furthermore, every expansive and ergodic -action α is reflexive. The last section contains a brief discussion of adjoints of certain expansive algebraic -actions with zero entropy. Received 11 June 2001; in revised form 29 November 2001     

Three-dimensional hyperelliptic manifolds

Let X³ = H³, E³, S³, H² × E¹, S² × E¹, T₁(H²), Nil of Solv be one of the eight 3-dimensional geometrics of Thurston [10] and G be a discrete group of isometrics of X³ acting without fixed points. A manifold M³ = X³/G is said to be hyperelliptic if there is an isometric involution on it such that the factor space M³/<> is diffeomorphic to the 3-sphere S³. In analogy with the theory of Riemann surfaces we call involution.In the present paper the existence of hyperelliptic manifolds in each light of the eight 3-dimensional geometrics will be obtained. All the proofs given there will be written in the language of orbifolds whose basic facts can be found in [9].     

On gonality of Riemann surfaces

A compact Riemann surface X is called a (p, n)-gonal surface if there exists a group of automorphisms C of X (called a (p, n)-gonal group) of prime order p such that the orbit space X/C has genus n. We derive some basic properties of (p, n)-gonal surfaces considered as generalizations of hyperelliptic surfaces and also examine certain properties which do not generalize. In particular, we find a condition which guarantees all (p, n)-gonal groups are conjugate in the full automorphism group of a (p, n)-gonal surface, and we find an upper bound for the size of the corresponding conjugacy class. Furthermore we give an upper bound for the number of conjugacy classes of (p, n)-gonal groups of a (p, n)-gonal surface in the general case. We finish by analyzing certain properties of quasiplatonic (p, n)-gonal surfaces. An open problem and two conjectures are formulated in the paper.     

Projectively simple rings

An infinite-dimensional N-graded k-algebra A is called projectively simple if dim_kA/I<∞ for every nonzero two-sided ideal I⊂A. We show that if a projectively simple ring A is strongly noetherian, is generated in degree 1, and has a point module, then A is equal in large degree to a twisted homogeneous coordinate ring B=B(X,L,σ). Here X is a smooth projective variety, σ is an automorphism of X with no proper σ-invariant subvariety (we call such automorphisms wild), and L is a σ-ample line bundle. We conjecture that if X admits a wild automorphism then every irreducible component of X is an abelian variety. We prove several results in support of this conjecture; in particular, we show that the conjecture is true if . In the case where X is an abelian variety, we describe all wild automorphisms of X . Finally, we show that if A is projectively simple and admits a balanced dualizing complex, then is Cohen-Macaulay and Gorenstein.     

Automorphism Groups of Finite Abelian p-groups and Transvections

We define a particular type of automorphisms called transvections on a finite finite abelian p-group H_p. It is proved that the subgroup E of the automorphism group Aut(H_p) of H_p generated by those transvections is normal in it, and that Aut(H_p) can be written as the product of E and some abelian subgroup K. The center of Aut(H_p) is also determined.     

Coleman automorphisms of finite groups

An automorphism of a finite group G whose restriction to any Sylow subgroup equals the restriction of some inner automorphism of G shall be called Coleman automorphism, named for D. B. Coleman, who's important observation from [2] especially shows that such automorphisms occur naturally in the study of the normalizer of G in the units of the integral group . Let Out be the image of these automorphisms in Out. We prove that Out is always an abelian group (based on previous work of E. C. Dade, who showed that Out is always nilpotent). We prove that if no composition factor of G has order p (a fixed prime), then Out is a -group. If O, it suffices to assume that no chief factor of G has order p. If G is solvable and no chief factor of has order 2, then , where is the center of . This improves an earlier result of S. Jackowski and Z. Marciniak. Received: 26 May 2000; in final form: 5 October 2000 / Published online: 19 October 2001     

Compact complex homogeneous manifolds with large automorphism groups

Let X be a compact complex homogeneous manifold and let Aut(X) be the complex Lie group of holomorphic automorphisms of X. It is well-known that the dimension of Aut(X) is bounded by an integer that depends only on n=dim X. Moreover, if X is K?hler then dimAut (X)≤n(n+2) with equality only when X is complex projective space. In this article examples of non-K?hler compact complex homogeneous manifolds X are given that demonstrate dimAut(X) can depend exponentially on n. Let X be a connected compact complex manifold of dimension n. The group of holomorphic automorphisms of X, Aut(X), is a complex Lie group [3]. For a fixed n>1, the dimension of Aut(X) can be arbitrarily large compared to n. Simple examples are provided by the Hirzebruch surfaces F _m , m∈N, for which dimAut(F _m )=m+5, see, e.g. [2, Example 2.4.2]. If X is homogeneous, that is, any point of X can be mapped to any other point of X under a holomorphic automorphism, then the dimension of the automorphism group of X is bounded by an integer that depends only on n, see [1, 2, 6]. The estimate given in [2, Theorem 3.8.2] is roughly dimAut(X)≤(n+2) ⁿ . For many classes of manifolds, however, the dimension of the automorphism group never exceeds n(n+2). For example, it follows directly from the classification given by Borel and Remmert [4], that if X is a compact homogeneous K?hler manifold, then dimAut(X)≤n(n+2) with equality only when X is complex projective space P ⁿ . It is an old question raised by Remmert, see [2, p. 99], [6], whether this same bound applies to all compact complex homogeneous manifolds. In this note we show that this is not the case by constructing non-K?hler compact complex homogeneous manifolds whose automorphism group has a dimension that depends exponentially on n. The simplest case among these examples has n=3m+1 and dimAut(X)=3m+3 ^m , so the above conjectured bound is exceeded when n≥19. These manifolds have the structure of non-trivial fiber bundles over products of flag manifolds with parallelizable fibers given as the quotient of a solvable group by a discrete subgroup. They are constructed using the original ideas of Otte [6, 7] and are surprisingly similar to examples found there. Generally, a product of manifolds does not result in an automorphism group with a large dimension relative to n. Nevertheless, products are used in an essential way in the construction given here, and it is perhaps this feature that caused such examples to be previously overlooked. Oblatum 13-X-97 & 24-X-1997     

Asymmetric and pseudo-symmetric hyperelliptic surfaces

 In this paper we examine hyperelliptic Riemann surfaces which possess an anticonformal automorphism but are not symmetric. We determine that all such surfaces must have a full automorphism group which is either cyclic, or an abelian extension of a cyclic group by ℤ₂. We give defining equations for all of these hyperelliptic surfaces and show how they can be constructed by using NEC groups. As a special case, we determine all hyperelliptic surfaces which are pseudo-symmetric but not symmetric. Received: 15 November 2001     

Invariant Cocycles Have Abelian Ranges

 Let R be a discrete nonsingular equivalence relation on a standard probability space , and let V be an ergodic strongly asymptotically central automorphism of R. We prove that every V-invariant cocycle with values in a Polish group G takes values in an abelian subgroup of G. The hypotheses of this result are satisfied, for example, if A is a finite set, a closed, shift-invariant subset, V is the shift, μ a shift-invariant and ergodic probability measure on X, the two-sided tail-equivalence relation on X, a shift-invariant subrelation which is μ-nonsingular, and a shift-invariant cocycle. (Received 15 September 2001)     

Invariant Cocycles Have Abelian Ranges

 Let R be a discrete nonsingular equivalence relation on a standard probability space , and let V be an ergodic strongly asymptotically central automorphism of R. We prove that every V-invariant cocycle with values in a Polish group G takes values in an abelian subgroup of G. The hypotheses of this result are satisfied, for example, if A is a finite set, a closed, shift-invariant subset, V is the shift, μ a shift-invariant and ergodic probability measure on X, the two-sided tail-equivalence relation on X, a shift-invariant subrelation which is μ-nonsingular, and a shift-invariant cocycle.     

Finite Groups with a Pre-Fixed-Point-Free Power Automorphism

A power automorphism θ of a group G is said to be pre-fixed-point-free if C_G(θ) is an elementary abelian 2-group. G is called an E-group if G has a pre-fixed-point-free power automorphism. In this paper, finite E-groups, together with all their pre-fixed-point-free power automorphisms, are completely determined. Moreover, a characteristic of finite abelian groups is given, which explains some known facts concerning power automorphisms.     

On finite <Emphasis Type="Italic">p</Emphasis>-groups whose automorphisms are all central

An automorphism α of a group G is said to be central if α commutes with every inner automorphism of G. We construct a family of non-special finite p-groups having abelian automorphism groups. These groups provide counterexamples to a conjecture of A. Mahalanobis [Israel J. Math. 165 (2008), 161–187]. We also construct a family of finite p-groups having non-abelian automorphism groups and all automorphisms central. This solves a problem of I. Malinowska [Advances in Group Theory, Aracne Editrice, Rome, 2002, pp. 111–127].     

Functional analytic aspects of non-commutative harmonic analysis

Given a homogeneous space X = G/H with an invariant measure it is shown, using Grothendieck's inequality, that a G-invariant Hilbert subspace of the space of distributions of order zero on X is actually contained in L_loc²(X). Moreover, if θ is an automorphism on G appropriately related to H, it is shown that, under condition that H-orbits are smooth, an H-bi-invariant distribution of positive type on G satisfies the identity Ť^θ = T if the corresponding Hilbert space is contained in L_loc²(X). This shows that, under the smooth orbit condition, G-invariant Hilbert subspaces of L_loc² (X) have a unique decomposition into irreducible Hilbert spaces as in the case of generalized Gelfand pairs.