Структура (дифференциальная геометрия)

В дифференциальной геометрии структурой на многообразии, геометрической величиной или полем геометрических объектов называется сечение расслоения, ассоциированного с главным расслоением кореперов некоторого многообразия ${\displaystyle M}$. Интуитивно геометрическую величину можно рассматривать как величину, значение которой зависит не только от точки ${\displaystyle x}$ многообразия ${\displaystyle M}$, но и от выбора корепера, то есть от выбора инфинитезимальной системы координат в точке ${\displaystyle x}$ (см. также Карта).

Формальное определение структуры на многообразии

Для формального определения структур на многообразии рассмотрим ${\displaystyle GL^{k}(n)}$ — общую дифференциальную группу порядка ${\displaystyle k}$ (группу ${\displaystyle k}$-струй в нуле преобразований пространства ${\displaystyle \mathbb {R} ^{n}}$, сохраняющих начало координат), ${\displaystyle M_{k}}$ — многообразие кореперов порядка ${\displaystyle k}$ ${\displaystyle n}$-мерного многообразия ${\displaystyle M}$ (то есть многообразие ${\displaystyle k}$-струй ${\displaystyle j_{x}^{k}(u)}$ локальных карт ${\displaystyle u:M\supset U\to \mathbb {R} ^{n}}$ с началом в точке ${\displaystyle x=u^{-1}(0)}$).

Группа ${\displaystyle GL^{k}(n)}$ действует слева на многообразии ${\displaystyle M_{k}}$ по формуле

${\displaystyle j_{0}^{k}(\varphi )j_{0}^{k}(u)=j_{x}^{k}(\varphi \circ u),\quad j_{0}^{k}(\varphi )\in GL^{k}(n),\quad j_{x}^{k}(u)\in M_{k}.}$

Это действие определяет в ${\displaystyle M_{k}}$ структуру главного ${\displaystyle GL^{k}(n)}$-расслоения ${\displaystyle \pi _{k}:M_{k}\to M}$, называемого расслоением кореперов порядка ${\displaystyle k}$.

Пусть теперь ${\displaystyle W}$ — произвольное ${\displaystyle GL^{k}(n)}$-многообразие, то есть многообразие с левым действием группы ${\displaystyle GL^{k}(n)}$, a ${\displaystyle W(M)}$ — пространство орбит левого действия группы ${\displaystyle GL^{k}(n)}$ в ${\displaystyle M_{k}\times W}$. Расслоение ${\displaystyle \pi _{W}:W(M)\to M}$, являющееся естественной проекцией пространства орбит на ${\displaystyle M}$ и ассоциированное как с ${\displaystyle W}$, так и с ${\displaystyle M_{k}}$, называется расслоением геометрических структур типа ${\displaystyle W}$ порядка не больше ${\displaystyle k}$, а его сечения — структурами типа ${\displaystyle W}$. Структуры такого типа находятся в естественном взаимно однозначном соответствии с ${\displaystyle GL^{k}(n)}$-зквивариантными отображениями ${\displaystyle S:M_{k}\to W}$.

Таким образом, структуры типа ${\displaystyle W}$ можно рассматривать как ${\displaystyle W}$-значную функцию ${\displaystyle S}$ на многообразии ${\displaystyle M_{k}}$ ${\displaystyle k}$-реперов, удовлетворяющую следующему условию эквивариантности:

${\displaystyle S(gu^{k})=gS(u^{k}),\quad g\in GL^{k}(n),\quad u^{k}\in M_{k}.}$

Расслоение геометрических объектов является естественным расслоением в том смысле, что группа диффеоморфизмов многообразия ${\displaystyle M}$ действует как группа автоморфизмов ${\displaystyle \pi _{W}}$.

Если ${\displaystyle W}$ есть векторное пространство с линейным (соответственно аффинным) действием группы ${\displaystyle GL^{k}(n)}$, то структуры типа ${\displaystyle W}$ называются линейными (соответственно аффинными).

Основными примерами линейных структур первого порядка являются тензорные структуры, или тензорные поля. Пусть ${\displaystyle V=\mathbb {R} ^{n}}$, ${\displaystyle V^{*}=\mathrm {Hom} \,(V,\;\mathbb {R} )}$ и ${\displaystyle V_{g}^{p}=((\otimes ^{p}V))\otimes ((\otimes ^{q}V^{*}))}$ — пространство тензоров типа ${\displaystyle (p,\;q)}$ с естественным тензорным представлением группы ${\displaystyle GL^{1}(n)=GL(n)}$. Структура типа ${\displaystyle V_{q}^{p}}$ называется тензорным полем типа ${\displaystyle (p,\;q)}$. Её можно рассматривать как вектор-функцию на многообразии кореперов ${\displaystyle M_{1}}$, сопоставляющую кореперу ${\displaystyle \theta =j_{1}^{1}(u)=(du^{1},\;du^{2},\;\ldots ,\;du^{n})}$ набор координат ${\displaystyle S(\theta )_{j_{1}j_{2}\ldots j_{q}}^{i_{1}i_{2}\ldots i_{p}}}$ тензора ${\displaystyle S(\theta )\in V_{q}^{p}}$ относительно стандартного базиса

${\displaystyle \{e_{i_{1}}\otimes e_{i_{2}}\otimes \ldots \otimes e_{i_{p}}\otimes e^{*j_{1}}\otimes e^{*j_{2}}\otimes \ldots \otimes e^{*j_{q}}\}}$

пространства ${\displaystyle V_{q}^{p}}$. При линейном преобразовании коронера ${\displaystyle \theta \to g\theta =(g_{a}^{i}\,du^{a})}$ координаты ${\displaystyle S_{j_{1}j_{2}\ldots j_{p}}^{i_{1}i_{2}\ldots i_{p}}}$ преобразуются по тензорному представлению:

${\displaystyle S_{j_{1}j_{2}\ldots j_{q}}^{i_{1}i_{2}\ldots i_{p}}(q\theta )=g_{a_{1}}^{i_{1}}g_{a_{2}}^{i_{2}}\ldots g_{a_{p}}^{i_{p}}(g^{-1})_{j_{1}}^{b_{1}}(g^{-1})_{j_{2}}^{b_{2}}\ldots (g^{-1})_{j_{q}}^{b_{q}}S(\theta )_{b_{1}b_{2}\ldots b_{q}}^{a_{1}a_{2}\ldots a_{p}}.}$

Важнейшими примерами тензорных структур являются:

• векторное поле;
• дифференциальная форма;
• метрический тензор;
• симплектическая структура;
• комплексная структура.

Все линейные структуры (любых порядков) исчерпываются сверхтензорами Рашевского^[1].

Примером аффинной структуры второго порядка служит аффинная связность без кручения, которую можно рассматривать как структуру типа ${\displaystyle V_{(2)}^{1}}$, где ${\displaystyle V_{(2)}^{1}\approx V\otimes S^{2}V^{*}}$ — ядро естественного гомоморфизма ${\displaystyle GL^{2}(n)\to GL^{1}(n)}$, которое можно рассматривать как векторное пространство с естественным действием группы ${\displaystyle GL^{2}(n)=GL(n)V_{(2)}^{1}}$.

Другим важным и добольно широким классом структур является класс инфинитезимально однородных структур, или <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math alttext="{\displaystyle G}" xmlns="http://www.w3.org/1998/Math/MathML"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>G</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle G}</annotation> </semantics> </math></span><img alt="G" aria-hidden="true" class="mwe-math-fallback-image-inline mw-invert" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b" style="vertical-align: -0.338ex; width:1.827ex; height:2.176ex;"/></span>-структур. Их можно определить как структуры типа ${\displaystyle W}$, где ${\displaystyle W=GL^{k}(n)/G}$ — однородное пространство группы ${\displaystyle GL^{k}(n)}$.

Для дальнейшего обобщения можно рассмотреть общие ${\displaystyle G}$-структуры — главные расслоения, гомоморфно отображающиеся на ${\displaystyle G}$-структуру, и сечения ассоциированных с ними расслоений. В этом случае можно рассматривать ряд важных общих геометрических структур, такие как спинорные структуры, симплектические спинорные структуры и др.

Литература

1. Бурбаки, Н. Теория множеств / Пер. с франц. — М.: Мир, 1965. — 457 с.
2. Веблен, О., Уайтхед, Дж. Основания дифференциальной геометрии. — М.: ИИЛ, 1949. — 230 с.
3. Стернберг, С. Лекции по дифференциальной геометрии. — М.: Мир, 1970. — 413 с.
4. Васильев, А. М. Теория дифференциально-геометрических структур. — М.: МГУ, 1987. — 190 с.
5. Лаптев Г. Ф. Основные инфинитезимальные структуры высших порядков на гладком многообразии // Труды геометрического семининара. — т. 1. — М.: ВИНИТИ, 1966, с. 139—189.

См. также

• <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math alttext="{\displaystyle G}" xmlns="http://www.w3.org/1998/Math/MathML"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>G</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle G}</annotation> </semantics> </math></span><img alt="G" aria-hidden="true" class="mwe-math-fallback-image-inline mw-invert" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/f5f3c8921a3b352de45446a6789b104458c9f90b" style="vertical-align: -0.338ex; width:1.827ex; height:2.176ex;"/></span>-структура
• <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math alttext="{\displaystyle (B,\;\varphi )}" xmlns="http://www.w3.org/1998/Math/MathML"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mo stretchy="false">(</mo> <mi>B</mi> <mo>,</mo> <mspace width="thickmathspace"></mspace> <mi>φ<!-- φ --></mi> <mo stretchy="false">)</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle (B,\;\varphi )}</annotation> </semantics> </math></span><img alt="{\displaystyle (B,\;\varphi )}" aria-hidden="true" class="mwe-math-fallback-image-inline mw-invert" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/f943a2b7a86169dbddc6a381e87b690371cccc58" style="vertical-align: -0.838ex; width:6.773ex; height:2.843ex;"/></span>-структура
• <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math alttext="{\displaystyle C^{k}}" xmlns="http://www.w3.org/1998/Math/MathML"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <msup> <mi>C</mi> <mrow class="MJX-TeXAtom-ORD"> <mi>k</mi> </mrow> </msup> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle C^{k}}</annotation> </semantics> </math></span><img alt="C^k" aria-hidden="true" class="mwe-math-fallback-image-inline mw-invert" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/167fdb0cfb5644c4623b5842e1a9141acd83b534" style="vertical-align: -0.338ex; width:2.887ex; height:2.676ex;"/></span>-структура
• <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math alttext="{\displaystyle pl}" xmlns="http://www.w3.org/1998/Math/MathML"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>p</mi> <mi>l</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle pl}</annotation> </semantics> </math></span><img alt="{\displaystyle pl}" aria-hidden="true" class="mwe-math-fallback-image-inline mw-invert" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/f317aff909cc26f00d173851339b6bde6d3d68b5" style="vertical-align: -0.671ex; margin-left: -0.089ex; width:1.952ex; height:2.509ex;"/></span>-структура
• <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math alttext="{\displaystyle \Gamma }" xmlns="http://www.w3.org/1998/Math/MathML"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi mathvariant="normal">Γ<!-- Γ --></mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \Gamma }</annotation> </semantics> </math></span><img alt="\Gamma " aria-hidden="true" class="mwe-math-fallback-image-inline mw-invert" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/4cfde86a3f7ec967af9955d0988592f0693d2b19" style="vertical-align: -0.338ex; width:1.453ex; height:2.176ex;"/></span>-структура
• Контактная структура
• Почти комплексная структура
• Алгебраическая структура
• Топологическая структура
• Структура Ходжа
• Математическая структура

Примечания

Эта страница в последний раз была отредактирована 26 мая 2022 в 11:01.