토션 추측

Torsion conjecture

대수 기하학숫자 이론에서, 아벨리아 품종토션 지점대한 토션 추측 또는 균일한 경계 추측에 따르면, 아벨리아 품종의 토션 그룹순서는 숫자 분야와 수 영역의 치수 측면에서 경계할 수 있다.추측의 더 강한 버전은 비틀림이 품종의 치수와 숫자장의 정도 면에서 경계를 이루고 있다는 것이다.타원곡선의 경우 비틀림 추측이 완전히 해결되었다.

타원 곡선

타원곡선에 대한 비틀림 추측
수 이론
에 의해 추측:베포 레비
추측:1908
에 의한 첫 번째 증명배리 마주르
쉘던 카미엔니
뢰크 메렐
첫 번째 증빙 인1977–1996

1906년부터 1911년까지 베포 레비는 타원형 곡선상의 점들이 이성들을 넘어서는 유한한 순서로 나타날 수 있는 가능성을 연구하는 논문을 연재했다.[1]그는 다음과 같은 비틀림 그룹을 가진 이성들 위로 타원곡선이 무한히 많다는 것을 보여주었다.

  • 1nn ≤ 10인 C. 여기서 Cn n 순서의 순환 그룹을 나타낸다.
  • C12;
  • C2n × C2, 1 n n 4 4 여기서 ×는 직접 합을 나타낸다.

1908년 로마에서 열린 국제수학대회에서 레비는 이것이 이성계를 넘는 타원곡선을 위한 비틀림 그룹의 완전한 목록이라고 추측했다.[1]타원형 곡선에 대한 타원형 곡선의 토션 추측은 트라이그브 나겔(1952년)과 앤드류 오그(1971년)에 의해 독립적으로 재구성되었고, 그 추측이 일반적으로 오그의 추측으로 알려지게 되었다.[1]

앤드류 오그(1971)는 타원곡선에 대한 토션 추측과 고전적인 모듈러 곡선 이론 사이의 연관성을 그렸다.[1]1970년대 초 제라드 리고자트, 다니엘 쿠베르, 배리 마주르, 존 테이트의 작품에서는 타원곡선의 토션 포인트가 이성들을 넘어 오면서 n의 여러 작은 값들이 발생하지 않는다는 것을 보여주었다.[1]배리 마주르(1977, 1978년)는 타원형 곡선의 타원형 곡선에 대한 전체 토션 추측을 증명했다.의 기술은 카미엔니(1992년)카미엔니&마주르(1995)에 의해 일반화되었는데, 이들은 각각 기껏해야 8개의 학위 분야와 학위 분야로 균일한 경계를 얻었다.마지막으로, Lorelc Merel(1996)은 어떤 숫자 필드에 걸쳐 타원곡선에 대한 추측을 증명했다.[1]

수 필드의 정도 측면에서 토션 그룹의 크기에 대한 유효 바운드는 상위(1999년)에 의해 주어졌다.또한 2차 수 필드에 걸친 타원 곡선에 대해 가능한 비틀림 그룹의 전체 목록이 제공되었다.4분위수 및 5분위수 필드에 대해 상당한 부분적인 결과가 있다(Sutherland 2012).

참고 항목

참조

  1. ^ a b c d e f 섀퍼 & 쇼프 1996, 페이지 64–65.

참고 문헌 목록