"정수계수 이변수 이차형식(binary integral quadratic forms)"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
150번째 줄: 150번째 줄:
  
  
==참고자료==
+
==사전형태의 참고자료==
 
 
 
<h5 style="margin: 0px; line-height: 2em;">사전형태의 참고자료</h5>
 
  
 
* http://ko.wikipedia.org/wiki/
 
* http://ko.wikipedia.org/wiki/
165번째 줄: 162번째 줄:
 
   
 
   
  
<h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">관련된 항목들</h5>
+
==관련된 항목들==
  
 
* [[이차형식]]<br>
 
* [[이차형식]]<br>
175번째 줄: 172번째 줄:
 
   
 
   
  
<h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">수학용어번역</h5>
 
 
* [http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=&fstr= 대한수학회 수학 학술 용어집]<br>
 
** http://mathnet.kaist.ac.kr/mathnet/math_list.php?mode=list&ftype=eng_term&fstr=definite
 
* [http://kms.or.kr/home/kor/board/bulletin_list_subject.asp?bulletinid=%7BD6048897-56F9-43D7-8BB6-50B362D1243A%7D&boardname=%BC%F6%C7%D0%BF%EB%BE%EE%C5%E4%B7%D0%B9%E6&globalmenu=7&localmenu=4 대한수학회 수학용어한글화 게시판]
 
 
 
 
 
  
<h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">관련논문과 에세이</h5>
+
==관련논문과 에세이==
  
* [http://www.math.umt.edu/tmme/vol6no1and2/TMME_vol6nos1and2_article12_pp.137_150.pdf The Origins of the Genus Concept in Quadratic Forms]<br>
+
* [http://www.math.umt.edu/tmme/vol6no1and2/TMME_vol6nos1and2_article12 _pp.137_ 150.pdf The Origins of the Genus Concept in Quadratic Forms]<br>
 
** Mark Beintema & Azar Khosravani, The Montana Mathematics Enthusiast
 
** Mark Beintema & Azar Khosravani, The Montana Mathematics Enthusiast
 
* [http://arxiv.org/abs/math.NT/0207306 The development of the principal genus theorem]<br>
 
* [http://arxiv.org/abs/math.NT/0207306 The development of the principal genus theorem]<br>

2012년 9월 8일 (토) 20:04 판

이 항목의 스프링노트 원문주소



개요



기본용어

  • 판별식
    \(\Delta=b^2-4ac\)
  • 이차형식의 동치류
    • 다음 두 변환에 의한 이차형식은 모두 같은 동치류에 있다고 정의
      \(x \to x+y\) , \(y \to y\)
      \(x \to x\), \(y \to x+y\)
      행렬로 표현하면 각각 다음과 같으며 모듈라 군(modular group)을 생성함
      \(\begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix} \), \(\begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix} \)
    • 즉 \(f(x,y)=g(ax+by,cx+dy)\) 인 정수 \(ad-bc= 1\) 가 존재하면, \(f\sim g\) 이라 함
  • primitive 이차형식
    \(a,b,c\) 가 서로소인 이차형식 \(ax^2+bxy+cy^2\)



중요한 문제들

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



기약형식

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


(정리)

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



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


가우스의 class number one 문제

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



genus

  • 판별식이 \(\Delta\)인 두 primitive 양의정부호 이차형식가 \((\mathbb{Z}/\Delta\mathbb{Z})^{*}\)의 같은 수를 표현하면 같은 genus에 있다고 부른다



이차형식과 이차 수체의 ideal 사이의 대응

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



memo



역사



많이 나오는 질문과 답변



사전형태의 참고자료



관련된 항목들



관련논문과 에세이