Representations of algebraic groups of type <Emphasis Type="Italic">D</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript> in characteristic 2 with small weight multiplicities

Lower estimates for the mazimal weight multiplicities in irreducible representations of algebraic groups of type D _n in characteristic 2 are found. lf n ≥ 8, then either such a multiplicity is at least n—4— [n]₄, where [n]₄ is the residue of n modulo 4, or all of its weight multiplicities arc equal to 1. For groups of types B _n and D _n in odd characteristic and of type C _n , in characteristics greater than 7, similar results were obtained earlier. Bibliography: 11 titles.     

The classification of irreducible admissible mod <Emphasis Type="Italic">p</Emphasis> representations of a <Emphasis Type="Italic">p</Emphasis>-adic GL<Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

Let F be a finite extension of ℚ _p . Using the mod p Satake transform, we define what it means for an irreducible admissible smooth representation of an F-split p-adic reductive group over  [`( \mathbbF)]<sub>p</sub>\overline{ \mathbb{F}}_{p} to be supersingular. We then give the classification of irreducible admissible smooth GL <sub>n</sub> (F)-representations over  [`( \mathbbF)]_p\overline{ \mathbb{F}}_{p} in terms of supersingular representations. As a consequence we deduce that supersingular is the same as supercuspidal. These results generalise the work of Barthel–Livné for n=2. For general split reductive groups we obtain similar results under stronger hypotheses.     

Continuous <Emphasis Type="Italic">l</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis>,<Emphasis Type="Italic">p</Emphasis></Subscript>-symmetric distributions

For p > 0, the l _n,p -generalized surface measure on the l _n,p -unit sphere is studied and used for deriving a geometric measure representation for l _n,p -symmetric distributions having a density.     

A Bijection for the Alperin Weight Conjecture in <Emphasis Type="Italic">S</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

The Alperin weight conjecture states that if G is a finite group and p is a prime, then the number of irreducible Brauer characters of a group G should be equal to the number of conjugacy classes of p-weights of G. This conjecture is known to be true for the symmetric group S _n , however there is no explicit bijection given between the two sets. In this paper we develop an explicit bijection between the p-weights of S _n and a certain set of partitions that is known to have the same cardinality as the irreducible Brauer characters of S _n . We also develop some properties of this bijection, especially in relation to a certain class of partitions whose corresponding Specht modules over fields of characteristic p are known to be irreducible.     

Structure of the semigroup <Emphasis Type="Italic">OT</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

We study the structure of the semigroup OT _n , which is a unique (up to an isomorphism) R-section of the semigroup T _n . For this semigroup, we describe Green relations, determine regular and nilpotent elements, describe maximal nilpotent subsemigroups, and determine the unique irreducible system of generatrices and maximal subsemigroups.     

Maximal regular subsemibands of finite order-preserving transformation semigroups <Emphasis Type="Italic">K</Emphasis>(<Emphasis Type="Italic">n</Emphasis>,<Emphasis Type="Italic">r</Emphasis>)

Let O _n be the order-preserving transformation semigroup on X _n . For an arbitrary integer r such that 1≤r≤n−2, we completely describe the maximal regular subsemibands of the semigroup K(n,r)={α∈O _n :|im(α)|≤r}. We also formulate the cardinal number of such subsemigroups.     

On the <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript> affine isoperimetric inequalities

We obtain an isoperimetric inequality which estimate the affine invariant p-surface area measure on convex bodies. We also establish the reverse version of L _p -Petty projection inequality and an affine isoperimetric inequality of Γ_− p K.     

Finite <Emphasis Type="Italic">p</Emphasis>-central groups of height <Emphasis Type="Italic">k</Emphasis>

A finite group G is called p ⁱ -central of height k if every element of order p ⁱ of G is contained in the k ^th -term ζ _k (G) of the ascending central series of G. If p is odd, such a group has to be p-nilpotent (Thm. A). Finite p-central p-groups of height p − 2 can be seen as the dual analogue of finite potent p-groups, i.e., for such a finite p-group P the group P/Ω₁(P) is also p-central of height p − 2 (Thm. B). In such a group P, the index of P ^p is less than or equal to the order of the subgroup Ω₁(P) (Thm. C). If the Sylow p-subgroup P of a finite group G is p-central of height p − 1, p odd, and N _G (P) is p-nilpotent, then G is also p-nilpotent (Thm. D). Moreover, if G is a p-soluble finite group, p odd, and P ∈ Syl _p (G) is p-central of height p − 2, then N _G (P) controls p-fusion in G (Thm. E). It is well-known that the last two properties hold for Swan groups (see [11]).     

Maximal subgroups of <Emphasis Type="Italic">GL</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>(<Emphasis Type="Italic">D</Emphasis>) with finite conjugacy classes

Let D be an infinite division ring. A famous result due to Herstein says that every non-central element of D has infinitely many conjugates and so, if D ^* is an FC-group, then D is a field. Let M be a maximal subgroup of GL _n (D), where n ≥ 1. In this paper, we prove that if M is an FC-group, then it is the multiplicative group of some maximal subfield of M _n (D). Moreover, if M is algebraic over Z(D), then [D : Z(D)] < ∞.     

<Emphasis Type="Italic">p</Emphasis>-groups having few almost-rational irreducible characters

We prove that a 2-group has exactly five rational irreducible characters if and only if it is dihedral, semidihedral or generalized quaternion. For an arbitrary prime p, we say that an irreducible character χ of a p-group G is “almost rational” if ℚ(χ) is contained in the cyclotomic field ℚ _p , and we write ar(G) to denote the number of almost-rational irreducible characters of G. For noncyclic p-groups, the two smallest possible values for ar(G) are p ² and p ² + p − 1, and we study p-groups G for which ar(G) is one of these two numbers. If ar(G) = p ² + p − 1, we say that G is “exceptional”. We show that for exceptional groups, |G: G′| = p ², and so the assertion about 2-groups with which we began follows from this. We show also that for each prime p, there are exceptional p-groups of arbitrarily large order, and for p ≥ 5, there is a pro-p-group with the property that all of its finite homomorphic images of order at least p ³ are exceptional.     

Optimal estimates for the semigroup generated by the classical Volterra operator on <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-spaces

Optimal upper bounds are given for the norm of the semigroup (e ^−tV ) _t≥0, where V is the classical Volterra operator acting on L _p [0,1], 1≤p≤∞. In particular, for every p∈[1,∞] we prove that

<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript><Emphasis Type="Bold">-</Emphasis>solvability of the Dirichlet problem for the heat equation in noncylindrical domains with isolated characteristic points at the boundary

We study the solvabitlity of the Dirichlet problem for the heat operator in weighted Sobolev L _p -spaces in noncylindrical paraboloid type domains with isolated characteristic points at the boundary. For any p > 1 we find a necessary and sufficient L _p -solvability condition and establish an L _p -estimate. The results are formulated in terms of Muckenhoupt type conditions on the weight. Bibliography: 10 titles.     

Equilateral Sets in <Emphasis Type="Italic">l</Emphasis><Stack><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript></Stack>

We show that for every odd integer p 1 there is an absolute positive constantc_p, so that the maximum cardinality of a set of vectors in Rⁿ such that the l_p distance between any pair is precisely 1, is at most c_p n log n. We prove some upper bounds for other l_p norms as well.     

Factorization of the r-matrix for the quantum algebra <Emphasis Type="Italic">Uq</Emphasis>(<Emphasis Type="Italic">sl</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>)

We propose a method for construction of the general solution of the Yang–Baxter equation with the U _q (sℓ _n ) symmetry algebra. This method is based on the factorization property of the corresponding L-operator. We present a closed-form expression for the universal R-matrix in the form of a difference operator acting on the space of functions of n(n − 1) variables. Bibliography: 16 titles.     

Best approximation by ridge functions in <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-spaces

We study the approximation of the classes of functions by the manifold R _n formed by all possible linear combinations of n ridge functions of the form r(a · x)): It is proved that, for any 1 ≤ q ≤ p ≤ ∞, the deviation of the Sobolev class W ^r _p from the set R _n of ridge functions in the space L _q (B ^d ) satisfies the sharp order n ^-r/(d-1).     

On the parity of the class number of an imaginary abelian field of conductor 2<Superscript><Emphasis Type="Italic">a</Emphasis></Superscript><Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">b</Emphasis></Superscript>

Let p be an odd prime number, and p^n₀{p^{n_0}} the highest power of p dividing 2 ^p−1 − 1. Let K_n=Q(z_pⁿ⁺¹){K_n={\bf Q}(\zeta_{p^{n+1}})} and L_n,j=K_n⁺(z_2^j+2){L_{n,j}=K_n^+(\zeta_{2^{j+2}})} for j ≥ 0. Let h_n^*{h_n^*} be the relative class number of K _n , and h _n,j the class number of L _n,j , respectively. Let n be an integer with n ≥ n ₀. We prove that if the ratio h_n^*/h_n-1^*{h_n^*/h_{n-1}^*} is odd, then h _n,j /h _n−1,j is odd for any j ≥ 0.     

On the Theory of <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>(<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">q</Emphasis></Subscript>)-Banach Lattices

Given 1≤ p,q < ∞, let BL_pL_q be the class of all Banach lattices X such that X is isometrically lattice isomorphic to a band in some L_p(L_q)-Banach lattice. We show that the range of a positive contractive projection on any BL_pL_q-Banach lattice is itself in BL_pL_q. It is a consequence of this theorem and previous results that BL_pL_q is first-order axiomatizable in the language of Banach lattices. By studying the pavings of arbitrary BL_pL_q-Banach lattices by finite dimensional sublattices that are themselves in this class, we give an explicit set of axioms for BL_pL_q. We also consider the class of all sublattices of L_p(L_q)-Banach lattices; for this class (when p/q is not an integer) we give a set of axioms that are similar to Krivine’s well-known axioms for the subspaces of L_p-Banach spaces (when p/2 is not an integer). We also extend this result to the limiting case q = ∞.     

Two Constructions of Markov Chains on the Dual of <Emphasis Type="Italic">U</Emphasis>(<Emphasis Type="Italic">n</Emphasis>)

We provide two new constructions of Markov chains which had previously arisen from the representation theory of \(U(\infty )\). The first construction uses the combinatorial rule for the Littlewood–Richardson coefficients, which arise from tensor products of irreducible representations of the unitary group. The second arises from a quantum random walk on the von Neumann algebra of U(n), which is then restricted to the center. Additionally, the restriction to a maximal torus can be expressed in terms of weight multiplicities, explaining the presence of tensor products.     

Congruences Concerning Values of the Modular Functions <Emphasis Type="Italic">j</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

The j-function j(z) = q⁻¹+ 744 + 196884q + ⋅s plays an important role in many problems. In [7], Zagier, presented an interesting series of functions obtained from the j-function: j_m(ζ) = (j(ζ) – 744)∨T₀(m), where T₀(m) is the usual m′th normalized weight 0 Hecke operator. In [3], Bruinier et al. show how this series of functions can be used to describe all meromorphic modular forms on SL₂(ℤ). In this note we use these functions and basic notions about modular forms to determine previously unidentified congruence relations between the coefficients of Eisenstein series and the j-function. 2000 Mathematics Subject Classification: Primary–11B50, 11F03, 11F30 The author thanks the National Science Foundation for their generous support.     

Graded central polynomials for the algebra <Emphasis Type="Italic">M</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>(<Emphasis Type="Italic">K</Emphasis>)

Let M _n (K) be the algebra of all n × n matrices over an infinite field K. This algebra has a natural ℤ _n -grading and a natural ℤ-grading. Finite bases for its ℤ _n -graded identities and for its ℤ-graded identities are known. In this paper we describe finite generating sets for the ℤ _n -graded and for the ℤ-graded central polynomials for M _n (K) Partially supported by CNPq 620025/2006-9