Maximal tori determining the algebraic groups

The cohomology of the Lubin-Tate tower is known to realize the local Langlands correspondence for G L ( n ) GL(n) over a nonarchimedean local field. In this article we make progress toward a purely local proof of this fact. To wit, we find a family of formal schemes V \mathcal {V} such that the generic fiber of V \mathcal {V} is isomorphic to an open subset of Lubin-Tate space at infinite level, and such that the middle cohomology of the special fiber of V \mathcal {V} realizes the local Langlands correspondence for a broad class of supercuspidals (those whose Weil parameters are induced from an unramified degree n n extension). The special fiber of V \mathcal {V} is related to an interesting variety X X , defined over a finite field, which is “maximal” in the sense that the number of rational points of X X is the largest possible among varieties with the same Betti numbers as X X . The variety X X is derived from a certain unipotent algebraic group, in an analogous manner as Deligne-Lusztig varieties are derived from reductive algebraic groups.

An attempt was made to make this a self-contained reading. The first three chapters are intended to provide the necessary background. Chapter one develops the tools needed from Galois Cohomology. Chapter two is a brief description of involutions, and in chapter three we define the notion of (linear) algebraic group, we give some examples and discuss some of their properties. In chapter four, we discuss some variants of the classical Skolem-Noether theorem, requiring only that the subalgebra have a unique faithful representation of full degree over a separable closure. We verify that we can extend every isomorphism to the whole algebra by means of inner automorphisms, just as in the classical case. Examples of algebras that satisfy this condition are simple algebras and commutative Frobenius algebras. In chapter five, we attach involutions to our algebras. We show that Skolem-Noether type results hold over a separable closure and we discuss some descent problems. Chapter six is a study of k-conjugacy classes of maximal k-tori, the main goal of this dissertation. We are able to give explicit descriptions of k-conjugacy classes in particular cases. This was done by applying the general formalism developed in the chapter.

Suppose that Δ;Δʹ are two buildings each arising from a semisimple algebraic group over a field, a topological field in the former case, and that for both the buildings the Coxeter diagram has no isolated nodes. We give conditions under which a partially defined injective chamber map, whose domain is the subcomplex of Δ generated by a nonempty open set of chambers, and whose codomain is Δʹ, is guaranteed to extend to a unique injective chamber map. Related to this result is a local version of the Borel-Tits theorem on abstract homomorphisms of simple algebraic groups.

We partially answer, in terms of monodromy, Murty and Patankar's question: Given an absolutely simple abelian variety over a number field, does it have simple specializations at a set of places of positive Dirichlet density? The answer is based on the classification of pairs (G,V) consisting of a semi-simple algebraic group G over a non-archimedean local field and an absolutely irreducible representation V of G such that G admits a maximal torus acting irreducibly on V.

Let G be a semisimple affine algebraic group of inner type over a field F . We write XG for the class of all finite direct products of projective G-homogeneous F varieties. We determine the structure of the Chow motives with coefficients in a finite field of the varieties in XG. More precisely, it is known that the motive of any variety in XG decomposes (in a unique way) into a sum of indecomposable motives, and we describe the indecomposable summands which appear in the decompositions. In the case where G is the group PGLA of automorphisms of a given central simple F algebra A, for any variety in the class XG (which includes the generalized Severi-Brauer varieties of the algebra A) we determine its canonical dimension at any prime p. In particular, we find out which varieties in XG are p-incompressible. If A is a division algebra of degree p for some n ≥ 0, then the list of p-incompressible varieties includes the generalized Severi-Brauer variety X(p;A) of ideals of reduced dimension p for m = 0, 1, . . . , n.

Using the reduction theory of Nrron we give necessary conditions for the existence of points of order q on elliptic curves E rational over global fields. An application is the determination of all elliptic cu rves /Q with integer j and torsion points, generalizing Olson [8]. Another application is a theorem about semistable reduction whose consequences generalize a theorem of Olson [9] ( K = Q) and give divisibility conditions for the discriminant and the coefficients of E related with the paper of Zimmer [13] as well as diophantine equations related with Fermat's equation that are discussed for K Q and K a function field. We are interested in elliptic curves over global fields K (i.e. : K is a finite number field or K is a function field of one variable over a finite field) and especially in the torsion group of E(K), where E(K) is the group of K-rational points of E. It is well known that E(K) is finitely generated, it is conjectured that if K is a number field then the order of the torsion group of E(K) is bounded by some number depending only on K (cf. Demjanenko [1]). In any case in order to handle with E(K) the first step is to determine the torsion group. In principle this is not so difficult; if one uses the results of Lutz [6] and Zimmer [13], one sees immediately that for every E there exist points of q-power-order only for a finite number of primes q, as the equations for points of order q are known (in principle) one has only t ~ test what orders really occur. But as the computational work grows very rapidly with q it is usefull to look for sharper necessary conditions, and this shall be done in this paper.

Given a root system Φ of rank r and a global field F containing the n-th roots of unity, it is possible to define a Weyl group multiple Dirichlet series whose coefficients are n-th order Gauss sums. It is a function of r complex variables, and it has meromorphic continuation to all of C, with functional equations forming a group isomorphic to the Weyl group of Φ. Weyl group multiple Dirichlet series and their residues unify many examples that have been studied previously in a case-bycase basis, often with applications to analytic number theory. (Examples may be found in the final section of the paper.) We believe these Weyl group multiple Dirichlet series are fundamental objects. The goal of this paper is to define these series for any such Φ and F , and to indicate how to study them. We will note the following points. • The coefficients of the Weyl group multiple Dirichlet series are multiplicative, but the multiplicativity is twisted , so the Dirichlet series is not an Euler product. • Due to the multiplicativity, description of the coefficients reduces to the case where the parameters are powers of a single prime p. There are only finitely many such coefficients (for given p). • In the “stable case” where n is sufficiently large (depending on Φ), the number of nonzero coefficients in the p-part is equal to the order of the Weyl group. Indeed, these nonzero coefficients are parametrized in a natural way by the Weyl group elements. • The p-part coefficient parametrized by a Weyl group element w is a product of l(w) Gauss sums, where l is the length function on the Weyl group. We note a curious similarity between this description and the coefficients of the generalized theta series on the n-fold cover of GL(n) and GL(n − 1); these coefficients are determined in Kazhdan and Patterson [17] and discussed further in Patterson [21]. See Bump and Hoffstein [11] or Hoffstein [15] for a “classical” description of these coefficients. The noted similarity means that the complete Mellin transform of the theta function would be a multiple Dirichlet series resembling our An+1 multiple Dirichlet series. There is no a priori reason that we are

We produce a short and elementary algorithm to compute an upper bound for the canonical dimension of a spit semisimple linear algebraic group. Using this algorithm we confirm previously known bounds by Karpenko [6–9] and Devyatov [5] as well as we produce new bounds (e.g., for groups of types $F_4$, adjoint $E_6$, for some semisimple groups).

Algebraic groups play much the same role for algebraists as Lie groups play for analysts. This book is the first comprehensive introduction to the theory of algebraic group schemes over fields that includes the structure theory of semisimple algebraic groups, and is written in the language of modern algebraic geometry. The first eight chapters study general algebraic group schemes over a field and culminate in a proof of the Barsotti–Chevalley theorem, realizing every algebraic group as an extension of an abelian variety by an affine group. After a review of the Tannakian philosophy, the author provides short accounts of Lie algebras and finite group schemes. The later chapters treat reductive algebraic groups over arbitrary fields, including the Borel–Chevalley structure theory. Solvable algebraic groups are studied in detail. Prerequisites have also been kept to a minimum so that the book is accessible to non-specialists in algebraic geometry.

Let G be a semisimple algebraic group over an algebraically closed field of characteristic p>0, and let g be its Lie algebra. The crucial Lie algebra representations to understand are those associated with the reduced enveloping algebra U_chi(g) for a nilpotent chi in g*. We conjecture that there is a natural assignment of simple modules in a regular block to left cells in the affine Weyl group (for the dual root system) lying in the two-sided cell which corresponds to the orbit of chi in Lusztig's bijection. This should respect the action of the component group of C_G(chi) and fit naturally into Lusztig's enriched bijection involving the characters of C_G(chi). Some evidence will be described in special cases.

Using the wonderful compactification of a semisimple adjoint affine algebraic\ngroup G defined over an algebraically closed field k of arbitrary\ncharacteristic, we construct a natural compactification Y of the G-character\nvariety of any finitely generated group F. When F is a free group, we show that\nthis compactification is always simply connected with respect to the \\'etale\nfundamental group, and when k=C it is also topologically simply connected. For\nother groups F, we describe conditions for the compactification of the moduli\nspace to be simply connected and give examples when these conditions are\nsatisfied, including closed surface groups and free abelian groups when\nG=PGL(n,C). Additionally, when F is a free group we identify the boundary\ndivisors of Y in terms of previously studied moduli spaces, and we construct a\nfamily of Poisson structures on Y and its boundary divisors arising from\nBelavin-Drinfeld splittings of the double of the Lie algebra of G. In the\nappendix, authored by Sam Evens and Arlo Caine, we explain how to put a Poisson\nstructure on a quotient of a Poisson algebraic variety by the action of a\nreductive Poisson algebraic group.\n

Quasi-hereditary algebras were introduced by L. Scott [S] in order to study highest weight categories arising in the representation theory of semisimple complex Lie algebras and algebraic groups, and important results were proved by Cline, Parshall and Scott (see [CPS1,2]). These algebras can be defined entirely in ring-theoretic terms; and they were studied from this point of view by Dlab and Ringel (see [DR1,2], [R1,2]) and by others. In particular it turns out that quasi-hereditary algebras are quite common.

We prove that the number of unimodular integral n × n matrices in a norm ball whose characteristic polynomial has Galois group different than the full symmetric group Sn is of strictly lower order of magnitude than the number of all such matrices in the ball, as the radius increases. More generally, we prove a similar result for the Galois groups associated with elements in any connected semisimple linear algebraic group defined and simple over a number field F . Our method is based on the abstract large sieve method developed by Kowalski, and the study of Galois groups via reductions modulo primes developed by Jouve, Kowalski and Zywina. The two key ingredients are a uniform quantitative lattice point counting result, and a non-concentration phenomenon for lattice points in algebraic subvarieties of the group variety, both established previously by the authors. The results answer a question posed by Rivin and by Jouve, Kowalski and Zywina, who have considered Galois groups of random products of elements in algebraic groups.

Let A be a finite-dimensional algebra which is quasi-hereditary with re- spect to the poset (�,�), with standard modules �(�) for 2 �. Let F(�) be the category of A-modules which have filtrations where the quotients are standard modules. We determine some inductive results on the relative Auslander-Reiten quiver of F(�). Quasi-hereditary algebras were introduced by Cline, Parshall and Scott in the study of highest weight categories arising in the representation theory of semisimple Lie algebras and algebraic groups (2), and they were studied by Dlab and Ringel and others (4, 5). LetA be quasi-hereditary. Then the simple A-modules are labelled as L(�) forin some partially ordered set (�,≤). Of central importance are the standard modules, denoted by �(�), and the categoryF(�) of modules which have a filtration where the quotients are standard modules. In (12) it was proved that this category has relative Auslander-Reiten (AR) sequences. The aim of our paper is to present some inductive results on the relative Auslander-Reiten quiver ofF(�). For any subset of �, letF (�) be the category of modules inF(�) where all quotients are �(�) with �∈ . If � is an ideal in the poset (�,≤) then there is a subalgebra A of A which is quasi-hereditary with poset (, ≤). In this case, the categoryF (�) is equivalent toF(�A ). A main result in this paper relates, for a non-projective indecomposable mod- ule X inF (�), the two relative Auslander-Reiten sequences with cokernel X inF(�) and inF (�) (Theorem 2.5). By Ringel duality, there is an equivalent version for categories of modules filtered by costandard mod- ules. We describe this and some variations in Section 3. We continue with further results on relative Auslander-Reiten sequences. In particular, we determine certain relative Auslander-Reiten sequences where a projective- injective summand occurs; this generalizes the usual almost split sequence where a projective-injective module occurs.

Quasi-hereditary algebras were introduced by Cline-Parshall-Scott (see [CPS] or [PS]) to deal with highest weight categories which occur in the study of semi-simple complex Lie algebras and algebraic groups. In fact, the quasi-hereditary algebras which appear in these applications enjoy a number of additional properties. The objective of this brief note is to describe a class of lean quasi-hereditary algebras [ADL] which possess such typical characteristics. A study of these questions originated in collaboration with C. M. Ringel (see [DR]).