By complexifying a Hamiltonian system one obtains dynamics on a holomorphic symplectic manifold. To invert this construction we present a theory of real forms which not only recovers the original system but also yields different real Hamiltonian systems which share the same complexification. This provides a notion of real forms for holomorphic Hamiltonian systems analogous to that of real forms for complex Lie algebras. Our main result is that the complexification of any analytic mechanical system on a Grassmannian admits a real form on a compact symplectic manifold. This produces a `unitary trick' for Hamiltonian systems which curiously requires an essential use of hyperkähler geometry. We demonstrate this result by finding compact real forms for the simple pendulum, the spherical pendulum, and the rigid body.
من خلال تعقيد نظام هاملتوني، يمكن الحصول على الديناميكا على متشعبات سيمبلكتية هولومورفية. لعكس هذا البناء، تقترح هذه الورقة نظرية الأشكال الحقيقية، التي لا تستعيد فقط النظام الأصلي، بل تنتج أيضاً أنظمة هاملتونية حقيقية مختلفة بنفس التعقيد. يوفر هذا مفهوماً مشابهاً للأشكال الحقيقية للجبر الكاذب المعقد للأنظمة الهاملتونية الهولومورفية. النتيجة الرئيسية هي: أي تعقيد لنظام ميكانيكا تحليلي معرّف على متشعب غراسمان يعترف بشكل حقيقي على متشعب سيمبلكتي مضغوط. ينتج عن هذا "حيلة وحدوية" لأنظمة هاملتونية، والتي تتطلب بشكل غريب استخدام هندسة فوق كاهلر بشكل أساسي. يتم توضيح هذه النتيجة بإيجاد أشكال حقيقية مضغوطة للبندول البسيط والبندول الكروي والجسم الصلب.
المشكلة الأساسية التي يسعى هذا البحث لحلها هي: بالنظر إلى نظام هاملتوني هولومورفي، كيف يمكن إيجاد جميع أنظمة هاملتونية حقيقية ممكنة بشكل منهجي، بحيث يعطي تعقيدها جميعاً نفس النظام الهولومورفي؟ هذا يشبه نظرية الأشكال الحقيقية للجبر الكاذب المعقد.
بالنظر إلى نظام هاملتوني هولومورفي على متشعب سيمبلكتي هولومورفي (M,Ω)، إيجاد جميع أشكاله الحقيقية الممكنة (N,ω^R) بحيث تشكل الديناميكا المقيدة على N نظام هاملتوني حقيقي.
التعريف 2.2: يُسمى الشكل الحقيقي N لمتشعب سيمبلكتي هولومورفي (M,Ω):
شكل سيمبلكتي حقيقي: إذا كان تقييد Ω على N حقيقياً بحتاً
شكل سيمبلكتي خيالي: إذا كان تقييد Ω على N خيالياً بحتاً
القضية 2.3: متشعب جزئي حقيقي بالكامل N⊂(M,Ω) هو شكل سيمبلكتي حقيقي إذا وفقط إذا كان متشعباً لاغرانجياً من (M,ωI)، مما يعني أنه متشعب جزئي سيمبلكتي من (M,ωR).
النظرية 2.5: متشعب جزئي سيمبلكتي حقيقي N⊂M ثابت تحت التدفق الهاملتوني الناتج عن دالة هولومورفية f=u+iv إذا وفقط إذا كانت v ثابتة محلياً على N. في هذه الحالة، التدفق على N يكافئ التدفق الهاملتوني الناتج عن تقييد u على (N,ω^R).
القضية 4.1: متشعب جزئي N من متشعب فوق كاهلر M هو متشعب جزئي لاغرانجي معقد من (M,I,Ω1) إذا وفقط إذا كان شكل سيمبلكتي خيالي من (M,J,Ω2) وشكل سيمبلكتي حقيقي من (M,K,Ω3).
النظرية 5.4: إذا اعترف النظام الهاملتوني الهولومورفي بنظام متكامل هولومورفي على (M,Ω)، والتدفق يحافظ على الشكل السيمبلكتي الحقيقي التحليلي N ثابتاً، فإن النظام الهاملتوني الحقيقي المقابل على (N,ω^R) متكامل.
النظرية 5.6: إذا كان النظام المتكامل الهولومورفي μ:M→Cn متوافقاً مع R بالنسبة للبنية السيمبلكتية الحقيقية R، فإن التقييد μ^:MR→Fixρ∗ هو نظام متكامل حقيقي على (MR,ω^R).
نظرية الأنظمة المتكاملة (Adler, van Moerbeke, Vanhaecke)
هندسة فوق كاهلر (Biquard, Kovalev)
الهندسة السيمبلكتية والهندسة بواسون (Crainic, Fernandes)
نظرية الاختزال الهاملتوني (الأدبيات الكلاسيكية ذات الصلة)
التقييم الشامل: هذه ورقة بحثية عالية الجودة في الفيزياء الرياضية النظرية، تقدم مساهمات مهمة في نظرية الأنظمة الهاملتونية الهولومورفية. تتمتع الورقة بقوة تقنية عالية وعمق نظري عميق، وتوفر أدوات ورؤى جديدة للبحث المتقاطع بين الميكانيكا الكلاسيكية والفيزياء الرياضية. على الرغم من وجود مجال لمزيد من التطوير في جوانب التطبيق، فإن قيمتها النظرية والابتكار واضحان وملموسان.