5변수 이차형식 (quinary quadratic forms) — 2-보편과 행렬 검산

XᵀAX=B는 무엇을 맞추는가

5×2 정수행렬 X의 두 열을 u, v라고 하면 다음 세 식을 동시에 만족해야 합니다. 첫째와 셋째는 두 벡터의 제곱길이, 가운데는 내적을 보존합니다.

B가 양의 정부호이면 XᵀAX=B는 두 열이 독립임을 자동으로 보장합니다. 이 도구는 일반적인 2-보편성 증명기가 아니라 작은 입력에서 한 표현의 증인을 찾는 도구입니다.

binary와 quinary를 먼저 구분하기

이 글의 [a,b,c]는 행렬 [[a,b],[b,c]], 즉 이차식 ax²+2bxy+cy²를 뜻합니다. 책마다 가운데 계수 관례가 다를 수 있으므로 표기를 먼저 확인해야 합니다.

2-보편성을 판정하는 여섯 test lattice

보존 survey와 1999년 직접 출처에 따르면 양의 정부호 정수 격자는 다음 여섯 binary 격자를 모두 표현할 때, 그리고 그때에만 2-보편입니다.

경계: 이 페이지가 여섯 입력에서 증인을 보여 주더라도, 현재 I₅ 제한 탐색 자체가 일반 격자의 2-보편성 판정 절차를 대신하지는 않습니다.

라그랑주 네 제곱수 정리와 무엇이 다른가

라그랑주 네 제곱수 정리는 양의 정수 하나를 네 제곱의 합으로 나타내는 rank 1의 표현 문제입니다. 여기서 다루는 2-보편성은 두 벡터의 제곱길이뿐 아니라 가운데 내적까지 동시에 보존해야 하므로 더 강한 조건입니다.

위 도구가 몇 개의 입력에서 증인을 찾았다는 사실만으로 일반적인 2-보편성을 증명할 수는 없습니다. 반대로 증인 하나가 나오면 그 입력의 표현은 세 내적을 대입해 즉시 확인할 수 있습니다.

보존 원문과 이 글의 범위

MATHNET 보존 PDF는 2000년에 발표된 6쪽 survey입니다. 2-보편, even 2-보편, almost 2-보편의 정의와 당시 결과를 읽는 출발점이지만 후속 연구 전체를 대신하지는 않습니다.

이 글은 원문의 분류표를 재전재하지 않고 정의, 여섯 test lattice, 작은 행렬 검산을 연결합니다. I₅에 관한 일반 결과는 survey가 Mordell의 결과로 소개한다는 범위에서만 읽어야 하며, 이 도구의 제한 탐색은 그 원전을 증명하거나 대체하지 않습니다.