i
LỜI CAM ĐOAN
Tôi xin cam đoan những kết quả được trình bày trong luận án là mới, được công bố
trên các tạp chí Toán học uy tín trong và ngoài nước. Các kết quả nêu trong luận án
là trung thực và chưa từng được công bố trong bất kỳ công trình nào khác.
Nghiên cứu sinh: Lê Giang
ii
LỜI CẢM ƠN
Luận án được hoàn thành với sự giúp đỡ và ủng hộ của nhiều người. Với lòng biết
ơn chân thành nhất, tôi muốn gửi lời cảm ơn sâu sắc tới tất cả những ai đã ủng hộ và
giúp đỡ tôi hoàn thành luận án này.
Trên hết tôi muốn gửi những lời biết ơn chân thành nhất tới hai người Thầy hướng
dẫn của mình là GS. Đỗ Đức Thái và GS. Gerd Dethloff, những người đã hết lòng giúp
đỡ, động viên và chỉ bảo tôi từ những bước đầu tiên cho đến những công việc cuối cùng
của luận án.
Tôi muốn gửi lời cảm ơn đến Trường Đại học Sư phạm Hà Nội và Trường Đại học
Tổng hợp Brest (Cộng hòa Pháp) vì sự giúp đỡ và tạo điều kiện thuận lợi mà hai
Trường dành cho tôi. Đặc biệt là Trường Đại học Sư phạm Hà Nội, nơi mà tôi đã và
đang học tập, công tác.
Tôi bày tỏ sự biết ơn chân thành đến Cục đào tạo với nước ngoài (Đề án 911) đã
giúp đỡ và ủng hộ tôi hoàn thành luận án.
Tôi muốn gửi lời cảm ơn tới Ban Chủ nhiệm Khoa Toán-Tin, các đồng nghiệp trong
Khoa và các đồng nghiệp trong seminar nghiên cứu Hình học phức và Hình học đại số
đã giúp đỡ tôi rất nhiều trong suốt quá trình làm luận án.
Cuối cùng tôi muốn bày tỏ sự biết ơn tới gia đình tôi, những người luôn bên tôi,
động viên và chia sẻ với tôi những vất vả khó khăn trong quá trình hoàn thành luận
án.
Mục lục
Lời cam đoan i
Lời cảm ơn ii
Mở đầu 1

Tổng quan 4
1 Định lí không gian con Schmidt cho mục tiêu di động. 7
1.1 Một số khái niệm cơ bản trong hình học đại số và hình học Diophantine. 12
1.2 Các kiến thức chuẩn bị . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.3 Định lí không gian con Schmidt cho mục tiêu di động . . . . . . . . . . 18
1.3.1 Một vài bổ đề . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.3.2 Chứng minh của Định lí 1.0.1 . . . . . . . . . . . . . . . . . . . 23
2 Dạng định lượng của định lí không gian con Schmidt 35
2.1 Độ cao xoắn . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.2 Một vài ước lượng về độ cao . . . . . . . . . . . . . . . . . . . . . . . . 42
2.3 Chứng minh Định lí 2.0.9 . . . . . . . . . . . . . . . . . . . . . . . . . 44
3 Dạng hiệu quả của định lí không gian con Schmidt trên trường hàm 58
3.1 Các khái niệm và các kí hiệu cơ bản . . . . . . . . . . . . . . . . . . . 61
iii
iv
3.2 Cách chọn chính tắc các đa thức xác định X từ dạng Chow của đa tạp X. 62
3.3 Một vài kết quả hiệu quả. . . . . . . . . . . . . . . . . . . . . . . . . . 64
3.4 Chứng minh của định lí 3.0.8 . . . . . . . . . . . . . . . . . . . . . . . 74
4 Định lí cơ bản thứ hai 83
4.1 Khái niệm cơ bản và một vài kết quả từ lí thuyết Nevanlinna. . . . . . 85
4.2 Cắt bội cụ thể của định lí cơ bản thứ hai suy biến . . . . . . . . . . . 87
4.2.1 Một vài bổ đề. . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
4.2.2 Chứng minh của định lí 4.0.2. . . . . . . . . . . . . . . . . . . . 88
Kết luận và kiến nghị 95
Danh mục các công trình liên quan đến luận án 96
Tài liệu tham khảo 97
1
MỞ ĐẦU
1. Lý do chọn đề tài
Phương trình Diophantine là hệ các phương trình giải trong tập các số nguyên Z,

trong tập các số hữu tỉ Q, hoặc tổng quát hơn là trong các vành hữu hạn sinh trên
Z hoặc trong các trường hữu hạn sinh trên Q. Hình học Diophantine nghiên cứu các
phương trình Diophantine thông qua ngôn ngữ và phương pháp của hình học đại số
trên trường không đóng đại số K. Trong khi đó, lí thuyết Nevanlinna khảo sát tính
chất của đường cong chỉnh hình trên đa tạp đại số trên C. Lí thuyết Nevanlinna và
hình học Diophantine đã phát triển độc lập với nhau qua vài thập kỉ. Tuy nhiên, trong
thời gian gần đây, Osgood (xem [53, 54]), P. Vojta (xem [77, 83]), Serge Lang (xem
[35, 37]) và một số người khác đã phát hiện ra rằng có sự tương đồng đặc biệt giữa hai
đối tượng này. Ví dụ như là một đường cong chỉnh hình khác hằng trong một đa tạp
đại số tương ứng với một tập vô hạn các điểm hữu tỉ. Vojta đã đưa ra một từ điển về
sự tương ứng này. Thông qua từ điển đó, một số định lí trong lí thuyết Nevanlinna có
thể chuyển thành một kết quả đúng trong hình học Diophantine. Sự hiểu biết về mối
liên hệ giữa hai vấn đề này trong vòng 30 năm qua đã dẫn đến những bước phát triển
vượt bậc trong cả hai lĩnh vực. Nhiều giả thuyết đặt ra trong vài chục năm trước đã
được giải quyết. Các kết quả thường được chứng minh trong lí thuyết Nevanlinna sau
đó được chuyển sang dạng tương ứng của chúng trong hình học Diophantine. Mặc dù
việc chuyển sang mệnh đề tương ứng là việc làm hoàn toàn hình thức, chứng minh của
chúng thì không hoàn toàn như vậy. Trong lí thuyết Nevanlinna, chúng ta có khái niệm
đạo hàm của các ánh xạ chỉnh hình. Khái niệm này là công cụ đặc biệt quan trọng
trong chứng minh. Tuy nhiên, cho đến nay người ta vẫn chưa thể nào xây dựng được
khái niệm tương tự trong lí thuyết số. Trong thời gian gần đây, những kết quả của lí
thuyết số áp dụng định lí không gian con Schmidt đã dẫn đến những kết quả tương tự
trong lí thuyết Nevanlinna.
Khi nghiên cứu trên trường hàm đại số, ta cũng thấy hình học Diophantine và lí
thuyết Nevanlinna có liên quan mật thiết với nhau. Ta thấy rằng một trường hàm đại
số có nhiều tính chất số học của trường số. Mặt khác, nhiều kĩ thuật của lí thuyết
Nevanlinna có thể được áp dụng cho trường hàm đại số và kết quả thu được thường ở
2
dạng hiệu quả nghĩa là các hằng số liên quan có thể tính toán được một cách hiệu quả
qua quá trình chứng minh.

Luận án này nhằm nghiên cứu mối liên hệ giữa lí thuyết Nevanlinna và hình học
Diophantine đặc biệt tập trung vào định lí không gian con Schmidt trên trường số cũng
như trên trường hàm và định lí cơ bản thứ hai. Luận án bao gồm 4 chương.
2. Mục đích nghiên cứu
Mục đích chính của luận án là nghiên cứu định lí không gian con Schmidt trên
trường số, trường hàm đại số và định lí cơ bản thứ hai đối với họ các siêu mặt.
3. Đối tượng và phạm vi nghiên cứu
Như đã trình bày ở phần lý do chọn đề tài, đối tượng nghiên cứu của luận án là
mối quan hệ sâu sắc giữa lí thuyết phân bố giá trị và hình học Diophantine đặc biệt
là định lí không gian con Schmidt trên trường số cũng như trên trường hàm và định
lí cơ bản thứ hai. Trong luận án, các kết quả đạt được là mở rộng của các kết quả đã
đạt được gần đây.
4. Phương pháp nghiên cứu
Để giải quyết những vấn đề đặt ra trong luận án, chúng tôi sử dụng các phương
pháp nghiên cứu của Lý thuyết phân bố giá trị, Hình học Diophantine, Hình học phức
đồng thời chúng tôi cũng đưa ra những kĩ thuật mới để giải quyết vấn đề.
5. Các kết quả đạt được và ý nghĩa của đề tài
Luận án được chia thành bốn chương.
Chương 1 dành cho việc nghiên cứu định lí không gian con Schmidt trên trường số
đối với mục tiêu di động. Cụ thể là sau khi giới thiệu lại các khái niệm và kết quả cơ
bản của hình học Diophantine, các kết quả đã đạt được từ trước đến nay trong việc
nghiên cứu vấn đề này, chúng tôi chứng minh định lí không gian con Schmidt cho mục
tiêu là họ các siêu mặt di động trong không gian xạ ảnh. Kết quả này tổng quát hóa
kết quả của Ru-Vojta (xem [59]).
Chương 2 dành cho việc nghiên cứu dạng định lượng của định lí không gian con
Schmidt. Sau khi nhắc lại những kết quả quan trọng đã thu được từ trước đến nay,
chúng tôi chứng minh dạng định lượng của định lí không gian con Schmidt cho họ các
3
đa thức với nghiệm trên đa tạp xạ ảnh cho trường hợp tổng quát hơn trường hợp đã
được nghiên cứu bởi Evertse-Ferretti (xem [22]).

Trong chương 3, chúng tôi giới thiệu dạng hiệu quả của định lí không gian con
Schmidt trên trường hàm. Cụ thể chúng tôi mở rộng các kết quả trước đó đến trường
hợp đa tạp xạ ảnh và họ các siêu mặt ở vị trí dưới tổng quát.
Trong chương cuối cùng của luận án, chúng tôi nghiên cứu định lí cơ bản thứ hai
của lí thuyết phân bố giá trị. Cụ thể là sau khi nhắc lại những khái niệm cơ bản của lí
thuyết này, chúng tôi cải tiến kết quả đạt được gần đây của Chen- Ru-Yan (xem [12])
bằng việc đưa ra cắt bội cụ thể cho định lí cơ bản thứ hai suy biến của ba tác giả trên.
6. Cấu trúc luận án
Bố cục của luận án ngoài phần mở đầu và phần phụ lục gồm bốn chương được viết
theo tư tưởng kế thừa. Bốn chương của luận án được viết dựa trên bốn công trình
trong đó hai công trình đã được đăng, một công trình đã được nhận đăng và một công
trình đã được gửi đi công bố.
Chương I: Định lí không gian con Schmidt cho mục tiêu di động
Chương II: Dạng định lượng của định lí không gian con Schmidt.
Chương III: Dạng hiệu quả của định lí không gian con Schmidt.
Chương IV: Định lí cơ bản thứ hai.
7. Nơi thực hiện luận án
Luận án được thực hiện tại khoa Toán, trường Đại học Sư phạm Hà nội và khoa
Toán, trường Đại học Tổng hợp Brest, Cộng hòa Pháp.
4
TỔNG QUAN
Ta biết rằng định lí không gian con Schmidt là một trong những vấn đề trung tâm
của hình học Diophantine. Vào thập kỉ 1970, Wolfgang Schmidt đã đưa ra những dạng
đầu tiên của định lí này. Trong khi định lí của Roth nghiên cứu xấp xỉ của các số đại
số bởi các số hữu tỉ trên đường thẳng thực, định lí không gian con nghiên cứu vấn đề
xấp xỉ đối với họ các siêu phẳng cho trước trong không gian chiều lớn hơn xác định
trên trường số đại số. H.P. Schlickewei (xem [65]) đã cải tiến kết quả của W. Schmidt,
trong đó xấp xỉ được thực hiện đồng thời đối với tất cả các định giá trong một tập
hữu hạn S cho trước trong một trường số cho trước. Sau đó, Vojta (xem [79]) đã cải
tiến kết quả của Schlickewei bằng việc chứng minh sự độc lập của các siêu phẳng loại

trừ từ sự lựa chọn của một số thông số nhất định.
Vào thập kỉ 2000, Corvaja-Zannier (xem [10]) và Evertse-Ferretti (xem [22]) đã khái
quát định lí không gian con tới trường hợp nghiệm được xét trên đa tạp xạ ảnh và
các siêu mặt nằm ở vị trí tổng quát. Gần đây, Chen- Ru-Yan (xem [12]) và sau đó A.
Levin (xem [42]) tổng quát hóa kết quả của họ tới trường hợp các divisor nằm ở vị trí
dưới tổng quát.
Các định lí không gian con Schmidt đã nhắc đến ở trên có thể xem là các định lí
không gian con Schmidt cho mục tiêu cố định theo nghĩa là các siêu mặt ”mục tiêu”
là cố định khi các điểm xấp xỉ di động qua vô hạn điểm. Một hướng để tổng quát hóa
định lí không gian con Schmidt đó là cho phép các ”mục tiêu” này di động chậm.
R.Nevanlinna đã đặt ra vấn đề định lí cơ bản thứ hai với mục tiêu di động, tức là
các hằng số a
i
được thay thế bởi các hàm phân hình g
i
với log T (r, g
i
) = o(log T (r, f)).
Ông đã giải quyết trường hợp cho ba mục tiêu di động bằng cách sử dụng biến đổi
Mobius để đưa về trường hợp hằng số. Trường hợp tổng quát là câu hỏi mở trong một
thời gian dài. Dạng yếu của định lí cơ bản thứ hai không có cắt bội được chứng minh
một cách độc lập bởi C.F.Osgood (xem [53, 54]) và N. Steinmetz (xem [75]) (xem [64]
để biết thêm chi tiết). Đó chính là động lực thúc đẩy Vojta đưa ra định lí Roth cho
mục tiêu di động (xem [80]). Sau đó, M. Ru và Vojta (xem [59]) mở rộng định lí trên
đến định lí không gian con Schmidt cho mục tiêu di động. Lập luận của Vojta, lấy cảm
hứng từ bài báo của N. Steinmetz, đã thu được định lí đã đề cập ở trên như là một hệ
5
quả của định lí không gian con Schmidt.
Gần đây, Dethloff và Tan (xem [15]) chứng minh định lí cơ bản thứ hai cho ánh
xạ chỉnh hình không suy biến đại số của C vào P

n
(C) và các mục tiêu di động chậm
Q
j
⊂ P
n
(C), j = 1, . . . , q, (q ≥ n + 2) ở vị trí tổng quát. Mục đích của chúng tôi trong
phần đầu tiên của luận án là chứng minh dạng số học của định lí trên. Cụ thể là chúng
tôi sẽ chứng minh ”Định lí không gian con Schmidt cho các siêu mặt di động”. Chương
đầu tiên của luận án được viết dựa trên bài báo [28].
Trong chương hai của luận án, chúng tôi nghiên cứu dạng định lượng của định lí
không gian con Schmidt. Đây là một cải tiến rất quan trọng của định lí không gian
con, trong đó ta đưa ra số các siêu phẳng cần thiết để chứa tất cả các nghiệm.
Schmidt (xem [69]) là người đầu tiên nghiên cứu vấn đề này và sau đó J.H-Evertse
(xem [19]), J.H. Evertse và Schlickewei (xem [21]) đã cải tiến kết quả của ông bằng
việc đưa ra chặn tốt hơn cho số siêu phẳng. Những chặn trên này rất lớn và nó chuẩn
tắc đối với trường số K, đây là điều cốt yếu trong nhiều ứng dụng. Những kết quả
này tiếp tục được cải tiến bởi Evertse và Ferretti (xem [23]). Năm 2008, họ (xem [22],
định lí 1.3) tổng quát các kết quả trên tới trường hợp bất đẳng thức với các đa thức
và nghiệm được xét trên một đa tạp con xạ ảnh n chiều của P
N
, trong đó N ≥ n ≥ 1.
Trong chương hai của luận án, chúng tôi sẽ mở rộng kết quả của họ tới trường hợp
tổng quát hơn. Chương này được viết dựa trên bài báo [30].
Chương ba của luận án nghiên cứu dạng hiệu quả của định lí không gian con Schmidt
trên trường hàm đại số với đặc số 0. Chúng tôi muốn lưu ý rằng, trong trường số cho
tới nay vẫn chưa chứng minh được dạng hiệu quả của định lí này. Tuy nhiên với kĩ
thuật của lí thuyết Nevanlinna, ta có thể đưa ra được dạng hiệu quả của một vài kết
quả quan trọng trong hình học Diophantine trên trường hàm đại số. Kết quả đầu tiên
áp dụng thành công kĩ thuật này là định lí ABC trên trường hàm (xem [43], [78], [6],

[76], [48], và [33]). Sau đó, dạng hiệu quả của định lí Roth, định lí Wirsing và định
lí Nochka-Chen-Ru-Wong [84, 87], tiếp tục dựa trên kĩ thuật đó. Bằng cách dựa trên
phương pháp của Vojta, J.Wang đã chứng minh dạng hiệu quả của định lí không gian
con Schmidt cho các dạng tuyến tính trên trường hàm đại số có đặc số 0 trong [86].
Trong bài báo [1], An và Wang mở rộng kết quả trên của J. Wang cho các dạng không
6
tuyến tính. Dựa trên công việc của Evertse và Ferretti [22], Ru và Wang [63] tổng quát
những kết quả trên tới trường hợp các divisors của đa tạp xạ ảnh của X ⊂ P
M
được
sinh ra bởi các siêu mặt trong P
M
trên trường hàm có đặc số 0. Phương pháp chứng
minh được dựa trên chứng minh của định lí tương ứng trên trường số. Vấn đề chính là
chúng ta phải làm các quá trình tính toán trở nên cụ thể và hiệu quả.
Như ta đã nói ở trên, Chen- Ru-Yan (xem [12]) và Levin (xem [42], định lí 5.1) đã
chứng minh định lí không gian con Schmidt cho các siêu mặt ở vị trí m- dưới tổng
quát trên trường số và đồng thời chỉ ra kết quả tương tự cho đường cong chỉnh hình.
Đây chính là động lực cho bài báo của chúng tôi [27]. Chúng tôi tổng quát hóa kết quả
của Ru-Wang tới trường hợp các siêu mặt nằm ở vị trí m-dưới tổng quát. Phần ba của
luận án dùng để trình bày kết quả này (xem [27]).
Trong phần cuối của luận án, chúng tôi nghiên cứu định lí cơ bản thứ hai. Định lí
này giữ một vai trò quan trọng trong lí thuyết Nevanlinna. Thông qua từ điển Vojta,
định lí cơ bản thứ hai tương ứng với định lí không gian con Schmidt. Được bắt đầu
bởi R. Nevanlinna, định lí này đã được nghiên cứu rất sâu rộng bởi nhiều nhà nghiên
cứu như H. Cartan (xem [92], ), W. Stoll ([57]), M. Ru ([60, 61, 62]), G. Dethloff - T.
V. Tan-Thai ([14] ), và nhiều người khác.
Năm 2009, Min Ru (xem [62]) chứng minh định lí cơ bản thứ hai cho đường cong
chỉnh hình không suy biến đại số vào trong đa tạp xạ ảnh với họ các siêu mặt ở vị trí
tổng quát. Sau đó, ông và Chen, Yan (xem [11]) cải tiến kết quả trên bằng việc đưa ra

cắt bội cụ thể cho hàm đếm. Năm 2012, ba tác giả trên chứng minh định lí cơ bản thứ
hai cho trường hợp các siêu mặt ở vị trí dưới tổng quát (xem [12]). Trong bài báo của
họ, cắt bội không được đưa ra một cách cụ thể. Khi chúng ta muốn áp dụng bất đẳng
thức của dạng định lí cơ bản thứ hai, một vấn đề cốt yếu đó là ta phải có bất đẳng
thức với hàm đếm cắt bội. Đưa ra dạng số học tương ứng của định lí cơ bản thứ hai có
chứa hàm đếm cắt bội có lẽ là một trong những vấn đề mở quan trọng nhất của hình
học Diophantine. Mục đích của chúng tôi là cải tiến kết quả của Chen-Ru-Yan bằng
cách đưa ra ước lượng cụ thể của cắt bội. Chương cuối của luận án được viết dựa trên
bài báo [29].
Chương 1
Định lí không gian con Schmidt cho
mục tiêu di động.
Trước hết chúng tôi nhắc lại những kết quả tiêu biểu nhất trong lịch sử phát triển
của định lí không gian con Schmidt.
Năm 1955, K. F. Roth (xem [56, 32, 4]) đã chứng minh một định lí rất quan trọng
về sự xấp xỉ của các số đại số bởi các số hữu tỉ. Ta biết rằng tập các số hữu tỉ trù mật
trên tập các số thực nhưng nếu chúng ta giới hạn độ lớn của mẫu số thì vấn đề hoàn
toàn không tầm thường.
Định lí A. (Định lí Roth [56, 32, 4])Giả sử α là một số đại số thực và  > 0. Khi
đó chỉ có một số hữu hạn các số hữu tỉ
p
q
∈ Q thỏa mãn bất đẳng thức sau đây
|α −
p
q
| ≤
1
q
2+

.
Dựa trên một kết quả đơn giản nhưng rất nổi tiếng của Dirichlet, số mũ 2 +  là số
tốt nhất có thể được theo nghĩa là chúng ta không thể thay thế nó bởi một số nhỏ hơn
nữa mà định lí Roth vẫn đúng. Định lí trên có thể mở rộng lên một trường số bất kì
K (thay vì Q) và xấp xỉ với một họ hữu hạn các định giá (trong đó bao gồm cả các
định giá không archimedean) (xem [55, 35]).
Trong bài báo [67], Schmidt đã tổng quát định lí Roth lên không gian có chiều cao
hơn. Người ta thường gọi định lí này là định lí không gian con. Chúng tôi nhắc lại ở
đây phát biểu phổ biến nhất của định lí này (bao gồm những cải tiến quan trọng của
7
8
H.P.Schlickewei [65] và Vojta [79]).
Định lí B. (Định lí không gian con Schmidt [67])Giả sử K là trường số và S là
tập con hữu hạn của M
K
chứa M
∞
K
. Các dạng tuyến tính L
1
, . . . , L
q
∈ K[X
0
, . . . , X
n
]
nằm ở vị trí tổng quát. Khi đó, với mọi ε > 0, bên ngoài một họ hữu hạn các không
gian con thực sự của P
n

(K), ta có

v∈S
q

i=1
λ
L
i
,v
(x) ≤ (n + 1 + ε)h(x).
Tương tự như định lí Roth, định lí không gian con Schmidt có rất nhiều ứng dụng
quan trọng và rất đáng ngạc nhiên (tham khảo [5]). Nhưng trong luận án này chúng
tôi không tập trung vào vấn đề này mà chủ yếu tập trung vào việc mở rộng định lí tới
những trường hợp tổng quát hơn. Mối liên hệ giữa lí thuyết Nevanlinna và hình học
Diophantine được phát hiện bởi C. Osgood, P. Vojta và S. Lang, đã đưa đến nhiều
kết quả gần đây trong cả hai lĩnh vực.
Năm 1991, dựa trên chứng minh của giả thuyết của Cartan trong lí thuyết
Nevanlinna [49, 50], Ru và Wong đã tổng quát định lí không gian con Schmidt tới
trường hợp các dạng tuyến tính ở vị trí N−dưới tổng quát.
Định lí C. (Ru-Wong [58])Giả sử K là trường số và S là tập con hữu hạn của M
K
chứa M
∞
K
. Các dạng tuyến tính cho trước L
1
, . . . , L
q
∈ K[X

0
, . . . , X
n
] nằm ở vị trí
N-dưới tổng quát. Khi đó, với mọi ε > 0, bên ngoài một họ hữu hạn các không gian
con thực sự của P
n
(K), ta có

v∈S
q

i=1
λ
L
i
,v
(x) ≤ (2N − n + 1 + ε)h(x).
Gần đây, P. Corvaja và U.M. Zannier [10], Evertse và Ferretti [22], độc lập với nhau,
đã chứng minh định lí không gian con Schmidt cho họ các đa thức trên trường số. Sau
đó, M. Ru đã chứng minh dạng giải tích của các định lí này trong lí thuyết Nevanlinna
[61, 62]. Các kết quả của họ được phát biểu như sau
Định lí D. (Corvaja-Zannier-Everstse-Ferretti [10, 22]) Giả sử M
∞
K
⊂ S ⊂ M
K
là một tập hữu hạn. Giả sử X là đa tạp con xạ ảnh của P
M
xác định trên trường số K,

dim X = n. Giả sử D
1
, . . . , D
q
là họ các siêu mặt được xác định bởi các đa thức thuần
nhất Q
1
, . . . , Q
q
∈ K[X
0
, . . . , X
M
] với bậc tương ứng d
j
, j = 1, . . . , q. Khi đó, với mọi
9
 > 0, bên ngoài một họ hữu hạn các đa tạp con đóng thực sự của X, ta có

v∈S
q

i=1
λ
D
i
,v
d
i
≤ (n + 1 + )h(x).

Trong thời gian gần đây, Chen- Ru-Yan ([12]) và Levin ([42]) đã tổng quát các kết quả
trên tới cho trường hợp đa tạp xạ ảnh X và một họ các siêu mặt ở vị trí N−dưới tổng
quát đối với X (n ≤ N ∈ N). Họ cũng chứng minh kết quả tương tự trong lí thuyết
Nevanlinna.
Định lí E. (Levin, [42]) Giả sử X là đa tạp xạ ảnh n chiều xác định trên trường số
K. Giả sử D
0
, . . . , D
q
, (q ≥ n) là các divisor Cartier ample và hiệu quả trên X, xác
định trên K và nằm ở vị trí N−dưới tổng quát, N ≥ 2. Giả sử tồn tại divisor Cartier
hiệu quả A trên X, xác định trên K, và các số nguyên d
i
thỏa mãn D
i
≡ d
i
A (tương
đương số học) với mọi i. Giả sử S ⊂ M
K
là tập hữu hạn và  > 0. Khi đó bất đẳng
thức
q

i=1

v∈S
λ
D
i

,v
(x)
d
i
≤

N(N − 1)(n + 1)
N + n −2
+ 

h
A
(x) + O(1),
đúng với mọi x ∈ X(K) \∪
i
SuppD
i
.
Những định lí được nhắc lại trên đây có thể xem như là ”Định lí không gian con
Schmidt cho mục tiêu cố định". Một hướng để tổng quát định lí không gian con Schmidt
và định lí cơ bản thứ hai đó là cho phép các ”mục tiêu” này di động chậm.
Trong phần đầu tiên của luận án, chúng tôi nghiên cứu sự tương đồng giữa xấp xỉ
Diophantine và lí thuyết Nevanlinna trong trường hợp mục tiêu di động.
Một ví dụ của sự tương đồng này là kết quả của Vojta ” Định lí Roth cho mục tiêu
di động” (xem [80]). Định lí tương ứng của định lí này trong lí thuyết Nevanlinna là
”Định lí cơ bản thứ hai cho mục tiêu di động”. Nó được chứng minh bởi C. Osgood
năm 1985. Năm 1986, N. Steinmetz (xem [75]) đã đưa ra một chứng minh khác đơn
giản hơn.
Phương pháp trình bày trong bài báo của Vojta được suy ra từ phương pháp của
Steinmetz. Một lưu ý rất then chốt trong chứng minh của Steinmetz đó là chúng ta

có thể tránh việc sử dụng bổ đề đạo hàm logarithmic trong việc chứng minh định lí
cơ bản thứ hai cho đường cong chỉnh hình. Như vậy, thông qua từ điển của Vojta,
phương pháp của Steinmetz có thể áp dụng để chứng minh kết quả tương tự trong xấp
10
xỉ Diophantine. Định lí của Vojta được phát biểu như sau (xem mục 1.1, chương 1 để
tham khảo các kí hiệu)
Định lí F. (Vojta [80]).
Giả sử K là một trường số, S ⊂ M
K
là tập con hữu hạn các định giá và q ≥ 1
là số nguyên dương. Khi đó, với mọi  > 0, không tồn tại dãy (q + 1)−bộ số
(x
i
, α
i1
, . . . , α
iq
) ∈ (P
1
(K))
q+1
, (i ∈ N) thỏa mãn các tính chất sau đây:
• Với mọi i ∈ N, ta có α
iλ
= α
iµ
với mọi λ = µ;
• h(α
i1
) + ··· + h(α

iq
) = o(h(x
i
)) khi i tiến tới vô hạn;
• Với mọi i ∈ N bất đẳng thức sau thỏa mãn:
−

v∈S
q

j=1
log d
v
(α
ij
, x
i
) ≥ (2 + )h(x
i
),
trong đó d
v
là khoảng cách v−adic cầu trên P
1
(K
v
).
Trong không gian có chiều cao hơn, ta có kết quả của Ru-Vojta "Định lí không gian
con Schmidt cho mục tiêu di động" (xem [59]). Định lí này tương ứng với định lí của
Ru-Stoll (xem [57]) trong lí thuyết Nevanlinna. Các tác giả đã tổng quát hóa định lí

không gian con Schmidt tới trường hợp ”mục tiêu di động chậm" bằng cách cho phép
họ các siêu phẳng di chuyển với các điểm xấp xỉ với điều kiện ràng buộc là độ cao
của hệ số các dạng tuyến tính xác định siêu phẳng tăng chậm so với độ cao của các
điểm xấp xỉ. Lưu ý rằng, Ru và Vojta chỉ phát biểu định lí trong trường hợp tập các
siêu phẳng di động cố định đối với định giá v nhưng chứng minh của họ vẫn đúng cho
trường hợp các siêu phẳng đó thay đổi đối với các định giá v.
Giả sử Λ là tập chỉ số vô hạn cho trước. Một siêu phẳng di động H là ánh xạ
H : Λ −→ (P
n
)
∗
(K), α −→ H(α).
Định lí G (Định lí không gian con Schmidt cho mục tiêu di động [59]). Giả
sử K là một trường số, S là tập hữu hạn các định giá của K, và  > 0. Giả sử Λ
là tập chỉ số vô hạn. Với mọi v ∈ S, giả sử L
(v)
1
, . . . , L
(v)
q
là các siêu phẳng di động
Λ −→ (P
n
)
∗
(K) và giả sử x : Λ −→ P
n
(K) là họ các điểm thỏa mãn:
(1) Với mọi v ∈ S, α ∈ Λ, L
(v)

1
(α), . . . , L
(v)
q
(α) ở vị trí tổng quát.
(2) Với mọi v ∈ S, x không suy biến trên R tương ứng với L
(v)
1
, . . . , L
(v)
q
.
11
(3) Với mọi v ∈ S, h(L
(v)
j
(α)) = o(h(x(α))), j = 1, . . . , q.
Khi đó, tồn tại một tập con các chỉ số vô hạn A ⊂ Λ thỏa mãn

v∈S
q

j=1
λ
L
(v)
j
(α),v
(x(α)) ≤ (n + 1 + )h(x(α)),
với mọi α ∈ A.

Trong chương này của luận án, chúng tôi chuyển định lí vừa được chứng minh bởi
Dethloff và Tan ”Định lí cơ bản thứ hai cho siêu mặt di động” ([15]) trong lí thuyết
Nevanlinna sang kết quả tương ứng trong hình học Diophantine. Kết quả của chúng
tôi có thể xem như là định lí không gian con Schmidt trong đó mục tiêu di động là các
siêu mặt thay thế cho các siêu phẳng. Chương này được viết dựa trên bài báo [28].
Giả sử n ≥ 1, d ≥ 1 là số nguyên dương và Λ là một tập chỉ số vô hạn cho trước.
Một siêu mặt di động bậc d trong P
n
là ánh xạ Q : Λ −→ P(H
0
(P
n
, O(d))). Ta sẽ
chứng minh định lí sau đây.
Định lý 1.0.1. (L. Giang [28]) Giả sử K là một trường số, S là tập hữu hạn các
định giá của K. Giả sử q ≥ n + 1 là số nguyên dương và  > 0. Giả sử Λ là tập vô
hạn các chỉ số và Q
1
, . . . , Q
q
là các siêu mặt di động trong P
n
(K) tương ứng có bậc
d
1
, . . . , d
q
và giả sử x : Λ −→ P
n
(K) là họ các điểm thỏa mãn:

(1) Họ các đa thức Q
1
, . . . , Q
q
là admissible;
(2) x không suy biến đại số trên R
{Q
j
}
q
j=1
;
(3) h(Q
j
(α)) = o(h(x(α))) với mọi j = 1, . . . , q.
Khi đó, tồn tại tập con chỉ số vô hạn A ⊂ Λ thỏa mãn

v∈S
q

j=1
1
d
j
λ
Q
j
(α),v
(x(α)) ≤ (n + 1 + )h(x(α)),
với mọi α ∈ A.

Điều kiện (3) nghĩa là với mọi  > 0, tồn tại tập con Λ

⊂ Λ với phần bù hữu hạn
thỏa mãn h(Q
j
(α)) ≤ h(x(α)) với mọi α ∈ Λ

.
Điều kiện (2) tương tự với điều kiện (2) trong định lí của Ru-Vojta (xem [59], định
lí 1.1 hoặc định lí G ở phía trên), trong đó tính độc lập tuyến tính đã được thay thế
bởi tính không suy biến đại số.
12
Tuy nhiên, trong trường hợp Q
j
, 1 ≤ j ≤ q, là các dạng tuyến tính, điều kiện (2)
thực sự mạnh hơn so với điều kiện (2) trong định lí của Ru-Vojta. Từ đó, kết quả của
Ru-Vojta không thể suy ra từ kết quả của chúng tôi.
Chúng tôi cũng xin lưu ý rằng, một thời gian ngắn sau chúng tôi, Chen- Ru-Yan,
một cách độc lập, cũng nghiên cứu mở rộng định lí không gian con Schmidt cho mục
tiêu là siêu mặt di động và cũng thu được kết quả như trên (xem [13]).
1.1 Một số khái niệm cơ bản trong hình học đại số và hình
học Diophantine.
Ta nhắc lại một số khái niệm cơ bản của hình học đại số. Để tìm hiểu chi tiết hơn,
người đọc vui lòng tham khảo [4, 31].
1.1.1. Giả sử K là một trường và
¯
K là bao đóng đại số của K.
Trong không gian
¯
K

n+1
, hai véc tơ được gọi là tương đương nếu chúng nằm trong
cùng một không gian con một chiều. Ta kí hiệu tập các lớp tương đương của các véc tơ
này là P
n
(
¯
K). Với mỗi tập con T ⊂ K[X
0
, . . . , X
n
] bao gồm các đa thức thuần nhất,
ta đặt
Z(T ) := {α ∈ P
n
(
¯
K)|f(α) = 0, ∀f ∈ T}
là tập không điểm của T . Tất cả các tập con có dạng này gọi là đóng trong P
n
(
¯
K). Tô
pô Zariski trên P
n
(
¯
K) là tô pô sinh bởi các tập đóng trên. Nó phụ thuộc vào K, cho
nên ta có thể kí hiệu không gian tô pô tương ứng là P
n

K
. Rõ ràng P
n
K
là một đa tạp
chính tắc. Chúng ta gọi đa tạp đó là không gian xạ ảnh n chiều xác định trên K.
Giả sử X là tập con đóng của P
n
K
. Nếu nó là một đa tạp con của P
n
¯
K
thì ta gọi các
đa tạp này là đa tạp xạ ảnh xác định trên K.
1.1.2. Một điểm x = [x
0
, . . . , x
n
] với x
j
∈ K, 0 ≤ j ≤ n được gọi là một điểm K- hữu
tỉ của P
n
K
.
Tập tất cả các điểm K− hữu tỉ của P
n
K
được kí hiệu là P

n
(K).
Giả sử X là đa tạp con của P
n
K
được xác định bởi một họ các đa thức thuần nhất
với hệ số trong K:
σ
λ
(x
0
, . . . , x
n
) = 0, λ ∈ Λ.
13
Giả sử L là một mở rộng trường bất kì của K, ta kí hiệu X(L) = {x ∈ P
n
(L)|σ
λ
(x) =
0, λ ∈ Λ}, là tập các điểm L-hữu tỉ của X.
Ta nhắc lại một số kí hiệu cơ bản của hình học Diophantine. Để biết thêm chi tiết,
người đọc có thể tham khảo [32, 4, 35, 38].
Giả sử K là một trường số.
1.1.3. Một định giá trên K là một hàm giá trị thực
|.| : K −→ R
+
thỏa mãn ba tính chất sau đây
(1) |x| = 0 nếu và chỉ nếu x = 0. (Không suy biến)
(2) |xy| = |x||y| (Tính nhân)

(3) |x + y| ≤ |x| + |y|. (Bất đẳng thức tam giác)
Định giá được gọi là định giá không archimedean nếu nó thỏa mãn
|x + y| ≤ max(|x|, |y|).
Hai định giá |.|
1
, |.|
2
được gọi là tương đương nếu tồn tại hằng số dương λ thỏa mãn
|.|
1
= |.|
λ
2
.
Tập các định giá chính tắc trên Q được kí hiệu là M
Q
bao gồm một định giá
archimedean |.|
∞
và các định giá p−adic |.|
p
với p là số nguyên tố.
1.1.4. Kí hiệu O
K
là vành các phần tử nguyên của K, tức là O
K
là tập hợp các phần
tử α ∈ K thỏa mãn đa thức cực tiểu P (X) của nó trên Z có dạng
P (X) = X
h

+ a
1
X
h−1
+ ···+ a
h
, h = deg
Q
α, a
i
∈ Z.
Ta có tập chính tắc M
K
các định giá của K bao gồm một định giá tương ứng
với một ideal nguyên tố p của O
K
, một định giá tương ứng với một phép nhúng
thực σ : K −→ R, và một định giá tương ứng với một cặp phép nhúng liên hợp
σ, ¯σ : K −→ C. Ta kí hiệu M
∞
K
là tập các định giá archimedean của K, M
0
K
là tập các
định giá không archimedean của K. Một cách tự nhiên, ta có
M
K
= M
∞

K
∪ M
0
K
.
14
Với mỗi v ∈ M
K
, kí hiệu K
v
là bao đầy của K tương ứng với v. Ta chuẩn tắc các
định giá sao cho |p|
v
= p
−[K
v
:Q
p
]/[K:Q]
nếu v tương ứng với ideal p và p ∩ Z = (p), và
|x|
v
= |σ(x)|
[K
v
:R]/[K:Q]
nếu v tương ứng với phép nhúng σ.
Nếu v là một định giá của K và w là một định giá của mở rộng trường L của K,
khi đó ta nói rằng w nằm trên v (hoặc v nằm dưới w), kí hiệu bởi w|v, nếu w và v xác
định cùng một tô pô trên K.

1.1.5. Công thức tích.

v∈M
K
|x|
v
= 1, với mỗi x ∈ K
∗
.
1.1.6. Độ cao trong không gian xạ ảnh. Với mỗi x = [x
0
: . . . : x
n
] ∈ K
n+1
, ta đặt
x
v
:= max(|x
0
|
v
, . . . , |x
n
|
v
), v ∈ M
K
.
Khi đó độ cao tuyệt đối logarithmic của x được xác đinh bởi

h(x) =

v∈M
K
log x
v
.
Do công thức tích, biểu thức trên không phụ thuộc vào việc lựa chọn tọa độ thuần
nhất của [x
0
: . . . : x
n
]. Do đó nó hoàn toàn được xác định trên P
n
(K). Hơn nữa, h(x)
không phụ thuộc vào sự lựa chọn cụ thể của trường số K chứa x
0
, . . . , x
N
. Do đó, h
cũng xác định một độ cao trên P
N
(
¯
Q).
Đặc biệt, nếu x ∈ K
∗
thì ta xác định độ cao tuyệt đối logarithmic của x như sau
h(x) =


v∈M
K
log
+
|x|
v
.
Với mọi v ∈ M
K
, ta chọn một thác triển của |.|
v
tới
¯
Q ( bằng cách thác triển |.|
v
tới bao đóng đại số
¯
K
v
của K
v
và chọn một phép nhúng của
¯
Q vào
¯
K
v
). Hơn nữa, với
mỗi v ∈ M
K

, x = (x
0
, . . . , x
N
) ∈
¯
Q
N+1
, ta đặt
x
v
:= max(|x
0
|
v
, . . . , |x
N
|
v
).
1.1.7. Độ cao trên đa tạp xạ ảnh. Giả sử X là đa tạp đại số xạ ảnh xác định trên
K. Giả sử L → X là phân thớ đường thẳng ample. Lấy một số đủ lớn l
0
∈ N thỏa mãn
L
l
, l ≥ l
0
là very ample. Gọi φ
0

, , φ
n
là một cơ sở của H
0
(X, L
l
). Nó cảm sinh phép
nhúng
Φ = [φ
0
: : φ
n
] : X → P
n
K
15
Một hàm độ cao trên X(K) tương ứng với L được xác định bởi
h(x, L) =
1
l
h(Φ(x)), x ∈ X(K).
Để cho đơn giản, ta cũng thường kí hiệu hàm độ cao trên X(K) là h(x).
1.1.8. Hàm Weil. Với mỗi divisor D của hệ tuyến tính đầy đủ |L| của phân thớ
đường thẳng ample L, ta lấy một lát cắt chính qui σ
D
∈ H
0
(X, L) xác định D. Hàm
(địa phương) Weil λ
D,v

(x) liên kết với D được xác định như sau
λ
D,v
(x) = log
(max{|φ
j
(x)|
v
; 0 ≤ j ≤ n})
1/l
|σ(x)|
v
, x ∈ X\Supp D.
Hàm xấp xỉ m(x, S, D) và hàm đếm N(x, S, D) của D được xác định như sau
m(x, S, D) =

v∈S
λ
D,v
,
N(x, S, D) =

v∈M
K
\S
λ
D,v
.
1.1.9. Định lí cơ bản thứ nhất. Với phân thớ đường thẳng ample L trên X và
divisor D ∈ |L|, ta có:

h(x, L) = m(x, S, D) + N(x, S, D) + O(1), x ∈ X(K)\D.
1.1.10. Định lí Northcott. (xem [47, Định lí 9.2.18, p. 349]) Với r > 0, d > 0 và
n ∈ N, tồn tại hằng số C(r, d, n) > 0 thỏa mãn
|{x = [x
0
: x
1
: ··· : x
n
] ∈ P
n
(Q) : [Q(x
i
) : Q] ≤ d, h(x) ≤ r}|
≤ C(r, d, n).
1.1.11. Để cho thuận tiện, ta kí hiệu
n
v
:= [K
v
: Q
v
]/[K : Q]

v
(r) =






r nếu v là định giá archimedean
1 nếu v là định giá không archimedean.
Với các kí hiệu trên, bất đẳng thức tam giác có thể viết lại dưới dạng sau
|a
1
+ ···+ a
r
|
v
≤ 
n
v
v
(r) max{|a
1
|
v
, . . . , |a
r
|
v
}, với mọi a
i
∈ K, i = 1, . . . , r.
16
1.1.12. Với d là số nguyên dương, ta đặt
T
d
:= {(i

0
, . . . , i
n
) ∈ N
n+1
0
: i
0
+ ···+ i
n
= d}.
1.1.13. Giả sử Q =

I∈T
d
a
I
x
I
là đa thức thuần nhất có bậc d trong K[X
0
, . . . , X
n
],
trong đó x
I
= x
i
0
0

···x
i
n
n
với x = (x
0
, . . . , x
n
) và I = (i
0
, . . . , i
n
). Kí hiệu bởi
Q
v
= max{|a
I
|
v
}. Độ cao của Q được xác định như sau
h(Q) =

v∈M
K
log Q
v
.
Khi đó, với mọi v ∈ M
K
, hàm Weil λ

Q,v
được xác định bởi
λ
Q,v
(x) = log
x
d
v
.Q
v
|Q(x)|
v
, x ∈ P
n
(K)\{Q = 0}.
1.2 Các kiến thức chuẩn bị
Giả sử Λ là tập chỉ số vô hạn.
Giả sử A ⊂ Λ là tập con vô hạn chỉ số và a là ánh xạ A −→ K. Để cho cụ thể, ta
sẽ kí hiệu ánh xạ này là (A, a).
Định nghĩa 1.2.1. Giả sử A ⊂ Λ là tập con vô hạn chỉ số và C
1
, C
2
⊂ A là các tập
con của A với phần bù hữu hạn. Hai cặp (C
1
, a
1
) và (C
2

, a
2
) được gọi là tương đương
nếu tồn tại tập con C ⊂ C
1
∩ C
2
thỏa mãn C có phần bù hữu hạn trong A và hạn chế
của a
1
, a
2
tới C trùng nhau. Giả sử R
0
A
là tập các lớp tương đương của các cặp (C, a)
đối với quan hệ tương đương trên. Khi đó R
0
A
hiển nhiên có cấu trúc của một vành.
Hơn nữa, ta có thể nhúng K vào R
0
A
như là các hàm hằng.
Một họ các điểm {x(α) ∈ P
n
(K)|α ∈ Λ} được xem như là một ánh xạ x : Λ −→
P
n
(K). Một siêu mặt di động bậc d trong P

n
(K) sẽ được xem như là một ánh xạ
Q : Λ −→ P(H
0
(P
n
(K), O(d))). Với mỗi α ∈ Λ, ta chọn {a
I
(α) ∈ K}
I∈T
d
sao cho Q(α)
là siêu mặt xác định bởi phương trình

I∈T
d
a
I
(α)x
I
= 0. Nếu không có sự nhầm lẫn
nào, chúng tôi sử dụng cùng kí hiệu Q cho đa thức thuần nhất trong R
0
Λ
[X
0
, . . . , X
n
]
xác định bởi

Q(α) :=

I∈T
d
a
I
(α)x
I
, với mọi α ∈ Λ.
17
Cho trước các siêu mặt di động Q
1
(α), . . . , Q
q
(α), (α ∈ Λ) trong P
n
(K) tương ứng
có bậc d
1
, . . . , d
q
, chọn a
j,I
(α) ∈ K, j = 1, . . . , q, I ∈ T
d
j
thỏa mãn Q
j
(α) được cho bởi


I∈T
d
j
a
j,I
(α)x
I
= 0. Đặt
m
j
:= |T
d
j
| −1, j = 1, . . . , q.
Đánh số các phần tử của tập hợp T
d
j
từ 0 tới m
j
, 1 ≤ j ≤ q.
Định nghĩa 1.2.2. Một tập con vô hạn A ⊂ Λ được gọi là coherent tương ứng với
{Q
j
}
q
j=1
nếu với mọi đa thức P ∈ K[X
1,0
, . . . , X
1,m

1
, X
2,0
, . . . , X
q,m
q
] thuần nhất với
bộ các biến X
j,0
, . . . , X
j,m
j
với mỗi j = 1, . . . , q, thì hoặc P (a
1,0
(α), . . . , a
q,m
q
(α)) triệt
tiêu với mọi α ∈ A, hoặc nó triệt tiêu tại hữu hạn điểm α ∈ A.
Nhận xét 1.2.3. Định nghĩa trên độc lập với sự lựa chọn các hệ số a
j,I
(α) ∈ K, j =
1, . . . , q, I ∈ T
d
j
.
Bổ đề 1.2.4. Tồn tại tập con vô hạn A ∈ Λ là coherent tương ứng với {Q
j
}
q

j=1
.
Chứng minh của bổ đề này tương tự như chứng minh của bổ đề 1.1 trong [59] mà
không cần thay đổi chi tiết nào.
Giả sử A ⊂ Λ là tập vô hạn các chỉ số coherent đối với họ {Q
j
}
q
j=1
. Nếu j ∈ {1, . . . , q}
và µ, ν ∈ {0, . . . , m
j
} thỏa mãn a
j,ν
(α) = 0 với ít nhất một α ∈ A, khi đó tập
{α ∈ A|a
j,ν
(α) = 0} có phần bù hữu hạn trong A do tính chất coherent. Từ đó, cặp
{α ∈ A|a
j,ν
(α) = 0} −→ K, α −→ a
j,µ
(α)/a
j,ν
(α)
thuộc vào R
0
A
. Hơn nữa, vành con của R
0

A
sinh bởi họ các cặp này trên K là miền
nguyên.
Thật vậy, với mọi (C, a) thuộc vành con này, a có dạng
a =

l
j,µ,ν

1≤j≤q,µ,ν∈{0,m
j
}

a
j,µ
a
j,ν

λ
j,µ,ν
, l
j,µ,ν
∈ K.
Dễ dàng thấy rằng a không thay đổi nếu chúng ta thay thế (a
j,0
, . . . , a
j,m
j
) bởi
(la

j,0
, . . . , la
j,m
j
), l ∈ K
∗
. Từ đó, sau khi lấy mẫu số chung, ta có
a =
P
Q
,
18
trong đó P ∈ K[X
1,0
, . . . , X
1,m
1
, X
2,0
, . . . , X
q,m
q
] là đa thức thuần nhất với bộ các biến
(X
j,0
, . . . , X
j,m
j
), j ∈ {1, . . . , q} và Q là đơn thức. Từ đó, do tính coherent của A, hoặc
a(α) ≡ 0 hoặc a(α) = 0 tại hữu hạn các điểm α ∈ A. Từ đó a.b ≡ 0 nếu và chỉ nếu

a ≡ 0 hoặc b ≡ 0. Đặc biệt, với mọi a thuộc miền nguyên này thì a(α) = 0 với mọi
α ∈ A hoặc bằng 0 tại hữu hạn điểm α ∈ A.
Định nghĩa 1.2.5. Ta xác định R
A,{Q
j
}
q
j=1
là trường thương của miền nguyên đã đề
cập ở trên.
Chú ý rằng trường R
A,{Q
j
}
q
j=1
độc lập với sự lựa chọn các hệ số của Q
j
.
Nhận xét 1.2.6. Giả sử B ⊂ A ⊂ Λ là hai tập con vô hạn các chỉ số. Dễ dàng ta
thấy nếu A là coherent thì B cũng vậy, và R
A,{Q
j
}
q
j=1
= R
B,{Q
j
}

q
j=1
.
Định nghĩa 1.2.7. Giả sử x : Λ −→ P
n
(K) là họ các điểm. Ta nói rằng x là không suy
biến đại số trên R
{Q
j
}
q
j=1
nếu với tất cả các tập con vô hạn A ⊂ Λ mà coherent với họ các
siêu phẳng {Q
j
}
q
j=1
, thì không tồn tại đa thức thuần nhất Q ∈ R
A,{Q
j
}
q
j=1
[X
0
, . . . , X
n
]
thỏa mãn Q(x

o
(α), . . . , x
n
(α)) = 0, với mọi α ∈ A ngoài một tập con hữu hạn của A.
Định nghĩa 1.2.8. Ta nói rằng một tập {Q
j
}
q
j=1
, (q ≥ n + 1) các đa thức thuần nhất
trong R
0
Λ
[X
0
, . . . , X
n
] là admissible nếu tồn tại một tập con vô hạn A ⊂ Λ với phần bù
hữu hạn thỏa mãn với mọi 1 ≤ j
0
< ··· < j
n
≤ q, α ∈ A, hệ các phương trình
Q
j
i
(α)(x
0
, . . . , x
n

) = 0, 0 ≤ i ≤ n, (1.1)
chỉ có nghiệm tầm thường (x
0
, . . . , x
n
) = (0, . . . , 0) trong
¯
K
n+1
( ở đây
¯
K là bao đóng
đại số của K).
1.3 Định lí không gian con Schmidt cho mục tiêu di động
1.3.1 Một vài bổ đề
Giả sử Λ là tập chỉ số vô hạn. Giả sử {Q
j
}
n
j=0
là tập các đa thức thuần nhất có cùng
bậc d ≥ 1 trong R
0
Λ
[X
0
, . . . , X
n
],
Q

j
=

I∈T
d
a
j,I
x
I
, (C
j,I
, a
j,I
) ∈ R
0
Λ
, 0 ≤ j ≤ n.
19
Giả sử A ⊂ Λ là coherent đối với {Q
j
}
n
j=0
. Ta giả sử rằng các hệ số của Q
j
, j =
0 . . . , n, thuộc vào trường R
A,{Q
j
}

n
j=0
. Giả sử T = (. . . , t
h,I
, . . .), (0 ≤ h ≤ n, I ∈ T
d
) là
họ các biến. Đặt
ˆ
Q
j
=

I∈T
d
t
j,I
x
I
∈ Z[T, x], j = 0, . . . , n.
Giả sử
ˆ
R ∈ Z[T ] là kết thức của
ˆ
Q
0
, . . . ,
ˆ
Q
n

. Nó là một đa thức theo các biến
T = (. . . , t
h,I
, . . .), (0 ≤ h ≤ n, I ∈ T
d
) với hệ số nguyên thỏa mãn
ˆ
R(T ) = 0 là
điều kiện cần và đủ cho sự tồn tại của nghiệm không tầm thường (x
0
, . . . , x
n
) = 0
trong
¯
K
n+1
của hệ phương trình





ˆ
Q
j
(T )(x
0
, . . . , x
n

) = 0
0 ≤ j ≤ n.
(1.2)
Từ biểu thức (1.2) và (1.1), ta thấy ngay rằng nếu
{Q
j
=
ˆ
Q
j
(a
j,I
)(x
0
, . . . , x
n
), j = 0, . . . , n}
là họ admissible thì
R :=
ˆ
R(. . . , a
h,I
, . . .) ≡ 0.
Ta nhắc lại kết quả sau về kết thức (xem Định lí 3.4 trong [36]).
Mệnh đề 1.3.1. Tồn tại số tự nhiên s và đa thức {
ˆ
b
ij
}
0≤i,j≤n

trong Z[T, x] bằng 0
hoặc thuần nhất bậc s-d theo x, thỏa mãn
x
s
i
.
ˆ
R =
n

j=0
ˆ
b
ij
ˆ
Q
j
, với mọi i = 0, . . . , n.
Giả sử x là ánh xạ x : Λ −→ P
n
(K). Một ánh xạ (C, a) ∈ R
0
Λ
được gọi là ”nhỏ” đối
với x nếu và chỉ nếu
h(a(α)) = o(h(x(α))),
có nghĩa là, với mọi  > 0, tồn tại tập con C

⊂ C với phần bù hữu hạn thỏa mãn
h(a(α)) ≤ h(x(α)) với mọi α ∈ C


. Kí hiệu K
x
là tập các ánh xạ ”nhỏ” đối với
x. Khi đó, K
x
là một vành con của R
0
Λ
. Nhưng nó không phải là một miền nguyên.
Tuy nhiên, nếu (C, a) ∈ K
x
và a(α) = 0 với tất cả trừ một số hữu hạn α ∈ C thì

C\{a(α) = 0},
1
a

∈ K
x
.
20
Kí hiệu C
x
là tập các hàm số nhận giá trị dương h xác định trên Λ trừ một tập con
hữu hạn của Λ thỏa mãn
log
+
(h(α)) = o(h(x(α))).
Khi đó, C

x
là một vành. Hơn nữa, nếu (C, a) ∈ K
x
thì với mọi v ∈ M
K
, hàm
|a|
v
: C −→ R
+
cho bởi α −→ |a(α)|
v
thuộc vào C
x
. Hơn nữa, nếu (C, a) ∈ K
x
, a(α) = 0
tại mọi điểm trừ ra một số hữu hạn α ∈ C thì hàm số h : {α|a(α) = 0} −→
1
|a(α)|
v
cũng thuộc vào C
x
. Ta có bổ đề sau đây:
Bổ đề 1.3.2. Giả sử {Q
j
}
n
j=0
là họ các đa thức thuần nhất cùng bậc d trong

R
0
Λ
[X
0
, . . . , X
n
] thỏa mãn điều kiện họ đó là admissible. Giả sử A là coherent đối với
{Q
j
}. Giả sử rằng tất cả các hệ số của Q
j
, j ∈ {0, . . . , n} thuộc vào trường R
A,{Q
j
}
n
j=0
.
Khi đó, với mọi v ∈ S, tồn tại các hàm số l
1,v
, l
2,v
thỏa mãn
l
2,v
(α)x(α)
d
v
≤ max

0≤j≤n
|Q
j
(x(α))|
v
≤ l
1,v
(α)x(α)
d
v
,
với mọi α ∈ A bên ngoài tập con hữu hạn của A. Hơn nữa, nếu các hệ số của
Q
j
, j = 0, . . . , n thuộc K
x
thì l
1,v
, l
2,v
∈ C
x
.
Chứng minh. Ta giả sử rằng
Q
j
=

I∈T
d

a
j,I
x
I
, (C
j,I
, a
j,I
) ∈ R
0
Λ
, 0 ≤ j ≤ n.
Đặt C = ∩
j,I
C
j,I
, thì Λ\C là tập hữu hạn. Với mọi α ∈ C, ta có
|Q
j
(x(α))|
v
= |

I∈T
d
a
j,I
(α)x
I
(α)|

v
≤ 
n
v
v
(|T
d
|) max
I∈T
d
(|a
j,I
(α)x
I
(α)|
v
)
≤ 
n
v
v
(|T
d
|)

I∈T
d
|a
j,I
(α)|

v
x(α)
d
v
. (1.3)
Đặt
l
1,v
: C −→ R
+
α −→ 
n
v
v
(|T
d
|)
n

j=1

I∈T
d
|a
j,I
(α)|
v
.
Từ (1.3), ta có
|Q

j
(x(α))|
v
≤ l
1,v
(α)x(α)
d
, 0 ≤ j ≤ n, α ∈ C.
21
Do a
j,I
∈ K
x
, j = 1, . . . , q, I ∈ T
d
, và C
x
là một vành, ta có l
1,v
∈ C
x
.
Bây giờ, ta sẽ chứng minh vế trái của bất đẳng thức. Áp dụng mệnh đề 1.3.1, ta có:
tồn tại số nguyên dương s và các đa thức {
ˆ
b
ij
}
0≤i,j≤n
trong Z[T, x], bằng 0 hoặc thuần

nhất bậc s −d theo biến x, thỏa mãn
x
s
i
.
ˆ
R =
n

j=0
ˆ
b
ij
ˆ
Q
j
, 0 ≤ i ≤ n.
Hơn nữa, R =
ˆ
R(. . . , a
h,I
, . . .) ≡ 0. Đặt
b
ij
=
ˆ
b
ij
((. . . , a
h,I

, . . .), (x
0
, . . . , x
n
)), 0 ≤ i, j ≤ n.
Khi đó, ta có
x
s
i
.R =
n

j=0
b
ij
Q
j
(x
0
, . . . , x
n
), 0 ≤ i ≤ n.
Từ đó, ta có với mọi α ∈ A ∩C,
|x
s
i
(α).R(α)|
v
≤ 
n

v
v
(n + 1). max
0≤j≤n
|Q
j
(x(α)|
v
n

j=0
|b
ij
(α)|
v
.
Ta có thể viết b
ij
dưới dạng
b
ij
=

I∈T
s−d
γ
ij
I
x
I

, γ
ij
I
∈ K
x
∩ R
A,{Q
j
}
n
j=0
.
Khi đó, với mọi 0 ≤ i ≤ n, α ∈ A ∩C, ta có
|x
i
(α)
s
.R(α)|
v
≤ 
n
v
v
(n + 1)
n
v
v
(|T
s−d
|) max

0≤j≤n
|Q
j
(x(α)|
v

j,I
|γ
ij
I
(α)|
v
x(α)
s−d
v
.
Từ đó, với mọi 0 ≤ i ≤ n, α ∈ A ∩C\{R = 0}, ta có
|x
i
(α)|
s
v
x(α)
s−d
v
≤ 
n
v
v
((n + 1)|T

s−d
|) max
0≤j≤n
|Q
j
(x(α))|
v

j,I
|γ
ij
I
(α)|
v
|R(α)|
v
.
Do x(α)
v
= max(|x
0
(α)|
v
, . . . , |x
n
(α)|
v
), ta suy ra tồn tại i ∈ {0, . . . , n} thỏa mãn
x(α)
v

= |x
i
(α)|
v
. Từ đó,
x(α)
d
v
≤ 
n
v
v
((n + 1)|T
s−d
|) max
0≤j≤n
|Q
j
(x(α))|
v

j,I
|γ
ij
I
(α)|
v
|R(α)|
v
.

Đặt
l
2,v
=
1

n
v
v
((n + 1)|T
s−d
|)

n

i=0

0≤j≤n,I∈T
s−d
|γ
ij
I
|
v
R
v

.