MỞ ĐẦU
Năm 1969, D.A Eisenman trong luận án Tiến sĩ của mình [5] đã đưa ra khái niệm chuẩn Eisenman Ek trên một đa tạp phức. Trong trường hợp k = 1 nó chính là bình phương của metric vi phân Kobayashi [8]. Năm 1985, trong [6] I.Graham và H. Wu đã chứng minh được một số tính chất của Ek tương tự như tính chất của metric vi phân Royden- Kobayashi. Mục đích của luận văn này là tìm hiểu về chuẩn Eisenman và trình bày một cách có hệ thống các tính chất của nó.
Luận văn được chia làm ba chương.
Chương 1. Kiến thức chuẩn bị
Chương này trình bày các tính chất của nhóm tự đẳng cấu của Bn và metric vi phân Royden-Kobayashi làm cơ sở để trình bày các kiến thức ở các chương tiếp theo.
Chương 2. Các khoảng cách bất biến và chuẩn Eisenman trên Bn
Phần đầu của chương trình bày một số khoảng cách bất biến trên Bn và một số tính chất của chúng. Phần tiếp theo của chương là trình bày về chuẩn Eisenman trên Bn và các tính chất của chuẩn Eisenman trên Bn.
Chương 3. Chuẩn Eisenman trên đa tạp phức
Trong chương này chúng tôi đã trình bày khái niệm và một số tính chất của chuẩn Eisenman trên một đa tạp phức. Ngoài ra còn trình bày một số khái niệm như dạng thể tích nội tại Eisenman, độ đo Eisenman trên đa tạp, hyperbolic k- độ đo. Phần cuối chương xét cụ thể trường hợp E1 và chứng minh công thức tích của chuẩn Eisenman trên các đa tạp phức.
Luận văn được hoàn thành tại khoa Toán Trường Đại Học Sư Phạm Thái Nguyên dưới sự hướng dẫn tận tình của PGS.TS Phạm Việt Đức. Tôi xin bày tỏ lòng kính trọng và biết ơn chân thành đến người Thầy của mình .
Nhân đây cho phép tôi bày tỏ lòng kính trọng và biết ơn đến các thầy, cô trong tổ bộ môn Giải tích. Tôi xin chân thành cảm ơn các thầy, cô phản biện đã cho tôi những ý kiến quý báu để tôi hoàn thành luận văn này, tôi xin cảm ơn Ban Giám Hiệu, Khoa Toán, Khoa sau Đại học Trường Đại học Sư Phạm Đại học Thái Nguyên và những người thân đã tạo điều kiện giúp đỡ tôi hoàn thành luận văn này.
Do nhiều nguyên nhân khác nhau nên luận văn này không tránh khỏi thiếu sót và hạn chế, tôi mong nhận được sự góp ý của các thầy cô và các bạn.
Tôi xin chân thành cảm ơn!
MỤC LỤC
Mở đầu .2
Chương 1: Kiến thức chuẩn bị
1.1. Nhóm tự đẳng cấu của Bn 4
1.2. Metric vi phân Royden-Kobayashi .8
Chương 2: Các khoảng cách bất biến và chuẩn Eisenman trên Bn
2.1. Các khoảng cách bất biến trên Bn 20
2.2. Chuẩn Eisenman trên Bn . 32
Chương 3: Chuẩn Eisenman trên đa tạp phức
3.1. Các định nghĩa .36
3.2. Một số tính chất của Ek 37
3.3. Dạng thể tích trên đa tạp .40
3.4. Độ đo Eisenman trên đa tạp 41
3.5. Đa tạp hypebolic k- độ đo 42
3.6. Một số tính chất . . 43
3.7. Trường hợp k = 1 . .45
3.8. Công thức tích 48
Kết luận . 51
Tài liệu tham khảo 52
54 trang |
Chia sẻ: maiphuongtl | Lượt xem: 1561 | Lượt tải: 0
Bạn đang xem trước 20 trang tài liệu Luận văn Chuẩn Eisenman trên đa tạp phức, để xem tài liệu hoàn chỉnh bạn click vào nút DOWNLOAD ở trên
nên
M xF a c
suy ra
M x M xF a a F
.
Suy ra
1 1
M x M x M xF F a F a
a a
do đó
M x M xF a a F
.
1.2.3. Định lí
Cho M, N là hai đa tạp phức,
:f M N
là ánh xạ chỉnh hình thì ta
có
N Mf F F
, có nghĩa
N x M xF f F
với mọi
x xT M
. Đặc biệt nếu f là song chỉnh hình thì
N Mf F F
.
Chứng minh.
Lấy
:h r M
là ánh xạ chỉnh hình sao cho
' 0 xh
suy ra
:f h r N
là ánh xạ chỉnh hình sao cho
' 0 xf h f
suy ra
1
N xf f
r
và vì h bất kỳ nên ta có
N x M xF f F
.
1.2.4. Mệnh đề
Cho M1, M2 là hai đa tạp phức. Thế thì với mọi
1 2x y x yT M T M
ta có
1 2 1 2
ax ,M M x y M x M yF m F F .
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 11
Chứng minh.
Xét ánh xạ chiếu tự nhiên
1 2:j jM M M
, j =1, 2 nó là ánh xạ chỉnh
hình, theo định lý trên ta có
1 2 1 2
ax ,M M x y M x M yF m F F (1)
Xét
:j j jf r M
là ánh xạ chỉnh hình sao cho
' '1 20 , 0x yf f
.
Đặt
1 2,r min r r
thế thì ánh xạ chỉnh hình
1 2 1 2: ,f z r f z f z M M
thoả mãn
' 0 x yf
.
Do đó
1 2
1 2
1 1 1
ax ,M M x yF m
r r r
.
Có nghĩa
1 2 1 2
ax ,M M x y M x M yF m F F . (2)
Từ (1) và (2) ta có điều phải chứng minh.
1.2.5. Bổ đề (Royden).
Cho M là đa tạp phức và
:h r M
là ánh xạ với
0' 0 hh O
thì với
mọi số dương
s r
tồn tại ánh xạ chỉnh hình
1
: 1
m
H s M
sao
cho H là song chỉnh hình trong lân cận của O và
1 1,0,...,0H z h z
với
mọi
1z s
. Hơn nữa nếu h là nhúng địa phương thì H cũng là nhúng địa
phương.
1.2.6. Định lý
Cho M là đa tạp phức thế thì metric vi phân Kobayashi
:MF T M
là
nửa liên tục trên có nghĩa với mọi
T M
và mọi
0
thế thì tồn tại lân
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 12
cận U của
trong
T M
sao cho:
M MF F
với mọi
U
.
Chứng minh.
Lấy
x xT M
với
x xO
và
0
bất kỳ.
Suy ra tồn tại
0r
và ánh xạ chỉnh hình
:h r M
sao cho
0 , ' 0 xh x h
và
1
M x M xF F
r
.
Cố định
0 s r
sao cho
1
M xF
s
.
Bởi bổ đề Royden tồn tại ánh xạ
1
: 1
m
H s M
sao cho H là ánh
xạ chỉnh hình trong lận cận của
xO
và
,0,...,0H z h z
với mọi
z s
.
Đặt
1
1
m
D s
, và ta có
H O x
và
1
x
O
H
z
nên
1
1
D M x
O
F F
z s
Do
DF
liên tục nên tồn tại lân cận V của
1 O
z
trong
T D
sao cho
1
,D D
O
F F V
z
.
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 13
Vì H là song chỉnh hình quanh O nên chúng ta có thể lấy V sao cho
U H V
là lân cận của
x
trong
T M
và ánh xạ
:H V U
là song
chỉnh hình.
Lấy
U
bất kì thế thì tồn tại
V
sao cho
.H
Suy ra:
1
2M M D D M x
O
F F H F F F
z
vì vậy
MF
là nửa liên tục trên tại
x xO
.
Để chứng minh
MF
nửa liên tục trên tại
xO
chúng ta cố định W là lân cận
compact tương đối trong M. Lấy bất kỳ metric Hecmit trên lân cận của
W
.
Đặt
y= : W; y 1K T M y
Vì K là compact trong
\T M O
và
MF
là nửa liên tục trên K suy ra
MF
đạt
cực đại A trên K, lấy
L A
với mọi
0
, đặt:
yU= : W; yT M y
L
thế thì U là lân cận của
xO
trong
T M
, vậy với mọi
\y U O
ta có:
.
y y
M y M y y M
y y
M x
F F F
A F O
L
Suy ra
MF
nửa liên tục trên tại
xO
. Điều phải chứng minh.
1.2.7. Mệnh đề.
Cho M là đa tạp phức và S là tập con giải tích của M với
dim 2co S
thế thì
\M S MF F
trên M \ S.
Chứng minh.
Cho
:f r M
là ánh xạ chỉnh hình bất kỳ với
0f S
.
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 14
Ta chỉ việc chỉ ra với mọi số
' 0,r r
tồn tại ánh xạ chỉnh hình
: ' \g r M S
sao cho
' 0 ' 0g f
.
Đặt
1 1,M r M S r S
và
1 1: ,f z r z f z M
là ánh xạ đồ thị của f.
Theo bổ đề Royden vì
1f
là một phép nhúng nên tồn tại nhúng chỉnh hình địa
phương
1 1: ' 1
m
g r M
sao cho
1 1'r Og f
thế thì tập con giải
tích
1
1
1g S
của
' 1
m
r
có đối chiều
2 và không chứa 0.
Đặt
i 2 i2
1
: , w ' , w ' 1
'
m
m
z r z z r
r
.
Các giá trị chính quy của
chỉ là 0 và do đó
11 11 2codim g S
.
Gọi
2 2
1 1
: '
' '
m m
p r
r r
là phép chiếu tự nhiên thì
11 11p g S
không chứa tập mở khác rỗng nào.
Lấy
11 10 1 12
1
w , :
'
m
p g S O q M M
r
là phép chiếu tự
nhiên và đặt
21 0; ' , wg z r q g z z M
.
Rõ ràng
'g r S
và
' 0 ' 0g f
.
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 15
1.2.8. Định nghĩa
Giả sử X là một không gian phức, x và y là hai điểm tuỳ ý của X. Hol(D,X) là
tập hợp tất cả các ánh xạ chỉnh hình từ D vào X, được trang bị tôpô compact
mở. Xét dãy các điểm p0 = x , p1, ..., pk = y của X, dãy các điểm a0 , a1, ..., ak
của D và dãy các ánh xạ f0, f1, ... , fk trong Hol(D,X) thoả mãn
10 , , 1,...,i i i i if p f a p i k
.
Tập hợp
0 1 1,..., , ,..., , ,...,k k kp p a a f f thoả mãn các điều kiện trên được
gọi là một dây chuyền chỉnh hình nối x và y trong X.
Ta định nghĩa
,
1
, 0, ,
k
X D i x y
iα
infd x y a
.
trong đó
,x y
là tập tất cả các dây chuyền chỉnh hình nối x và y trong X .
Khi đó
:Xd X Y
là một giả khoảng cách trên X và gọi là giả khoảng
cách Kobayashi trên không gian phức X.
Tổng
1
0,
k
D i
i
a
được gọi là tổng Kobayashi của dây chuyền chỉnh hình
.
Nếu X không liên thông, ta định nghĩa
,Xd x y
với x, y thuộc các thành
phần liên thông khác nhau.
1.2.9. Định nghĩa
Không gian phức X gọi là không gian hyperbolic (theo nghĩa Kobayashi )
nếu giả khoảng cách Kobayashi dX là khoảng cách trên X, tức là
, 0 ,Xd p q p q p q X
.
1.2.10. Định lý
Giả sử X là đa tạp phức,
,x y X
. Khi đó
1 .
0
,X X
γ
d x y inf F t dt
,
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 16
trong đó infimun được lấy theo tất cả các đường cong trơn từng khúc
: 0,1 X
nối x với y và
.
/
t
t t .
Chứng minh.
Đặt
1 .
'
0
,X X
γ
d x y inf F t dt
.
Trước hết ta chứng minh tính chất giảm khoảng cách qua ánh xạ chỉnh hình
của
'
Xd
.
Thật vậy, giả sử
:f X Y
là ánh xạ chỉnh hình giữa các đa tạp phức. Ta
chứng minh
' ', ,Y Xd f x f y d x y
với mọi
,x y X
(1)
Giả sử
: 0,1 X
là đường cong
C
từng khúc nối x và y trong X.
Khi đó
: 0,1f Y
cũng đường cong
C
từng khúc nối f(x) và f(y)
trong Y. Từ đó ta nhận được (1).
Mặt khác, từ
2 2
DF ds
ta có
'
D DDd d
(2)
Từ đó theo định nghĩa của
Xd
ta suy ra
', ,X Xd x y d x y
với mọi
,x X
.
Để chứng minh chiều ngược lại, ta lấy
0
tuỳ ý. Khi đó có đường cong
C
từng khúc
: 0,1 X
từ x tới y sao cho
1 .
'
0
,X XF t dt d x y
.
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 17
Theo tính chất “Nếu X là đa tạp phức, thì FX là hàm nửa liên tục trên TX.
Nếu X là không gian phức hyperbolic đầy thì FX liên tục” thì
.
XF t
nửa
liên tục tại t trong đó
.
t
là liên tục. Từ đó có hàm
: 0,1h
thoả mãn
với phép chia
0 10 ... 1lt t t
, (3)
Ta có
i)
.
( ) 0;Xh t F t
ii)
1,
,1
j jt t
h j l
là các hạn chế của các hàm liên tục xác định trên các
lân cận của
1,j jt t
;
iii)
1 1.
'
0 0
,X XF t dt h t dt d x y
.
Do tích phân
1
0
h t dt
là tích phân Rieman nên tồn tại
0
sao cho với mỗi
phép chia
0 10 ... 1ks s s
mà
ax j j-1m s - s ;1 j k
.
Và với mỗi
[0,1]jp
;
1 j k
mà
j jp s
thì ta có
'1
1
,
k
j j j X
j
h p s s d x y
. (4)
Lấy tuỳ ý điểm
1, ,1j jp t t j l
. Trước hết giả sử rằng
.
p
p O
.
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 18
Lấy
, , mU D
là hệ toạ độ địa phương chỉnh hình quanh
p
với
0p
, trong đó
m dimX
. Khi đó ta đặt
1 : .mF D U X
Tiếp theo giả sử rằng
.
p
p O
. Khi đó có ánh xạ chỉnh hình
: rf D X
sao cho
.
.
' 0 ' 0 ,
2 ' 0 ,
1 1
' 0 .
2
X X
X
f f p
F p F f
F f h p
r
Lấy r đủ nhỏ, ta có ánh xạ chỉnh hình
1: mrF D D X
là song chỉnh hình
địa phương quanh O thoả mãn
1 1
,
2
h p F O p
r
, (5)
.
1 1/ /O OF z F z p .
Trong bất kỳ trường hợp nào ta cũng có lân cận Ip của p và đường cong
C
từng khúc
1: mp rI D D
sao cho
p O
và
pI
F
.
Với
2,ps I s O s - p
hoặc
2,0,...,0s s p O s - p
.
Từ (2) ta có khoảng mở
'
pI
trong
pI
sao cho
'
pp I
độ dài của
'
pI
nhỏ hơn
và
1'
2
, ' 1 'm
rD D
d s s s s
r
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 19
với
', ' ps s I
. Theo định nghĩa d ta có
1 1
'
m m
r rD D D D
d d
Từ đó, theo tính chất giảm khoảng cách qua ánh xạ chỉnh hình của
Xd
và (5)
ta nhận được
1 1
'
, ' , '
, ' , '
1 '
m m
r r
X X
D D D D
d s s d F s F s
d s s d s s
s s h p
(6)
Vì
1,j jt t
là compact với
1 j l
, có số dương
sao cho với bất kỳ
1, ' ,j js s t t
mà
's s
, ta có
1,j jp t t
với
', ' ps s I
.
Thực hiện phép chia đoạn [0,1] như sau:
0 10 ... 1ks s s
mà làm mịn
của (3) và
j j-1s - s
với mọi j. Lấy
0,1jp
sao cho
'
1, jj j ps s I
.
Khi đó từ (4) và (6) ta có
1
1
'
1
, 0 , 1 ,
1 1 , .
k
X X X j j
j
k
j j-1 j X
j
d x y d d s s
s - s h p d x y
Cho
0
, ta nhận được
', ,X Xd x y d x y
.
Ta có điều phải chứng minh.
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 20
Chương 2
CÁC KHOẢNG CÁCH BẤT BIẾN VÀ
CHUẨN EISENMAN TRÊN Bn
2.1. Các khoảng cách bất biến trên B
n
2.1.1. Định nghĩa
Cho
,, na b B
ta định nghĩa
n a t
1
1
2 22 2 2 22 2t
2 2
t t
b-a
ρ ,b = T b = Γ a
1- ab
1- a 1- b ab - a b + a-b
= 1- = .
1- ab 1- ab
Thường bỏ qua chỉ số dưới ta kí hiệu
n
.
2.1.2. Mệnh đề
ρ là khoảng cách trên Bn. Nó là bất biến đối với nhóm Aut(Bn) và giảm qua
các ánh xạ chỉnh hình từ Bn tới Bm. Tức là:
i) ρ( a, b) = ρ( b, a),
ii) ρ( a, b) = 0 khi và chỉ khi a = b,
iii) ρ( a, b) ≤ ρ( a, c) + ρ( c, b),
iv) ρ( T(a), T(b)) =ρ( a, b) với
nT Aut B
,
v)
, ,m nf a f b a b
với
: n mf B B
là chỉnh hình.
Chứng minh.
i) và ii) được suy ra từ Định nghĩa 2.2.1.
iv) Giả sử
1
aT a
S T T T
. Khi đó
0 0T aS T T a
.
Vì
nS Aut B
nên
0 .nS Aut B U n
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 21
Khi đó ta có
aT aT T S T
và
aT a a
T T b S T b T b
.
Từ đó kéo theo
., ,T a T b a b
Do iv), ta có thể giả thiết c = 0. Vì vậy để chứng minh iii) ta phải chứng minh
.aT b a b
Trường hợp 1:
Giả sử
t1- ab 1
. Khi đó
2 22t2
a 2
t
1- ab - 1- a 1- b
T b =
1- ab
2 2 22 2
Do 2.1.12t tab ab a b a b
2
a b
(vì
22tab a b
).
Trường hợp 2:
Giả sử
t1- ab <1
. Ta có thể giả thiết rằng
aT b > a
, từ 2.1.1 ta có
22
2
2
t
1- a 1- b
1- a <
1- ab
, hoặc 2
2
t
1- b
<1.
1- ab
Khi đó
.
22
2
a 2
t
2
2
2
t
222
1- a 1- b
T b = -
1- ab
1- b
<1+ a -
1- ab
<1+ a -1+ b a + b
Vậy iii) được chứng minh.
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 22
v) Giả sử
.
-1
af a
g z =T f T z
Khi đó
: n mg B B
và
,0 0g
do đó theo
bổ đề Schwars thì
a ag T b T b
.
Vế phải chính là
,,n a b
và
,a mf ag T b T f b f a f b .
Mệnh đề được chứng minh hoàn toàn.
2.1.3. Khoảng cách hyperbolic trên B
n
Trước tiên ta nhắc lại một số khái niệm.
Cho
,X
là không gian metric. Với
A X
(hoặc A X ) và 0r .
Đặt
; : ,B A r x X A x r
và
.; ;B A r B A r
,X
gọi là đầy đủ khi
;B a r
là compact
.a X
Bất đẳng thức tam giác chỉ ra rằng
( ; ; ') ; 'B B A r r B A r r
với
, ' 0r r
.
được gọi là cộng tính nếu đẳng thức xảy ra với mọi
, , 'A r r
.
2.1.3.1. Định nghĩa
Metric Bergman trên B
n
được định nghĩa bởi
2
ij
2
2
2, 1
.
1
1
i j
n
i j
i j
z z z
ds dz dz
z
Ta có
2ds
là metric Hermit trên B
n
.
Với
1
n
i
i
i
u a
z
,
1
n
j
j
j
v b
z
trong
,nz B
tích Hermit của u và v ứng với
2ds
kí hiệu là “
,
z
u v
” được xác định bởi
0
,
, . . [ . ]
,
t
z zz z z
z z
u v a d T b d T
T u T v
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 23
trong đó
1 na= a ,...,a
và
.1 nb= b ,...,b
Với
nzu Τ B
và ta định nghĩa
1
2 .,
z z
u u u
2.1.3.2. Mệnh đề
i)
, ,
z
zT
T u T v u v
với
nu Aut B
.
ii)
, ,
zf z
f u f v u u
với
: n nf B B
là chỉnh hình.
Chứng minh.
i) Lấy
.w=T z
Khi đó
wT T z =0,
vì vậy
w zT T = AT
với
A U n
,
hoặc
1
w zT T A T
.
Suy ra
w ww 0
0
.
, ,
( ), ( )
, ,
z z
t t t
z zz z
z z z
T u T v T T u T T v
A T u A T v
a d T A A d T b
T u T u u v
ii) Lấy
w= f z
và
w ,
-1
zg=T f T
ta có g(0) = 0.
Nếu
0 nv T B
ta có
2 2
00
, ,g v g v g v v v v
.
Cho
0,n nz zu T B v T u T B
thì ta có
w w0 0
0w
0
.
, ,
, ,
, ,z z z
g v g v T f u T f u
f u f u v v
T u T u u v
Mệnh đề được chứng minh.
2.1.3.3. Bổ đề
Cho
: n ng B B
là ánh xạ chỉnh hình, g(0) = 0 và
0 .nu T B
Khi đó
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 24
g u u
.
Chứng minh.
Ta có thể lấy toạ độ sao cho
1
, 0.u r
z
Khi đó tồn tại
mA U
sao cho
1 , 0.A g u A g u s sz
Vì
,A g u g u
ta có thể giả thiết
1
.g u s
z
Giả sử
1 ,0...,0 , 1.h z g z z
Ta có
1 1:h B B
là chỉnh hình, h(0) = 0
và do Bổ đề Schwarz ta có
' 0 1s h
.
Vì vậy
1
1
0 .
in
i
i
g
g u r rs r u
z z
Bổ đề được chứng minh.
2.1.3.4. Mệnh đề
Cho
1 1
,
k k
i j
j
i j
u a v b
z z
, là các véc tơ tiếp xúc của Bk(r) tại điểm z.
Với
kzu,v T B r
ta có
,
t
r r r r
z z z* z*2z 0z z
u,v
1
= a dg b dg = g u ,g v
r
ở đây
,
z
u v
là tích Hermit của u và v ứng với metric ds2,
,ja a jb b
là các ma trận cấp
1 k
,
jz z
là véc tơ cột.
Chứng minh.
Ta có
22
ij
2
2
22, 1
22
2
2 , 1
.
, ,
1
i j
k
i j
z
i j
k
i j i j t
i j
z z r z
u v ds u v a b
r z
z z a b r z a b
r z
(1)
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 25
Mặt khác,
.
t t
r r r r t
z z z zz z z
2
t
t
r22
2
2 t
r2
22
2
2t 2 t
2
22
2
2t t 2 t
2
22
2 k
2i i j j 2 t
2
22 i, j=1
a dg b dg = a dg dg bz
r
= a z z brr - z
r
= a z b
r - z
r
= a z z+ r - z I b
r - z
r
= a z z b + r - z a b
r - z
r
= a z z b + r - z a b
r - z
(2)
Từ (1) và (2) ta có
.
t
r r
z z2z z z
1
u,v = a dg b dg
r
Hơn nữa,
1
1
.
,
k
r j r r
z z zj z
j
k
r j r r
z z zj z
j
g u a g a dg
z
g v b g b dg
z
Vì vậy
2
00
2
0, 1
2
.
, ,
1
,
1
. . ,
r r r r
z z z z
jk r r
i
z z
i j
t
r r
z z zz z
u v ds u vg g g g
dz d z u vg g
r
a dg b dg u v
r
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 26
2.1.3.5. Mệnh đề
Với mỗi
( )nh Aut B r
ta có h là đẳng cự ứng với metric Bergman
2ds
trên
.nB r
Chứng minh.
Ta chỉ ra rằng
2 2 ,h ds ds
tức là với
, nzu v T B r
, ta có
, ,
zh z
h u h v u v
.
Thực vậy, giả sử
w=h z .
Khi đó
w
rg w =0.
Vậy
,r rw zg h A g
với mỗi
A U k
(do
wr n rg h Aut B
và 1.1.2.4).
Vì vậy ta có:
w ww 0
0
, ,
,
r r
r
z z
h u h v g h u g h v
rA g u A g v
0
., ,r rz z zg u g v u v
2.1.3.6. Mệnh đề
Cho
1
n
i
j j i
i
u a
z
là véctơ tiếp xúc của Bn(r) tại điểm 0,
nj 0u T B r , j 1,...,n
. Khi đó
,ti j 0det u ,u = det A A
trong đó
,jiA a Mat k
.
2.1.3.7. Định nghĩa
Metric
2ds
xác định một khoảng cách trên Bn như sau.
Với
,n nz B u T Bz
ta định nghĩa
1
1 2 ., ,n z u u u z
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 27
Với
, na b B
ta có
1
1 1
0
, , , 'n n na b a b inf t t dt , trong đó là đường cong trơn
từng khúc nối a và b trong Bn}.
1, ,na b a b
được gọi là là khoảng cách hyperbolic giữa a và b trong Bn
Chú ý.
Với mỗi a và b trong Bn tồn tại duy nhất đường cong
nối a và b sao cho độ
dài của nó lấy theo
2ds
xác định
,a b
. Đường cong này gọi là đường trắc địa
giữa a và b.
Đường trắc địa giữa 0 và b chính là đường thẳng
,0 1t tb t
.
2.1.3.8. Mệnh đề
) , , , ni Ta Tb a b T Aut B .
) , , ,m nii f a f b a b
với mọi
: n mf B B
chỉnh hình và
, na b B
.
Chứng minh. Được suy ra từ 2.1.3.2.
2.1.3.9. Hệ quả
Cho
, ,: m n n mi B B
định nghĩa bởi
1 1,..., ,..., ,0,...,0m mi z z z z
.
Khi đó với mỗi
, ,ma b B
ta có
., ,m na b ia ib
Do đó nếu đồng nhất Bm với
m ni B B ,
thì
n
hạn chế trên mB trùng với
.m
Chứng minh.
Định nghĩa
: n mB B bởi
1 1 .,..., ,...,n mz z z z
Khi đó
mB
i id
và
.
, ( ), ( )
( ), ( )
,
m m
n
m
a b i a i b
i a i b
a b
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 28
2.1.3.10. Mệnh đề
,
1+ ρ a,b1
λ a,b = log
2 1- ρ a,b
trong đó
ρ a,b
được xác định trong 2.1.1.
Chứng minh.
Giả sử b = 0,
,,0,...,0 0.a r r
Khi đó
21 1
1
2 2
0 0
1
2
1
0, ,
1n
r r
a ta a dt dt log
t r r
.
Nhưng
0,a a r
. Từ đó ta có điều phải chứng minh.
2.1.3.11. Hệ quả
0 0a,b a,b
λ a,b λ a,b
1= lim = lim
ρ a,b ρ a,b
.
Tiếp theo ta xét
,B a r
với
0 1.r
Chú ý rằng với
1 1+r
r' = log
2 1-r
ta có
, , 'B a r B a r
.
2.1.3.12. Bổ đề
Cho
,0,...,0 ,0 1, 0 1na s B s r
. Giả sử
, 1,...i i iz x iy i n
là
các toạ độ Ơclit của Bn. Khi đó
2 2
2 2 22
2 2
1 1
22 2 2 2 2 22
1 11
, :
1 1 1
n
n i
i
z
s r r ss
B a r z B x y
r s r s r s
.
Chứng minh.
Ta có
,a z r
khi và chỉ khi
2 2.aT z r
Ta xét với
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 29
1 2 2 2
1 1 1
; ;...;
1 1
1 1 1
n
a
z s s z s z
T z
sz sz sz
.
Tính toán trực tiếp ta có điều phải chứng minh.
2.1.3.13. Hệ quả
Cho
, 0 1.na B r
Khi đó
,B a r
(hoặc
,B a r
) là lồi, và đối xứng
qua đường thẳng
,ta t
.
Chứng minh.
Nếu
,na B
tồn tại
A U n
với
,0,...,0Aa a
.
Khi đó
1 ., ,B a r A B a r
2.1.3.14. Mệnh đề
Tồn tại khoảng cách
trên
nB
thoả mãn:
i)
là tương đương tôpô với khoảng cách Ơclit.
ii)
, , ,f a f b a b
với
: n nf B B
là ánh xạ chỉnh hình.
iii)
; ; ;B A r s B B A r s
.
Khoảng cách
là duy nhất sai khác một hằng số nhân dương.
Chứng minh.
Ta có
thoả mãn i), ii) là hiển nhiên.
thoả mãn iii) vì nó là khoảng cách
Riemann và vì
,B A r
là compact tương đối nếu A là bị chặn.
Ta chứng minh tính duy nhất .
Giả sử
là một khoảng cách trên
nB
mà thoả mãn i) ii) và iii). Lấy
1,0,...,0e
. Với
0 1r
xác định
0,h r re
. Do i) ta suy ra h là liên
tục. Do ii),
là hoàn toàn xác định bởi h.
a) Ta chứng minh h là tăng chặt.
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 30
Cho
0 1t
. Khi đó
z tz
là ánh xạ chỉnh hình từ
nB
tới chính nó. Do đó
theo ii) ta có
h tr h r
. Vậy h là không giảm. Nếu h là không tăng chặt thì
có
0r
và s với
0 0 1r r s
và
0 0h r t h r
với
0 t s
. Vì
là khoảng
cách,
0 0r
và ta có thể giả thiết
0h r h r
với
00 r r
.
Với
,n
lấy
0nr r
sao cho
0
1
nh r h rn
.
Điều này kéo theo
00;B h r
là tập con của
1
0; nB h r n
. Nhưng
vì h là không tăng nên ta có
0
1 1
0; ; : ;nnB B h r B z B z rn n
.
Với n đủ lớn ta có vế phải là tập con thực sự của
0 0 0: 0; 0;nz B z r s B h r s B h r
. Do đó với n đủ lớn ta có
1
0; ;nB B h r n
là tập con thực sự của
1
0; nB h r n
, điều này mâu
thuẫn với iii). Vậy h là tăng nghiêm ngặt.
b) Với
, 0, ;na B s B a s
là một elipsoid và do đó là lồi đối xứng qua
đường thẳng
ta t
.
Theo a) ánh xạ h có ánh xạ ngược g, với
, 0;nz B z s
nếu và chỉ nếu
,h z s
tương đương với
.z g z
Với
,na B
ta có
theo )
.
; 0;
:
:
a
n
a
n
a
iiB a s T B s
T z B z g s
z B T z g s
Do đó b) được suy ra từ 2.1.3.13.
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 31
c) Giả sử
, 0, 1.r s r s
Khi đó
0; 0; ;r s e re re r s e .
Giả sử
0; r s e
,
0;re
.
Khi đó
và từ iii) ta suy ra
0; 0; ;B B B
.
Vậy
0; 0; ;r s e y y r s e .
Ta có
0; y
,
;y r s e
.
Vì vậy
0; ;y B B r s e K
.
Theo b) K là lồi, đối xứng qua đường thẳng
te t
. Nếu K là điểm đơn
re thì nó phải chứa một điểm trong của
B 0;
, gọi là y’, do đó
0; ' , ';y y r s e .
Từ đó kéo theo
0; r s e
, điều này mâu thuẫn.
Vì vậy
y K re
, hoặc y = re
và
0; 0; ;r s e re re r s e .
d)
21
s
h r s h s h
r rs
.
2
2
( ))
.
, 0, do
0,
1
1
rere r s e T r s e ii
s
e
r rs
s
h
r rs
Từ đó c) kéo theo d).
e) h(r) là hằng số nhân của 1 1
2 1
r
log
r
.
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 32
Vì h là tăng chặt nên h là khả vi với hầu hết r. Gọi r0 là một hằng số r như vậy.
Khi đó
2
0 0 0 0 2
0 0
2
0 0
1
1
1
s
h
r r s h r s h r
r r s
s s
r r s
.
Vế trái có giới hạn, do đó vế phải cũng có giới hạn, tức là h khả vi tại 0.
Khi đó với bất kỳ
0r
ta có
2
2 2
1
1
1
1 rs r
s
h
h r s h r r s r
ss
r s r
và khi
0s
thì nó dần đến
2
' 0
1
h
r
.
Vậy
'h r
tồn tại và bằng
2
' 0
1
h
r
.
Khi đó
2
0
' 0
1
r dt
h r h
t
( h(0) = 0),
hoặc
2
' 0 1
1
h r
h r log
r
.
Vì vậy
2
1+ ρ a,bh' 0
γ a,b = log =h' 0 λ a,b
1- ρ a,b
.
Mệnh đề được chứng minh hoàn toàn.
2.2. Chuẩn Eisenman trên B
n
2.2.1. Định nghĩa
Cho
nz B
và
1 2, ,..., nk zv v v T B
. Ta định nghĩa chuẩn Eisenman trên Bn
như sau:
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 33
1
2k
n 1 k i j z
λ z;v ,...,v = det Re v ,v
.
Ta thường viết
;kn jz v
thay cho
kn 1 kλ z;v ,...,v
.
2.2.2. Mệnh đề
Cho
,n nT Aut B z B
và
n1 2 k zv ,v ,...,v T B
. Khi đó
; ;k kn j n jz v Tz T v
.
Chứng minh. Được suy ra từ Mệnh đề 2.1.3.2.
2.2.3. Mệnh đề
Cho
: n nf B B
là ánh xạ là chỉnh hình,
nz B
và
1 2, ,..., nk zv v v T B
.
Khi đó
., ;k km j n jf z f v z v
Để chứng minh Mệnh đề trên ta cần các Bổ đề sau:
2.2.4. Bổ đề
Cho
1
, 1,...,
n
i
j j i
i
v a j k
z
là các phần tử của
0 nT B
và A =
ija
.
Khi đó
i)
1
t 2
k
n 1 kλ 0;v ,...,v = det ReA A
.
ii) Giả sử với m = 1,…,k,
1
k
j
m m j
j
u c v
và
ijC c
với
i
jc
. Khi đó
k kn j n j.λ 0;u = detC λ 0;v
.
Chứng minh.
i)
0
1
., , 1 ,
n
m m
i j i j
m
v v a a i j k
ii)
1 1 1
n k n
j i i
m m j mi i
i j i
u c a b
z z
. Đặt
imB b
, B=CA. Khi đó
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 34
t tt 2
det Re B B = det Re CA AC = detC det Re A A
.
Do C và
t
Re A A
là các ma trận cấp
k k
và
.
t t
tRe CA AC =C Re A A C
2.2.5. Bổ đề
Nếu
nz B
và
1 2, ,..., nk zv v v T B
là phụ thuộc tuyến tính trên thì
; 0kn jz v
.
Chứng minh.
Do 2.2.2 ta có thể lấy z = 0. Giả sử
1
0,
k
j j
j
j
v
và giả sử
0k
.
Khi đó, với
1 ,1j k i k
ta định nghĩa
j j
kc
và
j j
i ic
. Rõ ràng
jiC c
là ma trận khả nghịch. Giả sử ui = vi , 1 i k và uk = 0.
Khi đó
1
k
j
i i j
j
u c v
, và áp dụng Bổ đề 2.2.4 ii) cho ta
-1
k k
n j n jλ 0;v = detC λ 0;u
.
Hơn nữa ta có
0; 0kn ju
.
Do đó
0; 0kn jv
. Bổ đề được chứng minh.
2.2.6. Bổ đề
Ta có
1 1; ,..., ...
k
n k kz z
z v v v v .
Chứng minh.
Do 2.2.2 ta có thể lấy z = 0. Nếu
1 2, ,..., kv v v
là phụ thuộc tuyến tính trên
thì bổ đề được suy ra từ Bổ đề 2.2.5.
Giả sử
1 2, ,..., kv v v
là - độc lập tuyến tính và giả sử L là - không gian
vectơ span{
1 2, ,..., kv v v
} trong
0 nT B
. Xét L như là không gian vectơ thực với
tích vô hướng định nghĩa bởi
0
u,v = Re u,v
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 35
và cho
1 2, ,..., ku u u
là cơ sở trực chuẩn của L.
Khi đó
1
,
k
j j
j i j i
j
v c u c
và
2
2
1
k
i
j j
i
v c
.
Đặt
jiC c
. Khi đó
2 22 2
11
0; det 0; det
k k
k k i
n j n j j
ij
v C u C c
,
vì
1
),..., kjjc c
là hàng thứ j của C và vì vậy
1 .0, ...kn j kv v v
Chứng minh Mệnh đề 2.2.3.
Do 2.2.2 ta có thể giả sử z = 0 và f(0)=0. Do 1.3.5 ta cũng có thể giả sử
1 2, ,..., kv v v
độc lập tuyến tính trên
.
Giả sử L là không gian tuyến tính thực sinh bởi
1 2 ,, ,..., kv v v
được xem như
không gian vectơ với tích vô hướng
0
u,v = Re u,v
. Giả sử
1 2, ,..., ku u u
là cơ
sở trực chuẩn của L.
Khi đó,
1
k
j
j j i
j
v c u
,
i
jc
và
0; detkn jv C
, ở đây
.ijC c
Do đó
1
,
k
i
j j i
i
f v c f u
và ta có
(do 2.2.4)
... (do 2.2.6)
... (do 2.1.3.3)
.
(do
2 22
k k
n * j n * j
2 2 2
* 1 * k
2 2 2
1 k
2
i
2
k
n j
λ 0; f v = detC λ 0; f u
detC f u f u
detC u u
= detC u =1)
= λ 0;v
Định lý được chứng minh.
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 36
Chương 3
CHUẨN EISENMAN TRÊN ĐA TẠP PHỨC
3.1. Các định nghĩa
Cho M là đa tạp phức n chiều,
.p M
Ta kí hiệu TpM là không gian tiếp xúc
chỉnh hình với M tại p,
p
p M
TM T M
là phân thớ tiếp xúc chỉnh hình của M.
Gọi kTM là tích ngoài k lần của TM .
Các phần tử phân tích được của
k
pT M
(tương ứng kTM ) được kí hiệu bởi
k
pD M
(tương ứng
kD M
) nghĩa là các phần tử có dạng
1 ... kv v
với
, 1,...,i pv T M i k
sao cho
1,..., kv v
độc lập tuyến tính. Khi đó
k
pD M
là các
không gian con phức k chiều của
pT M
. Nếu
là metric Hermit trên TM, nó có
thể được mở rộng thành metric Hermit trên kTM như sau:
Với
, ,kpD M 1 1... , w ... wk kv v thì
i jα,β det v ,w
với i,j =1,…,k và mở rộng tuyến tính tới phần tử tuỳ ý
của
.k pT M
Kí hiệu
2
.,
Nếu
có một hướng vuông góc với tất cả các vectơ
trong
thì
, 0.
Ta đồng nhất
với span
1 k,...,v v
và
với
span
1 kw ,...,w
.
3.1.1. Định nghĩa
Ta gọi
, kpD M
là trực giao ngặt nếu bất kỳ một vectơ trong
đều trực
giao mọi véctơ trong
.
3.1.2. Định nghĩa
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 37
Cho k là một số nguyên bất kì, k = 1,…,n, và giả sử
, .kpD M p M
Chuẩn
nội tại Eisenman của
được định nghĩa bởi:
2 0; , kk kE p inf D B
và tồn tại ánh xạ chỉnh hình
: kf B M
sao cho
0f p
và
.f
3.2. Một số tính chất của Ek
3.2.1. Mệnh đề
:-2kkE p;α =inf R
tồn tại ánh xạ chỉnh hình
: kf B R M
thoả mãn
0f p
và
1
... 0
k
f
z z
.
Chứng minh.
Đặt
1 -2kk :E p;α =inf R
tồn tại ánh xạ chỉnh hình
: kf B R M
thoả mãn
0f p
và
1
.... 0
k
f
z z
22 k kk 0E p;α =inf γ , γ D B
và tồn tại ánh xạ chỉnh hình
: kf M
sao cho
0f p
và
.f
Ta sẽ chứng minh
1 2; ;k kE p E p
.
Trước hết ta chứng minh 1 2E E .
Xét ánh xạ chỉnh hình
: kf B R M
thoả mãn
0f p
và
1
... 0 .
k
f
z z
(1)
Xét ánh xạ
: ;kf B M z f Rz
. Ta có
0 0 .f f p
Hơn nữa,
1 1 1
1 1
0... 0 ... 0 . ...
. ... 0 . ... 0 . .
k k k
k k k
k k
f f f R f
f R
z z z z z z
f f
R R f R
z z z z
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 38
Do đó
1
1
... 0 ;
k
k
f
R z z
trong đó
0
1
1
... 0 k k
k
k
D B
R z z
và
22 2
1
1 1 1
... 0
k k k
k
E
R z z R R
.
Vậy
2kinf
1
R
và tồn tại ánh xạ chỉnh hình
: kf B M
sao cho
0f p
và
f
2 1 2E E E
.
Ngược lại ta chứng minh 1 2E E .
Xét ánh xạ
: kf B M
sao cho
0f p
và
f
(2) trong đó
0
k kD B
có dạng
1
... 0 ,
k
a a
z z
.
Đặt
2 2
2
1 1
k
k
a
a
R
R
. Ta xây dựng ánh xạ chỉnh hình
: kf B R M
với r là một căn bậc k của
a
,
1
r
R
.
Khi đó
1 1 1
1 1
... 0 ... 0 . ... . 0
. ... 0 . ... 0
.
k k
k
k k
f f f f
f r r
z z z z z z
k
f f
r a f
z z z z
f a
Nên
221 1
2
1
inf
k
E E
R
: thoả mãn (2)} = E
2
.
Vậy 1 2E E . Mệnh đề được chứng minh.
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 39
Ở trên nếu ta không yêu cầu
0f p
thì ta cần lấy chuẩn
2
ứng với
mêtric Bergman trong B
n
và sử dụng k-vectơ đơn vị lấy theo metric Bergman
thay cho
1
.... 0
kz z
3.2.2. Mệnh đề
Khi kM thì với
; kpp M D M
ta có
; 0kE p
.
Chứng minh.
Với mọi
0R
, vì kM và
k k
pD
nên
có dạng
1
...
k
a
z z
với
.a
Giả sử r là một căn bậc k của a.
Xét ánh xạ
: kf B R M
.z rz p
Rõ ràng f là ánh xạ chỉnh hình thoả mãn
0f p
và
1 1
1 1
... 0 ...
... ... .
k k
k
k k
f f
f p
z z z z
r p a p
z z z z
Vậy
2
1
;k kE p R
.
Cho
R
ta có
; 0.kE p
Điều phải chứng minh.
3.2.3. Nhận xét
.) E1 là bình phương metric Royden- Kobayashi (xem [8]).
.) Nếu thay Bk trong vế phải định nghĩa Ek bởi B
l
(với
l k
) thì kết quả
tương tự (Xem 2.9 (ii) [5]).
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 40
.) Hàm
: 0,kk ME D
là nửa liên tục trên.
Chứng minh.
Với
k n
, Eisenman đã chứng minh trong bổ đề 2.5 [5].
Trường hợp tổng quát với k tuỳ ý được suy ra từ Royden (Xem [8])
.) Nói chung Ek không liên tục (xem[6]).
.) Với k = n, En có thể định nghĩa như sau:
Cho
1 nw ,...,w
là toạ độ phức quanh
.p M
Khi đó
:-2
1 n
pE p, ... =inf Jf 0n w w
tồn tại ánh xạ chỉnh hình
: nf B M
sao cho
0f p
ở đây Jf là kí hiệu của định thức Jacôbi của f.
3.3. Dạng thể tích trên đa tạp
3.3.1. Định nghĩa
n
M n 1 1 n n
1 n
-1
τ p = E p, ... p dw dw ... dw dw
w w 2
được gọi là
dạng thể tích nội tại trên đa tạp M.
3.3.2. Nhận xét
i) Dạng định nghĩa sau của
M
chỉ ra rằng nó độc lập với việc chọn hệ toạ độ:
Giả sử
1 1 ...
2
n
n n n
i
dz d z dz d z
. Khi đó
1
f 0 :M np inf
có ánh xạ chỉnh hình
: nf B M
sao cho
0f p
và df(0) không suy biến }.
ii) Ta có thể dùng dạng thể tích của metric Bergman trên Bn thay cho
n
trong
định nghĩa trên.
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 41
3.3.3. Định nghĩa
Cho A là đa tạp con phức k chiều của một tập mở
U M
(gọi là đa tạp con
phức địa phương của M) ta định nghĩa dạng thể tích nội tại
M
A
trên A như sau:
Với
p A
và
1 kw ,...,w
là toạ độ địa phương quanh p sao cho
1 k
...
w w
là tiếp xúc với A tại p.
Khi đó
1 1
1
1
; ... w w ... w w
w w 2
k
M
A k k k
k
p E p p d d d d
.
3.3.4. Nhận xét
Định nghĩa
M
A
tương đương với
-1
M
A pτ =inf f θ 0 :k
có ánh xạ chỉnh hình
: kf B M
sao cho
0f p
và df(0) không suy biến và
0 k pdf T B T A
.
Điều này chứng tỏ định nghĩa 3.3.3 không phụ thuộc vào việc chọn bản đồ toạ
độ địa phương
1 kw ,...,w
quanh p.
Chú ý rằng Ek là nửa liên tục trên. Vì thế
M
A
là 2k-dạng khả tích trên A.
3.3.5. Định nghĩa
Thể tích nội tại của A được định nghĩa bởi
.Mk A
A
I A
Đặc biệt thể tích nội tại của tập con mở U của M là
.n M
U
I U
3.4. Độ đo Eisenman trên đa tạp
3.4.1. Định nghĩa
Tương ứng
kA I A
xác định một độ đo Borel trên mỗi đa tạp
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 42
con phức k chiều của đa tạp M gọi là độ đo Eisenman. Trong [5] Eiseman đã đưa
ra độ đo Borel khác trên mỗi tập A như sau:
Cho
k
là độ đo Borel trên Bk, xác định bởi phép lấy tích phân lấy theo phần
tử thể tích của metric Bergman trên Bk. Khi đó
k k i
i=1
I A =inf λ E
; với mọi
,kiE B
và tồn tại ánh xạ chỉnh hình
: kif B M
sao cho
1
i i
i
A f E
.
Chú ý rằng các độ đo
kI
và
kI
đều có tính chất giảm qua các ánh xạ chỉnh
hình. Hơn nữa, trên Bn, có các hằng số Cn,k sao cho
,k n k kI A C I A
.Với mỗi
đa tạp con phức địa phương k chiều A của Bk (Xem [5] mệnh đề 1.5 và mệnh đề
2.4).
Tổng quát ta có:
3.4.2. Bổ đề
Trên đa tạp phức n chiều tuỳ ý ta có
,k n k kI C I
.
Với n = k, Bổ đề được chứng minh bởi Eisenman ([5], mệnh đề 2.13). Chứng
minh tổng quát được lập luận tương tự như của Eisenman và áp dụng tính nửa
liên tục trên của Ek.
3.5. Đa tạp hypebolic k- độ đo
3.5.1. Định nghĩa
Một đa tạp phức n chiều M được gọi là hyperbolic k-độ đo nếu với mỗi đa
tạp con phức địa phương k chiều A của M,
A
ta có
0kI A
Trường hợp k = n thì M được gọi là hyperbolic độ đo.
Đa tạp M được gọi là hyperbolic k- độ đo mạnh nếu mỗi tập compact K M
có hằng số dương cK sao cho
2
,k KE p c
với mọi p
K và mọi
k
pD M
.
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 43
Trường hợp k = n thì M được gọi là hyperbolic độ đo mạnh.
Một đa tạp phức M được gọi là Ek hypebolic nếu
, 0kE p
mỗi p
M và
mỗi
.kpD M
3.5.2. Định nghĩa
Đa tạp phức M được gọi là hầu hypebolic nếu tồn tại đa tạp con thực sự
V M
sao cho M là hypebolic tại mỗi điểm của
\ ,M V
theo nghĩa với mỗi
tập con compact K của
\M V
tồn tại một hằng số dương
kc
sao cho
2
1 , , ,k pE p X c X p K X T M
.
3.6.Một số tính chất
3.6.1. Định lý
i) Cho
: M N
là ánh xạ chỉnh hình giữa các đa tạp phức có số chiều lớn
hơn hoặc bằng k. Khi đó
; ; , .N M kk k ppE d E p p M D M
ii) Nếu M là hình cầu đơn vị Bn, n k , thì
2
,,MkE p
trong đó
kí hiệu chuẩn mêtric Bergman trên Bn. .
Chứng minh.
i) Lấy bất kì
,p M
và
k
pD M
.
Giả sử có ánh xạ chỉnh hình
: ,kf B M
sao cho
0 ,f p f
trong đó
0
k kD B
.
Vì
:M N
là ánh xạ chỉnh hình giữa hai đa tạp phức nên ta có
: kf B N
thoả mãn
0f p
và
f d
.
Do đó khi lấy infimum theo f ta có
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 44
; ;N Mk kp pE d E p
.
ii) Được suy ra từ định nghĩa của
;MkE p
và Mệnh đề 2.3.3 (Chương 2).
3.6.2. Bổ đề
Cho
1 ,k l n
và cho
k
pT M
,
p
lT M
. Khi đó
.
Nếu cả
,
đều là phân tích được và
,k l n
dấu “=” xảy ra khi và chỉ
khi
trực giao với
.
3.6.3. Định lý
Giả sử
1 dim .k n M
Nếu M là hyperbolic k-độ đo mạnh thì M là
hyperbolic (k+1)- độ đo mạnh.
Chứng minh.
Lấy
0
bất kỳ.
Xét mêtric Hermit
,
trong TM rồi mở rộng lên lT M ( l =2,…,n).
Lấy
1, kpp M D M
sao cho
1
.
Giả sử tồn tại ánh xạ chỉnh hình
1: kf B M
sao cho
0f p
và
df
với
1 1
0
k kD B
thoả mãn
. Vì
và
1df
, nên tồn
tại một vectơ tiếp xúc u của Bk+1 tại 0 sao cho
1u
và
1
1kdf u
.
Lấy
1
0'
k kD B
sao cho nó trực giao với u. Đặt
' u
. Ta có thể coi
'
như là không gian tiếp xúc của kB tại 0. Do Bổ đề 3.6.2 ta có
'
và
1
1
1
1
.
.
1 '
'
'
'
k
k
df df df u
df df u
df
df
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 45
Do đó
'
và
1
1' kdf
nếu ta đặt 1
1 ',k
thì
1
0
k kD B
, với
1
k
k
và
1.df
Nếu M không là hyperbolic (k+1)- độ đo chặt, thì ta lấy dãy các số
dần
tới 0. Khi đó dãy
thuộc
1
0
k kD B
với
1
k
k
và
1df
mâu thuẫn với M
là hyperbolic k- độ đo chặt. Định lý được chứng minh.
3.7. Trường hợp k = 1
3.7.1. Bổ đề
Cho M là một đa tạp phức hyperbolic,
p M
. Khi đó tồn tại một hằng số
dương cp sao cho
1 ; , 1,p pE p c T M .
Chứng minh.
Giả sử không tồn tại hằng số
pc
như trên thì có các điểm
,i i pp M T M
với
,i ip p
sao cho
1i
và
1 .
1
;i iE p i
Theo định nghĩa của
1 ;i iE p
nên với mỗi i tồn tại ánh xạ chỉnh hình
1:if B M
và
10i T B
sao cho
0 ,i i i i if p f
và
2
i i
.
Với
0
, tồn tại số
0r
sao cho
1, :z r g B M
là chỉnh hình ta có
0 ; 0,Md g g z d z
.
Suy ra
;2rif B B p
với i đủ lớn.
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 46
Theo định lý Ascoli, tồn tại dãy con
ki
sao cho
k
r
gf
i B
ở đó
: rg B M
là chỉnh hình.
Chúng ta có g(0) = p và do
ki
f
chỉnh hình nên
ki
f g
và vì
0 0 0,
ki i i
f g
như vậy
0i pT M
. Điều mâu thuẫn này
đã chứng minh Bổ đề.
3.7.2 Định lý
Cho M là đa tạp phức thì M là E1 – hyperbolic nếu và chỉ nếu M là
hyperbolic theo nghĩa Kobayashi.
Chứng minh.
Đặt
1 ; ;E p E p
. Ta biết rằng M là đa tạp hyperbolic nếu và chỉ nếu
giả khoảng cách Kobayashi dM là khoảng cách, trong đó
b
M M
a
d x; y = L γ = E γ t ;γ' t dtinf
(Xem 1.4.8)
Đa tạp M là E1- hyperbolic nếu và chỉ nếu
11 ; 0, , p pE p p M D M T M .
t
là đường cong khả vi từng khúc nối x, y trong M.
' t t
t
là một véc tơ tiếp xúc thực của
pT M
thì
.p pT M
' p pt
và chúng ta đặt
; ' 2 ; pE t t E t
.
Điều kiện cần.
Ta có thể coi
là trơn vì nếu không ta chia
ra các đoạn nhỏ mà từng đoạn
đó thì
trơn từng khúc.
Cho
x y M
, ta có
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 47
M; L ; '
b
M
a
d x y inf E t t dt
.
Tham số hoá
theo độ dài cung
s s t
thì
' '
ds
s t
dt
và
' 1s
.
Do đó
M
M
0
.
; L ; '
L ; '
b
M
a
l
d x y inf E t t dt
inf E s s ds
Theo Bổ đề 3.7.1, tồn tại lân cận U của x và hằng số c > 0 sao cho
; , , , 1pE q c q U T M .
Suy ra
0
; 0Md x y cds c
.
Vậy M là đa tạp hyperbolic.
Điều kiện đủ.
Ta cần chứng minh
pE p; 0, p M , T M .
Theo Bổ đề 3.7.1
ta có
; ; 0E p E p
. Vậy định lý được chứng minh.
3.8. Công thức tích
3.8.1. Định lí
Cho M và N là đa tạp phức có số chiều tương ứng là m và n. Lấy
,1 , 1k m l n
và
, .p M q N
Giả sử
, , ,
k l
p q
D M N
trong
đó
,k lp qD M D N
thì
, ; , ,M N M Nk l k lE p q E p E q .
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 48
Chứng minh.
Đầu tiên ta chứng minh
, ; , ,M N M Nk l k lE p q E p E q .
Cho
0
bất kì, lấy
1 :
kf B M
và
2 :
lf B N
là các ánh xạ chỉnh hình
sao cho
1 0 ,f p
2 0f q
và với
1 0 2 0w ,w
k k l lD B D B
ta có
1 1 1
2 2 2
1
w , w , ;
2
1
w , w , .
2
M
k
N
l
df E p
df E q
Có thể coi k l k lB B B . Khi đó ta có
1 2 0w w
k l k lD B
và
1 2, : k lf f f B M N
là ánh xạ chỉnh hình sao cho
1 20 , , w wf p q df .
Vì
1 2 1 2w w w w
nên ta có
2 2 2
1 2 1 2
.
, ; w w w w
, ,
M N
k l
M N
k l
E p q
E p E q O
Trong đó
0 khi 0O
. Vậy
M N M N
k l k lE E E
.
Ngược lại, ta chứng minh
., , , ;M N M Nk l k lE p E q E p q
Giả sử
: k lf B M N
là ánh xạ chỉnh hình sao cho
0 ,f p q
và
0w
k l k lD B
. Ta có
wdf
, trong đó
2w , ;M Nk lE p q
.
Vì
0w
k l k lD B
nên w có dạng
1 k l
w=a ... 0
z z
với
, 0a a
nào đó. Ta có
wa
.
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 49
Nếu cần bằng phép biến đổi unita trên
k+1
(và trên B
k+1
). Ta có thể giả thiết
1 k
df b ... 0
z z
với
, 0b b
.
Vì
df w
1 k k 1 k l
k 1 k l
df b ... 0 df b ... 0
z z z z
a
df ... 0 ,
b z z
nên ta có
1
... 0 .
k k l
a
df
b z z
(*)
Giả sử
1 2: , :
k k l l k li B B i B B
là các phép nhúng cảm sinh bởi phép nhúng
chính tắc
0k k k l
và
0l l k l
.
Gọi
1 2: , :M N M M N N là các phép chiếu chính tắc. Nếu
1 1 1f f i
và
2 2 2f f i
thì
1 2: , :
k lf B NM f B N
là các ánh xạ
chỉnh hình thoả mãn
1 0f p
,
02f q
và theo (*) ta có
1
1
... 0 ,
k
df b
z z
2
1
... 0
l
a
df
b z z
.
Vì vậy
2
2 2 2
, , w
, ; .
M N
k l
M N
k l
a
E p E q b a
b
E p q
Cho
0
ta được điều phải chứng minh.
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 50
KẾT LUẬN
Luận văn nghiên cứu về chuẩn Eisenman trên đa tạp phức và đã đạt được
một số kết quả sau:
1. Trình bày được một số khoảng cách bất biến trong Bn và một số các tính chất
của chúng.
2. Trình bày khái niệm chuẩn Eisenman trên Bn và chứng minh được tính chất
giảm của chuẩn Eisenman qua các ánh xạ chỉnh hình (Mệnh đề 2.2.3.).
3.Trình bày khái niệm chuẩn Eisenman trên đa tạp phức và chứng minh được
một định nghĩa tương đương với khái niệm này (Mệnh đề 3.2.1.). Đồng thời
chứng tỏ chuẩn Eisenman trên k luôn bằng 0 (Mệnh đề 3.2.2.).
4. Trình bày các khái niệm dạng thể tích trên đa tạp, độ đo Eisenman trên đa
tạp, đa tạp hyperbolic k- độ đo.
5. Chứng minh một số tính chất của chuẩn Eisenman trên đa tạp như tính chất
giảm qua ánh xạ chỉnh hình (Định lí 3.6.1.), tính chất tích (Định lí 3.8).
6. Trình bày trong trường hợp k=1 thì tích E1 – hyperbolic tương đương với
tính hyperbolic theo nghĩa Kobayashi của một đa tạp phức.
Số hóa bởi Trung tâm Học liệu – Đại học Thái Nguyên 51
TÀI LIỆU THAM KHẢO
[1] Phạm Việt Đức, Mở đầu về lý thuyết các không gian phức hyperbolic,
NXB ĐHSP, 2005.
[2] Nguyễn Đức Minh, Về tính Ek- hyperbolic của đa tạp phức, Luận văn thạc
sĩ Toán học, ĐHSP Hà Nội, 2006.
[3] Đỗ Đức Thái, Cơ sở Lý thuyết hàm Hình học, NXB ĐHSP, 2003.
[4] Nguyễn Doãn Tuấn và Nguyễn Thị Thảo, A High-Dimensional version
of the Brody parametrization Lema, Proceedings of CFCA.Vol.5,2001,
163-175.
[5] A Eisenman, Intrinsic measures on complex manifold and holomorphic
mappings, Mem.Amer.Math.Soc.No.96. Amer.Math.Soc Provindence, R.I,
1970.
[6] Ian Graham and H. Wu, Some remarks on the intrinsic measures of
Eisenman, Tran.Amer.Math.Soc.Vol.288, No2, April 1985.
[7] IanGraham, Intrinsic measures and holomorphic retracts,Parafic journal of
mathematics.Vol 130, No 2, 1987.
[8] J.Nuguchi and T.Ochiai (1990), Geometric Function Theory in Several
Complex Variables,Translation ò Math. Monographs, Amer. Math.
Soc.,80.
Các file đính kèm theo tài liệu này:
- doc.pdf