리 군

리 군은 군의 구조와 매끄러운 다양체의 구조를 동시에 가지는 수학적 대상이다. 구체적으로, 리 군은 집합으로서 군을 이루면서, 그 위에 매끄러운 다양체의 구조가 주어져 있고, 군에서의 연산인 곱셈 연산과 역원을 취하는 연산이 모두 매끄러운 함수가 되는 것을 의미한다. 이 정의는 소푸스 리에 의해 19세기 말에 처음 도입되었다.

리 군은 크게 유한차원 리 군과 무한차원 리 군으로 구분된다. 대부분의 기본적인 예시와 응용 분야에서 다루는 것은 유한차원 리 군으로, 다양체의 차원이 유한한 경우에 해당한다. 이들은 연속 대칭성을 연구하는 데 핵심적인 도구로 사용되며, 미분방정식의 대칭성 분석, 물리학의 게이지 이론, 그리고 기하학 등 다양한 분야에서 응용된다.

리 군의 개념은 군론, 미분기하학, 리 대수, 표현론, 수리물리학 등 여러 수학 및 물리학 분야와 깊이 연관되어 있다. 특히, 각 리 군에는 그 국소적 구조를 결정하는 리 대수가 대응되며, 이 관계를 통해 군의 복잡한 기하학적 성질을 선형적인 대수적 도구로 연구할 수 있게 해준다.

리 군은 매끄러운 다양체, 즉 미분 가능한 다양체의 구조를 가진다. 이는 국소적으로 유클리드 공간과 닮았고, 매끄러운 좌표 변환을 허용하는 공간으로 이해할 수 있다. 따라서 리 군의 각 점 주변에는 국소 좌표계를 부여할 수 있으며, 이를 통해 미분과 같은 해석학적 연산을 수행할 수 있다. 이 다양체 구조는 리 군이 단순한 대수적 객체인 군을 넘어 기하학적이고 해석학적인 성질을 풍부하게 지니게 하는 기반이 된다.

군 연산의 매끄러움은 이 다양체 구조와 깊이 연관되어 있다. 리 군에서 두 원소의 곱셈 연산과 역원을 취하는 연산은 모두 매끄러운 사상이어야 한다. 구체적으로, 군의 곱셈 연산은 다양체의 곱공간에서 다양체 자체로 가는 매끄러운 사상이며, 역원 연산은 다양체 자기 자신으로 가는 매끄러운 사상이다. 이 조건은 군의 대수적 구조와 다양체의 미분 구조가 완벽하게 조화를 이루도록 보장한다.

이러한 구조 덕분에 리 군 위에서는 미분기하학의 도구들을 자유롭게 적용할 수 있다. 예를 들어, 접공간과 접벡터의 개념을 정의하고, 이를 통해 리 대수를 자연스럽게 구성할 수 있다. 또한, 다양체로서의 차원은 리 군의 연속적인 자유도의 개수와 일치하며, 이는 해당 리 군이 기술하는 연속 대칭성의 차원을 의미하기도 한다.

결국, 매끄러운 다양체로서의 구조는 리 군을 연구하는 강력한 틀을 제공한다. 이는 순수 군론의 관점과 해석학 및 기하학의 관점을 통합하여, 연속적인 대칭 현상을 수학적으로 정교하게 다루는 것을 가능하게 한다. 소푸스 리가 미분방정식의 대칭성을 연구하기 위해 이 개념을 도입한 이후, 이 구조는 수리물리학과 표현론을 비롯한 여러 분야에서 핵심적인 역할을 하고 있다.

리 군은 군의 구조와 매끄러운 다양체의 구조가 서로 조화를 이루는 수학적 대상이다. 구체적으로, 리 군에서 정의된 두 연산, 즉 군의 곱셈 연산과 역원을 취하는 연산이 모두 매끄러운 함수여야 한다는 것이 핵심 조건이다.

군 연산의 매끄러움은 다음과 같이 기술된다. 리 군 G 위에서 정의된 곱셈 연산 m: G × G → G가 (g, h)를 gh로 보내는 함수일 때, 이 함수 m이 매끄러운 함수이어야 한다. 이는 두 점을 '약간' 움직였을 때 그 곱도 '약간'만 변한다는 직관을 엄밀하게 표현한 것으로, 군 연산이 다양체의 미분 구조와 완전히 호환됨을 의미한다. 마찬가지로, 역원 연산 i: G → G가 g를 g⁻¹로 보내는 함수일 때, 이 함수 i도 매끄러운 함수여야 한다.

이러한 조건은 리 군이 단순한 군이 아니라 기하학적 구조를 가진 군으로 연구될 수 있는 토대를 제공한다. 군 연산이 매끄러우므로, 군의 국소적인 구조, 즉 리 대수를 정의하고 분석하는 것이 가능해진다. 이는 소푸스 리가 미분방정식의 연속적인 대칭성을 연구하기 위해 처음 도입한 핵심 아이디어였다. 결과적으로 리 군은 군론의 대수적 도구와 미분기하학의 해석적 도구를 결합하여, 물리학의 게이지 이론을 비롯한 연속 대칭성 연구에 필수적인 언어가 되었다.

리 군과 리 대수 사이에는 밀접한 관계가 존재한다. 이 관계는 리 군의 국소적 구조를 선형적인 대수적 구조로 변환하여 연구를 용이하게 하는 핵심 도구이다. 모든 리 군은 그에 대응하는 리 대수를 가지며, 이 리 대수는 본질적으로 리 군의 항등원에서의 접공간에 해당한다. 구체적으로, 리 군 위의 왼쪽 불변 벡터장들의 집합은 리 괄호 연산 아래에서 리 대수를 이룬다.

리 대수는 리 군의 국소적 구조를 완전히 결정한다. 즉, 두 리 군이 국소적으로 동형이면, 그들의 리 대수는 동형이다. 이는 리 군의 많은 성질, 특히 항등원 근방의 성질이 리 대수만으로 연구될 수 있음을 의미한다. 중요한 정리로는, 실수체나 복소수체 위의 유한 차원 리 대수는 그와 동형인 연결 단일 연결 리 군을 유일하게 결정한다는 점이다. 이를 통해 복잡한 군 구조를 선형 대수적 방법으로 다룰 수 있게 된다.

이 관계의 구체적인 구현은 지수 사상을 통해 이루어진다. 지수 사상은 리 대수에서 리 군으로 가는 미분 가능한 사상으로, 리 대수의 원소를 리 군의 원소로 보낸다. 이 사상은 항등원 근방에서 국소 동형사상을 제공하며, 리 군의 곱셈 구조를 리 대수의 리 괄호 연산과 연결 짓는다. 따라서 리 군의 표현론과 같은 분야에서 리 대수의 표현을 연구하는 것이 강력한 방법이 된다.

리 군과 리 대수의 이러한 대응 관계는 수학의 여러 분야와 물리학에서 광범위하게 응용된다. 특히 연속 대칭성을 연구하는 게이지 이론이나 미분방정식의 대칭성 분석에서 리 대수는 계산을 단순화하는 필수적인 언어 역할을 한다.

지수 사상은 리 군과 그 리 대수를 연결하는 핵심적인 도구이다. 리 군 G의 리 대수 g는 G의 항등원에서의 접공간으로, 본질적으로 군의 무한소 변환들을 담고 있다. 지수 사상은 이러한 무한소 변환(리 대수의 원소)을 군의 실제 원소로 '지수화'하는 과정을 제공한다.

구체적으로, 리 대수 g의 원소 X에 대해, 지수 사상 exp: g → G는 미분방정식 γ'(0) = X를 만족하는 G 내의 일매변환 γ(t)를 이용해 exp(X) = γ(1)로 정의된다. 이는 행렬 리 군의 경우 행렬 지수 함수와 정확히 일치하며, 일반적인 리 군에서도 유사한 성질을 가진다. 지수 사상은 항등원 근방에서 국소 미분동형사상이 되어, 리 군의 국소 구조가 그 리 대수에 의해 완전히 결정됨을 보여준다.

지수 사상은 리 군의 구조를 연구하는 데 광범위하게 활용된다. 예를 들어, 연결 단일 연결 리 군은 그 리 대수와 지수 사상을 통해 완전히 분류될 수 있다. 또한 물리학에서 게이지 이론의 게이지 변환을 다룰 때, 게이지 장의 무한소 변환(리 대수에 해당)과 유한 변환(리 군 원소에 해당) 사이의 관계를 기술하는 데 지수 사상이 필수적이다.

그러나 지수 사상이 전사함수가 아닐 수 있다는 점에 유의해야 한다. 즉, 리 군의 모든 원소가 리 대수의 어떤 원소의 지수로 표현될 수 있는 것은 아니다. 이는 콤팩트 연결 리 군에서는 성립하지만, 일반적인 비콤팩트 군에서는 성립하지 않는다. 이러한 현상은 리 군의 위상수학적 구조, 특히 호모토피와 깊은 관련이 있다.

리 군 위에는 군의 구조와 조화를 이루는 특별한 적분 개념이 존재한다. 이를 불변 측도 또는 하르 측도라고 부른다. 이 측도는 군의 왼쪽 이동이나 오른쪽 이동에 대해 불변이라는 핵심적인 성질을 지닌다. 즉, 군의 임의의 원소를 곱하는 변환을 수행해도 집합의 측도값이 변하지 않는다.

이러한 불변성 덕분에 하르 측도는 리 군 위에서 함수를 적분하는 표준적인 도구가 된다. 특히 콤팩트 리 군의 경우 이 측도는 유한한 전체 부피를 가지므로, 전체 군에 대한 적분을 1로 정규화할 수 있어 확률론적 해석이나 평균값 계산에 유용하게 쓰인다. 표현론에서 군 표현의 성분 함수들의 직교 관계를 증명하거나, 푸리에 해석을 리 군으로 확장할 때 이 불변 측도가 근본적인 역할을 한다.

하르 측도의 존재는 리 군이 위상군이면서 매끄러운 다양체라는 이중적 구조에서 비롯된다. 군 연산의 매끄러움은 군 위의 접다발 구조와 잘 어우러져, 각 점에서의 접공간을 이용해 일관된 방식으로 측도를 정의할 수 있게 해준다. 이 측도는 군의 리 대수로부터 자연스럽게 유도될 수 있으며, 군의 기하학적 구조를 반영한다.

물리학, 특히 통계역학과 양자장론에서 대칭성을 다룰 때, 하르 측도는 대칭군 위의 적분을 통해 모든 가능한 상태나 게이지 변환을 공정하게 평균내는 데 필수적이다. 또한 수론에서 adelic 군과 같은 대수적 군 위에서의 적분을 정의하는 데에도 그 개념이 확장 적용된다.

단순 리 군은 비아벨이며, 자명하지 않은 정규 부분군을 갖지 않는 연결 콤팩트 리 군을 말한다. 이는 군의 구조에서 더 이상 쪼갤 수 없는 기본적인 구성 요소로 볼 수 있다. 반단순 리 군은 유한 개의 단순 리 군의 직접곱으로 분해될 수 있는 리 군으로 정의된다. 즉, 반단순 리 군은 단순 리 군을 '블록'처럼 조합하여 만들어진다. 모든 반단순 리 군은 아벨 군인 중심을 제외하면 단순 리 군들의 곱과 동형이다.

단순 리 군은 리 대수의 관점에서도 정의될 수 있으며, 이 경우 단순 리 대수에 대응된다. 복소수 체 위의 단순 리 군은 완전히 분류되어 있으며, 이는 카르탕 분류로 알려져 있다. 이 분류는 네 개의 무한 계열 (A_n, B_n, C_n, D_n)과 다섯 개의 예외적 군 (E_6, E_7, E_8, F_4, G_2)으로 이루어진다. 각 계열은 일반선형군, 직교군, 심플렉틱 군 등의 고전군과 연결된다.

반단순 리 군의 중요한 예로는 특수직교군 SO(n), 특수유니타리군 SU(n), 심플렉틱 군 Sp(n) 등이 있다. 예를 들어, 특수유니타리군 SU(2)는 스핀을 기술하는 데 물리학에서 핵심적으로 사용되며, 특수직교군 SO(3)은 3차원 공간의 회전 대칭을 나타낸다. 이들 군은 콤팩트하며, 이 성질은 유한 차원 표현의 이론을 강력하게 만들어 준다.

이러한 분류는 수학의 여러 분야와 표준 모형을 포함한 물리학에서 대칭성을 연구하는 데 필수적이다. 단순 및 반단순 리 군의 구조와 표현은 미분기하학에서 대칭 공간을 이해하고, 수론에서 자기동형형 형식을 탐구하는 데 광범위하게 응용된다.

아벨 리 군은 군 연산이 교환 법칙을 만족하는 리 군이다. 즉, 군의 모든 원소 a, b에 대해 a * b = b * a가 성립하는 매끄러운 다양체 구조를 가진 군을 의미한다. 이는 리 군의 특별한 부류로, 그 구조가 비교적 단순하여 분석하기 용이하다.

가장 기본적인 예시는 실수 전체의 집합 R이 덧셈 연산에 대해 이루는 리 군이다. 이는 1차원의 비콤팩트 아벨 리 군이다. 또한, 원군 U(1)은 복소평면 위의 단위원으로, 곱셈 연산에 대해 콤팩트 아벨 리 군을 이룬다. 보다 일반적으로, 유클리드 공간 R^n은 벡터 덧셈에 대해 n차원 아벨 리 군이 되며, 원환면 T^n = S^1 × ... × S^1은 n개의 원군의 곱으로 정의되는 콤팩트 아벨 리 군의 예시이다.

아벨 리 군의 리 대수는 교환자 연산 [X, Y]가 항상 0이 되는 가환 리 대수이다. 이는 군의 교환성이 리 대수 수준에서도 반영된 결과이다. 아벨 리 군의 지수 사상은 리 대수에서 군으로의 전사적인 군 준동형사상이 되며, 특히 연결되고 단순 연결된 아벨 리 군의 경우 지수 사상은 미분동형사상이 된다.

이러한 단순한 구조 덕분에 아벨 리 군은 푸리에 해석의 자연스러운舞台가 된다. 예를 들어, 원군 U(1)이나 원환면 위에서의 함수는 푸리에 급수로, 실수 직선 R 위에서의 함수는 푸리에 변환으로 분석될 수 있다. 이는 수학의 여러 분야와 양자역학 등 물리학에서 근본적인 도구로 활용된다.

리 군 이론에서 가장 기본적이고 중요한 예시들은 고전군으로 불린다. 이들은 주어진 체 위의 행렬들로 구성된 군들 중 특정 기하학적 조건을 만족하는 것들이다. 가장 대표적인 고전군으로는 일반선형군, 직교군, 유니타리군, 심플렉틱 군 등이 있다.

일반선형군 GL(n, R)은 실수 성분의 n x n 가역 행렬들의 집합으로, 행렬 곱셈에 대해 군을 이룬다. 이는 모든 고전군의 '모체'와 같은 역할을 하며, 그 자체로 중요한 비콤팩트 리 군이다. 직교군 O(n)은 직교 행렬, 즉 전치행렬이 역행렬이 되는 행렬들로 구성된 군으로, 유클리드 공간에서의 길이를 보존하는 선형 변환들에 해당한다. 그 부분군인 특수직교군 SO(n)은 행렬식이 1인 직교 행렬들의 군으로, 회전 변환을 나타낸다.

복소수 체로 확장하면 일반선형군 GL(n, C)와 유니타리군 U(n)을 정의할 수 있다. 유니타리군은 켤레 전치행렬이 역행렬이 되는 복소 행렬들의 군이며, 특수유니타리군 SU(n)은 행렬식이 1인 유니타리 행렬들의 군이다. SU(2)와 SU(3)은 각각 양자역학의 스핀과 입자 물리학의 강한 상호작용을 기술하는 데 핵심적인 역할을 한다. 한편, 심플렉틱 군 Sp(2n, R)은 표준적인 심플렉틱 형식을 보존하는 행렬들의 군으로, 고전역학의 해밀턴 역학과 깊은 연관이 있다.

이러한 고전군들은 모두 리 군의 전형적인 예로서, 그 리 대수가 명확하게 계산될 수 있으며, 콤팩트하거나 비콤팩트한 성질, 연결성 등을 연구하는 데 있어 표본이 된다. 또한 단순 리 군과 반단순 리 군의 분류 체계에서 핵심적인 구성 요소를 이루어, 수학의 여러 분야와 현대 물리학에 광범위하게 응용된다.

리 군의 중요한 예시로는 사원수를 활용한 군과 유클리드 공간의 운동을 다루는 군이 있다. 사원수의 집합은 실수체 위의 나눗셈환을 이루며, 그 노름이 1인 원소들로 구성된 사원수 군은 3차원 구면과 위상동형인 콤팩트 연결 리 군이다. 이 군은 직교군 SO(3)의 범피복군이며, 스핀 현상을 이해하는 데 핵심적인 역할을 한다.

유클리드 공간의 강체 운동을 기술하는 특수 유클리드 군은 또 다른 주요 예시이다. 이 군은 직교군과 평행 이동 군의 반직접곱으로 구성되며, 기하학과 로봇공학에서 물체의 위치와 자세를 표현하는 데 널리 사용된다. 이는 리만 기하학에서 공간의 대칭군으로서도 중요한 의미를 지닌다.

이 외에도 다양한 리 군의 예시가 존재한다. 예를 들어, 닐포텐트 리 군은 멱영 성질을 가진 비가환적 군의 예를 제공하며, 해석적 다양체 이론에서 연구 대상이 된다. 또한, 푸앵카레 군은 특수 상대성 이론의 시공간 대칭을 나타내는 비콤팩트 리 군으로, 물리학의 기본적인 구조를 형성한다.

리 군의 유한 차원 표현은 그 응용에서 매우 중요한 역할을 한다. 이는 리 군 G에서 일반선형군 GL(n, K) (여기서 K는 실수체 R 또는 복소수체 C)로 가는 매끄러운 군 준동형사상을 의미한다. 즉, 군의 각 원소에 가역 행렬을 대응시키며, 이 대응이 군 연산을 보존하고 미분 가능한 방식으로 이루어진다. 이러한 표현을 통해 추상적인 군의 원소를 구체적인 행렬로 나타낼 수 있어, 군의 구조와 작용을 선형대수의 언어로 연구할 수 있게 해준다.

유한 차원 표현론의 핵심 목표 중 하나는 기약 표현을 분류하는 것이다. 기약 표현은 표현 공간에 대해 군의 작용 아래 불변인 진부분공간이 존재하지 않는, 가장 기본적인 구성 요소에 해당한다. 복소수 체 위의 콤팩트 리 군의 경우, 그 유한 차원 기약 표현은 완전히 분류되어 있다. 이 분류는 표현의 최고 가중치에 의해 지배되며, 바일의 특징 공식이나 성격 이론을 통해 체계적으로 다룰 수 있다.

반면, 비콤팩트 리 군의 유한 차원 표현론은 더 복잡한 양상을 보인다. 예를 들어, 반단순 리 군의 경우, 유한 차원 기약 표현은 그 리 대수의 표현과 깊은 관련이 있다. 리 대수의 유한 차원 표현은 가중치와 근계의 체계를 통해 연구되며, 이는 대응되는 리 군의 표현론으로 이어진다. 슬로다니의 정리와 같은 결과는 리 대수의 표현을 리 군의 표현으로 '올리는' 문제와 관련이 있다.

이러한 유한 차원 표현은 물리학에서 널리 응용된다. 특히, 입자 물리학의 표준 모형은 특수 유니타리 군 SU(3) × SU(2) × U(1)과 같은 리 군의 표현을 통해 기본 입자의 전하와 스핀 같은 양자수를 기술한다. 쿼크와 렙톤은 이러한 군 표현의 기약 성분에 해당하며, 그 상호작용은 게이지 보손을 매개로 한 표현 간의 결합으로 이해될 수 있다.

리 군의 무한 차원 표현은 힐베르트 공간이나 다른 무한 차원 벡터 공간 위에서 정의되는 표현을 의미한다. 이는 양자역학과 같은 물리학 분야에서 자연스럽게 등장하는데, 예를 들어 양자장론에서의 상태 공간은 일반적으로 무한 차원이기 때문이다. 유한 차원 표현과는 달리, 무한 차원 표현론에서는 위상수학적 고려 사항과 함수해석학적 도구들이 중요하게 작용한다.

무한 차원 표현의 중요한 예로는 유니터리 표현이 있다. 콤팩트 리 군의 경우 모든 기약 표현이 유한 차원이지만, 비콤팩트 리 군의 경우에는 흥미로운 무한 차원 기약 표현이 존재한다. 이러한 표현은 하르 측도를 이용한 Lp 공간이나 해석적 벡터의 개념을 통해 연구된다. 특히 반단순 리 군의 무한 차원 표현론은 하리시찬드라와 같은 수학자들에 의해 크게 발전되었다.

무한 차원 표현론은 수리물리학에서 핵심적인 역할을 한다. 예를 들어, 로런츠 군이나 푸앵카레 군의 유니터리 표현은 상대론적 양자역학과 양자장론의 기초를 이룬다. 또한 게이지 이론에서 게이지 군의 표현은 입자의 전하와 상호작용을 기술하는 데 사용된다. 이 분야의 연구는 산란 이론과 보손 끈 이론과도 깊이 연결되어 있다.

리 군의 연결성은 그 위상수학적 구조를 이해하는 데 중요한 성질이다. 연결된 리 군은 하나의 조각으로 이루어져 있으며, 이는 군의 대칭 연산이 연속적으로 서로 연결될 수 있음을 의미한다. 많은 중요한 리 군, 예를 들어 일반선형군 GL(n, R)의 두 개의 연결 성분을 갖는 경우도 있지만, 특수선형군 SL(n, R)이나 직교군 SO(n)과 같은 군들은 연결되어 있다.

단일 연결성은 더 강한 위상적 성질로, 기본군이 자명한 군을 의미한다. 즉, 군 위의 임의의 고리가 하나의 점으로 연속적으로 수축될 수 있다. 모든 연결 리 군 G에 대해, 그 범피복군이라고 불리는 단일 연결 리 군 G~가 유일하게 존재한다. 이 범피복군은 원래 군으로의 전사적인 준동형사상을 가지며, 그 핵은 이산적인 중심 부분군이 되어 G는 G~의 몫군으로 나타난다. 예를 들어, 특수직교군 SO(3)의 범피복군은 SU(2) 군이다.

연결성과 단일 연결성은 리 군의 표현을 연구할 때 결정적인 역할을 한다. 단일 연결 리 군의 유한 차원 표현은 그 리 대수의 표현과 일대일로 대응한다. 반면, 연결되지만 단일 연결이 아닌 리 군의 경우, 리 대수의 표현 중 오직 특정 조건을 만족하는 것만이 군 자체의 표현으로 '올라간다'. 이는 물리학, 특히 양자역학에서 상태의 파동 함수가 군의 작용 하에 어떻게 변환되는지를 규정할 때 중요한 의미를 갖는다.

리 군의 호모토피 군은 그 위상수학적 성질을 이해하는 데 핵심적인 도구이다. 호모토피 군은 위상 공간에 고리를 얼마나 다양하게 감을 수 있는지, 즉 공간의 '구멍'이나 '감김'의 구조를 대수적으로 나타낸다. 특히 리 군은 매끄러운 다양체이므로, 그 호모토피 군은 군의 대수적 구조와 위상적 구조를 연결하는 중요한 다리가 된다.

리 군의 가장 기본적인 호모토피 군은 제1호모토피 군, 즉 기본군이다. 연결된 리 군의 경우, 그 기본군은 항상 아벨 군이다. 또한, 모든 연결 리 군은 그 범피복 공버인 단일 연결 리 군과 이산 중심 부분군에 의한 몫으로 표현될 수 있다. 예를 들어, 특수 직교군 SO(n)의 기본군은 n이 3 이상일 때 Z/2Z이며, 이는 스핀 군 Spin(n)이 SO(n)의 2겹 피복 공간임을 의미한다.

더 높은 차원의 호모토피 군 역시 리 군의 분류와 연구에서 중요한 역할을 한다. 예를 들어, 콤팩트 단순 리 군의 제2호모토피 군은 자명하며, 제3호모토피 군은 무한 순환군 Z와 동형이다. 이는 보트 주기성과 같은 현상과 깊이 연관되어 있다. 호모토피 군의 계산은 대수적 위상수학의 방법을 통해 이루어지며, 리 군의 리 대수와의 관계를 통해 부분적으로 추론될 수도 있다.

이러한 호모토피 군의 성질은 물리학, 특히 게이지 이론에서 자연스럽게 등장한다. 게이지 장의 위상적 결함이나 솔리톤 해는 종종 게이지 군의 호모토피 군, 특히 기본군이나 제2호모토피 군에 의해 분류된다. 따라서 리 군의 위상수학은 수학적 추상성을 넘어 현상의 물리적 이해에 직접적으로 기여한다.

리 군의 콤팩트성은 그 위상수학적 성질과 대수적 구조를 연결하는 중요한 개념이다. 콤팩트 리 군은 위상 공간으로서 콤팩트한, 즉 모든 열린 덮개가 유한 부분 덮개를 가지는 리 군을 의미한다. 이 성질은 군의 표현론과 해석학에 강력한 결과를 가져온다.

콤팩트 리 군의 대표적인 예로는 직교군 O(n), 특수 직교군 SO(n), 유니타리 군 U(n), 특수 유니타리 군 SU(n) 등이 있다. 이들은 유한 차원 벡터 공간 위에서 정의되며, 그 구조가 잘 알려져 있다. 반면, 일반선형군 GL(n, R)과 같은 군은 콤팩트하지 않다. 콤팩트성은 군 위에 정의할 수 있는 하르 측도가 유한하게 정규화될 수 있음을 보장하며, 이는 표현론에서 유니타리 표현을 구성하고 푸리에 해석을 전개하는 데 필수적이다.

콤팩트 리 군의 이론은 특히 유한 차원 표현에서 강력하다. 모든 콤팩트 리 군의 유한 차원 표현은 유니타리 표현으로 취급될 수 있으며, 완전 기약성을 가진다. 이는 표현이 기약 표현들의 직합으로 분해됨을 의미한다. 또한 콤팩트 리 군의 기약 표현들은 모두 유한 차원이며, 표현의 지표 이론이 잘 발달되어 있다.

물리학, 특히 입자 물리학과 게이지 이론에서 콤팩트 리 군은 기본적인 중요성을 지닌다. 표준 모형의 게이지 대칭성은 SU(3) × SU(2) × U(1)이라는 콤팩트 리 군으로 기술된다. 콤팩트성은 게이지 장의 라그랑지안에 나타나는 결합 상수가 실수 값을 갖도록 보장하는 등 물리적 이론의 수학적 일관성에 기여한다.

리 군은 물리학, 특히 입자물리학과 게이지 이론에서 연속적인 대칭성을 기술하는 핵심적인 수학적 도구이다. 이론물리학에서 기본 입자와 그 사이의 상호작용은 대칭성에 의해 지배되는데, 이러한 연속적인 대칭 변환들은 리 군의 원소로 자연스럽게 표현된다.

게이지 이론은 현대 물리학의 근간을 이루는 틀로, 전자기력, 약력, 강력을 통일적으로 설명한다. 이 이론에서 게이지 장은 특정 리 군에 대한 연결로 정의되며, 게이지 변환은 해당 리 군에 의한 국소 대칭 변환에 해당한다. 예를 들어, 양자전기역학은 U(1) 리 군에 기반하며, 양자색역학은 SU(3) 리 군에 의해 기술된다. 표준 모형은 이들 게이지 군을 직합하여 U(1) × SU(2) × SU(3) 구조를 가지며, 이를 통해 알려진 세 가지 근본적인 상호작용을 통합한다.

리 군은 또한 입자의 내부 공간에서의 변환을 규정한다. 강입자를 구성하는 쿼크의 색전하 변환은 SU(3) 군에, 약전하 변환은 SU(2) 군에 의해 기술된다. 이처럼 리 군의 표현론은 입자가 다양한 대칭 변환 하에서 어떻게 변하는지, 즉 입자의 다중항을 분류하는 데 필수적이다. 따라서 리 군과 그 표현에 대한 이해는 입자 물리학의 예측과 모델 구축에 결정적인 역할을 한다.

리 군은 기하학에서 대칭 공간의 연구에 핵심적인 도구로 활용된다. 대칭 공간은 리 군의 작용에 의해 그 기하학적 구조가 보존되는 공간을 말한다. 구체적으로, 어떤 리 군 G가 매끄러운 다양체 M에 매끄럽게 작용할 때, M의 기하학적 구조(예: 리만 계량, 접속)가 이 작용 하에서 불변이라면, M을 G의 대칭 공간 또는 동차 공간이라고 부른다. 이러한 공간은 종종 G를 등거리변환 군으로 가지는 리만 다양체로 구성된다.

가장 기본적인 예는 구면의 기하학이다. n-구 S^n은 직교군 O(n+1)에 의해 작용받으며, 이 작용은 구의 표준 리만 계량을 보존한다. 따라서 구는 콤팩트인 대칭 공간의 전형이다. 반대로 유클리드 공간 R^n은 그 자체가 아벨 리 군의 구조를 가지며, 유클리드 운동군의 작용 하에 대칭 공간이 된다. 쌍곡 공간 또한 로런츠 군과 관련된 리 군의 작용으로 정의되는 중요한 비콤팩트 대칭 공간이다.

더 일반적으로, 반단순 리 군은 자체가 킬링 형식이라는 자연스러운 리만 계량을 가져 하나의 대칭 공간이 될 수 있다. 또한, 한 리 군 G와 그 닫힌 부분군 H에 대해, 잉여류 공간 G/H는 G의 왼쪽 곱셈 작용 하에 동차 공간이 된다. 여기에 적절한 G-불변 리만 계량을 부여하면 대칭 공간을 얻는다. 이러한 구성은 에를랑겐 프로그램의 정신을 계승하여, 다양한 기하학(타원 기하학, 쌍곡 기하학 등)을 리 군과 그 부분군의 관점에서 통일적으로 이해하는 틀을 제공한다.

대칭 공간의 분류는 리 군의 분류와 밀접하게 연관되어 있다. 엘리 카르탕은 반단순 리 군을 이용하여 리만 대칭 공간을 완전히 분류하였다. 이 분류는 기하학적 구조의 풍부한 예시 창고 역할을 하며, 조화 해석, 자기동형식 이론, 그리고 물리학의 양자장론 및 상대성이론에서 시공간 모형을 이해하는 데 광범위하게 응용된다.

리 군은 수론, 특히 자기동형형 이론과 디오판토스 기하학에서 중요한 역할을 한다. 수론적 문제의 대칭성을 연구하는 데 핵심적인 도구로 활용되며, 대수군의 이론과 깊이 연관되어 있다.

구체적으로, 아델 환 위에서 정의된 리 군은 자기동형형 표현과 L-함수의 연구에서 중심적인 대상이다. 예를 들어, 일반선형군 GL(n)과 같은 리 군의 산술 부분군은 모듈러 형식 이론과 연결된다. 또한, 랑글랜즈 프로그램은 수론, 대수기하학, 표현론을 통합하는 거대한 추측들의 네트워크로, 리 군과 그 표현이 이 프로그램의 핵심 축을 이룬다.

수론에서의 응용은 주로 대수적 수체 위의 대수군을 통해 이루어진다. 이들은 정수론적 객체의 대칭성을 나타내며, 타원곡선이나 아벨 다양체와 같은 기하학적 객체의 성질을 이해하는 데 기여한다. 리 군의 표현론은 수론적 L-함수의 함수 방정식과 같은 깊은 결과를 제공한다.