cho M la 1smooth compact oriented manifold, goi M* cung chinh la manifold nay nhung orientation duoc dao chieu (reversed). Goi M la bien cua M, voi M = http://dientuvietnam.net/cgi-bin/mimetex.cgi?\Sigma_1* disjoint union http://dientuvietnam.net/cgi-bin/mimetex.cgi?\Sigma_2, nguoi ta goi M la 1 cobordism tu` http://dientuvietnam.net/cgi-bin/mimetex.cgi?\Sigma_1 toi http://dientuvietnam.net/cgi-bin/mimetex.cgi?\Sigma_2 va ky hieu la M Cob(http://dientuvietnam.net/cgi-bin/mimetex.cgi?\Sigma_1,http://dientuvietnam.net/cgi-bin/mimetex.cgi?\Sigma_2. 2 Cobordisms M va` N Cob(http://dientuvietnam.net/cgi-bin/mimetex.cgi?\Sigma_1,http://dientuvietnam.net/cgi-bin/mimetex.cgi?\Sigma_2) duoc goi la` equivalent neu ton tai 1 orientation preserving diffeomorphism cua M toi´ N, sao cho restriction cua no´ tren bien la` id. Goi [M] la equivalence class cobordism cua M. Neu M Cob(http://dientuvietnam...mimetex.cgi?C_0 la` category voi objects la cac smooth oriented d-dimensional manifolds. morphism cua http://dientuvietnam...mimetex.cgi?C_0 la cac equivalence class cobordisms.
Trong http://dientuvietnam.net/cgi-bin/mimetex.cgi?C_0 chua´ 1 empty object do´ la ( tap rong), disjoint union, va 1 involution duoc dinh nghia boi: Obj(http://dientuvietnam.net/cgi-bin/mimetex.cgi?C_0) chua´ http://dientuvietnam.net/cgi-bin/mimetex.cgi?\Sigma--->http://dientuvietnam.net/cgi-bin/mimetex.cgi?\Sigma* Obj(http://dientuvietnam.net/cgi-bin/mimetex.cgi?C_0).
[M] Hom(http://dientuvietnam.net/cgi-bin/mimetex.cgi?\Sigma_1* disjoint union http://dientuvietnam.net/cgi-bin/mimetex.cgi?\Sigma_2. 1 category nhu the duoc goi la 1 cobordism category.
1 Quantization functor ( Ham` tu' luong tu hoa´ ) trong 1 cobordism category duoc dinh nghia boi
V( ) = k. Trong do V la 1 functor tu 1 cobordism category vao 1 category k-mod cua 1 k-module ( k la 1 commutative ring).
Dieu kien thu 2 la` : ton tai 1 hermitian sesquilinear form http://dientuvietnam.net/cgi-bin/mimetex.cgi?\Sigma) sao cho http://dientuvietnam.net/cgi-bin/mimetex.cgi?\Sigma ).
Trong do http://dientuvietnam.net/cgi-bin/mimetex.cgi?\zeta_M duoc dinh nghia nhu la 1 k-homomorphism http://dientuvietnam.net/cgi-bin/mimetex.cgi?Z_M : V(http://dientuvietnam.net/cgi-bin/mimetex.cgi?\Sigma_1) ---> V(http://dientuvietnam.net/cgi-bin/mimetex.cgi?\Sigma_2) va` http://dientuvietnam.net/cgi-bin/mimetex.cgi?\zeta_M = http://dientuvietnam.net/cgi-bin/mimetex.cgi?C ---> k-mod la 1 quantization functor:
(1) Neu http://dientuvietnam.net/cgi-bin/mimetex.cgi?\Sigma Obj(http://dientuvietnam.net/cgi-bin/mimetex.cgi?C) thi` http://dientuvietnam.net/cgi-bin/mimetex.cgi?id_{\Sigma} Hom(http://dientuvietnam.net/cgi-bin/mimetex.cgi?M_1 Hom( , http://dientuvietnam.net/cgi-bin/mimetex.cgi?\Sigma_1).
(3) http://dientuvietnam.net/cgi-bin/mimetex.cgi?\Sigma) = k-span{ http://dientuvietnam.net/cgi-bin/mimetex.cgi?D_{\Sigma} la 1 k-modules isomorphism voi http://dientuvietnam.net/cgi-bin/mimetex.cgi?\Sigma
(2) Map http://dientuvietnam.net/cgi-bin/mimetex.cgi?\Sigma thi` module V(http://dientuvietnam.net/cgi-bin/mimetex.cgi?\Sigma) la 1 free module voi finite rank. Va` hon nua dang form la 1 unimodular.
Bài viết đã được chỉnh sửa nội dung bởi quantum-cohomology: 14-03-2005 - 18:39