6. Bố cục và nội dung của luận án
3.3.K− lý thuyết đối với phân lá
Mục này sẽ giới thiệu sơ bộ về K-lý thuyết đối với phân lá được A. Connes đưa ra trong [8].
K-lý thuyết hình học là một lý thuyết đối đồng điều suy rộng với giá compact. Nó đặc biệt thích hợp với các cấu trúc đại số mà ở đó không gian Hausdorff, compact địa phương X được thay thế bởi C*-đại số C0( )X các hàm trên X nhận giá trị phức và triệt tiêu ở vô cùng. Cụ thể, ta định nghĩa
( ) ( 0( ))
i
i
K X =K C X .
Đối với phân lá, đáng tiếc là không gian các lá V F thường có tôpô không Hausdorff, do đó ta không thể định nghĩa được K-lý thuyết trên không gian các lá (theo nghĩa thông thường). Đây là một trở ngại lớn trong nghiên cứu tôpô phân lá. Để khắc phục hạn chế này, năm 1982, A. Connes ([8]) đã đề ra ý tưởng là thay C V F0( ) bởi C V F∗( , ), mà từ đó Connes định nghĩa:
( ) ( *( )) ( )
, , 0,1
i
i
K V F =K C V F i= .
Như vậy, để nghiên cứu K−lý thuyết của một phân lá, thông thường ta cần phải đặc trưng C*-đại số Connes liên kết với phân lá đó bằng phương pháp
Khi phân lá (V F, ) được cho bởi phân thớ p V: → =B V F thì
( )
( * )
,
i
K C V F thật sự trùng với K −nhóm hình học thông thường
( ) ( )
i i
K V F =K B của không gian các lá B=V F .
Trong trường hợp tổng quát, nói chung K −nhóm
( ) ( *( )) ( )
, , 0,1
i
i
K V F =K C V F i= hoàn toàn không dễ tính. Tuy nhiên, nếu phân lá (V F, ) được cho bởi tác động của nhóm Lie giao hoán n
, việc tính K V Fi( )
có thể được thực hiện dễ dàng hơn nhờ các đẳng cấu Thom-Connes.
Mệnh đề 3.3.1 ([8, Section 5]). Giả sử phân lá (V F, ) được cho bởi tác động ρ (adsbygoogle = window.adsbygoogle || []).push({});
nào đó của nhóm Lie giao hoán n
(n>0) sao cho phỏng nhóm holonomy (đồ
thị) G của nó được cho bởi n
G= ×V . Khi đó: ( ) * 0 ( , ) n C V F ≅C V ρ .
Nhờ Mệnh đề 3.3.1, ta có đẳng cấu tự nhiên Thom-Connes sau đây
( ) ( ) ( *( )) ( ) ( ) 0 : , , 0,1 i i n i i n K C V K C V F K V F i ρ ϕ ≅ + + → = = ;
trong đó tổng i+n được tính theo modulo 2.
Trong mục kế tiếp, ta sẽ nghiên cứu K-lý thuyết đối với không gian lá của các MD(5,4)-phân lá, đồng thời đặc trưng các C*-đại số Connes liên kết với các phân lá này bằng phương pháp K-hàm tử. Chú ý rằng, theo Mệnh đề 3.1.4, các C*-đại số Connes liên kết với các phân lá cùng kiểu tôpô là đẳng cấu nhau. Do vậy, ta sẽ dùng ký hiệu *( ) *( ) *( )
1 , , 2 3
C F C F C F để chỉ chung các C*-đại số Connes liên kết với các MD(5,4)-phân lá tương ứng thuộc kiểu F1, F2 và F3.