• Aucun résultat trouvé

Euclidean fields having a large Lenstra constant

N/A
N/A
Protected

Academic year: 2022

Partager "Euclidean fields having a large Lenstra constant"

Copied!
25
0
0

Texte intégral

(1)

A RMIN L EUTBECHER

Euclidean fields having a large Lenstra constant

Annales de l’institut Fourier, tome 35, no2 (1985), p. 83-106

<http://www.numdam.org/item?id=AIF_1985__35_2_83_0>

© Annales de l’institut Fourier, 1985, tous droits réservés.

L’accès aux archives de la revue « Annales de l’institut Fourier » (http://annalif.ujf-grenoble.fr/) implique l’accord avec les conditions gé- nérales d’utilisation (http://www.numdam.org/legal.php). Toute utilisa- tion commerciale ou impression systématique est constitutive d’une in- fraction pénale. Toute copie ou impression de ce fichier doit conte- nir la présente mention de copyright.

Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques

http://www.numdam.org/

(2)

35, 2 (1985), 83-106.

EUCLIDEAN FIELDS HAVING A LARGE LENSTRA CONSTANT

par Armin LEUTBECHER

INTRODUCTION

In this note we present 143 new examples of Euclidean number fields K having a sufficiently large Lenstra constant. This constant, the maximal length of exceptional sequences in K, has been introduced by H. W.

Lenstra Jr in [4] which is the basic reference. Lenstra there derives bounds o^ which guarantee that an algebraic number field K with r real and s complex Archimedean primes is Euclidean provided M(K) > a^^/ldicl, where d^ is the discriminant of K. In [6] J. Martinet and the author gave several applications of Lenstra's method of exceptional sequences. This paper is a supplement to [6]. The search for fields having a large Lenstra constant again revealed for several signatures n, r fields K,^ whose discriminant is smaller in absolute value than those of all other examples known before (n = r + 25 is the degree).

This article ends with an updated table of the number of all known Euclidean fields counted according to their values of n and r + s respectively (table 5). It is made on the model of table 11 in [4] which had been updated in [5] and [6]. For n = 4, r + s = 2 the quartic subfield of the 13th cyclotomic field is counted, which was shown to be Euclidean by F. J. van der Linden using different methods [7]. There he also proves that this field and the 5th cyclotomic field are the only complex cyclic fields of degree 4 which are Euclidean with respect to the norm [7], Theorem 10.30.

22 of the new Euclidean fields are imprimitive. Acknowledgement is due to J. Martinet whose advice concerning the subfields I have been following at several places.

Key-words: Units and factorization - Class number, discriminant - Euclidean rings and generalizations.

(3)

1. THE GRAPH OF EXCEPTIONAL UNITS

1.1. General observations.

Let A b^ a commutative ring with 1 ^ 0 and R* its group of units.

Following [6] we call a sequence ©i, ©2, ..., CD^ of elements of R

« exceptional sequence » if o\ — o)y e R* for each pair of different indices i,j. This gives rise to the following construction. Two elements a, b e R shall be connected iff a — b e R*, thus R becomes a graph. The number M = M(R) of vertices of a maximal complete subgraph, i.e. the maximal length of exceptional sequences in case R = ZK is the ring of integers of an algebraic number field K, has been called the Lenstra constant of K.

We are so free to call it the Lenstra constant of the ring R in this general context. All translations and all multiplications by elements M e R* yield automorphisms of R as a graph. Therefore what M(R) is concerned we can restrict the consideration to maximal complete subgraphs which contain 0 and 1 as vertices.

Every ring morphism (p : R -^ R' having IR< = (pOp) also gives rise to a morphism of the graph of R into the graph of R\ Therefore

M(Ro) ^ M(R) ^ M(R/I)

for each subring Ro of R with the same unit element and for each ideal I ^ R. The elements u e R which are connected with 0 and 1 simultaneously will be called « exceptional units » following Nagell [9]. The set E(R) of all exceptional units of R is finite in case R = ZK is the ring of integers of an algebraic number field, a fact which to my knowledge was first proved by S. Lang [3].

The two transformations co »—^ 1 -- CD and CD »-+ 1/co are automorphisms of the subgraph E(R) of exceptional units. In general they generate a group of order six. Whenever E(R) is not empty we thus have a group G of order 6 isomorphic to the symmetric group 83 acting on E(R).

It is convenient to extend the subgraph {0} u R* by a further element oo, which is connected with each of these elements. On this graph R*

(4)

operates by multiplication and also G) H-» I/CD is an automorphism. So

^((0) == fl/G)

is an automorphism of R* u {0,oo} for each a e R * .

For each x e E(R) there is a Kleinian four group operating on the set of neighbours of x , given by its elements of order two:

^(o) = x/o), r,((o) = ^-j-5 ^(®) = ^ _ ^ •

1.2. Conditioned exceptional sequences.

We are considering number fields K = Q(x) where x is a zero of a monic irreducible / e Z[X] in some fixed algebraic closure Q of Q. For each ^eZ[X] the element g(x) is in the integral closure ZK of Z in K, however, g(x) € ZK is possible only for primitive polynomials g . In case g(x) is a unit the canonical ring morphism of Z[X] into ZK by substitution X ^ x extends uniquely to a ring morphism (py ofZ[X,l/g]

into ZK.

Starting with the ring of fractions Z[X, l/^] one gets for each complete subgraph S of Z[X,1/^] the complete subgraph (py(S) in ZK which has the same number of vertices as S has. This can be done with a fixed g for various /.

The product formula of the resultant R(/,g) in terms of the zeros x, of / and YJ of g shows that g(x) is a unit in ZK iff R(/,g) = ± 1.

Given a primitive geZ[X] and a complete subgraph S of Z[X,1/^] one has to look for monic polynomials F e Z[X] for which R(F,g) == ± 1.

Then one has R(/,g) == ± 1 for each monic irreducible factor / of R.

Similarly R(/,^) = ± 1 is equivalent to R(/,^i) = ± 1 for each primitive irreducible factor g^ of g . In case g^ is also monic and y is a zero of gi the condition R(/,^i) = ± 1 is the same as f(y) e Z^. This can be read as a system of m = deg g^ linear equations for the unknown coefficients of /, for which the right hand side depends on a parameter in the unit group Z$^. We shall speak of a condition of the first kind on /.

In aid of a short notation we introduce as in [6] the set U(/) of those integral y c Q , for which f(y) is a unit in ZQ^).

In case g^ is not monic, we call R(/,^i) = ± 1 a condition of the second king on /.

(5)

2. EXAMPLES IN THE NUMBER FIELD CASE

Starting with a suitable monic ^eZpC] and a complete subgraph S in Z[X,l/g] with M vertices we construct monic polynomials FeZpC] of given degree n and resultant R(F,^) = ± 1. Each irreducible factor / of F with a zero x e Q gives a field K = Q(x) and a complete subgraph (p/S) of ZK with likewise M elements. Let d^ denote the discriminant of ZK , r and 5 the number of real and complex Archimedean places of K respectively. If

M > o^^Kl

ZK is already shown to be a Euclidean ring. In case

M < O^^KI < L(K)

for the least ideal norm L(K) > 1 in ZK, we try to prove M(K) > 0^,/JdKl by enlarging <p^.(S).

In aid of our examples we have used different sets of conditions of the first kind on polynomials /eZ[X] which define the fields. For the purpose of formulating these conditions as well as for the description of certain subfields we need some concrete algebraic integers which are put together in table 1 (similar to and compatible with table 10 of [4]).

table 1

symbol minimal polynomial discriminant

9 X^X-l 5 a X^X-l -23 Y X^X-l -51 n X^X^X-l 49 0 X^X^X^X+l 1 1 7 p X^SX^X-l -275 6 X^X-l -285 c X^X^X-l -551 T X^X^X-l - 6 4 5

(6)

Besides i^ always denotes a primitive w — th root of unity.

To start with

S : 0, 1, x, x + 1, x2

is an exceptional sequence on condition 0, 1, — l,9eU(/).

T: 0,l,x,(x-l)/^,l/(l-x)

is an exceptional sequence on condition 0, 1, ^ € V(f). Both have been used in [4]. S u {00} consists of three orbits of <s^> and T u {00}

consists of two orbits of the subgroup <() of G whose generator ( is acting by

, , co- 1 r«o)=^-.

Several different enlargements of S have been studied in [6]. Thereby frequently use was made of the transformations s^ and q^+x' In this paper the larger part of examples is derived from enlargements of T especially by full orbits of < ( > . A smaller part is based on S. In aid of a space saving notation of exceptional sequences we need in both cases some abbreviations. Their relevance is restricted to the last column of the main table 2 and that of table 3. Let a = l/r(x), b == l/t(x-hl), c = l / t ( x2) , d = x 2 + x , e = x3 — x , beta = x4 — x3 — x2 + x -h 1 , eta = x3 -h x2 — 2x — 1 . We denote by a dash the s^ image : a' = s^(d) etc. With this notation the most useful sequences in [6] have been

A : S,a,a' B : S, b C: S,b\c,d.

In this paper nearly all examples in the S line are based on B* : B, c

which is an exceptional sequence on condition 0,1, - l,e,a,^2eU(/).

As for the T line in [6] the following sequence was introduced D : T, x - x2

(7)

which is exceptional on condition 0,1, t^, ^, a2 e U(/). The sequence D : T,x - x^x-x2), t'^x-x2)

is exceptional on one extra condition, namely P2— p e U ( / ) . Furthermore the following abbreviations are used

u = x/((x), v = x/((x—x2), w = x/C^x—x2),

^ = ^ ° ^ o q^x-x2), z = x/r(r).

Here qx° suo Ax viewed as a homographic map is given by the matrix

(^ ^)-

Thus it interchanges oo and x , 0 and t(x), 1 and t~l(x). The images of x — x2, ((x—x2), (^(x—x2) are y , t ~l( y ) and ^(^) respectively.

Therefore the sequence D', consisting of 0,1 and the t orbits of x and y is exceptional on the same conditions as D is. Similarly the homographic map (lx-x10 seo(lx-xl wt^ £ == (x—x2)/t(x—x2) is given by the matrix

(

x^x — x ^ x — l ^ -1 -x2-^ /

It interchanges oo and x — x2, 0 and t(x—x2), 1 and ^ ~l( x — x2) , whereas the images of x,t(x),t~l(x) are \|t~l(y) = t ( l / y ) , l / y and l / t ( y ) = t ~l( l / y ) respectively. Therefore the sequence D" consisting of 0,1 and the t orbits of x — x2 and l / y again is exceptional on the same conditions as D is.

3. COMMENTS ON THE MAIN TABLE

3.1. Explanation.

Table 2 contains all Euclidean fields found since the publication of [6] with the exception of the quartic subfield of 0(^13) mentioned in the introduction. Also two polynomials are listed in degree n = 10 whose discriminants already appear in [6].

(8)

Table 2 consists of 5 parts. The first part contains fields K of degree n = 7. In column 1 one finds the number r of real places. Column 2 gives the discriminant d^ of K and its factorization. In the third column the coefficients OQ , a^, ..., a-j of an irreducible monic polynomial / are listed, a zero x of which defines K = Q(x). The next column contains a lower bound on M(K) which guarantees

M(K) > oc^^d

and the last column contains an exceptional sequence in ZK in terms of x, which shows the lower bound to be valid. — The other parts are explained similarly. Each of them contains only fields of a fixed signature n, r. An extra column headed by Kg gives a field generator 60 ofapropersubfield Ko of K of maximal degree if K is imprimitive, a blank otherwise. If K is imprimitive, the polynomial / defining K is in K()[X]. The field generator 60 is one of the symbols of table 1 or 9o = y / — 7 or in part 5 with quintic subfields Ko, 60 == 6^ is defined in the free space of the 3d

column.

We conclude this subsection by some of the bounds a^ used for the column headed by M >

n = 7 r = l , s = 3 and r = 3, s = 2: 9.848 10-3

r == 5, 5 = 1 : 7.793 10-3

n = 8 r = 0, s = 4 and r = 2, s = 3 : 3.955 10-3

r = 4 , 5 = 2 : 3.897 10-3 n= 9 r = l , s = 4 and r = 3, 5 = 3 : 1.563 10-3

n = 10 r = 0, 5 = 5 and r = 2, 5 = 4 : 6.097 10-4

3.2. Exceptional sequences for some extra fields in table 2.

For several fields K of table 2 the exceptional sequence has the shape

«So in S^rpbS2» where So is a subset of some conditioned exceptional sequence Si and 82 is a subset of ZK. This should be read «So replaced by 83 ». Furthermore, special sequences are used in the following cases:

Part 2 : n = 8, r = 2, d = - 5 371 171

O.l.x.xVjc2 - Ux+lV^x^x+lU^+x2^-!)/^2, (x4-^2)/^3-^-!),^4-^^2)/^3-^-!).

(9)

Part 3 : n = 8, r = 4, d = 15 297 613.

In [6] an exceptional sequence of length 14 was given, namely A,d,d\ 1 - &\5,(l-b'),^ -h 1, 0?+l)/x, s,(0?+l)/x).

This sequence can be enlarged by the following three elements x4 - 2x2 + 1, x3|(x3-x2-x+l), (x^-2x2-x+l)|(x2-x), a fact found by the student G. Niklasch on occasion of an advanced course at the Technische Universitat Miinchen in 1983.

Part 4 : n = 9, r = 1, d = 35 686 793

0, l,x,x + l,(x+l)/x2, 1/Oc2-!), - l|(x3-x2-x), (x3+x2-x-l)/JC2, (x^-2x2-x+l)|(x4-2x2),

^^2x2-x+l)/(x3-x2-x).

Part 5 : n = 10, r = 0, d = - 292693979.

This is an example to show how more complicated exceptional sequences were found. At first one has the exceptional sequence D, v. In the second step it was observed that the pair t ~1 (x — x 2), v can be replaced by the triplet w, t o q ^ o t '1^ ) , s^(t(x—x2)) and testing this new sequence again for possible enlargements it was found that the element x can be substituted by the two elements s^(x) t(Su(t(u))). Application of t~1 and rearrangement gives

0, 1 , X , ( X - 1 ) / X , X - X2, l/^-JC+l^JC/^+l), - l / ( x3- X2^ X - l ) ,

(x3- x2-l)/(x3-x2+x-l), (-x^^lx3-x2^x)|(x2-x+V), (x3-x2)|(x^-x3+2x2-2x+l).

By a similar procedure in the case of discriminant d = — 298 482 287 an exceptional sequence of length 11 was found : in D, v, t(y\ z,t~l(s^(t(x-x2))) the triplet t(x), v, t(y) can be replaced by

u,xls^(t(x-x2)), t(5^(x)), rOc/t-^Oc-jc2))).

3.3. Subfields.

Our construction of the fields K with prescribed exceptional sequences yields irreducible monic polynomials /eZ[X] defining K = Q(x) by a zero x of /. The discriminant of / may signal a possible proper subfield K o ^ Q of K.

(10)

x

^5

^ ^ ^ o .Q "s, C •» o S ^u ^><i

-s ^ (Q

cya>

CO

-icd C0

H PQ.

<U 0X 0)

Al S

<&

•«

c^n

a30

0^

-4

t Q

c^-

T-I

o*

«\

T-l

0

t T-l

«\

OJ 1

«*

T-l

T-l

&;

c—

-=r§^

11 r^

?

^

T-1 '>>

|

4->

Q•%

0-

T-l

int

<j\•«

CM^-1

•»

r-t

T-4

•«

^-

mt

•»

T-l

r^

^

^CJ\

^-i

T-l I

X-»c^

c^

&

(^1

<-(

'5

1

,Pt

Q

['-

^-l

^-•\

f—n

C7\

8

c^-««

•*

-=T t

T-l

0)e

•H

?-.

&

a

c^-

^3m

-=T

T-t

CTTJ

•^X (U«\<D

^<

•S '(B

S

r-«

««

CM

«\

CM 1

-=r

•«

T-(

CM

0t

•«

r-t

C^-^~

in r^v

CO a\^-i ii c^

CMa\

^

ff\

0f\

<^

0

^

0

o?

^

T-l

T-l

««

V-(

««

m r^\

vo»»

i^«\

««

T-f 1

•\

T-1

<7\

(J\

00 -=3-CM r-1

^0 1 00^

^

T-l

v>0 CM

m

4^

Q<

<D 0 X (U

^0

3 tQ

C7\

T-t

m•S

in*\

•»

^0

-=r

T-1

T-l

|

T-t

T-1

(D

•H

?-,

CT\r^

c^- -=r(M

in

-3-

^x

4->

7S CO

X

/-^

-p

t

3

•«

Q

<7\

T-l

r^n

-=rf\

•^

-=3-

0t

1^

^3-|

m

T-t

<J\

<oin r^

0\

-3- CM

T-t

||

T-ta\

0 0

^ -=r

>

IQ

OS

T-l

«\

^^CJ 01

T-t

|

(x) j

T-t

(*)

d T-tr^

m -=rr^

11 r^

C\J

T-t

T-4 T-tc^- -=r

•^

^

>^ Q

0\

T-l

1^

-=r

•s -T

r^t

T-t I

T-t

|

T-t

r-t

a\

8

8c^-

CMr^

11 c^

^0

<0

T-l

VO^-

^T

>

IQ

o\

T-t

c\r

•«

T-l

•\

T-l

«\

(^

1

^3-

-=rl

CM

T-t I

a\T-l

^0

^D

i>~

^0

T-l

<-t

1 )

t^-

^DCM

r^^-t C7\

-3-

>n

IQ

<T\

T-l

•>

in

«\

CM

T-l

•«

R

-T CM

T-t

CM 1

r^\

T-t

VO1

T-1

<U

£

•H

?-,

Q<

CT\

T-l

0

a

ini

(11)

cti

CTJ 4->

<4-> O)

<U C^ >a J3 .0 4-> -^ ^

^^ ^ ^ Q) X 0)

>a ^-^ ^-N 0 ^ -^ •

^^ O X ' • ^ ( D 0) c ^ ( M X ' ^ -

»- ' ^ 's^ T } ^ ^ . ^ O ^ N

I 7 3 0 s - ^ ^ ; 3 ^ <u ( U X

4-> ^ ^ X X N 0 ^ ^ ^ ' ^

^ X { > < ^ ^ M X < + - 1 ^ ( U - H X M

Q K I M O O ' ^ ^ - ' O ^ ^ C ^ ^ - ' ^ ' ^ . Q ^

^ ^ ^ » » ^ T 3 <D X • X f-f (D ^

c^ <^ T ^ H - ' 0 » l 0 4 ^ " r ^ T O O •» X

O X " X ' Q ^ ^ - • » T - I T 5 •» - ? - i

^ ^ - ^ •» X J ^ a ) ^ ' < - - ' t < ^ ; > ^ X 4 - > o •' ( U l Q o ^ c t i t O ' ^ ^ ? - , ^ ^s. ^ Q)

^ " a - ^ ^ T ^ o o x ^ o ^ - •»

^ X ^ i - N - 0 ^ ^ ^ 0 ^ | Q ^ 3 -

CO <<--' OQ X T ^ - P - - • » T 3

4->

a

0)o x0)

0 ^ ' 0 ^ . \ * » 0 0 N t

<-i 'd O X I Q » » •» x »

0 " C ^ ' ^ M ' •M- " C Q 0 •H » 0 OQ (£1 X X •^. OQ •» ^

CT1 D r-1 (/) T-I

•» »>

CQ 0

A l C ^ C ^ O O O O 0 0 0 0 0 0 0 0 0

^ j_________________^-1 T - t^ - l T - l ^ - l v - l v - l T - l T - l T ^ r ^ T H T H

&-1 C\J CE; ||

<

CL. ?-.

M

•-? G

tS

- = r c \ j v - i O T - i T - i o c \ J T - I T - I O C M O oo r ^ m T - i m m m ^ r - = 3 - - = r r^ rJ* r^

f ^ v - l - 3 - T - I K ^ L ^ T - I C ^ C M ^ D f — L T v ^ - l

. = 3 - T - i c \ j - = r o o f - - o o m \ D O J C ^ - < - T C \ J

T~l | | |

T - I C N J L n O J O J O O - a - T - r T - l - r - i r ^ t ^ O ^ K ^ ^ - ? V-l 1 I T-l ( I

f— r ^ r - i m r ^ T - i r ^ o 1 ' Q* r^ 0" ^ d c^

<o •»

( \ J ^ - I K ^ O T - l - = T - - = 3 - ^ T v - « I m K ^ K ^ c T o

'. . . .

1

. '. ', '.', ^ ' , , . . ,

T-lT-lTHT- lv -tT-lT-lT-l^- l CiT-lT-lT-t^-lv-l

t0 Q.

•o"

f^ 1^ TH CJ\ [^- K^ t^—

O o o m L T \ r ^ - r - 1 ' ^ o - = r o o

m - = 3 - \ £ > O J t - - t ^ - v - l O t ^

r^ d •

< O T - I ^ o r ^ n r ^ m c r \

f — T - t <U < D T - I - < - I V £ ) ( D O O T - t x H ( U C M O J <U v-1 • E E • • • E ; C \ l T - « - = 3 - g K \ » g

• c ^ . ^ . ^ f - T - i c ^ . s * • • 5 « ^ 5

c ^ - = r ^ ^ ^ - l o j K ^ ^ i ^ ^ r ^ ^ t ^ - c ^ ' ' "1

c \ j - = 3 - M " K ^ m o o ^ v o m ^ - i M v - i ^ - i ?-i I I a Q . i i | Q , | i | Q , | l P.

c ^ - ^ - T - t r - — c ^ - c ^ ^ ~ - T ~ i < D L r \ T - i t ^ ~ T - i T - < c T \

0 0 ^ 0 C T \ - ^ - OJ K ^ - 3 - L n r ^ t - - - t ^ - ^ 3 - K ^ C ^ f -

L r \ o o - = r <r-i o (J\ o\ o c y ^ r ^ ^ - i t ^ - t ^ - ' < D ^-i o o m - 3 - r ^ \ o j - ^ - < o c ^ i n o \ r - < O L r » ^ - i t ^ - v-i ir\ o r < ~ \ ^ - - 3 - - = 3 - L r \ < D ^ o C ^ - O J C M c ^ - o ^ T - i T - i o j f \ j c \ j r ^ K ^ m r ^ K > \ K ^ - 3 - L n < ^ ) ^ o m m m m m m m L n L n m m L n m L n L n

(12)

0) 0C

<D 3 U1

Q)co

r-l (ti C 0

•H 4->

G,

<U 0x

<D

Al

S

ft

T-

ctf

ft

cti0

^0

^

'0 NX nx -^

T-l

ft

>a Xft

>

.0 pi^

IQ

C

•H 0X x1

3

T-l

OJ?

ft

0+

CM•^

0 T-I 1 T-I?

0

THm

T-l

T-I

^C 4- .m

11 inr~-

03

^

r^-

\jr\

'

^^0

'o

ft

.0 -«^

'0

ft

u

ft

jQ ft OQ

0^-l

r-f

0

m

C\J

00

<o -=r ' -=r

1

T-l

^

r^

r-l t^ 00

OJ 1 CM 0\

t>- v-1

^

mi

(D

^.

'0

s

(Dft

0

^>

'0

ft

0

ft

CQ

3

-<-«

^

-=r r^

^ r^

m ' 0

T-\

Nv-(

T-l

(M v-1r^

<H

11

T-(in

(M 00

^

m '

•^o

^—^^-i + x

N-' cox

ft

N

^X

ctift

X

•^

JQft

«

CQ

g

T-t

T-t

OJ

T-f

T-(

OJ

0

OJ

'

X-^

Q) G

•i-l

^a cr\

r-lOJ

&

m '

'o u x

COft

<D 's^ 'Oft

<D ft 0

\

'O

ft

u

.0a

^ CQ c

•H r-l 0n

i-l

T-l

r^

OJ

OJ

0 0

r-l '

T-l

[•—

t^

00 OJcr\

T-<

T-lr^

11 t-—

00

T-l

<J\

t^-a\

m

•^0

^0 s^x

ft

0ft

JQft

« CQ

0n

T-l

0

r^

0 r^

OJ

T-l

'

OJ

T-l

r^t--

T-l

f--

K^

T-l

00 OJ

1 1

^0in

-=3- f—

S

^0

^-N

^0 T?

^^

X CO

^^0 T?ft

^X 0

ft

«

CQ

g

T-l

T-l

Ln in

00

00

r^k ' m

'

T-l

<^\

mc'-- a\

T-l T-l

1^\Ln i i^~

OJ OJ

-=rc^- r^

<D

u

^s.

^~s T-<

+

X s^

X CO

ft

.0

•^.

'o

•^X

0 JD Q.^ 0

c

•>

Xi

T-1 +

X 0

T-l

T-l

T-1

r^

-=r

OJ

<o 0 r^

'

T-l

0)6

•r-l

^a mOJ

cr\

K

r^\

<D

oo ii

(13)

0)u c

(U

cr3 (Dro

r-lcd c 0

*H 4->

a

(D 0X

0)

s

^ ff5 ctf0

^0

y

'o

^ x CM 0

4->

•H ,0

^ 0

•p

«\

Q

a\

T-l

T-l '

T-l

m in

00

00

vo r^

T-l

T-»

00

T-l

CM0\

CM

T-I

a

ii

T-I 00CM

3

in o\

CM

>

<M

0

4->

•H .0

^ 0 4-5 IQ

<7\

T-l

-=3'

1

t--.

00 1 t--

-=r

T-l

T-l

T-l

T-l

r^c^

T-l

in

00 m

iF!

11 C^

CMx-i t^\

&

^

>

CM 0 -p

•H jQ

^0

+3

IQ

OS

T-l

Lni

a

-=3-^-1 1 VO

T-l

m

T-1

T-»

T-l

t*- 1

1^\

T-l

cr\

00 (M OJ CM OJ

t^ro

T-l

11

K^

<7\

ur\

^\in

•=r

^

01X

•^

T-I

•«

>a -^

\^X

4^

^ Q

C^

T-t

CM

r<^

.=3-

CM

T-l

r^

' -^-

CM

T-l

c^

00t--

a\

-=3-vo r^- -=T 11

r^

T-l

K\

-=r-3"

m

^

>

<-i 0 +>

•H .0

^ 0 +3

IQ

0\

T-l

in

CM

T-l

0\

T-t 1

r^

CM

T-l

CM

in

T-l

a\i

K^

T-l

Q)

•i-l

?-.

a

T-l

<0 T-l T-l

S

^

>

tM

0

•p

•I-l^^

0

-p

A

IQ

a\

T-t

-3- ' 00

CM

T-l

1

in

T-<

in

T-i CM T-l

00

K^

T-l

s

T-l

^-

T-l

t^-

^

1 1

a\

00

"s

CM

T-l

r^\

>

IM 0

4-3

•H .0

^

0

+3

IQ

cr»

T-l

-3- 1 l^-

81

K\

T-l

CM

TH

g

^0

r^

T-t

t^-

^0t^

&

CT\inm 11 r^\in r^

00

K

T-l m

>

<M 0 4^

•H .0

^0

4-S

IQ

CT\

T-l

ini

T-1 T-l

<D T-l I

CT\

T-l

00

T-l

-=T

T-4

00

-=r

T-l

S

t^--

^

o\F--

T-l 1 1 mr^

•=r c^in

^~

T-lr^

^

4->

^s^

x CM 0

4->

•H

^

^0

4->

t

Q

cr»

T-l

m ' m

0

V£)

CM

T-l

CM

T-l

0\

-^-

T-l

a)

•r-t

$L|

a m -a-K^

80\

CM(^

>

<M

0

4->

•H

M0

4-?

«\

IQ

CT\

T-l

-=3- ' 00

CM

T-l

1 K\

T-l

CM

T-l

a\

ini

CM

T-l

T-l3

in

CMin

T-l

\D 11

T-l

^

T-l m0

CM K^

>

<M 0 4->

•H 43

?-

0

4->

«\

IQ

<^ .

T-l

m

'

vo

T-l T-l 1

-=3-

T-l

-=r

T-l I

T-l T-l

t——

m

T-l

<D

•r-l

^

min in

00in 0 {^

>

<*-i o

4^

•H X3

^ 0 4->

•«

IQ

c^

T-l

•\

T-l

F

n

0

T-l

0

-=rt—

^0 CM ff»

m CM

11

-=ra\

0

<0

c3

^

>

CM 0

4-S

^3 t-i 0 4->

•«

IQ

0\

T-l t

-=3-

«\

00 fi T-l T-1

•\

CM

T-l

a

«s

f—«\

•^

in

CM

T-ti

00

i^

VD

®

r^in 11 voo\

-=r

-=T-3-

m

^

^-N

x

4-5

^

^CO

x

«\

^-^

>s 1

4->

•»

3t Q

0\

T-t

•\

•=3-

»\

CO

•«

?

•^

m

T-l t T-l T-l

•k

CT\

in•»

m

T-li

s

T-l

cr\

r^

T-l

-=3- K\

11

r^

T-l CM 00

<D t-- CMr^v

(14)

> ^ O > > < D > ^ ^ > > X ^

.0 • ^ ^ d-t <*-! ^ ( » - ) X ( _ X ( _ ( ( M ( » - I ;» CM

o o ^ o ^ o ^ o o o io o

<U 4-> ^ 4-> 4-> < U 4 - > ^ l 0 ^ ^ 4 - » - P + 3 X 4 ^

•H ?>> •H s-' 'H - 4-> ^ •H •H •H •r-l

J Q ^ ^ > ^ ^ O . H W ^ 3 ^ J Q < M ^

^ X ^ i ^ M ^ » ^ » ^ ? - . ^ F - , 0 ^

o • » o i Q - » o u ? - i X o o o o

IQ - -^ 0 '* -P

4-> +> (U '0 ^ 4 - » 4 ^ 4 - > * H

•» •» « » 4 ^ 4-a •» •> •\ ^ 0 4-3

K »• —— «\ Q «\ —— w —— —— ^_j 1

IQ IQ 0 IQ Q< E-< IQ IQ IQ IQ 0 IQ

•» ?-i

CQ 4->

CQ

•Ha

IQ

c ^ c r ^ c ^ c ^ 0 0 0 0 0 0 0 0 0 0

L n c \ ] ^ - i - 3 - c \ i - = r - ^ - K ^ K \ - = r ^ - < o o j o j o j o o r ^ c ^ o o i r \ L n o o o o L f ^ c ^ o j t - — o j v o r ^ o j ' ^ o o o ^ - i o j L n

r-l r-l v-f r-l | | T-I T-I C\j

K ^ v £ > T - « - = r L p k L p » - 3 - m o o j m c ^

O J I ^ - l r - 1 T-I v-t T - l ^ - l v - t O J

T - i c T N K ^ - s r ^ - m ^ r ^ \ \ - i o c ^ - = 3 - t ' - ^ - <

CM T - l T - t | V - l r < T - l | T - l | ^ I C \ j

• = r c r \ T - < 0 - = 3 " v i O C M O O - ^ - O C ^ I

^ - l | v - ( T - l | ^ - l » » r - l | T - I T H H I ^~1 1

o o ' ^ r r t ^ v o ' K ^ t ^ o ^ r T r ^ L r ^ o ' vo" o^ l

I I 1 + 1 I I T-t

N I »»

r ^ r ^ i ^ r ^ T - i r ^ o j c \ j c \ j T - i c \ j - = 3 - |

l l " l l 0

^ I - I T - I O v - l v - l T - < \ - l r - l T - l a

8 0

cr\ rQ v-i

<o t'— 0 (^ o cr\ v-i K\ t^- o-

<0 t^--

^(M

r^

oo T-( -=r m cy\

•=3- L n - = r c ^ T-I c ^ r ^ f - - r^ CM • ^ ^o oo

C7\ (i\ • -=3' D'— r^ {i\ 0 n» ni ^- ^3

S T - i t ^ - L n c M ^ o o S S ^ (NJ

T - | C C M » O O « C - ^ - f c C » C M »

• •H K^ C^ • n •H • T-I •r-l 0\ • 0

t ' - ^ i - = r r ^ v - i ? _ i « r - i ? - i ? - i 0 ^ ^ T-I Q ^ T - i - = 3 - ^ r T - i Q < ^ - Q < Q < i r » i - i o j r ^ t ^ r « ^ h ^ \ ^ - i T - < T - I r ^ r ^ v - i c ^ r ^ r ^ r ^ o ^ t ' - r ^ r ^ ^ o ^ D ^ o c ^ L n - ^ r O ^ - i T - I O \

C T \ - = 3 - C M - = 3 - L r » O J t ^ - t ^ - T - I O t > ~ ^ ~ ' ^ - 1 ^ —

L n - = r ^ - ^ - i L U t - i 0 - = r o c ^ r ^ O o o o o L r \ ( 7 \ o o o j - = r f ^ - ^ o o o o\ •=T ^ - C ^ C M oj o o o o c T N - r - f - 3 - L r \ c o c ^ O f ^ L n m ' < o o oj CM CM m r ^ \ K ^ r ^ K ^ - = r - 3 - ^ 3 - - = 3 - - = r m f ^ K ^ r ^ K ^ r ^ r ^ K ^ r ^ r ^ r ^ r ^ r ^ r ^ r ^

Références

Documents relatifs

For this representation, von zur Gathen, Kaltofen, and Shoup proposed several efficient algo- rithms for the irreducible factorization of a polynomial f of degree d

magnetic Laplacian, normal forms, spectral theory, semiclassical limit, pseudo differential operators, microlocal analysis, symplectic

So far, the strategy to obtain upper bounds for bilinear complexity of multiplication in F q n over F q , has always been to apply algorithms of type Chudnovsky on infinite

linear functional on an exterior algebra of test functions. In this Section the generating functional of the Schwinger functions of a free Dirac field will be

In this paper, we consider Lévy processes (X t , t ≥ 0) with no negative jumps (or spectrally positive), not drifting to +∞ and conditioned to reach arbitrarily large heights (in

In other words the set of regular and non-essential singular points is identical with the set of regular points with respect to the system Eo +

ii) In the case of a vanishing magnetic field, the Lifshitz asymptotics for random Schr¨o- dinger operator with repulsive random alloy-type potentials has been known since long ago

In this paper, we provide a new account on the spectral analysis of Dirac operators at the critical values by discussing the behaviour at ± m of the spectral shift function