Reconstruction of Function Fields

For k an algebraic closure of the finite field , ℓ prime distinct from p and X a surface over k, we prove that the field of rational functions k(X) can be recovered from the maximal pro-ℓ-quotient of its absolute Galois group – in fact already from the second central descending series quotient of . Submitted: July 2004, Revision: October 2005, Final revision: February 2008, Accepted: February 2008     

On simple periodic linear groups— Dense subgroups,permutation representations,and induced modules

We determine the Zariski-dense subgroups of Chevalley groups and their twisted analogues over infinite algebraic extensions of finite fields. It turns out that these are essentially forms of the same group (possibly becoming twisted) over smaller infinite fields. It follows from our classification that if is a simple algebraic group over the algebraic closure of a finite field, then a dense subgroup of can never be maximal, and so the maximal subgroups of are necessarily closed. It follows that Seitz’s determination of the closed maximal subgroups of actually gives all the maximal subgroups. It also enables us to prove that ifG is a simple Chevalley group or twisted type over an infinite algebraic extension of a finite field, then in every non-trivial permutation representation ofG, every finite subgroup has a regular orbit. It follows that every non-trivial permutation module forG over a fieldk iskG-faithful. This is relevant to a programme of studying ideals in group rings of simple locally finite groups. To John Thompson in recognition of his many outstanding contributions to group theory     

Selmer groups of abelian varieties in extensions of function fields

Let k be a field of characteristic q, a smooth geometrically connected curve defined over k with function field . Let A/K be a non-constant abelian variety defined over K of dimension d. We assume that q = 0 or >  2d + 1. Let p ≠ q be a prime number and a finite geometrically Galois and étale cover defined over k with function field . Let (τ′, B′) be the K′/k-trace of A/K. We give an upper bound for the -corank of the Selmer group Sel _p (A × _K K′), defined in terms of the p-descent map. As a consequence, we get an upper bound for the -rank of the Lang–Néron group A(K′)/τ′B′(k). In the case of a geometric tower of curves whose Galois group is isomorphic to , we give sufficient conditions for the Lang–Néron group of A to be uniformly bounded along the tower. This work was partially supported by CNPq research grant 305731/2006-8.     

On Tame Kernels and Ideal Class Groups

It is well known that there is a close connection between tame kernels and ideal class groups of number fields. However, the latter is a very difficult subject in number theory. In this paper, we prove some results connecting the p^n-rank of the tame kernel of a cyclic cubic field F with the p^n-rank of the coinvariants of μp^n×CI（δE,T） under the action of the Galois group, where E = F（ζp^n ） and T is the finite set of primes of E consisting of the infinite primes and the finite primes dividing p. In particular, if F is a cyclic cubic field with only one ramified prime and p = 3, n = 2, we apply the results of the tame kernels to prove some results of the ideal class groups of E, the maximal real subfield of E and F（ζ3）.     

On Discrete Zariski-Dense Subgroups of Algebraic Groups

We investigate under which conditions an algebraic group G defined over a locally compact field k admitr a subgroup Γ? G(k) which is dense in the Zariski topology, but discerte in the topology induced by the locally compact topology on k. For non—solvable groups we provide a complete answer.     

Invariants of 2 × 2 matrices, irreducible {\hbox{SL}(2, \mathbb{C})} characters and the Magnus trace map

We obtain an explicit characterization of the stable points of the action of on the cartesian product G  ^{× n} by simultaneous conjugation on each factor in terms of the corresponding invariant functions. From this, a simple criterion for the irreducibility of representations of finitely generated groups into G is derived. We also obtain analogous results for the action of on the vector space of n-tuples of 2 × 2 complex matrices. For a free group F _n of rank n, we show how to generically reconstruct the 2 ^n-2 conjugacy classes of representations F _n → G from their values under the map considered in Magnus [Math. Zeit. 170, 91–103 (1980)], defined by certain 3n − 3 traces of words of length one and two.      

Spherical conjugacy classes and involutions in the Weyl group

Let G be a simple algebraic group over an algebraically closed field of characteristic zero or positive odd, good characteristic. Let B be a Borel subgroup of G. We show that the spherical conjugacy classes of G intersect only the double cosets of B in G corresponding to involutions in the Weyl group of G. This result is used in order to prove that for a spherical conjugacy class with dense B-orbit v ₀ ⊂ BwB there holds extending to the case of groups over fields of odd, good characteristic a characterization of spherical conjugacy classes obtained by Cantarini, Costantini and the author. It is also shown that the weights occurring in the G-module decomposition of the ring of regular functions on are self-adjoint and they lie in the −1-eigenspace of the element w.     

Algorithms for Computing Characters for Symmetric Spaces

Symmetric spaces or more general symmetric k-varieties can be defined as the homogeneous spaces G _k /K _k , where G is a reductive algebraic group defined over a field k of characteristic not 2, K the fixed point group of an involution θ of G and G _k resp. K _k the sets k-rational points of G resp. K. These symmetric spaces have a fine structure of root systems, characters, Weyl groups etc., similar to the underlying algebraic group G. The relationship between the fine structure of the symmetric space and the group plays an important role in the study of these symmetric spaces and their applications. To develop a computer algebra package for symmetric spaces one needs explicit formulas expressing the fine structure of the symmetric space and group in terms of each other. In this paper we consider the case that k is algebraically closed and give explicit algorithmic formulas for expressing the characters of the weight lattice of the symmetric space in terms of the characters of the weight lattice of the group. These algorithms can easily be implemented in a computer algebra package. The root system of the symmetric space can be described as the image of the root system of the group under a projection π derived from an involution θ on . This implies that . Using these formulas for the characters of each of these lattices we show that in fact . A.G. Helminck is partially supported by N.S.F. Grant DMS-0532140.     

Commutative Group Algebras of Cardinality {\cal N} 1

We let FG be the group algebra of an abelian group G over a field F with characteristic p. Also, we define G_p and S(FG) as the groups of all p-primary normed elements in G and FG, respectively. We prove that if G_p is Hausdorff and both F and G have cardinalities not exceeding ₁, then S(FG)/G_p is a direct sum of cyclics. Thus G_p is a direct factor of S(FG), and in particular G is a direct factor of the group of all normalized units V(FG), provided that the torsion part of G is a p-group. This answers a question posed by us in Hokkaido Math. J. (2000). Moreover we establish that if G is p-splitting, then any F-isomorphism of the group algebras FG and FH implies that H is p-splitting. We also show that if G is of power ₁ whose p-component G_p is a direct sum of torsion-complete groups and F has power p, then the F-isomorphism of FG and FH for any group H yields an isomorphism between G_p and H_p. In particular, when G is of power ₁ and is p-mixed of torsion-free rank 1 whose G_p is torsion-complete, we have G H. If F is in power p and G, with cardinality ₁, is a direct sum of p-local algebraically compact groups such that FG FH as F-algebras for some group H, then G H. These statements extend results due to Beers-Richman-Walker (1983), and also partially solve a well-known question raised by May in 1979.     

Bestvina's Normal Form Complex and the Homology of Garside Groups

A Garside group is a group admitting a finite lattice generating set . Using techniques developed by Bestvina for Artin groups of finite type, we construct K(π, 1)s for Garside groups. This construction shows that the (co)homology of any Garside group G is easily computed given the lattice , and there is a simple sufficient condition that implies G is a duality group. The universal covers of these K(π, 1)s enjoy Bestvina's weak nonpositive curvature condition. Under a certain tameness condition, this implies that every solvable subgroup of G is virtually Abelian.     

Chern–Simons forms on associated bundles,and boundary terms

Let E be a principle bundle over a compact manifold M with compact structural group G. For any G-invariant polynomial P, the transgressive forms defined by Chern and Simons in (Ann. Math. 99:48–69, 1974) are shown to extend to forms on associated bundles B with fiber a quotient F = G/H of the group. These forms satisfy a heterotic formula relating the characteristic form to a fiber-curvature characteristic form. For certain natural bundles B, , giving a true transgressive form on the associated bundle, which leads to the standard obstruction properties of characteristic classes as well as natural expressions for boundary terms. These forms also yield new secondary characteristic classes giving refined information about the associated bundles B.      

Galois modular representation of associated Jacobians in the tamely ramified cyclic case

Let L/K be an ℓ-cyclic extension with Galois group G of algebraic function fields over an algebraically closed field k of characteristic p ≠  ℓ. In this paper, the -module structure of the ℓ-torsion of the Jacobian associated to L is explicitly determined.     

Relative spinor class fields: A counterexample

It is known that classes of indefinite quadratic forms in a genus are classified by the Galois group of a spinor class field [4]. Hsia has proved the existence of a representation field F with the property that a lattice in the genus represents a fixed given lattice if and only if the corresponding element of the Galois group is trivial on F. Spinor class fields can also be used to classify conjugacy classes of maximal orders in a central simple algebra. In [1] we left open the issue of whether for every fixed given non-maximal order in a central simple division algebra there exists a representation field L with the property that embeds into a given maximal order if and only if the corresponding element of the Galois group is trivial on L. In this work we give a negative answer to this question for central simple division algebras of dimension ≥ 3². The case of non-division algebras is also treated by replacing the phrase embeds into by is contained in a conjugate of. As a byproduct of the techniques used in this paper we compute the representation field of an Eichler order in a quaternion algebra. Received: 8 April 2008     

Nonexcellence of the Function Field of the Product of Two Conics

Let k₀ be a field, k₀ ≠ 2, and α, β 2-fold Pfister forms over k₀. Denote by [α], [β] the classes of the corresponding quaternion algebras in ₂Brk₀, and by X_α, X_β the corresponding projective k₀-conics. Suppose ([α] + [β]) = 4. We construct a field F over k₀ such that the field extension F(X_α × X_β)/F is not excellent. Moreover, we find a 2-fold Pfister form γ over F such that ([α ] +[β ] + [γ]) = 4 and the homology group of the complex

Discrete subgroups of algebraic groups over local fields of positive characteristics

It is shown in this paper that ifG is the group ofk-points of a semisimple algebraic groupG over a local fieldk of positive characteristic such that all itsk-simple factors are ofk-rank 1 and Γ ⊂G is a non-cocompact irreducible lattice then Γ admits a fundamental domain which is a union of translates of Siegel domains. As a consequence we deduce that ifG has more than one simple factor, then Γ is finitely generated and by a theorem due to Venkataramana, it is arithmetic.     

Hyperbolic unit groups and quaternion algebras

We classify the quadratic extensions and the finite groups G for which the group ring [G] of G over the ring of integers of K has the property that the group of units of augmentation 1 is hyperbolic. We also construct units in the ℤ-order of the quaternion algebra , when it is a division algebra.     

On the local Artin conductor f<Subscript>Artin</Subscript> (Χ) of a character Χ of Gal(E/K) — II: Main results for the metabelian case

This paper which is a continuation of [2], is essentially expository in nature, although some new results are presented. LetK be a local field with finite residue class fieldK _k. We first define (cf. Definition 2.4) the conductorf(E/K) of an arbitrary finite Galois extensionE/K in the sense of non-abelian local class field theory as wheren _G is the break in the upper ramification filtration ofG = Gal(E/K) defined by . Next, we study the basic properties of the idealf(E/K) inO _k in caseE/K is a metabelian extension utilizing Koch-de Shalit metabelian local class field theory (cf. [8]). After reviewing the Artin charactera _G : G → ℂ ofG := Gal(E/K) and Artin representationsA _g G → G →GL(V) corresponding toa _G : G → ℂ, we prove that (Proposition 3.2 and Corollary 3.5) where Χ_gr : G → ℂ is the character associated to an irreducible representation ρ: G → GL(V) ofG (over ℂ). The first main result (Theorem 1.2) of the paper states that, if in particular,ρ : G → GL(V) is an irreducible representation ofG(over ℂ) with metabelian image, then where Gal(E^ker(ρ)/E^ker(ρ)•) is any maximal abelian normal subgroup of Gal(E^ker(ρ)/K) containing Gal(E^ker(ρ) /K)′, and the break n_G/ker(ρ) in the upper ramification filtration of G/ker(ρ) can be computed and located by metabelian local class field theory. The proof utilizes Basmaji’s theory on the structure of irreducible faithful representations of finite metabelian groups (cf. [1]) and on metabelian local class field theory (cf. [8]). We then discuss the application of Theorem 1.2 on a problem posed by Weil on the construction of a ‘natural’A _G ofG over ℂ (Problem 1.3). More precisely, we prove in Theorem 1.4 that ifE/K is a metabelian extension with Galois group G, then Kazim İlhan ikeda whereN runs over all normal subgroups of G, and for such anN, V _n denotes the collection of all ∼-equivalence classes [ω]∼, where ‘∼’ denotes the equivalence relation on the set of all representations ω : (G/N)^• → ℂ^Χ satisfying the conditions Inert(ω) = {δ ∈ G/N : ℂ_δ} = ω =(G/N) and where δ runs over R((G/N)^•/(G/N)), a fixed given complete system of representatives of (G/N)^•/(G/N), by declaring that ω₁ ∼ ω₂ if and only if ω₁ = ω _2,δ for some δ ∈ R((G/N)^•/(G/N)). Finally, we conclude our paper with certain remarks on Problem 1.1 and Problem 1.3.     

Lyapunov spectra for KMS states on Cuntz-Krieger algebras

We study relations between (H,β)-KMS states on Cuntz-Krieger algebras and the dual of the Perron-Frobenius operator . Generalising the well-studied purely hyperbolic situation, we obtain under mild conditions that for an expansive dynamical system there is a one-one correspondence between (H,β)-KMS states and eigenmeasures of for the eigenvalue 1. We then apply these general results to study multifractal decompositions of limit sets of essentially free Kleinian groups G which may have parabolic elements. We show that for the Cuntz-Krieger algebra arising from G there exists an analytic family of KMS states induced by the Lyapunov spectrum of the analogue of the Bowen-Series map associated with G. Furthermore, we obtain a formula for the Hausdorff dimensions of the restrictions of these KMS states to the set of continuous functions on the limit set of G. If G has no parabolic elements, then this formula can be interpreted as the singularity spectrum of the measure of maximal entropy associated with G. The second author was supported by the DFG project “Ergodentheoretische Methoden in der hyperbolischen Geometrie”.     

Positive-definite functions on infinite-dimensional groups

This paper concerns positive-definite functions on infinite-dimensional groups G. Our main results are as follows: first, we claim that if G has a σ-finite measure μ on the Borel field whose right admissible shifts form a dense subgroup G ₀, a unique (up to equivalence) unitary representation (H, T) with a cyclic vector corresponds to through a method similar to that used for the G–N–S construction. Second, we show that the result remains true, even if we go to the inductive limits of such groups, and we derive two kinds of theorems, those taking either G or G ₀ as a central object. Finally, we proceed to an important example of infinite-dimensional groups, the group of diffeomorphisms on smooth manifolds M, and see that the correspondence between positive-definite functions and unitary representations holds for under a fairy mild condition. For a technical reason, we impose condition (c) in Sect. 2 on the measure space throughout this paper. It is also a weak condition, and it is satified, if G is separable, or if μ is Radon. This research was partially supported by a Grant-in-Aid for Scientific Research (No.18540184), Japan Socieity of the Promotion of Science.     

On the orders of finite semisimple groups

The aim of this paper is to investigate the order coincidences among the finite semisimple groups and to give a reasoning of such order coincidences through the transitive actions of compact Lie groups. It is a theorem of Artin and Tits that a finite simple group is determined by its order, with the exception of the groups (A₃(2), A₂(4)) and(B _n (q), C _n (q)) forn ≥ 3,q odd. We investigate the situation for finite semisimple groups of Lie type. It turns out that the order of the finite group H( ) for a split semisimple algebraic groupH defined over , does not determine the groupH up to isomorphism, but it determines the field under some mild conditions. We then put a group structure on the pairs(H ₁,H ₂) of split semisimple groups defined over a fixed field such that the orders of the finite groups H₁( ) and H₂( ) are the same and the groupsH _i have no common simple direct factors. We obtain an explicit set of generators for this abelian, torsion-free group. We finally show that the order coincidences for some of these generators can be understood by the inclusions of transitive actions of compact Lie groups.