• Sonuç bulunamadı

Some identities and asymptotics for characters of the symmetric group

N/A
N/A
Protected

Academic year: 2021

Share "Some identities and asymptotics for characters of the symmetric group"

Copied!
25
0
0

Yükleniyor.... (view fulltext now)

Tam metin

(1)

Some Identities and Asymptotics for Characters of the

Symmetric Group

A. Klyachko* and E. Kurtaran

Department of Mathematics, Bilkent Uni¨ersity, Bilkent, 06533 Ankara, Turkey Communicated by Gordon James

Received December 17, 1996

1. INTRODUCTION

Ž w

This paper is motivated by the problem arising from quantum gravity 9, x.

2 of counting combinatorial types of triangulations ⌺ of a Riemann surface X with given degrees of vertices. Let us color 2-simplexes of the barycentric subdivision ⌺⬘ in black and white, so that adjacent simplexes are of different color, and consider a mapping ␲ : X ª ⺠1 onto the Riemann sphere⺠1 which send white simplexes onto the northern hemi-sphere, black simplexes onto the southern hemihemi-sphere, and centers k-sim-plexes of ⌺ into an equatorial point y , k s 0, 1, 2. Then degk ␲ s 3n, n is

the number of 2-simplexes in ⌺, and␲ is unramified outside y , y , y . It0 1 2 is easy to see that points of X over y and y have ramification index 21 2 Žrespectively, 3 , while rmaification indices of points over y. 0 are just degrees of vertices of ⌺. So the problem of counting triangulations reduces to the problem of counting ramified coverings ␲ : X ª Y of Riemann surfaces with given ramification indices.

In Section 2 we recall a connection between ramified coverings␲ : X ª

Y of a Riemann surface Y of genus gY and irreducible characters ␹ of the symmetric group S , nn s deg␲. The starting point is the following

for-w x Ž w x.

mula, essentially owing to Hurwitz 6 see also 10, 4, 2 : < < < < < < 1 C1 C2 ⭈⭈⭈ Ck ␹ g ␹ g ⭈⭈⭈ ␹ g

Ž

1

.

Ž

2

.

Ž

k

.

s ,

Ž

1.1

.

Ý

<Aut␲< n! 2y2 gY

Ý

ky 2y2 gŽ Y.

Ž

.

Ž

␹ 1

Ž .

.

␲ : XªY *E-mail: klyachko@fen.bilkent.edu.tr. 413 0021-8693r98 $25.00 Copyright䊚 1998 by Academic Press All rights of reproduction in any form reserved.

(2)

where the first sum extends over all coverings of degree n with fixed conjugacy classes Ci; S of monodromy g g C around ramificationn i i points yig Y, while the second sum runs over all irreducible characters of

the symmetric group S . Following Serre we will refer to the first sum inn

Ž1.1 as Eisenstein number of coverings..

Ž .

We call the covering␲ : X ª Y and formula 1.1 elliptic, parabolic, or

hyperbolic if the Euler characteristic 2y 2 g is positive, zero, or negative.X

By the Riemann᎐Hurwitz formula the type depends on the sign of the quantity

1 1 1 1

2y 2 g s q q ⭈⭈⭈ q y k q 2 y 2 g , 1.2

Ž

X

.

Y

Ž

.

n l1 l2 lk

where l is the mean value of cycle length of the monodromy g .i i

In Section 3 we consider elliptic and parabolic coverings for which the

Ž .

transformations g consist of cycles of the same lengthi s l .i

In the elliptic case such a covering is a disjoint union of factorizations ⺠1ª ⺠1rG by a finite group of Mobius transformations G. For each such

¨

Ž .

group G the first sum in 1.1 may be easily evaluated. For example, the identity ␹ ␴ ␹ ␴ ␹ ␴ 30 n !230 n 20 n !320 n 12 n !512 n

Ž

2

.

Ž

3

.

Ž

5

.

Ž

.

Ž

.

Ž

.

s

Ž

1.3

.

Ý

n ␹ 1

Ž .

Ž

60 n !n! 60

.

Ž

.

␹ Ž .

comes from the icosahedral group Theorem 3.3 . Here ␴ g Sd 60 n is a permutation splitting in cycles of length d, and the sum extends over all irreducible characters of S60 n.

Ž .

Under the same condition, parabolic formulas 1.1 relate to root systems of rank 2. They give identities like

3 3 n 3 ␹ ␴

Ž

3

.

3 n! n k y1r3 s coefficient at q in

Ž

1y q

.

,

Ž

1.4

.

Ý

␹ 1 3n !

ž

Ł

/

Ž .

Ž

.

ks1 ␹gS3n Ž .

which corresponds to root system A2 Theorem 3.9 . In general under our

Ž .

assumptions parabolic character sums 1.1 in essence coincide with Fourier coefficients of some negative power of Dedekind␩ function. There is an

w x

explicit Rademacher᎐Zukerman formula 11 for these coefficients, similar Ž .

to that of for partition function p n .

Ž .

Geometrically, these two types of identities correspond to coverings 1.1 of positive or zero Euler characteristic, but in the most interesting case of negative Euler characteristic, almost nothing is known about the corre-sponding character sums.

(3)

Of course in the hyperbolic case we have no chance to get an explicit

Ž . Ž .

formula similar to 1.3 or 1.4 . The main problem we keep in mind is an

Ž .

asymptotic formula for the character sum in 1.1 . We have not yet succeeded completely in solving this problem, mainly because we do not know leading terms of the sum. Let us observe that in view of

Ž . Ž .

Riemann᎐Hurwitz formula 1.2 , the character sum in 1.1 may be written as ␹ g

Ž

1

.

␹ g

Ž

2

.

␹ g

Ž

k

.

Ž2y2 g rnX. ␹ 1

Ž .

⭈⭈⭈ .

Ž

1.5

.

Ý

␹ 1 1rl1 ␹ 1 1rl2 ␹ 1 1rlk

Ž .

Ž .

Ž .

If genus gX of Riemann surface X is fixed, while nª ⬁, then the first Ž .Ž2y2 gX.r n

factor ␹ 1 decreases or increases as a power of n. So in essence Ž . Ž .1r l the problem reduces to studying for large n the ratio ␹ g r dim ␹ , where l is the mean value of cycles length gg S . This ratio may ben

Ž . Ž .

compared with or opposed to normalized character ␹ g rdim ␹ treated

w x

in 15, 16, 12 .

As a contribution to this problem, we give in Section 4 an asymptotic formula for characters of Sn under some restrictions. More specifically, consider a sequence of diagrams ␤: b G b G ⭈⭈⭈ G b such that the1 2 m

ratio birn s␤ is a constant, and a sequence of permutations ␴ g Sin

with constant relative multiplicity akrn s␣ of k cycles. The main resultk

Ž .

of this section is the asymptotic formula for nª ⬁ Theorem 4.2 , exp n

Ž

.

Łi- j

Ž

1y exp

Ž

␶ y ␶j i

.

.

␹ ␴ ;

Ž

.

Žmy1 r2. m ,

Ž

1.6

.

1rm Ý H

'

Ž

.

Ž .

2␲ n

Ž

.

is1 i i

where we suppose␤ / ␤ and lengths of all cycles involved in ␴ g S arei j n

Ž .

coprime. Here ␻ s ␻ ␣, ␤ is minimum of the function

m

L␣ , ␤

Ž .

t s

Ý

␣ log exp kt q exp kt q ⭈⭈⭈ qexp ktk

Ž

Ž

1

.

Ž

2

.

Ž

m

.

.

y

Ý

␤ t ,i i

k is1

tg ⺢m

,

Ž

1.7

.

Ž . 5Ž 2 . 5

and Hi i ␶ are principle minors of Hessian ⭸ r⭸ t ⭸ t Li j ␣ , ␤ at the point

m Ž

of minimum ␶ g ⺢ which exists, satisfies ␶ ) ␶ ) ⭈⭈⭈ ) ␶ , and is1 2 m

. Ž .

unique up to transformation ␶ ¬ ␶ q c . Note that ␤ ¬ ␻ ␣, ␤ is justi i

Ž .

the Legendre transform of the first sum in 1.7 .

The asymptotic formula may be extended to diagrams ␤ with multiple rows by making use of an integral, which is a special case of Macdonald

Ž .

conjecture. The resulting formula differs from 1.6 only in pre-exponential factor, which becomes more complicated. To avoid technicalities we

(4)

con-Ž

sider only the most degenerate case of a rectangular diagram Proposi-.

tion 4.4 .

Ž .

The second restriction lengths of cycles are coprime is more subtle. Let

q be the greatest common divisor of cycle lengths in ␴ . Then by Little-

Ž . Ž .

wood theorem ␹ ␴ / 0 only if the diagram ␤ or character ␹ is divisible by q. In the last case

Snr q

␹ ␴ s "Ind

Ž

.

␹ = ␹ = ⭈⭈⭈ = ␹1 2 q

Ž

␣ r q

.

[ "␹␤ , ␤ , . . . ,␤1 2 q

Ž

␣ r q

.

, < < < < < <

where diagrams ␤ , ␤ , . . . , ␤ , ␤ q ␤ q ⭈⭈⭈ q ␤ s nrq form so-1 2 q 1 2 q called q quotients of ␤, and cycle lengths of ␴␣r q are that of ␴ divided

Ž w x . Ž .

by q see 7 for details . Our approach may be applied to␤ , ␤ , . . . ,␤␣ r q

1 2 q Ž . as well. As result we can see that for qN␤ the critical exponent of ␹ ␴ is given by the same formula ␻ s min L .␣␤

In conclusion we give a useful estimation of the critical value ␻ ŽTheorem 4.6 ,.

H

Ž

.

H

Ž

.

F␻ F ,

l lmin

where l and lmin are mean value and minimal value of cycle lengths in Ž .

␴ , and H ␤ s yÝ ␤ log ␤ is an entropy function. It follows that fori i

large n,

1rl 1rlmi n

␹ 1

Ž .

F␹ ␴ F ␹ 1

Ž

.

Ž .

provided diagram ␤ is not rectangular and not all cycle lengths of ␴ are equal.

2. CONNECTION WITH CHARACTERS

As explained in the Introduction, the problem of counting triangulations is a particular case of counting ramified coverings with prescribed

ramifi-w x

cation indices 2 . In this section we recall some results on interrelation of

w x

the last problem with characters of symmetric groups 10, 4, 2 . This connection follows from two basic facts:

Fact 1. Topologically, coverings ␲ : X ª Y of degree n unramified outside k points yig Y are classified by conjugacy classes of

homomor-Ž  4

phisms ␲ ª S of the fundamental group ␲ s ␲ Y _ y , y , . . . , y ,1 n 1 1 1 2 k

which is known to be defined by the unique relation

w

xw

x

(5)

where gs g is the genus of Y and the brackets denote the commutatorY wf, hxs fhf h . Thus the coverings of Riemann spherey1 y1 ␲ : X ª ⺠ of1 given degree n and ramification indices are parametrized by solutions of the equation

g g1 2 ⭈⭈⭈ g s 1,k gig C ,i

Ž

2.1

.

up to conjugacy, where cycle lengths of the conjugacy class Ci; S aren

y1Ž .

equal to ramification indices of points in fibers ␲ y . For an arbitraryi

Riemann surface Y of genus g the number of coverings is equal to the number of solutions up to conjugacy of the equation

w

x

g g1 2 ⭈⭈⭈ g f , h ⭈⭈⭈ f , h s 1,k 1 1 g g f , hi ig S , g g C .n i i

Ž

2.2

.

Fact 2. The Burnside theorem gives the number of solutions of the

Ž . Ž .

equations 2.1 and 2.2 for an arbitrary group G in terms of irreducible w x characters 1 ,



4

噛 g g ⭈⭈⭈ g s 1 N g g C1 2 k i i < < < <C1 C2 ⭈⭈⭈ C< <k ␹ g ␹ g ⭈⭈⭈ ␹ g

Ž

1

.

Ž

2

.

Ž

k

.

s

Ý

ky2 , < <G ␹ 1

Ž .

w

x

噛 g g ⭈⭈⭈ g f , h ⭈⭈⭈ f , h s 1



1 2 k 1 1 g g

4

2.3

Ž

.

< < < <C1 C2 ⭈⭈⭈ C< <k ␹ g ␹ g ⭈⭈⭈ ␹ g

Ž

1

.

Ž

2

.

Ž

k

.

s 1y2 g

Ý

kq2 gy2 , < <G ␹ ␹ 1

Ž .

where the sums extend over all irreducible characters ␹ of G and g g Ci i

are elements from fixed conjugacy classes C .i

Combination of these two results gives the following formula for

Eisen-w x

stein number of ramified coverings 4, 2 .

THEOREM 2.1. In the pre¨ious notation the following formula for Eisen-stein number of co¨erings ␲ : X ª ⺠1 with prescribed ramification indices

holds: < < < < < < 1 C1 C2 ⭈⭈⭈ Ck ␹ g ␹ g ⭈⭈⭈ ␹ g

Ž

1

.

Ž

2

.

Ž

k

.

s .

Ž

2.4

.

Ý

<Aut< n! 2

Ý

␹ 1 ky2 1

Ž

.

Ž

Ž .

.

␲ : Xª⺠ Ž .

Proof. In view of the Burnside formula 2.3 it is sufficient to show that

n!



4

噛 g g ⭈⭈⭈ g s 1 N g g C ; S s1 2 k i i n

Ý

< <.

Ž

2.5

.

Aut␲ 1 ␲ : Xª⺠

(6)

 4

According to Fact 1, a solution g , g , . . . , g1 2 k of the equation in the

Ž . 1

left-hand side of 2.5 corresponds to a ramified covering␲ : X ª ⺠ and Aut␲ ( C g , g , . . . , g ,

Ž

1 2 k

.

Ž .  4

where C g , g , . . . , g1 2 k is the centralizer of the set g , g , . . . , g1 2 k in S .n

 4

Hence the number of solutions conjugate to g , g , . . . , g1 2 k is equal to

n! S : C g , g , . . . , gn

Ž

1 2 k

.

s< <

Aut␲

Ž .

and 2.5 follows.

The same arguments give a similar result for Eisenstein number of coverings of an arbitrary Riemann surface Y.

THEOREM2.2. In the pre¨ious notation,

< < < < < < 1 C1 C2 ⭈⭈⭈ Ck ␹ g ␹ g ⭈⭈⭈ ␹ g

Ž

1

.

Ž

2

.

Ž

k

.

s .

Ž

2.6

.

Ý

<Aut␲< n! 2y2 gY

Ý

ky 2y2 gŽ Y.

Ž

.

Ž

␹ 1

Ž .

.

␲ : XªY

Theorems 2.1 and 2.2 may be used in both directions, i.e., information on coverings may be transformed into information on characters and vice versa. When the structure of the covering is known, it is easier to carry information on coverings to characters. In the next we give some examples.

3. EXPLICIT FORMULAE

There exist several remarkable cases in which the number of coverings can be evaluated explicitly. In essence these are the elliptic and parabolic y1Ž . coverings␲ : X ª Y with equal ramification indices in each fiber ␲ y .

Let us consider such a covering ␲ : X ª ⺠1 of Riemann sphere unrami-fied outside y , y , . . . , y with ramification index m in points over y . To1 2 k i i

Ž Ž ..

be elliptic or hyperbolic it should satisfy the inequality cf. 1.2

1 1 1

q q ⭈⭈⭈ q G k y 2.

m1 m2 mk

It turns out that all such coverings may be explicitly described in terms of finite groups of Mobius transformations or affine Coxeter groups. Since

¨

Ž .

the structure of these groups is known, explicit formulae for 2.4 can be obtained.

(7)

3.1. Elliptic Case

In this case we have strict inequality,

1 1 1

q q ⭈⭈⭈ q ) k y 2,

Ž

3.1

.

m1 m2 mk

which admits the following values of m :i Cyclic: ks 2, m s m s m;1 2

Dihedral: ks 3, m s m s 2, m s m;1 2 3

Tetrahedral: ks 3, m s 2, m s m s 3;1 2 3 Octahedral: ks 3, m s 2, m s 3, m s 4;1 2 3

Icosahedral: ks 3, m s 2, m s 3, m s 5.1 2 3

Remark 3.1. The fundamental group of a sphere with two punctures is ⺪. Hence in the case k s 2 there should be m s m , and we may1 2

Ž .

disregard other solutions of 3.1 . To each of these cases corresponds a unique covering that may be described in terms of a finite group of Mobius

¨

Ž .

transformations we use to label solutions of 3.1 .

PROPOSITION 3.2. Let ␲ : ⺠1ª ⺠1 be a co¨ering unramified outside

y , . . . , y1 k with ramification index m in each point oi ¨er y . Theni ␲ is isomorphic to factorization␲ : ⺠1ª ⺠1rG ( ⺠1 by a finite group G of

G Mobius transformations.

¨

Ž .

Proof. Let m , m , . . . , m be one of the above solutions of 3.1 . Then1 2 k

Ž .

the group Gs G m , m , . . . , m defined by relations1 2 k

gm1s gm2s ⭈⭈⭈ s gmks g g ⭈⭈⭈ g s 1

1 2 k 1 2 k

is finite and isomorphic to the rotation group of the polyhedron we use for labeling the solution. Now observe that the only transitive permutation representation of G for which the element g splits into cycles of lengthi m is regular. Hence the covering with ramification indices m is unique. Iti i

may be constructed from realization of G as a group of Mobius transfor-

¨

mations.

In combination with Theorem 2.1 this implies THEOREM3.3. The following indentities hold:

n

2 nr m

Cyclic:

Ý

␹ ␴

Ž

m

.

s

ž /

!m ;

m

(8)

2 2 nr2 nr m ␹ ␴

Ž

2

.

␹ ␴

Ž

m

.

Ž

nr2 !2

.

Ž

nrm !m

.

Dihedral:

Ý

s nr2 m ; ␹ 1

Ž .

n! 2 m

Ž

.

Ž

nr2m !

.

Tetrahedral: 2 2 nr3 nr2 ␹ ␴

Ž

3

.

␹ ␴

Ž

2

.

Ž

nr3 !3

.

Ž

nr2 !2

.

s ;

Ý

␹ 1 nr12

Ž .

n! 12

Ž

.

Ž

nr12 !

.

Octahedral: nr2 nr3 nr4 ␹ ␴ ␹ ␴ ␹ ␴

Ž

2

.

Ž

3

.

Ž

4

.

Ž

nr2 !2

.

Ž

nr3 !3

.

Ž

nr4 !4

.

s ;

Ý

␹ 1

Ž .

n! 24 nr24 nr24 !

Ž

.

Ž

.

Icosahedral: nr2 nr3 nr5 ␹ ␴ ␹ ␴ ␹ ␴

Ž

2

.

Ž

3

.

Ž

5

.

Ž

nr2 !2

.

Ž

nr3 !3

.

Ž

nr5 !5

.

s ,

Ý

␹ 1 nr60

Ž .

n! 60

Ž

.

Ž

nr60 !

.

where the summations are taken o¨er all irreducible characters␹ of S and ␴n m denotes a permutation consisting of nrm cycles of length m.

Proof. Let as before m , m , . . . , m be one of the above solutions of1 2 k

Ž3.1 , let G be the corresponding group of Mobius transformations, and let.

¨

␲ : X ª ⺠1

be a covering with ramification indices m . Then each compo-i

nent X of X should be elliptic, i.e., isomorphic toi ⺠1, and by the previous proposition the restriction ␲ : X ª ⺠i i 1 is isomorphic to the factorization

1 1 < <

⺠ ª ⺠ rG. So for each n such that G divides n there exists only one such covering␲ and Aut ␲ is a wreath product of G and symmetric group

< <

S , mm s nr G , of permutation of the components of X. As result the

Ž .

left-hand side of the formula 2.4 contains only one term,

1 n

, ms ,

m

< < < <

m! G G

and the theorem follows. 3.2. Parabolic Case

In this case we have

k 1

s k y 2

Ž

3.2

.

Ý

m

i

(9)

with the solutions A1= A :1 ks 4, m1s m s m s m s 2;2 3 4 B :2 ks 3, m1s 2, m2s m s 4;3 G :2 ks 3, m1s 2, m2s 3, m3s 6; A :2 ks 3, m1s m s m s 3.2 3 Ž .

Let as before Gs G m , m , . . . , m be a group defined by the relations1 2 k gm1s gm2s ⭈⭈⭈ s gmks g g ⭈⭈⭈ g s 1,

1 2 k 1 2 k

Ž .

where m , m , . . . , m is one of the solutions of 3.2 . It turns out that the1 2 k

w x

group G has a remarkable geometrical interpretation 3 as the group of

Ž .

even elements in affine Coxeter group ⌫ s ⌫ m , m , . . . , m generated1 2 k

by reflections in the sides of a plane k-gon with angles ␲rm . In otheri

words, ⌫ is an affine Weyl group of the root system used for labeling

Ž .

solutions of 3.2 . In this interpretation the generators g are just rotationsi

Ž .

by angle 2␲rm around vertices of the k-gon. Let T ; G be the normali

subgroup of translations. T is the unique maximal torsion-free subgroup of

w x

G and index ␮ s G:T is finite.

PROPOSITION 3.4. Connected parabolic co¨erings ␲ : X ª ⺠1 with

con-y1Ž .

stant ramification indices m in singular fibersiy , ii s 1, 2, . . . , k, ha¨e

w x

degree ns m␮ di¨isible by ␮ s G:T . Such co¨erings are parametrized by

w x

conjugacy classes of translation subgroups H; T of index m s T:H . Proof. There exists a one-to-one correspondence between connected coverings ␲ : X ª ⺠1 of degree n and conjugacy classes of subgroups in

Ž 1  4.

␲ ⺠ _ y , . . . , y1 1 k of index n. If the monodromy around y has orderi m , then we can deal with subgroups Hi ; G of G instead of␲ . We claim1

that the generators g split into cycles of the same length m in Gi i rH if

and only if H; T, i.e., H consists of translations. Really

g splits into cycles of length m m gkgH/ gH, kk 0 m , ᭙g g H

Ž

.

i i i i

m gy1gkgf H, i

i.e., H contains no elements conjugate to gk. But from the above geomet-i

rical interpretation of G we know that all elements of finite order are

k

conjugate to some g . Hence H is torsion-free and the result follows.i

PROPOSITION3.5. In the abo¨e notation the Eisenstein number of parabolic

connected co¨erings␲ : X ª ⺠1 of degree n␮ is equal to

1 1 s d,

Ý

<Aut< n

Ý

1 dNn ␲ : Xª⺠ w x Ž .

(10)

Proof. We will need the following information: Ž .i If G acts transitively on a set Y, then

AutG

Ž

Y

.

( N G rG ,G

Ž

y

.

y

Ž .

where N GG y is the normalizer of stabilizer G of a point yy g Y.

Ž .ii Let H; T be a sublattice of index n in a lattice T of rank 2. Then

w

x

噛 H ; T N T :H s n s



4

Ý

d dNn Žsee 14 .w x. Ž .

Using i and Proposition 3.4 we can write the Eisenstein number of connected parabolic coverings as

1 1 1 s s G: N

Ž

H

.

,

Ž

3.3

.

Ý

< <

Ý

Ý

G Aut␲ N

Ž

H : H

.

n␮ 1 H;G G H;G ␲ : Xª⺠

where summation on the right-hand side extends over conjugacy classes of torsion-free subgroups H; G of index n␮. Since such a subgroup H is contained in the translation group T, which is a lattice of rank 2, we can

Ž .

use ii and end the proof as

1 1 1

w

x

G: N

Ž

H

.

s 噛 H ; T N T :H s n s



4

d.

Ý

G

Ý

nH;G nnd n<

So we have a simple formula for the Eisenstein number of connected parabolic coverings. The number of all coverings may be easily deduced

Ž w x. from here cf. 4 .

LEMMA 3.6. For co¨erings ␲ : X ª Y with gi¨en constant ramification

y1Ž .

indices m in singular fibersiy , the identityi

qdeg␲ qdeg␲

s exp ,

Ž

3.4

.

Ý

<Aut<

ž

Ý

<Aut<

/

␲ connected␲

Ž

holds, where the first sum runs o¨er all co¨erings ␲ : X ª Y connected or

.

not , while the second sum extends only o¨er co¨erings with connected sur-face x.

Proof. Let Xs " d X be a disjoint union of pairwise nonisomorphici i i

<

(11)

< < < <di

Ž .

Aut␲ s Ł Aut ␲i i d ! and degi ␲ s Ý d deg ␲ . Hence the left-handi i i

Ž .

side of 3.4 may be written as

qdideg␲i qddegqdeg␲

s sexp .

Ý Ł

<Aut␲ d !<di

Ł

Ý

<Aut␲ d!<d

ž

Ý

<Aut␲<

/

i connected␲

i i dG0 connected␲

Combining this lemma with the previous proposition, we get the follow-ing formula.

COROLLARY 3.7. The Eisenstein number of elliptic co¨erings␲ : X ª ⺠1 of degree n with gi¨en constant ramification indices m in singular fibersi

y1Ž .yi is equal to ⬁ 1 y1r␮ n ks coefficient at q in

Ž

1y q

.

,

Ý

<Aut<

Ł

ks1 1 ␲ : Xª⺠ w x

where ␮ s G:T and T is the translation subgroup of G s

Ž .

G m , m , . . . , m .1 2 k

Proof. Let Ns n␮, n G 1. Then

qdeg␲ 1 1 N N s q s q d

Ý

<Aut<

Ý

Ý

<Aut<

Ý

N

Ý

connected␲ N deg␲sN N d n< 1 q␮m d 1 ␮m s

Ý Ý

s y

Ý

log 1

Ž

y q

.

.

Ž

3.5

.

mG1 dG1 dmG1

In the second equality we use Proposition 3.5. The corollary follows by taking exponents and applying Lemma 3.6.

w x Ž .

Here are values of the index ␮ s G:T for each solution of 3.2 :

A1= A :1 ␮ s 2,

B :2 ␮ s 4,

G :2 ␮ s 6,

A :2 ␮ s 3,

Ž .

Remark 3.8. The right-hand side of 3.5 in essential is a negative power of Dedekind␩ function, so we may apply the Rademacher analytic

w x

(12)

Ž following asymptotics for nonzero coefficients of the series ⌸ks11y

k.y1r␮ q :

'

exp

Ž

␲r6␮ 24n

.

'

an; 12␮ 3r4q1r4␮ , n' 0 mod

Ž

␮ .

.

Ž

3.6

.

24 n

Ž

.

Combining Corollary 3.7 with Theorem 2.2, we get a number of ‘‘strange’’ identities.

THEOREM3.9. The following identities hold: A1= A :1 4 4 n 4 ␹ ␴

Ž

2

.

2

Ž

n!

.

n k y1r2 s coeff . at q in

Ž

1y q

.

,

Ý

2 2

ž

Ł

/

␹ 1

Ž .

Ž

Ž

2 n !

.

.

ks1 ␹gS2 n B :2 2 6 n 2 ␹ ␴ ␹ ␴

Ž

2

.

Ž

4

.

2

Ž

2 n ! n!

. Ž

.

n k y1r4 s coeff . at q in

Ž

1yq

.

,

Ý

␹ 1 4 n !

ž

Ł

/

Ž .

Ž

.

ks1 ␹gS4 n G :2 ␹ ␴ ␹ ␴ ␹ ␴ 24 n33 n 3n ! 2 n !n!

Ž

2

.

Ž

3

.

Ž

6

.

Ž

. Ž

.

s

Ý

␹ 1 6 n !

Ž .

Ž

.

␹gS6 n ⬁ y1r6 n k = coeff. at q in

ž

Ł

Ž

1y q

.

/

, ks1 3 3 n 3 ␹ ␴

Ž

3

.

3

Ž

n!

.

n k y1r3 A :2

Ý

s

ž

coeff . at q in

Ł

Ž

1y q

.

/

, ␹ 1

Ž .

Ž

3n !

.

ks1 ␹gS3n

where the permutation␴ splits into cycles of length m.m

Ž .

Remark 3.10. It is known that ␹ ␴ s 0 except the Young diagram ␭ m is divisible by m. In the last case the value of character is given by the

w x hook formula 18 nrm !

Ž

.

␹ ␴ s "

Ž

m

.

,

Ž

3.7

.

Łmyhooks i jh rm

(13)

where hi j are hook lengths of ␭. The first identity just means that 2

product of odd hooks

Ý

product of even hooks

domino diagrams y1r2 n k s coeff. at q in

Ł

Ž

1y q

.

, k Ž where the sum is extended over all e¨en diagrams of order 2 n i.e.,

. diagrams which may be tiled by n dominos .

Ž .

Let us observe that in view of estimation 3.6 the character sums of the Ž . theorem are of subexponential growth in n, while the dimension ␹ 1

Ž .1r2 generically is superexponential. Hence the first identity implies that ␹ 1

Ž .

in general is a good estimation for ␹ ␴ . We may suppose that a similar2

Ž . Ž .

result is valid for ␹ ␴ , as suggested by formula 3.7 , and moreoverm

1rdq␧ <␹ g - ␹ 1

Ž

.

<

Ž .

for ‘‘general’’ character ␹ and n ª ⬁. Here d is the mean value of cycle length of gg S . The characters we consider in the next section haven exponential growth of dimension and thus are not general.

4. ASYMPTOTIC FORMULAE

Let␲ : X ª Y be a ramified covering of degree n, of surface Y of genus

gY by surface X of genus g , ramified over k points y , . . . , y in Y. TheX 1 k

Riemann᎐Hurwitz formula connecting the genus of X and Y may be written in the form

1 1 1

2 gXy 2 s n 2 y 2 q k yg Y y ⭈⭈⭈ y ,

Ž

4.1

.

l1 l2 lk

y1Ž . where l is the mean value of ramification indices in the fiberiyi

Žequal to the mean value of the cycle length of the monodromy g aroundi

.

y . Hence, Theorem 2.2 may be written asi

1

Ý

<Aut< ␲ : XªY < <C1 ⭈⭈⭈ C< <k Ž2y2 g rnX. ␹ g

Ž

1

.

␹ g

Ž

2

.

␹ g

Ž

k

.

s 2y2 g

Ý

␹ 1

Ž .

1rl 1rl ⭈⭈⭈ 1rl . Y 1 2 k n! ␹ 1 ␹ 1 ␹ 1

Ž

.

Ž .

Ž .

Ž .

Ž .Ž2ygX.r n

If the genus gX is fixed, then the first factor ␹ 1 decreases or increases at most as some power of n. So the main problem is in

(14)

Ž . Ž .1r l

estimation of the quotient ␹ g r␹ 1 , where l is the mean value of cycle length of gg S , as n ª ⬁.n

Let us denote by

␤ : b1G b G ⭈⭈⭈ G b2 m

Ž

4.2

.

the Young diagram of ␹ s ␹ and by ␴ g S an element with cycle n structure

␣ : 1a12a2 ⭈⭈⭈ sas.

Ž

4.3

.

In subsequent text, we restrict ourselves to sequences of characters ␹ and elements ␴ g S subject to the following conditions: n

Condition 1. Diagrams ␤ have a fixed number of rows and permuta-tions ␴ contain only cycles of bounded length.

Condition 2. Lengths of rows in ␤ increase linearly with n, i.e.,

bis␤ n.i

Condition 3. Multiplicities of cycles in ␴ g S increase linearly with n, n

i.e., aks␣ n.k

Ž . Under these conditions we will find asymptotics for ␹ ␴ and Ž . Ž .1r d

␹ ␴ r␹ 1 . It follows that the last quotient exponentially increases for nª ⬁, provided not all rows of ␤ are equal and not all cycles of ␴ are of the same length.

4.1. Frobenius Formula

Let z , z , . . . , z1 2 m be independent variables and let ␦ s m y 1, m y 2, . . . , 0 ,

Ž

.

z␤q␦s zb1qm y1zb2qm y2 ⭈⭈⭈ zbm, 1 2 m s s zjq ⭈⭈⭈ qzj , j 1 m ⌬ s ⌬ z , . . . , z

Ž

1 m

.

s

Ł

Ž

ziy z .j

.

i-j

In this notation we have the following Frobenius formula for irreducible characters: ␹ ␴ s coefficient at z␤q␦ in saj . 4.4

Ž

.

Ł

Ž

.

␤ ␣ j j

(15)

Making use of the residue theorem we can rewrite it in integral form, 1 n⭈␻ Ž z. ␹ g s

Ž

.

m

H

⭈⭈⭈

H

g z e

Ž .

dz,

Ž

4.5

.

< < < < 2␲ i

Ž

.

z1s1 zms1 where zs z , . . . , z g ⺓m

Ž

1 m

.

⌬ z , . . . , z

Ž

1 m

.

zj g z

Ž .

s z zm my1 ⭈⭈⭈ z s

Ł

ž

1y z

/

, i-j i 1 2 m

Ž

4.6

.

n m ␻ z s

Ž .

Ý

␣ log s yk k

Ý

␤ log z .i i ks1 is1 4.2. Asymptotics of Characters w x

According to general principles 5 , in order to find asymptotics of the

Ž .

integral 4.5 , we have to deform the surface of integration S in such a way Ž .

that it passes through a critical point z of0 ␻ z with maximal value Re ␻.

Ž . Ž .

The critical points of ␻ z are given by the equation d␻ z s 0, which in coordinates looks like the system of nonlinear algebraic equations

zk i k␣ s␤ , is 1, . . . , m.

Ž

4.7

.

Ý

kzkq ⭈⭈⭈ qzk i 1 m k Ž .

The system 4.7 is homogeneous in z and thus by the Bezout theorem has a lot of complex solutions. The first problem is to understand which of them is responsible for the asymptotics. For this the following result is crucial.

Ž .

THEOREM4.1. For ␤ G ␤ G ⭈⭈⭈ G ␤ G 0 the system 4.7 has, up to1 2 m

Ž .

proportionality, unique positi¨e real solution xs x , x , . . . , x1 2 m and for this solution, x1G x G ⭈⭈⭈ G x G 0.2 m

Proof. Let us put

z s eti, t g ⺢,

i i

so that in variable t ,i

n m

ti

␻ e s

Ž

.

Ý

␣ log exp kt q ⭈⭈⭈ qexp ktk

Ž

Ž

1

.

Ž

m

.

.

y

Ý

␤ ti i

(16)

and the equation for critical points of w takes the form exp kt

Ž

i

.

k␣ s␤ , is 1, 2, . . . , m.

Ž

4.8

.

Ý

k i exp kt

Ž

1

.

q ⭈⭈⭈ qexp kt

Ž

m

.

k

The proof may be divided into three steps.

Ž .

Step 1. ␻ is a convex function of t s t , . . . , t , i.e.1 m

⭸2

Hess

Ž

␻ s

.

Ý

X Xj iG 0, ᭙X , X g ⺢.i j

⭸ t ⭸ ti j

i , j

Proof. Really, since

n 2

Hess

Ž

␻ s

.

Ý

k

Ý

log exp kt

Ž

Ž

1

.

q ⭈⭈⭈ qexp kt

Ž

m

.

.

X X ,j i

⭸ t ⭸ ti j

ks1 i , j it suffices to show that

⭸2

h t

Ž .

s

Ý

log exp t

Ž

Ž

1

.

q ⭈⭈⭈ qexp t

Ž

m

.

.

X Xj iG 0.

Ž

4.9

.

⭸ t ⭸ ti j

i , j

A simple calculation gives

2 2

Ý exp ti

Ž .

i Xi Ý exp ti

Ž .

i Xi

h t

Ž .

s y

ž

/

G 0

Ž

4.10

.

Ý exp ti

Ž .

i Ý exp ti

Ž .

i

and equality is possible only for X1s X s ⭈⭈⭈ s X .2 m

From Step 1 it follows that Ž .

Step 2. Restriction of Hess ␻ on the hyperplane Ý X s 0 is positivei i and hence the mapping

⭸ f ⭸ f

⍀: t , . . . , t

Ž

1 m

.

ª

ž

⭸ t , . . . , ⭸ t

/

s

Ž

␤ , . . . , ␤ ,1 m

.

1 m

f t

Ž .

s

Ý

␣ log exp kt q ⭈⭈⭈ qexp ktk

Ž

Ž

1

.

Ž

m

.

.

, k

(17)

Step 3. The mapping

⍀: log x , log x , . . . , log x

Ž

1 2 m

.

ª

Ž

␤ , ␤ , . . . , ␤ ,1 2 m

.

x1q x q ⭈⭈⭈ qx s 1,2 m xiG 0,

gives a homeomorphism between simplexes



4

⌬ s x N x q x q ⭈⭈⭈ qx s 1, x G 0 ,x 1 2 m i



4

⌬ s␤ ␤ N ␤ q ␤ q ⭈⭈⭈ q␤ s 1, ␤ G 0 .1 2 m i

Proof. We will proceed by induction on m. Without loss of generality we may suppose restriction of ⍀ on a face of the simplex ⌬ ,x

⍀ : log x , . . . , log xi

Ž

1 iy1, 0, log xiq1, . . . , log xm

.

ª

Ž

␤ , . . . , ␤1 iy1, 0,␤iq1, . . . ,␤ ,m

.

to be a homeomorphism. Then ⍀ induces a homeomorphism of the boundaries ⭸ ⍀: ⭸⌬ ª ⭸⌬ , and by Brouwer theorem the mapping ⍀ isx ␤ surjective. Combining this with Step 2 we find out that ⍀ is an unramified covering of ⌬ . Since the simplex ⌬ is simply connected, ⍀ is in fact a homeomorphism.

Ž .

The theorem follows from the Step 3, because ⍀ t , . . . , t1 m is just the

Ž .

left-hand side of 4.8 .

It turns out that the positive critical point x from Theorem 4.1 is Ž .

responsible for asymptotics of characters ␹ ␴ .

THEOREM4.2. Suppose in addition to Conditions 1᎐3 that rows of Young diagrams␤ ha¨e distinct lengths␤ / ␤ and lengths of all cycles ini j ¨ol¨ed in

Ž .

␴ g S are coprime. Then, as n ª ⬁ the characters ␹ ␴ n ␤ ␣ ha¨e the asymptotics nw Ž x .

'

e m xj 1 ␹ ␴ ;

Ž

.

Žmy1 r2.

Ł

ž

1y

/

m , x

'

Ý H i-j 2␲ n

Ž

.

i is1 i i where x is a positi¨e critical point from Theorem 4.1,

n m

k k k

␻ x s

Ž .

Ý

␣ log x q x q ⭈⭈⭈ qxk

Ž

1 2 m

.

y

Ý

␤ log x ,i i

Ž

4.11

.

ks1 is1

and H is ith principle minor of the formi i

2 m k 2 m k n Ý x dt Ý x dt is1 i i is1 i i 2 Hess

Ž

␻ s

.

Ý

kk

ž

k y

ž

m k

/

/

.

Ž

4.12

.

Ý xi i Ýis1 ix ks1

(18)

Proof. Step 2 below is crucial. It ensures that only critical points proportional to the positive one are essential for asymptotics. The rest is

w x

an exercise in the multidimensional saddle point method 5 , with a minor complication due to nonisolated critical points.

Step 1. Deformation of the surface of integration. By deformation of

Ž .

the contour in integral 4.5 we can write

1 n␻ Ž z.

␹ g s

Ž

.

m

H

⭈⭈⭈

H

g z e

Ž .

dz.

Ž

4.13

.

< < < <

2␲ i

Ž

.

z1sx1 zmsxm

The surface of integration now passes through the positive critical point x.

Ž .

Step 2. The asymptotics of integral 4.13 depends on an arbitrary small < <

neighborhood of the set of critical points zs␭ x, ␭ s 1 proportional to Ž Ž .. the positive one x. It suffices to show that the maximum of Re ␻ z on

< < Ž␶i.

the contour zi s exp is attained only at ␭ x. In order to see this, write

< k k k< < < Re

Ž

␻ z s

Ž .

.

Ý

␣ log z q z q ⭈⭈⭈ qz yk 1 2 m

Ý

␤ log z .i i

Ž

4.14

.

k i Evidently, <zkq z q ⭈⭈⭈ qz F z q zk k< < <k < <kq ⭈⭈⭈ q z< <ks x q x q ⭈⭈⭈ qxk k k 1 2 m 1 2 m 1 2 m

and equality is possible only for collinear zik. In the last case,

z s␭␧ x ,ks 1.

i i i i

Ž .

This should be valid for all k that enter 4.14 with nonzero coefficient ␣ / 0, i.e., for all cycle lengths of ␴ g S which are supposed to bekn

coprime. As a result, we get ␧ s 1, and hence any critical point z withi

Ž .

maximal value of Re␻ z should be proportional to x.

Step 3. The final formula. Let us write the positive critical point in the form

x , x , . . . , x s exp ␶ , exp ␶ , . . . , exp ␶

Ž

1 2 m

.

Ž

Ž

1

.

Ž

2

.

Ž

m

.

.

Ž .

and put in integral 4.13 ,

(19)

Then ␲ ␲ 1 exp

Ž

␶ q itj j

.

␹ ␴ s

Ž

.

m

H

⭈⭈⭈

H

Ł

ž

1y

/

exp n

Ž

␻ t

Ž .

.

dt, exp

Ž

␶ q it

.

2␲

Ž

.

y␲ y␲ i-j i i

Ž . Ž ␶qit.

where ␻ t denotes ␻ e . Let

exp

Ž

␶ q itj j

.

F t

Ž .

s

Ł

ž

1y exp ␶ q it

/

exp n

Ž

␻ t .

Ž .

.

Ž

.

i-j i i Observe that F t , . . . , t

Ž

1 m

.

s F t q a, . . . , t q a ,

Ž

1 m

.

᭙a g ⺢, Ž .

so that F t is a constant on lines parallel to the main diagonal t1s t s2 ⭈⭈⭈ s t of the m-dimensional cube y␲ - t - ␲. According to Step 2 them i

asymptotics of the integral depends only on an arbitrary small neighbor-hood of the main diagonal. Hence asymptotically

'

2␲ m

␹ ␴ ;␤

Ž

.

m

H

F t dt,

Ž .

2␲

Ž

.

H

where integration is over a neighborhood of origin in the hyperplane H:

'

Ý ti is 0 orthogonal to the diagonal, and the extra multiplier 2␲ m is

equal to the length of the diagonal. The asymptotics of the last integral were determined by the isolated critical point ts 0, so by the saddle point method we get n␻ Ž x.

'

e m xj 1 ␹ ␴ ;

Ž

.

Žmy1 r2.

Ł

ž

1y

/

x

'

det Hess

Ž

.

<

Ž .

x i-j 2␲ n

Ž

.

i H n␻ Ž x.

'

e m xj 1 s Žmy1 r2.

Ł

ž

1y

/

m , x

'

Ý H i-j 2␲ n

Ž

.

i is1 i i Ž . where H are the principal minors of the Hessian Hessi i ␻ .

EXAMPLE 4.3. As a simple illustration of Theorem 4.2, let us deduce the asymptotic formula for dimension,

en H Ž␤ . Łi- j

Ž

1y␤ r␤j i

.

␹ 1 ;

Ž .

Žmy1 r2. , 2␲ n ␤ ␤ ⭈⭈⭈ ␤

Ž

.

'

1 2 m Ž .

(20)

Proof. Really, for␴ s 1 the critical point has coordinates x s ␤ , and i i hence the critical exponent is

m

␻ x s log ␤ q ␤ q ⭈⭈⭈ q␤

Ž .

Ž

1 2 m

.

y

Ý

␤ log ␤ s H ␤ ,i i

Ž

.

is1

since Ým ␤ s 1. The Hessian in the case under consideration, is1 i

Hess ␻ s ␤ dt2y ␤ ␤ dt dt ,

Ž

.

Ý

i i

Ý

i j i j

i i , j

has principal minors Hi is␤ ␤ ⭈⭈⭈ ␤ and the result follows.1 2 m

4.3. Multiple Rows

The saddle point method used in the previous section was based on Ž . n␻ Ž x.

comparing integral H g x e dx near a critical point with the Gaussian nr2 1 2 exp

Ž

y x dx s 2␲

.

Ž

.

.

H

n 2 ⺢ Ž .

This works only if the pre-exponential factor g x does not vanish at the critical point. Otherwise the asymptotics heavily depends on the structure

Ž .

of zeros of g x near the critical point, and we need another ‘‘reference’’ integral instead of the Gaussian one. This is the difficulty that appears for diagrams with multiple rows. In this section we show how the difficulty may be overridden by using as reference the integral

n nr2 2 1 2 <⌬ x exp y x dx s 2␲

Ž .

<

Ž

.

Ž

.

Ł

k!,

Ž

4.15

.

H

n 2 ⺢ ks1 Ž . Ž .

where as usual ⌬ x s Łi- j xiy x . This integral is a special case of thej

Macdonald conjecture for the root system A , which in turn follows fromn

w x Ž w x .

the Selberg integral 13 see 8 for details . To avoid technicalities we consider only the most degenerate case of rectangular diagrams.

PROPOSITION 4.4. Assume all the notation and conditions of Theorem

4.2, but suppose the diagram ␤ s I is rectangular of m rows. Then, as Ž .

nª ⬁, character ␹ ␴ has the asymptoticsI

2 噛c ycles4q1r2 Žmy1 r2. my1 m mI

Ž

␴ ;

.

Žmy1 r2.

Ł

k!,



4

d ⭈ 噛 cycles ks1 2␲

Ž

.

2

(21)

Proof. For the rectangular diagram the positive critical point is x1s

Ž .

x2s ⭈⭈⭈ s x s 1, which by 4.11 corresponds to the critical valuen

1 ␻ x s

Ž .

Ý

␣ log m s log m,k

d

k

where d is the mean value of cycle lengths. We start with integral

Ž .

representation 4.15 from the proof of Theorem 4.2, which for the above critical value gives

'

m ⌬ z , z , . . . , z

Ž

1 2 m

.

␹ ␴ ;␤

Ž

.

my1

H

zmy1 my2z ⭈⭈⭈ z exp n

Ž

␻ z

Ž .

.

dt H 2␲

Ž

.

␧ 1 2 my1 nr d

'

m ⭈ m ⌬ z , z , . . . , z

Ž

1 2 m

.

n ; my1

H

my1 my2 exp

ž

y HH t

Ž .

/

dt,

Ž

4.16

.

2 z z ⭈⭈⭈ z H 2␲

Ž

.

1 2 my1

where the first integral is taken over an arbitrary small neighborhood H of the origin in the hyperplane H: t1q t q ⭈⭈⭈ qt s 0. Here we use the2 n

notation zs ei t and 2 2 2 2 t1q t q ⭈⭈⭈ qt2 m t1q t q ⭈⭈⭈ qt2 m 2 H H

Ž .

t s

Ý

kk y

ž

/

m m k d2 2 2 2 s

Ž

t1q t q ⭈⭈⭈ qt2 m

.

md Ž t.

is the Hessian of the function ␻ e restricted to the hyperplane H. The Ž .

crucial observation is that Hessian HH t is a symmetric function of t, while

⌬ z , z , . . . , z s

Ž

1 2 n

.

Ł

Ž

ziy zj

.

i-j

is skew symmetric,

Ž

␴ ⭈ z s sgn ␴⌬ z ,

.

Ž .

␴ g S .n

Hence by symmetrization we can change the factor

1 my1 my2

s z1 z2 ⭈⭈⭈ zmy1 my1 my2

(22)

Ž .

under the integrals in 4.16 by the sum

1 1 my1 my2 sgn i , i , . . . , i

Ž

.

z z ⭈⭈⭈ z s ⌬ z , z . . . z ,

Ž

.

Ý

1 2 m i1 i2 imy1 1 2 m m! permutations m! Ž .

which is equal to the Vandermond determinant. So 4.16 reduces to the integral nr d

'

m ⭈ m 2 n < < ␹I

Ž

␴ ;

.

my1

H

⌬ z , z , . . . , z

Ž

1 2 m

.

exp

ž

y HH t2

Ž .

/

dt H 2␲ m!

Ž

.

nr d

'

m ⭈ m 2 n < < ; my1

H

⌬ t , t , . . . , t

Ž

1 2 m

.

exp

ž

y HH t2

Ž .

/

dt,

Ž

4.17

.

H 2␲ m!

Ž

.

< Ž .<2 < Ž .<2

where in the second line we use that ⌬ z ; ⌬ t near the critical

Ž .

point ts 0. The last integral is of the type 4.15 , except the integration is over hyperplane H: Ýt s 0, rather than the whole space ⺢n. Note that

i

Ž .

⌬ t is a constant on any line orthogonal to H and hence

⬁ 1 2 1 2 2 2 2 ⌬ t exp y t

Ž .

dts ⌬

Ž .

␶ exp

Ž

y

Ž

␶ q ␴

.

.

d␴ d␶

H

ž

/

H

H

2 n 2 ⺢ H y⬁ 2 1 2

'

s 2␲

H

Ž .

␶ exp y ␶

Ž

2

.

d␶ ,

Ž

4.18

.

H

where ␶ and ␴ are tangent and normal to H components of t. Easy

Ž . Ž . Ž .

calculation using 4.17 , 4.18 , and 4.15 ends the proof. COROLLARY4.5. For a rectangular diagramI and␴ / 1,

I

Ž

.

lim 1rd s 0,

nª⬁ ␹I

Ž .

1

where d is the mean¨alue of cycle lengths in ␴ .

4.4. Estimation of

Ž . n

By Theorem 4.2 character ␹ ␴ increases exponentially as e while

nª ⬁. Here we give two estimations for critical value ␻. Let us recall that

Ž . Ž .

for dimension ␹ 1 the critical exponent is just entropy see Example 4.3

H

Ž

␤ s y

.

Ý

␤ log ␤ .i i

(23)

Ž . THEOREM4.6. The critical exponent␻ in asymptotic of character ␹ ␴ satisfies the inequalities

H

Ž

.

H

Ž

.

F␻ F ,

l lmin

where l and lmin are mean¨alue and minimum of cycle lengths in ␴ . The left equality holds only if all cycles of␴ are of the same length or diagram ␤ is rectangular, while the right one holds only for substitutions␴ with equal cycle lengths and for tri¨ial character␹ s 1.

Proof. By Theorem 4.1, ␻ is the unique critical value of the function ␻ x s ␣ log xkq ⭈⭈⭈ qxk y ␤ log x

Ž .

Ý

k

Ž

1 m

.

Ý

i i k i k k k s

Ý

␣ log x q ⭈⭈⭈ qxk

Ž

1 m

.

y

Ý

␤ log xi i

Ž

4.19

.

k i

for positive x . Since by Step 1 in the Proof of Theorem 4.2, the Hessian ofi this function is positive, ␻ is the global minimum:

␻ F ␻ x ,

Ž .

᭙ x ) 0.

Ž

4.20

.

Ž .

To get the upper bound for␻ let us put x s ␤ in 4.20 :i i

␻ F ␣ log ␤kqkq ⭈⭈⭈ q␤kq␦H ␤ . 4.21

Ž

.

Ž

.

Ž

.

Ý

k 1 2 m

k

For␦ s 1rl we have ␤kqkq ⭈⭈⭈ q␤kF 1 and hence the sum in

min 1 2 m

Ž4.21 is not positive and the upper bound follows..

Ž .

The lower bound for the function 4.19 , and hence for ␻, follows from inequality

log y

Ž

1q y q ⭈⭈⭈ qy2 m

.

y

Ý

␤ log y G H ␤ .i i

Ž

.

Ž

4.22

.

i

Ž .

To prove 4.22 , observe that the function in the left-hand side has a unique critical point given by the linear system

y1s␤ y q y q ⭈⭈⭈ qyi

Ž

1 2 m

.

with solution yis␭␤ . The corresponding critical value is just entropyi Ž .

H ␤ .

Ž . Ž . Ž .

Thus we get from 4.19 and 4.22 that ␻ G H ␤ rl with equality possible only if

xks␭ ␤

i k i

Ž .

for all k that enter in 4.19 with nonzero coefficient ␣ / 0. There arek

(24)

1. There exist two cycles of different lengths, say k and r. Then

xks␭ ␤ , xrs␭ ␤ ,

i k i i r i

which implies x1s x s ⭈⭈⭈ s x and2 m ␤ s ␤ s ⭈⭈⭈ s ␤ , i.e., ␤ is a1 2 m

rectangular diagram.

k Ž .

2. All cycles are of the same length k. Then xi s␭␤ and ␻ s H ␤i

for any diagram ␤.

By combining Theorem 4.6 with Example 4.3 we get upper and lower

Ž .

bounds of a character in terms of its dimension cf. Corollary 4.5 . COROLLARY4.7. For large n, the inequalities

1rl 1rlmi n

␹ 1

Ž .

-␹ ␴ - ␹ 1

Ž

.

Ž .

hold, pro¨ided diagram ␤ is not rectangular and not all cycle lengths of ␴ are equal.

REFERENCES

1. Z. Arad and M. Herzog, ‘‘Powers and products of conjugacy classes in groups,’’ Lecture Notes in Math., Vol. 1112, Springer, Berlin, 1985.

2. M. Bauer and C. Itzykson, Triangulations, in ‘‘The Grothendieck theory of dessins Ž .

d’enfants,’’ London Math. Soc. Lecture Note Ser. 200 1994 , 179᎐236.

3. H. S. M. Coxeter and W. O. J. Moser, ‘‘Generators and Relations for Discrete Groups,’’ Springer, Berlin, 1965.

Ž 4. R. Dijgraaf, Mirror symmetry and elliptic curves, in ‘‘The Moduli Space of Curves,’’ R.

.

Dijgraaf, C. Faber, and G. van der Geer, Eds. , Progress in Mathematics, Vol. 129, pp. 149᎐163, Birkhauser, Basel, 1995.¨

5. M. V. Fedoruk, Asymptotic methods in analysis, in ‘‘Analysis I, Encyclopedia of Mathe-matical Sciences,’’ Vol. 13, Springer, Berlin, 1989.

6. A. Hurwitz, Uber die Anzahl der Riemannschen Flachen mit gegenbener Verzwei-¨

Ž . gungspunkten, Math. Ann. 55 1902 , 53.

7. G. D. James, ‘‘The Representation Theory of the Symmetric Groups,’’ Springer, Berlin, 1978.

8. M. L. Mehta ‘‘Random Matrices,’’ Academic Press, San Diego, 1990.

9. A. A. Migdal, Quantum gravity as dynamical triangulation, in ‘‘Two Dimensional Quan-tum Gravity and Random Surfaces,’’ World Scientific, Singapore, 1992.

10. A. D. Mednykh, On solution of Hurwitz problem on the number of nonequivalent Ž . coverings over a compact Riemann surface, Dokl. Akad. Nauk SSSR Ser Mat. 261 1981 ,

Ž .

537᎐542; English transl.: So¨. Math. Dokl. 24 1981 , 541᎐545.

11. H. Rademacher and H. S. Zukerman, On the Fourier coefficients on certain modular Ž .

forms of positive dimension, Ann. of Math. 39 1938 , 433᎐462.

12. Y. Roichman, Upper bound on characters of the symmetric groups, In¨ent. Math. 125

Ž1996 , 451. ᎐485.

Ž . 13. A. Selberg, Bemerkninger om et multiplet integral, Norsk Mat. Tidskr. 26 1944 , 71᎐78.

(25)

14. J. P. Serre, ‘‘A Course in Arithmetic,’’ Springer, Berlin, 1973.

15. E. Thoma, Die unzerlegbaren, positiv-definiten Klassenfunktionen der abzahlbar un-¨

Ž . endlichen, symmetrischen Gruppe, Math. Z. 85 1964 , 40᎐61.

16. A. M. Vershik and S. V. Kerov, Asymptotic theory of characters of the symmetric group, Ž .

Funkt. Anal. Prilozhen. 15 1981 , 15᎐17.

17. A. M. Vershik and S. V. Kerov, Asymptotic of the largest and the typical dimensions of Ž . irreducible representations of a symmetric group, Funkt. Anal. Prilozhen. 19 1985 , 25᎐36.

18. V. M. Zhuravlev, Free Lie algebra as a module over linear group, Mat. Sbornik 187 Ž1996 , 59. ᎐80 in Russian .Ž .

Referanslar

Benzer Belgeler

The OFDM receiver model is designed based on the transmitted signal and considering underwater acoustic channel effects. Receiver system model is shown

These could be categorised as organisation problems; crowded and noisy classes along with talkative students; unmotivated, bored students disturbing the other students

Summary-The aim of the study was to anaiyze the psychometric properties of public and private subscales of the self-consciousness scale (Fenigstein, Scheier &amp; Buss,

Bu iki yöntemin kesici takım aşınmasına etkisini araştıran çalışmada kanal tornalama üzerine kuru, geleneksel soğutma sıvısı ve MQL ile olmak üzere üç farklı

Ameliyat Sirasinda Hekimin Sorumlulugu Malpractise ve komplikasyon olgularina temel yaklasim ilkeleriyle konuyu inceledigimizde; ameliyat sirasinda hasta anestezi

Ölüm kalım savaşmı aşıp, yaşam savaşına dönen Adalet Ağaoğlu, 1960’larda başlayan yazarlık serüveninde ölüm - kalım mücadelesine özel bir

Asiklovirin IV olarak 3x10 mg/kg (30mg/gün) dozunda 21 gün süreyle kullanımın herpetik ensefalitte en iyi seçenek olduğu kabul edilmektedir (9,10). Olgumuz da 3x10 mg/kg dozunda

Diyabetli kadın hastalarda HAD-A ve HAD-D ortalama puanlarının yüksek olduğu, cinsiyet ile depres- yon ve anksiyete arasında anlamlı ilişki olduğu, kadın olmanın