정수계수 이변수 이차형식(binary integral quadratic forms)

수학노트
둘러보기로 이동 검색으로 이동

개요

  • 정수 <math>a,b,c</math>에 대하여 <math>ax^2+bxy+cy^2</math> 형태의 다항식을 정수계수 이변수 이차형식이라 함
  • 자연수를 두 개의 제곱의 합으로 표현하는 문제에서 체계적인 연구가 시작
  • 이차 수체를 공부하는 것과 밀접하게 연관
  • 대수적수론과 정수 계수 위에 정의된 격자 이론 등으로 발전
  • 이차형식은 수학의 중요한 연구 주제



기본용어

  • 판별식:<math>\Delta=b^2-4ac</math>
  • primitive 이차형식은 <math>a,b,c</math> 가 서로소인 이차형식 <math>ax^2+bxy+cy^2</math>으로 정의됨


정수계수 이변수 이차형식의 동치류

  • 다음 두 변환에 의해 같아지는 이차형식은 모두 같은 동치류에 있다고 정의
<math>x \to x+y, y \to y</math>
<math>x \to x, y \to x+y</math>
<math>T=\begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix} , R=\begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix} </math>
<math>

S=\left( \begin{array}{cc} 0 & -1 \\ 1 & 0 \\ \end{array} \right) </math>로 두면, <math>S=T^{-1}RT^{-1}</math>

  • 즉 <math>f(x,y)=g(ax+by,cx+dy)</math> 인 정수 <math>a,b,c,d,\, ad-bc= 1</math>가 존재하면, <math>f\sim g</math> 이라 함

중요한 문제들

  • 정수의 이차형식 표현
    • 예) <math>x^2+ny^2</math> 꼴로 표현될 수 있는 정수집합은 무엇인가?
    • 예) <math>x^2+ny^2</math> 꼴로 표현될 수 있는 소수는 무엇인가? 예로 이차형식 x^2+27y^2 항목 참조
  • 주어진 판별식<math>\Delta<0</math> 를 갖는 이차형식의 동치류를 분류하는 문제
    • <math>\Delta=b^2-4ac</math>를 만족시키는 모든 <math>ax^2+bxy+cy^2</math> 형태의 정수계수 다항식을 찾는 것
    • 주어진 판별식을 가지는 이차형식의 동치류는 유한 개 있다
    • 판별식이 <math>\Delta</math>인 primitive 이차형식의 동치류의 개수 <math>h(\Delta)</math>를 <math>\Delta</math>에 대한 유수 라 함
    • genus의 개념


기약 형식과 fundamental domain

  • 주어진 이차형식이 있을때,
  • 모듈라 군의 작용에 의한 복소상반평면의 fundamental domain은 다음과 같다:<math>R = \left\{ \tau \in \mathbb{H}: \left| \tau \right| \geq 1,\, \left| \,\mbox{Re}(\tau) \,\right| \leq \frac{1}{2} \right\}</math> + 경계조건
  • 기약 형식
    • 양의 정부호 형식(positive definite) 인 경우에 다음 조건을 만족시키면 기약 형식이라 부름
    • <math>|b|\leq a \leq c</math> and <math>b \geq 0</math> if either <math>|b|=a </math> or <math>a=c</math>
  • <math>ax^2+bxy+cy^2=a(x-\tau y)(x-\bar{\tau} y)</math>, <math>\mbox{Im}\, \tau >0</math> 로 쓰면, 기약형식의 조건과 fundamental domain의 조건을 다음과 같이 이해할 수 있다:<math>|b|\leq a \Leftrightarrow |\tau+\bar\tau|\leq 1 \Leftrightarrow |\mbox{Re}(\tau)| \leq \frac{1}{2}</math>:<math>a\leq c \Leftrightarrow \tau\bar\tau\geq 1\Leftrightarrow |\tau|\geq 1</math> fundamental domain의 경계조건은 <math>b \geq 0</math> if either <math>|b|=a </math> or <math>a=c</math> 로 옮겨짐


정리

<math>\tau</math> (<math>\mbox{Im}\, \tau >0</math>) 에 대응되는 이차형식은 <math>x=aX+bY, y=cX+dY</math> (여기서 <math>a,b,c,d</math>는 정수이고 <math>ad-bc= 1</math>)에 의해 <math>\frac{a\tau+b}{c\tau+d}</math> 에 대응되는 이차형식으로 변환된다.



판별식이 작은 경우의 기약형식 예


가우스의 class number one 문제

  • 기본판별식(fundamental discriminant)
    • <math>\Delta=\Delta_0f^2</math> 의 형태로 쓸 수 없는 <math>\Delta</math> (<math>\Delta_0</math>는 적당한 판별식, <math>f</math>는 1보다 큰 정수)
    • 이차 수체(quadratic number fields) 로부터 얻어지는 판별식임
  • 가우스의 문제
    • 기본판별식 <math>\Delta<0</math> 에 대하여 <math>h(\Delta)=1 \Leftrightarrow \Delta=-3,-4,-7,-8,-11,-19,-43,-67,-163</math>
  • 일반적으로는 다음과 같음
    • <math>h(\Delta)=1 \Leftrightarrow \Delta=-3,-4,-7,-8,-11,-12, -16,-19,-27,-28,-43,-67,-163</math>
  • 가우스의 class number one 문제 항목에서 자세히 다룸


genus


이차형식과 이차 수체의 아이디얼 사이의 대응

  • 이차형식과 이차 수체의 아이디얼을 대응시킴으로서, 주어진 판별식을 갖는 이차형식의 합성을 정의할 수 있음
    • 이차형식의 합성이란 <math>(x_ 1^2+y_ 1^2)(x_ 2^2+y_ 2^2)=(x_ 1x_ 2-y_ 1y_ 2)^2+(x_ 1y_ 2-x_ 2y_ 1)^2</math>와 같은 공식의 일반화
  • <math>ax^2+bxy+cy^2</math>가 양의정부호 즉 <math>a>0</math>, <math>\Delta=b^2-4ac<0</math> 를 만족할 때, 대응되는 아이디얼은 <math>[2a, -b+\sqrt\Delta]</math>로 주어짐



메모

역사



사전형태의 참고자료



관련된 항목들



리뷰, 에세이, 강의노트

관련논문

  • Uludağ, A. Muhammed, Ayberk Zeytin, and Merve Durmuş. “Binary Quadratic Forms as Dessins.” arXiv:1508.01677 [math], August 7, 2015. http://arxiv.org/abs/1508.01677.

메타데이터

위키데이터

Spacy 패턴 목록

  • [{'LOWER': 'binary'}, {'LOWER': 'quadratic'}, {'LEMMA': 'form'}]
원본 주소 "https://wiki.mathnt.net/index.php?title=정수계수_이변수_이차형식(binary_integral_quadratic_forms)&oldid=52462"