Precipa fasko

Je geometrio, precipa fasko estas fibra fasko kontinue, libere, kaj transitive suragata de topologia grupo.

Difino

Se $G$ estas topologia grupo, precipa $G$ -fasko super topologia spaco $X$ estas fibra fasko $π : P ↠ X$ kune kun kontinua dekstra grupa ago

P \times G \to G

(p, g) \mapsto p \cdot g

plenumanta la jenajn du aksiomojn:

(Konformeco kun fibroj) Pri ĉiu $p \in P$ kaj ĉiu $g \in G$ , $π (p \cdot g) = π (p)$ . Tial, pri ĉiu $x \in X$ , ekzistas $G$ -ago $π^{- 1} (x) \times G \to π^{- 1} (X)$ .
(Reguleco de ago) Pri ĉiu $x \in X$ kaj $g \in G$ , la ago $(\cdot g) : π^{- 1} (X) \to π^{- 1} (X)$ estas homeomorfio.

Glata precipa fasko estas tiu super glata sternaĵo, kies grupa ago ktp. estas glataj bildigoj.

Pri ĉiu k-dimensia glata sternaĵo $M$ , oni povas difini la kadran faskon $P M$ , kiu estas precipa $GL (k; ℝ)$ -fasko.

En fiziko, la gaŭĝa teorio dependas de la koncepto de precipaj faskoj.