{{위키데이터 속성 추적}}
[[군론]]에서 '''심플렉틱 군'''(-群, {{llang|en|symplectic group}}) 또는 '''사교군'''(斜交群)은 고전적 [[행렬]] [[리 군]]의 하나다.

== 정의 ==
=== 심플렉틱 군 Sp(2''n''; ''K'') ===
<math>K</math>가 [[체 (수학)|체]]라고 하자. 다음과 같은 <math>2n\times2n</math> 행렬을 정의하자.
:<math>\Omega=\begin{pmatrix}0&1_{n\times n}\\-1_{n\times n}&0\end{pmatrix}\in\operatorname{GL}(2n;K)</math>
여기서 <math>1_{n\times n}</math>은 <math>n\times n</math> [[단위 행렬]]이다.

그렇다면 <math>\operatorname{Sp}(2n;K)</math>는 <math>M^\top\Omega M=\Omega</math>를 만족하는 <math>2n\times2n</math> [[행렬]] <math>M</math>들의 곱셈군이다. 즉,
:<math>\operatorname{Sp}(2n;K)=\{M\in\operatorname{GL}(2n;K)|M^\top\Omega M=\Omega\}</math>.
이 성질을 만족하는 행렬을 '''[[심플렉틱 행렬]]'''이라고 한다.

=== 유니터리 심플렉틱 군 USp(2''n'') ===
'''유니터리 심플렉틱 군''' <math>\operatorname{USp}(2n)</math>은 <math>2n\times2n</math> [[유니터리 행렬|유니터리]] 심플렉틱 복소수 행렬의 [[리 군]]이다. 즉,
:<math>\operatorname{USp}(2n)=\operatorname U(2n)\cap\operatorname{Sp}(2n,\mathbb C)</math>
이다. 간혹 USp(2''n'')을 Sp(''n'')으로 쓰기도 한다. 하지만 이는 Sp(''n'',''F'')와 다른 군이다.

유니터리 심플렉틱 군 <math>\operatorname{USp}(2n)</math>은 [[사원수]]의 [[유니터리 군]]과 같다.
:<math>\operatorname{USp}(2n)\cong\operatorname U(n;\mathbb H)=\{M\in\operatorname{GL}(n;\mathbb H)\colon M^{-1}=M^\dagger\}</math>

=== 리 대수 ===
<math>\operatorname{Sp}(2n;\mathbb R)</math>에 대응하는 [[리 대수]] <math>\mathfrak{sp}(2n;\mathbb R)</math>는 '''해밀턴 행렬'''({{llang|en|Hamiltonian matrix}}), 즉 <math>\Omega M</math>이 [[대칭 행렬]]인 행렬 <math>M</math>들로 구성된다.
:<math>\mathfrak{sp}(2n;\mathbb R)=\{M\in\mathfrak{gl}(2n;\mathbb R)\colon \Omega M=(\Omega M)^\top\}</math>
복소수체의 경우에도 마찬가지이다.
:<math>\mathfrak{sp}(2n;\mathbb C)=\{M\in\mathfrak{gl}(2n;\mathbb C)\colon \Omega M=(\Omega M)^\top\}</math>
유니터리 심플렉틱 군의 리 대수 <math>\mathfrak{usp}(2n)</math>는 <math>n\times n</math> 사원수 [[반에르미트 행렬]]로 구성된다. 또한, 이는 <math>2n\times2n</math> 복소수 에르미트 행렬이자 <math>2n\times2n</math> 해밀턴 행렬인 것들로 구성할 수도 있다.
:<math>\mathfrak{usp}(2n)=\{M\in\mathfrak{gl}(n;\mathbb H)\colon M=-M^\dagger\}\cong\mathfrak{sp}(2n;\mathbb C)\cap\mathfrak{u}(2n)</math>

== 성질 ==
=== 군론적 성질 ===
<math>\operatorname{USp}(2n)</math>의 [[군의 중심|중심]]은 다음과 같다.
:<math>\operatorname Z(\operatorname{USp}(2n))=\{\pm1_{2n\times2n}\}\cong\mathbb Z/2</math>
만약 <math>K</math>의 [[체의 표수|표수]]가 2가 아닐 경우, <math>\operatorname{Sp}(2n;K)</math>의 [[군의 중심|중심]]은 다음과 같다.
:<math>\operatorname Z(\operatorname{Sp}(2n;K))=\{\pm1_{2n\times2n}\}\cong\mathbb Z/2</math>
만약 <math>K</math>의 표수가 2일 경우, <math>\operatorname{Sp}(2n;K)</math>의 [[군의 중심|중심]]은 자명군이다.

(유니터리) 심플렉틱 군의 중심에 대한 [[몫군]]은 '''사영 (유니터리) 심플렉틱 군'''({{llang|en|projective (unitary) symplectic group}})이라고 한다.
:<math>\operatorname{Sp}(2n;K)/\operatorname Z(\operatorname{Sp}(2n;K))=\operatorname{PSp}(2n;K)</math>
:<math>\operatorname{USp}(2n)/\operatorname Z(\operatorname{USp}(2n))=\operatorname{PUSp}(2n)</math>

[[유한체]]에 대한 심플렉틱 군의 크기는 다음과 같다.
:<math>|\operatorname{Sp}(2n;\mathbb F_q)|=q^{n^2}\prod_{k=1}^n(q^{2k}-1)</math>

=== 리 이론적 성질 ===
심플렉틱 군 <math>\operatorname{Sp}(2n;\mathbb C)</math>는 계수가 <math>n</math>인 [[단순 리 군]]이며, 단순 리 군의 분류에서 <math>C_n</math>에 해당한다. 그 콤팩트 실수 형태는 <math>\operatorname{USp}(2n)</math>이며, 분해 실수 형태는 <math>\operatorname{Sp}(2n;\mathbb R)</math>이다. <math>\operatorname{Sp}(2n;\mathbb C)</math>의 딘킨 도표는 다음과 같다.
:<math>\overbrace{\bullet-\bullet-\cdots-\bullet\Leftarrow\bullet}^n</math>

<math>\operatorname{Sp}(2n;\mathbb R)</math>의 최대 콤팩트 부분군은 [[유니터리 군]] <math>\operatorname{U}(n)</math>이다.

<math>\operatorname{USp}(2n)</math>을 <math>n\times n</math> [[사원수]] 유니터리 행렬들의 군으로 생각한다면, <math>\operatorname{USp}(2n)</math>의 극대 원환면은 다음과 같다.
:<math>\{\operatorname{diag}(\lambda_1,\dots,\lambda_n)\colon\lambda_1,\dots,\lambda_n\in\mathbb C\subset\mathbb H,\,|\lambda_1|=\cdots=|\lambda_n|=1\}</math>
위 식에서는 사원수 대수 <math>\mathbb H</math> 속에서, 복소수체와 동형인 부분 대수를 임의로 골랐다. 이러한 부분 대수로는 <math>\mathbb R+\mathbb Ri</math> 또는 <math>\mathbb R+\mathbb Rj</math> 또는 <math>\mathbb R+\mathbb Rk</math> 따위를 사용할 수 있다.

<math>\operatorname{USp}(2n)</math>의 [[바일 군]]은 다음과 같으며, 이는 <math>\operatorname{SO}(2n+1)</math>의 바일 군과 같다.
:<math>\operatorname{Weyl}(\operatorname{USp}(2n))\cong(\mathbb Z/2)^n\rtimes\operatorname{Sym}(n)</math>
이는 구체적으로 다음과 같이 작용한다. 각 <math>\epsilon_i\in\{\pm1\}</math>는 <math>\lambda_i</math>를
:<math>+1\colon\lambda_i\mapsto\lambda_i</math>
:<math>-1\colon\lambda_i\mapsto\bar\lambda_i</math>
와 같이 대응시키며, <math>\sigma\in\operatorname{Sym}(n)</math>은 극대 원환면의 기저에 대하여 [[순열]]로 작용한다.

=== 위상수학적 성질 ===
복소수 심플렉틱 군 <math>\operatorname{Sp}(2n;\mathbb C)</math>은 <math>n(2n+1)</math> 복소수 차원의 [[연결 공간|연결]] [[단일 연결]] [[리 군]]이다. 이는 [[콤팩트 공간|콤팩트]]하지 않으며, 다음과 같은 [[위상 동형]]이 존재한다.
:<math>\operatorname{Sp}(2n;\mathbb C)\cong\operatorname{USp}(2n)\times\mathbb R^{2n^2+n}</math>

실수 심플렉틱 군 <math>\operatorname{Sp}(2n;\mathbb R)</math>은 <math>n(2n+1)</math> (실수) 차원의 [[연결 공간|연결]] [[리 군]]이며, 이는 [[콤팩트 공간|콤팩트]]하지 않는다. 또한, 다음과 같은 [[호모토피 동치]]가 존재한다.
:<math>\operatorname{Sp}(2n,\mathbb R)\simeq\mathbb S^1\times\operatorname{SU}(n)</math>
따라서, 그 [[기본군]]은 다음과 같다.
:<math>\pi_1(\operatorname{Sp}(2n;\mathbb R))\cong\mathbb Z</math>
이에 따라 두 겹 [[피복군]]을 취하면 '''메타플렉틱 군'''({{llang|en|metaplectic group}})
:<math>1\to\mathbb Z/2\to\operatorname{Mp}(2n)\to\operatorname{Sp}(2n;\mathbb R)\to1</math>
을 얻는다.

유니터리 심플렉틱 군 <math>\operatorname{USp}(2n)</math>은 <math>n(2n + 1)</math> (실수) 차원의 [[콤팩트 공간|콤팩트]] [[연결 공간|연결]] [[단일 연결]] [[리 군]]이다.

=== 포함 관계 ===
유니터리 심플렉틱 군은 다음과 같은 포함 관계를 가진다.
: <math>\operatorname{USp}(2n) \supset \operatorname{USp}(2n-2)</math>
: <math>\operatorname{SU}(2n)\supset\operatorname{USp}(2n) \supset \operatorname{SU}(n)</math>
: <math>F_4 \supset \operatorname{USp}(8)</math>
: <math>G_2 \supset \operatorname{USp}(2)</math>.

낮은 차수의 유니터리 심플렉틱 군은 다음과 같은 '''예외적 동형'''({{llang|en|exceptional isomorphism}})을 보인다.
:<math>\operatorname{USp}(2)\cong\operatorname{Spin}(3)\cong\operatorname{SU}(2)</math>
:<math>\operatorname{PUSp}(2)\cong\operatorname{PSU}(2)\cong\operatorname{SO}(3)</math>
:<math>\operatorname{Sp}(2;\mathbb R)\cong\operatorname{SL}(2;\mathbb R)</math>
:<math>\operatorname{PSp}(2;\mathbb R)\cong\operatorname{PSL}(2;\mathbb R)\cong\operatorname{Spin}^+(2,1)</math>
:<math>\operatorname{USp}(4)\cong\operatorname{Spin}(5)</math>
:<math>\operatorname{PUSp}(4)\cong\operatorname{SO}(5)</math>
:<math>\operatorname{Sp}(4;\mathbb R)\cong\operatorname{Spin}(3,2)</math>
:<math>\operatorname{PSp}(4;\mathbb R)\cong\operatorname{SO}(3,2)</math>
복소군의 경우 이는 해당 딘킨 도표로부터 쉽게 알 수 있다.

모든 체 <math>K</math>에 대하여, 다음과 같은 동형이 성립한다.
:<math>\operatorname{Sp}(2;K)=\operatorname{SL}(2;K)</math>

[[유한체]]에 대한 심플렉틱 군의 경우 다음과 같은 동형이 존재한다.
:<math>\operatorname{Sp}(2;\mathbb F_2)\cong\operatorname{Sym}(3)</math>
:<math>\operatorname{Sp}(4;\mathbb F_2)\cong\operatorname{Sym}(6)</math>
:<math>\operatorname{PSp}(2;\mathbb F_3)\cong\operatorname{Alt}(4)</math>
여기서 <math>\operatorname{Sym}(n)</math> 및 <math>\operatorname{Alt}(n)</math>은 각각 [[대칭군 (군론)|대칭군]]과 [[교대군]]을 뜻한다.

== 역사 ==
심플렉틱 군은 [[닐스 헨리크 아벨]]이 도입하였다.

"심플렉틱 군"이라는 이름은 [[헤르만 바일]]이 1939년에 도입하였다.<ref name="Weyl">{{서적 인용 | last=Weyl | first=Hermann | authorlink=헤르만 바일 | title=The classical groups: their invariants and representations | url=http://press.princeton.edu/titles/2169.html | publisher=Princeton University Press | isbn=978-0-691-05756-9 | mr=0000255 | 날짜=1939 | 언어=en}}</ref> 이 책에서 바일은 다음과 같이 적었다.
{{인용문2|나는 이전에 이 군을 이는 선복합체({{llang|en|line complex}})를 따서 ‘복합군’({{llang|en|complex group}})으로 부를 것을 제안하였다. 이는 이 군이 반대칭 [[이차 형식]]의 값이 0이 되는 조건을 통해 정의되기 때문이다. 그러나 이 이름은 ‘복소수’({{llang|en|complex number}})에서의 ‘복소’와 혼동되기 때문에 더 이상 쓰이기 힘들다. 따라서 나는 이를 이에 대응하는 그리스어 단어 ‘심플렉틱’({{llang|en|symplectic}})으로 일컫도록 하겠다. [[레너드 유진 딕슨|딕슨]]은 이 군을 ‘아벨 선형군’이라고 부르는데, 이는 이 군을 최초로 연구한 [[닐스 헨리크 아벨|아벨]]의 이름을 딴 것이다.<br>{{lang|en|The name “complex group” formerly advocated by me in allusion to line complexes, as these are defined by the vanishing of antisymmetric bilinear forms, has become more and more embarrassing through collision with the word “complex” in the connotation of complex number. I therefore propose to replace it by the corresponding Greek adjective “symplectic.” Dickson calls the group the “Abelian linear group” in homage to Abel who first studied it.}}|<ref name="Weyl"/>{{rp|165}}}}
이 어원에 대하여 다른 저자는 다음과 같이 적었다.
{{인용문2|흥미롭게도, 두 세기 전까지만 해도 ‘심플렉틱 기하학’이라는 용어는 존재하지 않았다. 유명한 영어 사전을 찾아보면, 아마 ‘심플렉틱’({{llang|en|symplectic bone}}<nowiki>=</nowiki>접속골)은 생선 대가리 속의 뼈의 일종이라고 수록돼 있을 것이다. 하지만 수학 용어 ‘심플렉틱’은 [[헤르만 바일|바일]]이 고안하였다. 바일은 심플렉틱 군을 지칭하기 위하여, 라틴어 어근 {{lang|la|complex-|콤플렉스}}를 같은 뜻의 그리스어 어근으로 치환하였다. 이렇게 바일은 [[복소수]]({{llang|en|complex number}})와의 혼동을 없앴고, 또 이를 [[닐스 헨리크 아벨|아벨]]을 기리는 이름 "아벨 선형군"으로 불렀을 때 야기되었을 <nowiki>[</nowiki>[[아벨 군]]과의] 혼동을 피하였다.<br>{{lang|en|As a curiosity, note that two centuries ago the name ''symplectic geometry'' did not exist.  If you consult a major English dictionary, you are likely to find that ''symplectic'' is the name for a bone in a fish’s head. However, as clarified in [105], the word ''symplectic'' in mathematics was coined by Weyl [110, p.165] who substituted the Latin root in ''complex'' by the corresponding Greek root, in order to label the symplectic group. Weyl thus avoided that this group connote the complex numbers, and also spared us from much confusion that would have arisen, had the name remained the former one in honor of Abel: ''abelian linear group''.}}|<ref>{{서적 인용|제목=Lectures on Symplectic Geometry|이름=Anna|성=Cannas da Silva|출판사=Springer|url=http://www.math.ist.utl.pt/~acannas/Books/lsg.pdf|doi=10.1007/978-3-540-45330-7|isbn=978-3-540-42195-5|총서=Lecture Notes in Mathematics|권=1764|issn=0075-8434|날짜=2001|언어=en}}</ref>{{rp|1}}}}

== 각주 ==
{{각주}}
* {{서적 인용|성=Fulton|이름=William|공저자=Joe Harris|연도=1991|제목=Representation theory. A first course|기타=Graduate Texts in Mathematics, Readings in Mathematics, 129|위치=New York|출판사=Springer|ISBN=978-0-387-97495-8}}
* {{서적 인용|제목=Symmetry, Representations, and Invariants|기타=Graduate Texts in Mathematics 255|성=Goodman|이름=Roe|공저자=Nolan R. Wallach|출판사=Springer|위치=New York|doi=10.1007/978-0-387-79852-3|isbn=978-0-387-79851-6|url=https://math.rutgers.edu/~goodman/symmetry.html|연도=2009}}
* {{서적 인용|url=http://www.ams.org/bookstore-getitem/item=GSM-39|제목=Classical Groups and Geometric Algebra|이름=Larry C.|성=Grove|isbn=978-0-8218-2019-3|연도=2002|기타=Graduate Studies in Mathematics 39|위치=Providence, Rhode Island|출판사=American Mathematical Society}}
* {{서적 인용|제목=Symplectic groups|이름=Onorato Timothy|성=O’Meara|날짜=1978|출판사=American Mathematical Society|총서=Mathematical Surveys|권=16|isbn= 978-0-8218-1516-8|url=http://www.ams.org/bookstore-getitem/item=SURV-16|언어=en}}

== 외부 링크 ==
* {{eom|title=Symplectic group}}
* {{매스월드|id=SymplecticGroup|title=Symplectic group}}
* {{nlab|id=symplectic group|title=Symplectic group}}
* {{nlab|id=compact symplectic group|title=Compact symplectic group}}
* {{nlab|id=metaplectic group|title=Metaplectic group}}

== 같이 보기 ==
* [[심플렉틱 다양체]]
* [[심플렉틱 행렬]]
{{전거 통제}}

[[분류:리 군]]
[[분류:심플렉틱 기하학]]