새로운 랭크 29 타원곡선

2024년 11월 14일 · 태그: mathematics · 원문 · 한국어 번역(원문에서 변경됨)

2024년 8월, 수학자 Noam Elkies와 Zev Klagsbrun은 유리수체 위에서 알려진 가장 높은 랭크인 29를 갖는 타원곡선을 발견했습니다. 이 획기적인 발견은 2006년부터 유지되어 온 이전 기록인 랭크 28을 넘어섰습니다.

학부 정수론에서 배운 내용을 떠올려 보면, 타원곡선은 특수한 형태의 3차 방정식으로, 대수학에서 배웠을 이차방정식( $y = x^{2} + 2 x + 1$ 같은)과 비슷하지만 한 항이 세제곱으로 되어 있습니다. 이차방정식은 비교적 간단하게 풀 수 있지만, 타원곡선은 훨씬 더 복잡한 성질을 보이며 우리는 아직도 이를 이해하기 위해 연구하고 있습니다. 우리가 살펴볼 방정식은 다음과 같은 형태입니다.

$y^{2} + x y = x^{3} + a x + b$

이러한 방정식의 유리수 해, 즉 $x$ 와 $y$ 가 유리수인 해를 찾아보면 흥미로운 사실을 발견하게 됩니다. 이 해들은 여러 계열로 묶을 수 있으며, 수학적 연산을 통해 기존 해로부터 새로운 해를 유도할 수 있습니다. 서로 독립인 해의 계열의 개수를 곡선의 “랭크“라고 합니다.

랭크는 가능한 모든 유리수 해를 생성하는 데 필요한 서로 다른 “출발점“의 개수를 나타낸다고 생각하십시오. 대부분의 타원곡선은 작은 랭크(0, 1 또는 2)를 가지므로, 이 랭크 29 곡선은 매우 특별합니다. 이 곡선의 구체적인 계수는 다음과 같습니다.

$a = - 27006183241630922218434652145297453784768054621836357954737385$

$b = 55258058551342376475736699591118191821521067032535079608372404779149413277716173425636721497$

다음은 이 곡선을 다루는 데 필요한 임의 정밀도 산술을 수행하기 위해 sympy 라이브러리를 사용한 간단한 Python 구현입니다.

from sympy import Symbol, solve, Rational

def E29():
    a = -27006183241630922218434652145297453784768054621836357954737385
    b = 55258058551342376475736699591118191821521067032535079608372404779149413277716173425636721497

    class EllipticCurve:
        def __init__(self):
            self.a = a
            self.b = b

        def get_y_coordinates(self, x):
            """Find y coordinates for a given x on the curve"""
            x = Rational(x)
            # Convert equation to standard form: y^2 + xy - (x^3 + ax + b) = 0
            y = Symbol('y')
            eq = y**2 + x*y - (x**3 + self.a*x + self.b)
            return solve(eq, y)

        def is_on_curve(self, x, y):
            """Check if point (x,y) lies on the curve"""
            x, y = Rational(x), Rational(y)
            return y**2 + x*y == x**3 + self.a*x + self.b

    return EllipticCurve()

# Example usage:
curve = E29()

# One of the known rational points from the discovery
x = 2891195474228537189458255536634
y_coords = curve.get_y_coordinates(x)

# Verify the point lies on the curve
if len(y_coords) > 0:
    print(f"Found point: ({x}, {y_coords[0]})")
    print(f"Verifying point lies on curve: {curve.is_on_curve(x, y_coords[0])}")

그렇다면 이것이 왜 중요할까요? 이 발견이 중요한 이유는 타원곡선의 랭크가 얼마나 커질 수 있는지에 상한이 있는지 아무도 모르기 때문입니다. 그러한 상한을 찾는 것(또는 상한이 없음을 증명하는 것)은 여전히 수학의 주요 미해결 문제 중 하나로 남아 있습니다. 이번 랭크 29 곡선과 같은 새로운 기록은 상한이 존재하는지에 대해 새로운 통찰을 제공합니다.

타원곡선의 랭크에 상한이 존재함을 증명하는 것은 여러 가지 이유로 필즈상을 받을 만한 기념비적인 업적이 될 것입니다. 이는 7대 밀레니엄 문제 중 하나인 버치-스위너턴다이어 추측과 관련된 근본적인 결과를 해결하게 될 것입니다. 또한 현대 정수론의 Core에 자리한 연결 고리인 L-함수의 대수적 성질과 해석적 성질 사이의 신비로운 관계에 대해 깊은 통찰을 제공할 것입니다. 그러한 상한을 증명하는 데 필요한 기법은 산술기하학에 대한 우리의 이해에 혁명을 일으키고, 정수론의 다른 주요 미해결 문제에 대한 새로운 접근법을 열어 줄 가능성이 큽니다.

Keyboard shortcuts

Stephen Diehl 블로그 한국어 번역

새로운 랭크 29 타원곡선