F₄

리 군론에서 F4는 복소수 예외적 단순 리 군 가운데 두 번째로 작은 것이다. 52차원이며, 네 개의 단순근을 지닌다. 세 개의 실수 형식을 지닌다.
정의.
F4는 여러 방법으로 정의할 수 있다. 하나는 예외적 요르단 대수를 사용하는 것이고, 다른 하나는 그 극대 부분군 Spin(9)를 사용하는 것이다.
예외적 요르단 대수를 통한 정의.
F4의 실수 콤팩트 형식은 예외적 요르단 대수 (3×3 팔원수 에르미트 행렬 formula_1)들의 대수의 자기동형사상군이다. 예외적 요르단 대수는 27차원이고, F4는 그 위에 작용하게 되므로 F4의 27차원 표현이 존재한다. 이 가운데 대각합 부분을 제외하면 26차원 표현을 얻는다. 이는 F4의 가장 작은 자명하지 않은 복소 표현이다.
구체적으로, formula_2이 3×3 팔원수 에르미트 행렬이라고 하면, F4는
을 보존시키는 SO(27)의 부분군이다.
Spin(9)를 통한 정의.
F4는 Spin(9)를 극대 부분군으로 지닌다. 이 경우, F4의 딸림표현 52는
으로 분해된다. 여기서 formula_5은 Spin(9)의 딸림표현이고, formula_6은 Spin(9)의 스피너 표현이다.
따라서, F4의 실수 콤팩트 리 대수 formula_7는 벡터 공간으로서
이다. 여기서 formula_9는 16차원 마요라나 스피너 벡터 공간이다. 이들은 다음과 같은 자연스러운 교환 관계를 가진다.
여기서 formula_14는 9차원에서의 디랙 행렬들이다.
여기에 나머지 스피너 교환자
를 추가하면, 야코비 항등식이 만족됨을 알 수 있다.
이 정의가 성립하려면, Spin(9)의 실수 형식에서 마요라나 스피너가 존재해야 한다. 9차원에서 마요라나 스피너가 존재할 수 있는 부호수는 (9,0), (8,1), (5,4) 세 가지이며, 이들은 각각 단순 리 대수 C4(−36) (콤팩트), C4(−20), C4(4) (분할)에 대응한다. 이 세 실수 형식을 사용하면, 각각 F4의 세 실수 형식 F4(−52) (콤팩트), F4(−20), F4(4) (분할)을 얻는다.
기타 정의.
이 밖에도, 8차원 초구를 사용한 구성 또한 알려져 있다.
실수 형식.
F4는 세 개의 실수 형식(real form)을 갖는다. 이들은 다음과 같다 (중심이 없는 형태).
성질.
군론적 성질.
F4의 콤팩트 형식의 주요 극대 부분군은 다음과 같다.
F4는 E6의 부분군이다. 이는 E6의 딘킨 도표를 formula_27 대칭을 따라 접어서 얻는다.
위상수학적 성질.
콤팩트 형태의 F4의 21차 이하의 호모토피 군은 다음과 같다.
여기서 formula_35는 formula_36차 순환군이다. 21이하의 차수 가운데 위에 수록되어 있지 않은 경우, 해당 차수의 호모토피 군은 자명군이다.
formula_7의 불변 다항식의 차수는 2, 6, 8, 12이다. 즉, 그 유리수 계수 코호몰로지 환은 3차 · 11차 · 15차 · 23차 생성원으로 생성되는 외대수이다.
근계.
F4의 근계는 24개의 긴 근과 24개의 짧은 근, 도합 48개의 근으로 구성된다. 이들은 다음과 같다.
4차원에서는 정이십사포체라는 정다포체가 존재하며, 이는 스스로와 쌍대이다. F4의 24개의 긴 근은 정이십사포체의 24개의 꼭짓점을 이루며, 24개의 짧은 근 역시 정이십사포체를 이룬다. 이 두 정이십사포체는 서로 쌍대이다.
F4는 4개의 단순근을 가지며, 단순근을 고르는 한 방법은 다음과 같다.
이에 따른 카르탕 행렬은 다음과 같다.
F4의 바일 군은 크기가 formula_40인 가해군이며, 다음과 같다.
이는 4차원 정24면체의 대칭군이다.
F4의 딘킨 도표는 네 개의 꼭짓점을 가진 선형이며, 2번째와 3번째 사이의 변은 2겹이다.
F4는 E6의 부분군인데, 이는 E6의 딘킨 도표를 다음과 같은 formula_27 대칭을 따라 접어서 얻을 수 있다.
F4의 아핀 딘킨 도표는 다섯 개의 꼭짓점을 가진 선형이며, 짧은 근 쪽에 하나의 꼭짓점 formula_16이 추가되었다.
표현론.
F4의 기약 표현의 차원은 다음과 같다 .
이 가운데, 52차원 표현은 딸림표현이며, 26차원 표현은 27차원 예외적 요르단 대수 위의 작용에서, 대각합을 제외한 것이다. 기본 표현은 26, 52, 273, 1274차원 표현들이며, 이는 딘킨 도표 formula_42에 다음과 같이 대응한다.
F4의 바일 군은 원소 formula_49를 포함하며, 따라서 모든 표현은 스스로의 켤레와 동형이다. (위 목록에서 1053, 160056 따위가 중복되는 것은 복소수 켤레와 상관없다.) F4는 사원수 표현을 갖지 않으며, 모든 표현은 실수 표현이다.
대수기하학적 성질.
슈발레 기저를 사용하여 정수 계수의 리 대수 formula_50 및 군 formula_51을 정의할 수 있다. 보다 일반적으로, 이는 임의의 가환환 formula_52에 대하여 대수군으로 정의할 수 있다.
특히, 유한체 formula_53에 대한 계수의 슈발레 군 formula_54의 크기는 다음과 같다.
이는 모든 유한체에 대하여 유한 단순군을 이룬다. 이 가운데 가장 작은 것들의 크기는 다음과 같다. 
이 밖에도, F4는 표수 2의 체 위에서 추가 대칭을 갖는다. F4 딘킨 도표
는 2겹 변에 화살표가 붙어 있어 대칭이 없지만, 표수 2의 체 위에서는 화살표의 방향이 사라져
가 되어, 딘킨 도표가 추가 formula_27 대칭을 갖기 때문이다. 특히 체의 크기가 formula_62의 꼴인 경우, 이 대칭을 체의 프로베니우스 자기 동형으로 뒤틀어 대수군 formula_63을 정의할 수 있다. 이 군들은 발견자 이임학 의 이름을 따 이임학 군(李林學群, )이라고 한다. 이 군들의 크기는 다음과 같다.
이들은 formula_65인 경우를 제외하면 모두 유한 단순군을 이룬다. formula_65일 경우 이는 단순군이 아니지만, 그 교환자 부분군 formula_67은 지표가 2인 단순 부분군을 이룬다. 이 단순군은 발견자 자크 티츠 의 이름을 따 티츠 군(Tits群, )이라고 한다. 티츠 군의 크기는 다음과 같다.
역사.
리 대수 formula_7는 빌헬름 킬링이 복소수 단순 리 대수를 분류하면서 2번 독립적으로 발견하였다. 그러나 킬링은 이 두 리 대수가 서로 동형이라는 것을 알아차리지 못했다. 이후 엘리 카르탕이 1894년에 복소수 단순 리 군을 분류하면서 그 존재와 유일함을 엄밀히 증명하였다.
이후 클로드 슈발레가 1955년에 F4를 비롯한 다른 모든 단순 리 군을 유한체 위에서 정의할 수 있음을 보였다. 표수 3의 체 위의 뒤틀린 F4는 이임학이 1961년에 발견하였다. 티츠 군은 자크 티츠가 1964년에 발견하였다.