Maximal subgroups of odd index in finite groups with simple linear,unitary, or symplectic socle

We give a classification of maximal subgroups of odd index in finite groups whose socle is isomorphic to one of the groups PSL _n (q), PSU _n (q), or PSp _n (q) for n ≥ 13.     

Parity patterns associated with lifts of Hecke groups

Let q be an odd prime, m a positive integer, and let Γ _m (q) be the group generated by two elements x and y subject to the relations x ^2m =y ^qm =1 and x ²=y ^q ; that is, Γ _m (q) is the free product of two cyclic groups of orders 2m respectively qm, amalgamated along their subgroups of order m. Our main result determines the parity behaviour of the generalized subgroup numbers of Γ _m (q) which were defined in Müller (Adv. Math. 153:118–154, 2000), and which count all the homomorphisms of index n subgroups of Γ _m (q) into a given finite group H, in the case when gcd (m,| H |)=1. This computation depends upon the solution of three counting problems in the Hecke group ℋ(q)=C ₂*C _q : (i) determination of the parity of the subgroup numbers of ℋ(q); (ii) determination of the parity of the number of index n subgroups of ℋ(q) which are isomorphic to a free product of copies of C ₂ and of C _∞; (iii) determination of the parity of the number of index n subgroups in ℋ(q) which are isomorphic to a free product of copies of C _q . The first problem has already been solved in Müller (Groups: Topological, Combinatorial and Arithmetic Aspects, LMS Lecture Notes Series, vol. 311, pp. 327–374, Cambridge University Press, Cambridge, 2004). The bulk of our paper deals with the solution of Problems (ii) and (iii). Research of C. Krattenthaler partially supported by the Austrian Science Foundation FWF, grant S9607-N13, in the framework of the National Research Network “Analytic Combinatorics and Probabilistic Number Theory”.     

Direct Constructions of Hyperplanes of Dual Polar Spaces Arising from Embeddings

Let e be one of the following full projective embeddings of a finite dual polar space Δ of rank n ≥ 2: (i) The Grassmann-embedding of the symplectic dual polar space Δ ≅ DW(2n – 1, q); (ii) the Grassmann-embedding of the Hermitian dual polar space Δ ≅ DH(2n – 1, q ²); (iii) the spin-embedding of the orthogonal dual polar space Δ ≅ DQ(2n, q); (iv) the spin-embedding of the orthogonal dual polar space Δ ≅DQ ⁻(2n + 1, q). Let H_e{\mathcal{H}_{e}} denote the set of all hyperplanes of Δ arising from the embedding e. We give a method for constructing the hyperplanes of H_e{\mathcal{H}_{e}} without implementing the embedding e and discuss (possible) applications of the given construction.     

Ternary codes associated with <Emphasis Type="Italic">O</Emphasis><Superscript><Emphasis Type="Italic">−</Emphasis></Superscript>(2<Emphasis Type="Italic">n,q</Emphasis>) and power moments of kloosterman sums with square arguments<Superscript>*</Superscript>

In this paper, we construct three ternary linear codes associated with the orthogonal group O ⁻ (2, q) and the special orthogonal groups SO ⁻ (2, q) and SO ⁻ (4, q). Here q is a power of three. Then we obtain recursive formulas for the power moments of Kloosterman sums with square arguments and for the even power moments of those in terms of the frequencies of weights in the codes. This is done via Pless power moment identity and by utilizing the explicit expressions of “Gauss sums” for the orthogonal and special orthogonal groups O ⁻ (2n, q) and SO ⁻ (2n, q).     

On simple modules of Hecke algebras of type Dn

This is a continuation of our previous work. We classify all the simple ℋ_q(D _n )-modules via an automorphismh defined on the set { λ | D^λ ≠ 0}. Whenf _n(q) ≠ 0, this yields a classification of all the simple ℋ ^q (D _n)- modules for arbitrary n. In general ( i. e., q arbitrary), if λ⁽¹⁾ = λ⁽²⁾,wegivea necessary and sufficient condition ( in terms of some polynomials ) to ensure that the irreducible ℋ_q,1(B _n )- module D^λ remains irreducible on restriction to ℋ_q(D _n ).     

Principal congruence subgroups of the Hecke groups and related results

In this paper, first, we determine the quotient groups of the Hecke groups H(λ _q ), where q ≥ 7 is prime, by their principal congruence subgroups H _p (λ _q ) oflevel p, where p is also prime. We deal with the case of q = 7 separately, because of its close relation with the Hurwitz groups. Then, using the obtained results, we find the principal congruence subgroups of the extended Hecke groups $ \overline H $ \overline H (λ _q ) for q ≥ 5 prime. Finally, we show that some of the quotient groups of the Hecke group H(λ _q ) and the extended Hecke group $ \overline H $ \overline H (λ _q ), q ≥ 5 prime, by their principal congruence subgroups H _p (λ _q ) are M*-groups.     

Quasirecognition by prime graph of F4(q) where q?=?2n?>?2

The prime graph of a finite group G is denoted by Γ(G). In this paper as the main result, we show that if G is a finite group such that Γ(G) = Γ(F ₄(q)), where q = 2 ⁿ  > 2, then G has a unique nonabelian composition factor isomorphic to F ₄(q). We also show that if G is a finite group satisfying |G| = |F ₄(q)| and Γ(G) = Γ(F ₄(q)), where q = 2 ⁿ  > 2, then G @ F₄(q){G \cong F_4(q)}. As a consequence of our result we give a new proof for a conjecture of Shi and Bi for F ₄(q) where q = 2 ⁿ  > 2.     

A characterization of some q-orthogonal polynomials

We show that the only orthogonal polynomials satisfying a q-difference equation of the form π(x)D _q P _n (x) = (α _n x + β _n )P _n (x) + γ _n P _n−1(x) where π(x) is a polynomial of degree 2, are the Al-Salam Carlitz 1, little and big q-Laguerre, the little and big q-Jacobi, and the q-Bessel polynomials. This is a q-analog of the work carried out in [1]. 2000 Mathematics Subject Classification Primary—33C45, 33D45     

Distribution of a certain partition function modulo powers of primes

In this paper, we study a certain partition function a(n) defined by Σ _n≥0 a(n)q ⁿ := Π _n=1(1 − q ⁿ )⁻¹(1 − q ²ⁿ )⁻¹. We prove that given a positive integer j ≥ 1 and a prime m ≥ 5, there are infinitely many congruences of the type a(An + B) ≡ 0 (mod m ^j ). This work is inspired by Ono’s ground breaking result in the study of the distribution of the partition function p(n).     

The Helmholtz decomposition of weightedLq-spaces for Muckenhoupt weights

We consider weights of Muckenhoupt classA _q, 1<q<∞. For a bounded Lipschitz domain Ω⊂ℝⁿ we prove a compact embedding and a Poincaré inequality in weighted Sobolev spaces. These technical tools allow us to solve the weak Neumann problem for the Laplace equation in weighted spaces on ℝⁿ, ℝⁿ ₊, on bounded and on exterior domains Ω with boundary of classC ¹, which will yield the Helmholtz decomposition ofL _ω ^q(Ω)ⁿ for general ω∈A _q. This is done by transferring the method of Simader and Sohr [4] to the weighted case. Our result generalizes a result of Farwig and Sohr [2] where the Helmholtz decomposition ofL _ω ^p(Ω)ⁿ is proved for an exterior domain and weights of Muckenhoupt class without singularities or degeneracies in a neighbourhood of ϖΩ.

---

Sunto In questo lavoro consideriamo dei pesi della classe di MuckenhouptA _q, 1<q<∞. Per un dominio limitato lipschitziano Ω⊂ℝⁿ, dimostriamo una immersione compatta ed una disuguaglianza di Poincaré in spazi di Sobolev con peso. Questa tecnica ci consente di risolvere il problema debole di Neumann per l’equazione di Laplace in spazi pesati in ℝⁿ, ℝⁿ ₊ in domini limitati ed in domini esterni con frontiera di classeC ¹, che conduce alla decomposizione di Helmholtz diL _ω ^q(Ω)ⁿ per un qualsiasi ω∈A _q. Il risultato è ottenuto trasferendo il metodo di Simader e Sohr [4] al caso pesato. Quello qui presente estende un risultato di Farwig e Sohr [2] dove la decomposizione di Helmholtz diL _ω ^q(Ω)ⁿ è dimostrata per domini esterni e pesi della classe di Muckenhoupt privi di singolarità in un intorno di ϖΩ.

     

Existence of the mild solution for some fractional differential equations with nonlocal conditions

We are concerned in this paper with the existence of mild solutions to the Cauchy Problem for the fractional differential equation with nonlocal conditions: D ^q x(t)=Ax(t)+t ⁿ f(t,x(t),Bx(t)), t∈[0,T], n∈ℤ⁺, x(0)+g(x)=x ₀, where 0<q<1, A is the infinitesimal generator of a C ₀-semigroup of bounded linear operators on a Banach space X.     

The Fourier transform of order statistics with applications to Lorentz spaces

We present a formula for the Fourier transforms of order statistics in ℝ ⁿ showing that all these Fourier transforms are equal up to a constant multiple outside the coordinate planes in ℝ ⁿ . Fora ₁≥...≥a _n≥0 andq>0, denote by ℓ _w,q ⁿ then-dimensional Lorentz space with the norm ‖(x ₁,...,x _n)‖=(a ₁(x ₁ ^* ) ^q +...+a _n(x _n ^* ) ^q )^1/q , where (x ₁ ^* ,...,x _n ^* ) is the non-increasing permutation of the numbers |x ₁|,...,|x _n|. We use the above mentioned formula and the Fourier transform criterion of isometric embeddability of Banach spaces intoL _q [10] to prove that, forn≥3 andq≤1, the space ℓ _w,q ⁿ is isometric to a subspace ofL _q if and only if the numbersa ₁,...,a _n form an arithmetic progression. Forq>1, all the numbersa _i must be equal so that ℓ _w,q ⁿ = ℓ _q ⁿ . Consequently, the Lorentz function spaceL _w,q(0, 1) is isometric to a subspace ofL _q if and only ifeither 0<q<∞ and the weightw is a constant function (so thatL _w,q=L_q),or q≤1 andw(t) is a decreasing linear function. Finally, we relate our results to the theory of positive definite functions. Both authors were supported in part by the NSF Workshop in Linear Analysis and Probability held at Texas A&M University in August 1993. The work was done during the first author’s visit to Texas A&M University.     

Bounded imaginary powers and <Emphasis Type="Italic">H</Emphasis><Subscript>∞</Subscript>-calculus of the Stokes operator in two-dimensional exterior domains

The present contribution deals with the Stokes operator A_q on L^q_σ(Ω), 1<q<∞, where Ω is an exterior domain in ℝ² of class C². It is proved that A_q admits a bounded H_∞-calculus. This implies the existence of bounded imaginary powers of A_q, which has several important applications. – So far this property was only known for exterior domains in ℝⁿ, n≥3. – In particular, this shows that A_q has maximal regularity on L^q_σ(Ω). For the proof the resolvent (λ+A_q)⁻¹ has to be analyzed for |λ|→∞ and λ→0. For large λ this is done using an approximate resolvent based on the results of [3], which were obtained by applying the calculus of pseudodifferential boundary value problems. For small λ we analyze the representation of the resolvent developed in [11] by a potential theoretical method.     

On the Minimum Length of some Linear Codes of Dimension 5

In this paper, we shall prove that the minimum length n_q(5,d) is equal to g_q(5,d) +1 for q⁴−2q²−2q+1≤ d≤ q⁴ − 2q² − q and 2q⁴ − 2q³ − q² − 2q+1 ≤ d ≤ 2q⁴−2q³−q²−q, where g_q(5,d) means the Griesmer bound . Communicated by: J.D. Key     

Finiteness properties of certain arithmetic groups in the function field case

It is proved that the finiteness length of Γ=SL _n (ℱ _q [t]) isn−2 ifn≥2 andq≥2 ⁿ⁻². The proof consists in studying the homotopy type of a certain Γ-invariant filtration of an appropriate Bruhat-Tits building on which Γ acts.     

Maximal Subgroups of Finite Orthogonal Groups Stabilizing Spreads of Lines

We prove that, for q odd and n ≥ 3, the group G = O _n (q ²) · 2 is maximal in either the orthogonal group O _2n (q) or the special orthogonal group SO _2n (q). The group G corresponds to the stabilizer of a spread of lines of PG(2n ? 1, q) in which some lines lie on a quadric, some are secant to the quadric, and others are external to the quadric.     

Isomorphic embedding of ℓ p n , 1<p<2, into ℓ 1 (1+ε)n

In this paper we partially answer a question posed by V. Milman and G. Schechtman by proving that ℓ _p ⁿ , (C logn)^1/q(1+1/ε)-embeds into ℓ ₁ ^(1+ε)n , where 1<p<2 and 1/p+1/q=1. Supported by ISF.     

Congruence subgroups of the minimal covolume arithmetic Kleinian group

We consider the problem of finding the normal subgroups of the orientation preserving subgroup Δ⁺ of the [3,5,3]-Coxeter group with the factor group isomorphic to \operatornamePSL₂(\mathbb F_q)\operatorname{\mathrm{PSL}}_{2}(\mathbb {F}_{q}). We identify all such groups with particular congruence subgroups of an arithmetic subgroup of PSL ₂(ℂ) derived from a quaternion algebra over a quartic field. The result can be interpreted as a generalization of the Macbeath’s result on the classification of finite linear groups as Hurwitz groups to 3-dimensional hyperbolic space.     

Minimal full polarized embeddings of dual polar spaces

Let Δ be a thick dual polar space of rank n ≥ 2 admitting a full polarized embedding e in a finite-dimensional projective space Σ, i.e., for every point x of Δ, e maps the set of points of Δ at non-maximal distance from x into a hyperplane e∗(x) of Σ. Using a result of Kasikova and Shult [11], we are able the show that there exists up to isomorphisms a unique full polarized embedding of Δ of minimal dimension. We also show that e∗ realizes a full polarized embedding of Δ into a subspace of the dual of Σ, and that e∗ is isomorphic to the minimal full polarized embedding of Δ. In the final section, we will determine the minimal full polarized embeddings of the finite dual polar spaces DQ(2n,q), DQ ⁻(2n+1,q), DH(2n−1,q ²) and DW(2n−1,q) (q odd), but the latter only for n≤ 5. We shall prove that the minimal full polarized embeddings of DQ(2n,q), DQ ⁻(2n+1,q) and DH(2n−1,q ²) are the `natural' ones, whereas this is not always the case for DW(2n−1, q).B. De Bruyn: Postdoctoral Fellow of the Research Foundation - Flanders.     

Test elements for endomorphisms of free groups and algebras

LetE be a bounded Borel subset of ℝⁿ,n≥2, of positive Lebesgue measure andP _E the corresponding ‘Pompeiu transform”. We prove thatP _E is injective onL ^p(ℝⁿ) if 1≤p≤2n/(n-1). We explore the connection between this problem and a Wiener-Tauberian type theorem for theM(n) action onL ^q(ℝⁿ) for various values ofq. We also take up the question of whenP _E is injective in caseE is of finite, positive measure, but is not necessarily a bounded set. Finally, we briefly look at these questions in the contexts of symmetric spaces of compact and non-compact type.