ScalingStacks

1.5.3 Discordance [01MI]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

1.5.3 Discordance

Soit F∈𝒞n−1F\in\mathscr{C}_{n-1} et soit 𝒞>F\mathscr{C}_{>F} l’ensemble des C∈𝒞nC\in\mathscr{C}_{n} dont FF est une face.

Fixons une orientation oo sur le sous-espace affine ⟨F⟩\langle F\rangle. Pour tout C∈𝒞>FC\in\mathscr{C}_{>F}, munissons l’espace affine ⟨C⟩\langle C\rangle de l’orientation oCo_{C} donnée par oo et la normale sortante. Pour tout C∈𝒞>FC\in\mathscr{C}_{>F}, notons μ~C\tilde{\mu}_{C} le nn-vecteur tel que le vecteur-volume μC\mu_{C} soit la classe du couple (o,μ~C)(o,\tilde{\mu}_{C}). Le nn-vecteur μ~C\tilde{\mu}_{C} appartient à Λn​⟨C⟩→\Lambda^{n}\overrightarrow{\langle C\rangle}, et peut être vu comme appartenant à Λn​V→\Lambda^{n}\overrightarrow{V}.

Notons μ~F\tilde{\mu}_{F} la somme dans Λn​V→\Lambda^{n}\overrightarrow{V} des vecteurs μ~C\tilde{\mu}_{C} pour CC parcourant 𝒞>F\mathscr{C}_{>F} ; la classe μF\mu_{F} du couple (o,μ~F)(o,\tilde{\mu}_{F}) dans le produit contracté Or⁡(F)×{±1}Λn​V→\operatorname{Or}(F)\times_{\{\pm 1\}}\Lambda^{n}\overrightarrow{V} ne dépend pas du choix de l’orientation oo. On dit que c’est la discordance du calibrage μ\mu le long de la face FF  ; on dit que la face FF est harmonieuse si cette discordance est nulle.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.