Principal Congruence Subgroups of Hecke Groups H（√q）

Using the notion of quadratic reciprocity, we discuss the principal congruence subgroups of the Hecke groups H（√q）,q 〉 5 prime number.     

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.     

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”.     

Branch groups

The class of branch groups is defined (both in the abstract and in the profinite category). The relationship of this class with the class of extremal groups is established. Properties of the branch groups are investigated. Applications of the congruence property to the theory of profinite branch groups are indicated. The weak maximality of parabolic subgroups in branch groups is proved. Translated fromMatematicheskie Zametki, Vol. 67, No. 6, pp. 852–858, June, 2000.     

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.     

Integral mean values of modular L-functions

We consider the mean squares of L-functions associated to modular forms with respect to Hecke congruence subgroups, expressing the mean value as an inner product. This avoids the discussion of generalized additive divisor problems. As applications, we obtain asymptotic formulas for both weighted and unweighted mean squares.     

The normal subgroup structure of the extended Hecke groups

We consider the extended Hecke groups generated by T(z) = −1/z, S(z) = −1/(z + λ) and R(z) = 1/z with λ ≥ 2. In this paper, firstly, we study the fundamental region of the extended Hecke groups . Then, we determine the abstract group structure of the commutator subgroups , the even subgroup , and the power subgroups of the extended Hecke groups . Also, finally, we give some relations between them.     

Topological equivalence of Haar measures on compact groups

The existence of homeomorphisms establishign an isometry of normalized Haar measures on (metrizable) compact groups is studied. In the case of 0-dimensional groups, a complete answer is given in terms of the indices of open normal subgroups. For example, for the countable powers of the groups ℤ/(m) and ℤ/(n), the answer is affirmative if and only ifm andn have the same prime divisors. A certain class of extensions of 0-dimensional groups is also studied. Translated fromMatematicheskie Zametki, Vol. 68, No. 2, pp. 188–194, August, 2000.     

Normal Subgroups of Hecke Groups <Emphasis Type="Italic">H</Emphasis>(<Emphasis Type="Italic">λ</Emphasis>)

Let λ ≥ 2 and let H(λ) be the Hecke group associated to λ. Also let H(λ)\U be the Riemann surface associated to the Hecke group H(λ). In this article, we study the even subgroup H _e (λ) and the power subgroups H ^m (λ) of the Hecke groups H(λ). We also study some genus 0 normal subgroups of finite index of H(λ). Finally, we discuss free normal subgroups of H(λ).     

Normalizers of subsystem subgroups in finite groups of Lie type

Finite groups of Lie type form the greater part of known finite simple groups. An important class of subgroups of finite groups of Lie type are so-called reductive subgroups of maximal rank. These arise naturally as Levi factors of parabolic groups and as centralizers of semisimple elements, and also as subgroups with maximal tori. Moreover, reductive groups of maximal rank play an important part in inductive studies of subgroup structure of finite groups of Lie type. Yet a number of vital questions dealing in the internal structure of such subgroups are still not settled. In particular, we know which quasisimple groups may appear as central multipliers in the semisimple part of any reductive group of maximal rank, but we do not know how normalizers of those quasisimple groups are structured. The present paper is devoted to tackling this problem. Supported by RFBR (grant No. 05-01-00797) and by SB RAS (Young Researchers Support grant No. 29 and Integration project No. 2006.1.2). __________ Translated from Algebra i Logika, Vol. 47, No. 1, pp. 3–30, January–February, 2008.     

On the sharpness of a theorem of B. segre

The theorem of B. Segre mentioned in the title states that a complete arc of PG(2,q),q even which is not a hyperoval consists of at mostq−√q+1 points. In the first part of our paper we prove this theorem to be sharp forq=s ² by constructing completeq−√q+1-arcs. Our construction is based on the cyclic partition of PG(2,q) into disjoint Baer-subplanes. (See Bruck [1]). In his paper [5] Kestenband constructed a class of (q−√q+1)-arcs but he did not prove their completeness. In the second part of our paper we discuss the connections between Kestenband’s and our constructions. We prove that these constructions result in isomorphic (q−√q+1)-arcs. The proof of this isomorphism is based on the existence of a traceorthogonal normal basis in GF(q ³) over GF(q), and on a representation of GF(q)³ in GF(q ³)³ indicated in Jamison [4].     

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.     

A characterization of finite simple groups by the orders of solvable subgroups

Let G be a finite group and S be a finite simple group. In this paper, we prove that if G and S have the same sets of all orders of solvable subgroups, then G is isomorphic to S, or G and S are isomorphic to Bn(q), Cn(q), where n≥3 and q is odd. This gives a positive answer to the problem put forward by Abe and Iiyori.     

On the some normal subgroups of the extended modular group

In this paper, we give the group structures and the signatures of some normal subgroups of the extended modular group Π containing the principal congruence subgroup Γ(12).     

The signatures of the congruence subgroups G 0(τ) of the hecke groups G 4 and G 6

We determine the signatures of the congruence subgroups of the Hecke groups G ₄ and G ₆.     

Measures on diffeomorphism groups for non-archimedean manifolds: Group representations and their applications

Nondegenerate σ-additive measures with ranges in ℝ and ℚ_q (q≠p are prime numbers) that are quasi-invariant and pseudodifferentiable with respect to dense subgroups G′ are constructed on diffeomorphism and homeomorphism groups G for separable non-Archimedean Banach manifolds M over a local fieldK,K ⊃ ℚ_q, where ℚ_q is the field of p-adic numbers. These measures and the associated irreducible representations are used in the non-Archimedean gravitation theory. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 119, No. 3, pp. 381–396, June, 1999.     

Appendix: On parahoric subgroups

We give the proofs of some simple facts on parahoric subgroups and on Iwahori Weyl groups used in [T. Haines, The base change fundamental lemma for central elements in parahoric Hecke algebras, preprint, 2008; G. Pappas, M. Rapoport, Twisted loop groups and their affine flag varieties, Adv. Math. 219 (2008) 118–198; M. Rapoport, A guide to the reduction modulo p of Shimura varieties, Astérisque 298 (2005) 271–318].