✨Phân thớ khung

Trong toán học, phân thớ khung là một phân thớ chính F(E) gắn liền với một phân thớ véc-tơ E. Thớ của F(E) tại một điểm x là tập hợp tất cả các cơ sở được sắp thứ tự (cũng gọi là khung) của E_x. Nhóm tuyến tính tổng quát tác động một cách tự nhiên lên F(E) thông qua phép đổi cơ sở, cảm sinh cho phân thớ khung một cấu trúc GL(k,R)-phân thớ chính (trong đó k là là hạng của E).

Phân thớ khung của một đa tạp trơn là phân thớ khung gắn với phân thớ tiếp tuyến của đa tạp trơn đó.

Định nghĩa và xây dựng

Đặt E → X là một phân thớ vectơ thực hạng k trên một không gian tôpô X. Một khung tại một điểm x ∈ X là một cơ sở được sắp thứ tự của không gian vectơ E_x. Một cách tương đương, một khung có thể được xem như là một đẳng cấu tuyến tính

: $p:\; \backslash mathbf\{R\}^k\; \backslash to\; E\_x.$

Tập hợp tất cả các khung tại x, ký hiệu là F_x, có một tác động phải tự nhiên của nhóm tuyến tính tổng quát GL (k,R): một phần tử g ∈ GL(k,R) tác động vào khung p thông qua phép hợp để tạo ra một khung mới

: $p\backslash circ\; g:\backslash mathbf\{R\}^k\backslash to\; E\_x.$

Tác động này của GL(k,R) lên F_x là tự do và truyền ứng. F_x có tô pô đồng phôi với GL(k,R) mặc dù nó không có cấu trúc nhóm. Không gian F_x được gọi là một GL(k,R)-torsor hay một GL(k,R)-không gian thuần nhất chính.

Phân thớ khung của E, ký hiệu là F(E) hoặc F_GL(E), là hợp rời của tất cả các F_x:

: $\backslash mathrm\; F(E)\; =\; \backslash coprod\_\{x\backslash in\; X\}F\_x.$

Mỗi điểm của F(E) là một cặp (x,p) với x là một điểm trong X và p là một khung tại x. Có một phép chiếu tự nhiên π:F(E) → X gửi (x,p) đến x.

Phân thớ khung F(E) có thể được cung cấp một cấu trúc tô pô tự nhiên như sau. Đặt (U_i,φ_i) là một tầm thường hóa địa phương của E. Khi đó với mỗi x ∈ U_i, ta có một đẳng cấu tuyến tính φ _{i, x}: E _x → R ^k. Dữ liệu này xác định một song ánh

: $\backslash psi\_i:\; \backslash pi^\{-1\}(U\_i)\backslash to\; U\_i\backslash times\; \backslash mathrm\{GL\}(k,\; \backslash mathbf\; R)$

với

: $\backslash psi$i(x,p) = (x,\varphi{i,x}\circ p).

Mỗi π⁻¹(U_i) có thể được cung cấp cấu trúc tô pô như là không gian tô pô con của U_i×GL(k,R). F(E) được trang bị cấu trúc tô pô cảm sinh.