Serre’s formule de masse in prime degree

For a local field F with finite residue field of characteristic p, we describe completely the structure of the filtered F p[G]-module K  ^× /K  ^{× p} in characteristic 0 and K/?(K){K/\wp(K)} in characteristic p, where K=F(^{p-1}?{F^× }){K=F(\root{p-1}\of{F^\times})} and G = Gal(K|F). As an application, we give an elementary proof of Serre’s mass formula in degree p. We also determine the compositum C of all degree-p separable extensions with solvable galoisian closure over an arbitrary base field, and show that C is K(^p?{K^× }){K(\root p\of{K^\times})} or K(?^-1(K)){K(\wp^{-1}(K))}, respectively, in the case of the local field F.     

Finite-to-finite universal quasivarieties are Q-universal

Let K be a quasivariety of algebraic systems of finite type. K is said to be universal if the category G of all directed graphs is isomorphic to a full subcategory of K. If an embedding of G may be effected by a functor F:G K which assigns a finite algebraic system to each finite graph, then K is said to be finite-to-finite universal. K is said to be Q-universal if, for any quasivariety M of finite type, L(M) is a homomorphic image of a sublattice of L(K), where L(M) and L(K) are the lattices of quasivarieties contained in M and K, respectively.?We establish a connection between these two, apparently unrelated, notions by showing that if K is finite-to-finite universal, then K is Q-universal. Using this connection a number of quasivarieties are shown to be Q-universal. Received February 8, 2000; accepted in final form December 23, 2000.     

The McKay conjecture for exceptional groups and odd primes

Let G be a simply-connected simple algebraic group over an algebraically closed field of characteristic p with a Frobenius map F : G → G and G := G ^F , such that the root system is of exceptional type or G is a Suzuki group or Steinberg’s triality group. We show that all irreducible characters of C _G (S), the centraliser of S in G, extend to their inertia group in N _G (S), where S is any F-stable Sylow torus of (G, F). Together with the work in [16] this implies that the McKay conjecture is true for G and odd primes ℓ different from the defining characteristic. Moreover it shows important properties of the associated simple groups, which are relevant for the proof that the associated simple groups are good in the sense of Isaacs, Malle and Navarro, as defined in [14]. This research has been supported by the DFG-grant “Die Alperin-McKay-Vermutung für endliche Gruppen” and an Oberwolfach Leibniz fellowship.     

On the torsion in K_2 of a field

For a field F,let Gn(F) = {{a,Φn(a)} ∈ K2(F) | a,Φn(a) ∈ F*},where Φn(x) is the n-th cyclotomic polynomial.At first,by using Faltings' theorem on Mordell conjecture it is proved that if F is a number field and if n = 4,8,12 is a positive integer having a square factor then Gn(F) is not a subgroup of K2(F),and then by using the results of Manin,Grauert,Samuel and Li on Mordell conjecture theorem for function fields,a similar result is established for function fields over an algebraically closed field.     

Solving Chisini’s functional equation

We investigate the n-variable real functions G that are solutions of the Chisini functional equation F(x) = F(G(x), . . . , G(x)), where F is a given function of n real variables. We provide necessary and sufficient conditions on F for the existence and uniqueness of solutions. When F is nondecreasing in each variable, we show in a constructive way that if a solution exists then a nondecreasing and idempotent solution always exists. We also provide necessary and sufficient conditions on F for the existence of continuous solutions and we show how to construct such a solution. We finally discuss a few applications of these results.     

The Multiplicity Free Permutation Representations of the Ree Groups 2 G 2(q), the Suzuki Groups 2 B 2(q), and Their Automorphism Groups

Abstract

Let G a simple group of type ² B ₂(q) or ² G ₂(q), where q is an odd power of 2 or 3, respectively. The main goal of this paper is to determine the multiplicity free permutation representations of G and A ≤ Aut(G) where A is a subgroup containing a copy of G. Let B be a Borel subgroup of G. If G = ² B ₂(q) we show that there is only one non-trivial multiplicity free permutation representation, namely the representation of G associated to the action on G/B. If G = ² G ₂(q) we show that there are exactly two such non-trivial representations, namely the representations of G associated to the action on G/B and the action on G/M, where M = UC with U the maximal unipotent subgroup of B and C the unique subgroup of index 2 in the maximal split torus of B. The multiplicity free permutation representations of A correspond to the actions on A/H where H is isomorphic to a subgroup containing B if G = ² B ₂(q), and containing M if G = ² G ₂(q). The problem of determining the multiplicity free representations of the finite simple groups is important, for example, in the classification of distance-transitive graphs.     

Completing an extension of Tunnell's theorem

We look at a special case of a familiar problem: Given a locally compact group G, a subgroup H and a complex representation π₊ of G how does π₊ decompose on restriction to H. Here G is GL⁺(2,F), where F is a nonarchimedian local field of characteristic not two, K a separable quadratic extension of F, GL⁺(2,F) the subgroup of index 2 in GL(2,F) consisting of those matrices whose determinant is in NK/F(K^∗), π₊ is an irreducible, admissible supercuspidal representation of GL⁺(2,F) and H=K^∗ under an embedding of K^∗ into GL(2,F).     

Correspondance de Jacquet-Langlands pour les corps locaux de caractéristique non nulle

In this article we prove the Jacquet-Langlands local correspondence in non-zero characteristic. Let F be a local field of non-zero charactersitic and G′ an inner form of GL_n(F); then, following [17], we prove relations between the representation theory of G′ and the representation theory of an inner form of GL_n(L), where L is a local field of zero characteristic close to F. The proof of the Jacquet-Langlands correspondence between G′ and GL_n(F) is done using the above results and ideas from the proof by Deligne, Kazhdan and Vignéras [10] of the zero characteristic case. We also get the following, already known in zero characteristic: orthogonality relations for G′, inequality involving conductor and level for representations of G′ and finiteness for automorphic cuspidal representations with fixed component at almost every place for an inner form of GL_n over a global field of non-zero characteristic.     

Un revêtement de l'arbre de GL2 d'un corps local

Let F be a non-archimedean local field with residue class field k. Put G=GL₂(F), =PGL₂(k) and let X denote the Bruhat–Tits tree of G. We construct a one-dimensional simplicial complex , equipped with an action of G × and with a G × -equivariant simplicial projection (for the trivial action of on X). We prove that the cohomology with compact support contains nontrivial representations of G (in particular positive level supercuspidal representations).     

Orbits of the Actions of Odd-Order Solvable Groups

Suppose that V is a finite faithful irreducible G-module where G is a finite solvable group of odd order. We prove if the action is quasi-primitive, then either F(G) is abelian or G has at least 212 regular orbits on V. As an application, we prove that when V is a finite faithful completely reducible G-module for a solvable group G of odd order, then there exists v ∈ V such that C _G (v) ? F ₂(G) (where F ₂(G) is the 2nd ascending Fitting subgroup of G). We also generalize a result of Espuelas and Navarro. Let G be a group of odd order and let H be a Hall π-subgroup of G. Let V be a faithful G-module over a finite field of characteristic 2, then there exists v ∈ V such that C _H (v) ? O _π(G).     

Representation theory of 2-groups on Kapranov and Voevodsky's 2-vector spaces

In this paper the representation theory of 2-groups in 2-categories is considered, focusing the attention on the 2-category Rep2MatK(G) of representations of a 2-group G in (a version of) Kapranov and Voevodsky's 2-category of 2-vector spaces over a field K. The set of equivalence classes of such representations is computed in terms of the invariants π₀(G), π₁(G) and [α]∈H³(π₀(G),π₁(G)) classifying G, and the categories of intertwiners are described in terms of categories of vector bundles endowed with a projective action. In particular, it is shown that the monoidal category of finite dimensional linear representations (more generally, the category of [z]-projective representations, for any given cohomology class [z]∈H²(π₀(G),K^∗)) of the first homotopy group π₀(G) as well as its category of representations on finite sets both live in Rep2MatK(G), the first as the monoidal category of endomorphisms of the trivial representation (more generally, as the category of intertwiners between suitable 1-dimensional representations) and the second as a non-full subcategory of the homotopy category of Rep2MatK(G).     

Polynomial Identities of RA and RA2 Loop Algebras

Let F be an algebraically closed field of characteristic zero and L an RA loop. We prove that the loop algebra FL is in the variety generated by the split Cayley–Dickson algebra Z _F over F. For RA2 loops of type M(Dih(A), ^?1,g ₀), we prove that the loop algebra is in the variety generated by the algebra  ₃ which is a noncommutative simple component of the loop algebra of a certain RA2 loop of order 16. The same does not hold for the RA2 loops of type M(G, ^?1,g ₀), where G is a non-Abelian group of exponent 4 having exactly 2 squares.     

C*-index of observable algebras in <Emphasis Type="Italic">G</Emphasis>-spin model

In two-dimensional lattice spin systems in which the spins take values in a finite group G, one can define a field algebra F which carries an action of a Hopf algebra D(G), the double algebra of G and moreover, an action of D(G;H), which is a subalgebra of D(G) determined by a subgroup H of G, so that F becomes a modular algebra. The concrete construction of D(G;H)-invariant subspace A _H in F is given. By constructing the quasi-basis of conditional expectation γ _G of A _H onto A _G , the C*-index of γ _G is exactly the index of H in G.     

Rational Points on Homogeneous Varieties and Equidistribution of Adelic Periods

Let U := L\G be a homogeneous variety defined over a number field K, where G is a connected semisimple K-group and L is a connected maximal semisimple K-subgroup of G with finite index in its normalizer. Assuming that G(K _v ) acts transitively on U(K _v ) for almost all places v of K, we obtain an asymptotic for the number of rational points U(K) with height bounded by T as T → ∞, and settle new cases of Manin’s conjecture for many wonderful varieties. The main ingredient of our approach is the equidistribution of semisimple adelic periods, which is established using the theory of unipotent flows.     

Acyclic vertex coloring of graphs of maximum degree 5

An acyclic vertex coloring of a graph is a proper vertex coloring such that there are no bichromatic cycles. The acyclic chromatic number of G, denoted a(G), is the minimum number of colors required for acyclic vertex coloring of graph G. For a family F of graphs, the acyclic chromatic number of F, denoted by a(F), is defined as the maximum a(G) over all the graphs G∈F. In this paper we show that a(F)=8 where F is the family of graphs of maximum degree 5 and give a linear time algorithm to achieve this bound.     

The number of circuits of length 4 in PSL(2,ℤ)-space

ABSTRACT

Professor Graham Higman has defined coset diagrams for the action of PGL(2,?) on the projective line over a finite field F_q, denoted by PL(F_q), where q is a prime power. These diagrams are composed of circuits. In this paper, we answer the question, for a fixed number of triangles T, how many distinct circuits of length 4, are evolved?     

Characterization of Operators on the Dual of Hypergroups which Commute with Translations and Convolutions

For a locally compact group G, L^1 (G) is its group algebra and L^∞(G) is the dual of L^1 (G).Lau has studied the bounded linear operators T:L^∞(G)→L^∞(G) which commute with convolutions and translations. For a subspace H of L^∞(G), we know that M(L^∞(G),H), the Banach algebra of all bounded linear operators on L^∞(G) into H which commute with convolutions, has been studied by Pyre and Lau. In this paper, we generalize these problems to L(K)^*, the dual of a hypergroup algebra L(K) in a very general setting, i.e. we do not assume that K admits a Haar measure. It should be noted that these algebras include not only the group algebra L^1(G) but also most of the semigroup algebras.Compact hypergroups have a Haar measure, however, in general it is not known that every hypergroup has a Haar measure. The lack of the Haar measure and involution presents many difficulties; however,we succeed in getting some interesting results.     

Automatic continuity of homomorphisms and fixed points on metric compacta

Let G₂(ℝ) × Sp₆(ℝ) and G₂(ℝ) × F₄(ℝ) be split dual pairs in split E₇(ℝ) and E₈(ℝ), respectively. It is known that the exceptional correspondences for these dual pairs are functorial on the level of infinitesimal characters. In this paper we show that these dual pair correspondences are functorial for the minimal K-types of principal series representations. Gordan Savin’s research is partially supported be NSF Grant no. DMS-0551846     

The permutation projective dimension of the quaternionic group

Abstract

Let R be a commutative Noetherian local Gorenstein ring with residue field k. We show that G(k), the Gorenstein injective envelope of k, is an artinian R-module, and we compute G(k) in the case where R = k[[S]] is a semigroup ring and S is symmetric. We also show that a certain subring of the endomorphism ring of G(k) is a complete local (but possibly non-commutative) ring.