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     

Algebraic -actions of entropy rank one

We investigate algebraic -actions of entropy rank one, namely those for which each element has finite entropy. Such actions can be completely described in terms of diagonal actions on products of local fields using standard adelic machinery. This leads to numerous alternative characterizations of entropy rank one, both geometric and algebraic. We then compute the measure entropy of a class of skew products, where the fiber maps are elements from an algebraic -action of entropy rank one. This leads, via the relative variational principle, to a formula for the topological entropy of continuous skew products as the maximum of a finite number of topological pressures. We use this to settle a conjecture concerning the relational entropy of commuting toral automorphisms.

     

Ergodic automorphisms of the infinite torus are bernoulli

We show that ergodic algebraic automorphisms of the infinite torus are measure isomorphic to Bernoulli shifts. Using the same techniques, we also show that the existence of such an automorphism with finite entropy is equivalent to an open problem in algebraic number theory.     

Rigidity of measurable structure for \mathbb Z^d-actions by automorphisms of a torus

We show that for certain classes of actions of , by automorphisms of the torus any measurable conjugacy has to be affine, hence measurable conjugacy implies algebraic conjugacy; similarly any measurable factor is algebraic, and algebraic and affine centralizers provide invariants of measurable conjugacy. Using the algebraic machinery of dual modules and information about class numbers of algebraic number fields we construct various examples of -actions by Bernoulli automorphisms whose measurable orbit structure is rigid, including actions which are weakly isomorphic but not isomorphic. We show that the structure of the centralizer for these actions may or may not serve as a distinguishing measure-theoretic invariant. Received: March 12, 2002     

On cyclic algebraic-geometry codes

In this paper we initiate the study of cyclic algebraic geometry codes. We give conditions to construct cyclic algebraic geometry codes in the context of algebraic function fields over a finite field by using their group of automorphisms. We prove that cyclic algebraic geometry codes constructed in this way are closely related to cyclic extensions. We also give a detailed study of the monomial equivalence of cyclic algebraic geometry codes constructed with our method in the case of a rational function field.     

The differential Galois theory of strongly normal extensions

Differential Galois theory, the theory of strongly normal extensions, has unfortunately languished. This may be due to its reliance on Kolchin's elegant, but not widely adopted, axiomatization of the theory of algebraic groups. This paper attempts to revive the theory using a differential scheme in place of those axioms. We also avoid using a universal differential field, instead relying on a certain tensor product.

We identify automorphisms of a strongly normal extension with maximal differential ideals of this tensor product, thus identifying the Galois group with the closed points of an affine differential scheme. Moreover, the tensor product has a natural coring structure which translates into the Galois group operation: composition of automorphisms.

This affine differential scheme splits, i.e. is obtained by base extension from a (not differential, not necessarily affine) group scheme. As a consequence, the Galois group is canonically isomorphic to the closed, or rational, points of a group scheme defined over constants. We obtain the fundamental theorem of differential Galois theory, giving a bijective correspondence between subgroup schemes and intermediate differential fields.

On the way to this result we study certain aspects of differential algebraic geometry, e.g. closed immersions, products, local ringed space of constants, and split differential schemes.

     

Automorphism groups of the real projective plane with holes and their conjugacy classes within its mapping class group

For each integer g2 we give the complete list of groups acting as a group of dianalytic automorphisms of a real projective plane with g holes, which, in algebraic terms, correspond to birational automorphisms of real algebraic (M–1)-curves. We also determine those acting as the full group of automorphisms of such a surface. Furthermore, the conjugacy classes of the finite subgroups of its mapping class group are calculated.Mathematics 2000 Subject Classification (2000): 30F, 32G, 14H.Partially supported by BFM2002-04801.Partially supported by BFM2002-04801 and RAAG HPRN-CT-2001-00271.Partially supported by GAAR BFM2002-04797 and RAAG HPRN-CT-2001-00271     

Hereditary crossed products

We characterize when a crossed product order over a maximal order in a central simple algebra by a finite group is hereditary. We need only concentrate on the cases when the group acts as inner automorphisms and when the group acts as outer automorphisms. When the group acts as inner automorphisms, the classical group algebra result holds for crossed products as well; that is, the crossed product is hereditary if and only if the order of the group is a unit in the ring. When the group is acting as outer automorphisms, every crossed product order is hereditary, regardless of whether the order of the group is a unit in the ring.

     

DISTINGUISHED LINE BUNDLES FOR COMPLEX SURFACE AUTOMORPHISMS

We equate dynamical properties (e.g., positive entropy, existence of a periodic curve) of complex projective surface automorphisms with properties of the pull-back actions of such automorphisms on line bundles. We use the properties of the cohomological actions to describe the measures of maximal entropy for automorphisms with positive entropy.     

The braid group of a necklace

We show several geometric and algebraic aspects of a necklace: a link composed with a core circle and a series of (unlinked) circles linked to this core. We first prove that the fundamental group of the configuration space of necklaces (that we will call braid group of a necklace) is isomorphic to the braid group over an annulus quotiented by the square of the center. We then define braid groups of necklaces and affine braid groups of type \(\mathcal {A}\) in terms of automorphisms of free groups and characterize these automorphisms among all automorphisms of free groups. In the case of affine braid groups of type \(\mathcal {A}\) such a representation is faithful.     

Algebraic structures on graphs

In this paper we consider directed graphs with algebraic structures: group-graphs, ringgraphs, involutorial graphs, affine graphs, graphs of morphisms between graphs, graphs of reduced paths of an involutorial graph, etc. We show also how several well-known algebraic constructions can be carried over to graphs. As a typical example we generalize the construction of the group of automorphisms of a set, by constructing a group-graph associated with any given graphΓ. It is the group-graph of reduced paths of the involutorial graph associated to the graph of automorphisms ofΓ.     

On ergodic quasi-invariant measures of group automorphism

We study the dynamics of projective transformations and apply it to (i) prove that the isotropy subgroups of probability measures on algebraic homogeneous spaces are algebraic and to (ii) study the class of ergodic quasi-invariant measures of automorphisms of non-compact Lie groups. It is shown that their support is always a proper subset and that under certain conditions on the Lie group the induced homeomorphism of the support is topologically equivalent to a translation of a compact group.     

Schottky Uniformizations of Genus 6 Riemann Surfaces Admitting A5 as Group of Automorphisms

In this note we construct a 1-complex dimensional family of (marked) Schottky groups of genus 6 with the property that every closed Riemann surface of genus 6 admitting the group A₅ as conformal group of automorphisms is uniformized by one of these Schottky groups. In the algebraic limit closure of this family we describe three noded Schottky groups uniformizing the three boundary points of the pencil described by González-Aguilera and Rodriguez. We are able to find a very particular Riemann surface of genus 6 which is a (local) extremal for a maximal set of homologically independent simple closed geodesics. We observe that it is not Wimann's curve, the only Riemann surface of genus 6 with S₅ as group of conformal automorphisms. The Schottky uniformizations permit us to compute a reducible symplectic representation of A₅.     

Automorphisms of groups and of schemes of finite type

We show first that certain automorphism groups of algebraic varieties, and even schemes, are residually finite and virtually torsion free. (A group virtually has a property if some subgroup of finite index has it.) The rest of the paper is devoted to a study of the groups of automorphisms. Aut(Γ) and outer automorphisms Out(Γ) of a finitely generated group Γ, by using the finite-dimensional representations of Γ. This is an old idea (cf. the discussion of Magnus in [11]). In particular the classes of semi-simplen-dimensional representations of Γ are parametrized by an algebraic varietyS _n (Γ) on which Out(Γ) acts. We can apply the above results to this action and sometimes conclude that Out(Γ) is residually finite and virtually torsion free. This is true, for example, when Γ is a free group, or a surface group. In the latter case Out(Γ) is a “mapping class group.” Partially supported by the NSF under Grant MCS 80-05802.     

A non-Abelian K-theory and pseudo-isotopies of 3-manifolds

A non-Abelian version of algebraic K-theory, based on automorphism of free products rather than automorphisms of free modules, is considered and is related to pseudo-isotopies of 3-manifolds.Sometime after writing this paper I learned that some of the algebraic results in it were first proved by Gersten in [13]. Specifically each of Theorems 3.1, 3.2 and 5.1 in the special case when is the trivial group, and Theorem 3.3 and its corollaries are all results of Gersten. I have left the paper as it is for the sake of completeness and since the approach here often differs considerably from Gersten's.     

Automorphism groups of compact bordered Klein surfaces with invariant subsets

In this work we get upper bounds for the order of a group of automorphisms of a compact bordered Klein surface S of algebraic genus greater than 1. These bounds depend on the algebraic genus of S and on the cardinals of finite subsets of S which are invariant under the action of the group. We use our results to obtain upper bounds for the order of a group of automorphism whose action on the set of connected components of the boundary of S is not transitive. The bounds obtained this way depend only on the algebraic genus of S. The author is partially supported by the European Network RAAG HPRN-CT-2001-00271 and the Spanish GAAR DGICYT BFM2002-04797.     

On the quantum groups and semigroups of maps between noncommutative spaces

We define algebraic families of (all) morphisms which are purely algebraic analogs of quantum families of (all) maps introduced by P. M. So?tan. Also, algebraic families of (all) isomorphisms are introduced. By using these notions we construct two classes of Hopf-algebras which may be interpreted as the quantum group of all maps from a finite space to a quantum group, and the quantum group of all automorphisms of a finite noncommutative (NC) space. As special cases three classes of NC objects are introduced: quantum group of gauge transformations, Pontryagin dual of a quantum group, and Galois-Hopf-algebra of an algebra extension.     

Algebraic curves with an infinite automorphism group

Irreducible algebraic curves X (not necessarily smooth and complete) for which the group Aut X of biregular automorphisms is infinite are classified. Applications of the results obtained to the theory of algebraic transformation groups are given.Translated from Matematicheskie Zametki, Vol. 23, No. 2, pp. 183–195, February, 1978.