Forma cuadrática binaria

Polinomio cuadrático homogéneo en dos variables

En matemáticas , una forma cuadrática binaria es un polinomio cuadrático homogéneo en dos variables

${\displaystyle q(x,y)=ax^{2}+bxy+cy^{2},\,}$

donde a , b , c son los coeficientes . Cuando los coeficientes pueden ser números complejos arbitrarios , la mayoría de los resultados no son específicos del caso de dos variables, por lo que se describen en forma cuadrática . Una forma cuadrática con coeficientes enteros se llama forma cuadrática binaria integral , a menudo abreviada como forma cuadrática binaria .

Este artículo está enteramente dedicado a las formas cuadráticas binarias integrales. Esta elección está motivada por su condición de fuerza impulsora detrás del desarrollo de la teoría algebraica de números . Desde finales del siglo XIX, las formas cuadráticas binarias han cedido su preeminencia en la teoría de números algebraica a campos numéricos cuadráticos y más generales , pero en ocasiones todavía se producen avances específicos de las formas cuadráticas binarias.

Pierre Fermat afirmó que si p es un primo impar, entonces la ecuación tiene solución si y solo , e hizo afirmaciones similares sobre las ecuaciones , y . y así sucesivamente son formas cuadráticas, y la teoría de las formas cuadráticas proporciona una forma unificada de considerar y demostrar estos teoremas. ${\displaystyle p=x^{2}+y^{2}}$ ${\displaystyle p\equiv 1{\pmod {4}}}$ ${\displaystyle p=x^{2}+2y^{2}}$ ${\displaystyle p=x^{2}+3y^{2}}$ ${\displaystyle p=x^{2}-2y^{2}}$ ${\displaystyle p=x^{2}-3y^{2}}$ ${\displaystyle x^{2}+y^{2},x^{2}+2y^{2},x^{2}-3y^{2}}$

Otro ejemplo de formas cuadráticas es la ecuación de Pell . ${\displaystyle x^{2}-ny^{2}=1}$

Las formas cuadráticas binarias están estrechamente relacionadas con los ideales en campos cuadráticos. Esto permite calcular el número de clase de un campo cuadrático contando el número de formas cuadráticas binarias reducidas de un discriminante dado.

La función theta clásica de 2 variables es , si es una forma cuadrática definida positiva entonces es una función theta. ${\displaystyle \sum _{(m,n)\in \mathbb {Z} ^{2}}q^{m^{2}+n^{2}}}$ ${\displaystyle f(x,y)}$ ${\displaystyle \sum _{(m,n)\in \mathbb {Z} ^{2}}q^{f(m,n)}}$

Equivalencia

Dos formas f y g se llaman equivalentes si existen números enteros tales que se cumplan las siguientes condiciones: ${\displaystyle \alpha ,\beta ,\gamma ,{\text{ and }}\delta }$

${\displaystyle {\begin{aligned}f(\alpha x+\beta y,\gamma x+\delta y)&=g(x,y),\\\alpha \delta -\beta \gamma &=1.\end{aligned}}}$

Por ejemplo, con y , , y , encontramos que f es equivalente a , lo que se simplifica a . ${\displaystyle f=x^{2}+4xy+2y^{2}}$ ${\displaystyle \alpha =-3}$ ${\displaystyle \beta =2}$ ${\displaystyle \gamma =1}$ ${\displaystyle \delta =-1}$ ${\displaystyle g=(-3x+2y)^{2}+4(-3x+2y)(x-y)+2(x-y)^{2}}$ ${\displaystyle -x^{2}+4xy-2y^{2}}$

Las condiciones de equivalencia anteriores definen una relación de equivalencia en el conjunto de formas cuadráticas integrales. De ello se deduce que las formas cuadráticas se dividen en clases de equivalencia, llamadas clases de formas cuadráticas. Una invariante de clase puede significar una función definida en clases de equivalencia de formas o una propiedad compartida por todas las formas de la misma clase.

Lagrange utilizó una noción diferente de equivalencia, en la que la segunda condición se reemplaza por . Desde Gauss se ha reconocido que esta definición es inferior a la dada anteriormente. Si es necesario distinguir, a veces las formas se denominan propiamente equivalentes utilizando la definición anterior e impropiamente equivalentes si son equivalentes en el sentido de Lagrange. ${\displaystyle \alpha \delta -\beta \gamma =\pm 1}$

En la terminología matricial , que se utiliza ocasionalmente a continuación, cuando

${\displaystyle {\begin{pmatrix}\alpha &\beta \\\gamma &\delta \end{pmatrix}}}$

tiene entradas enteras y determinante 1, el mapa es una acción de grupo (derecha) en el conjunto de formas cuadráticas binarias. La relación de equivalencia anterior surge entonces de la teoría general de las acciones grupales. ${\displaystyle f(x,y)\mapsto f(\alpha x+\beta y,\gamma x+\delta y)}$ ${\displaystyle \mathrm {SL} _{2}(\mathbb {Z} )}$

Si , entonces las invariantes importantes incluyen ${\displaystyle f=ax^{2}+bxy+cy^{2}}$

• El discriminante . ${\displaystyle \Delta =b^{2}-4ac}$
• El contenido, igual al máximo común divisor de a , b y c .

Ha surgido terminología para clasificar clases y sus formas en términos de sus invariantes. Una forma de discriminante es definida si , degenerada si es un cuadrado perfecto e indefinida en caso contrario. Una forma es primitiva si su contenido es 1, es decir, si sus coeficientes son coprimos. Si el discriminante de una forma es un discriminante fundamental , entonces la forma es primitiva. ^[1] Los discriminantes satisfacen ${\displaystyle \Delta }$ ${\displaystyle \Delta <0}$ ${\displaystyle \Delta }$ ${\displaystyle \Delta \equiv 0,1{\pmod {4}}.}$

Automorfismos

Si f es una forma cuadrática, una matriz

${\displaystyle {\begin{pmatrix}\alpha &\beta \\\gamma &\delta \end{pmatrix}}}$

in es un automorfismo de f si . Por ejemplo, la matriz ${\displaystyle \mathrm {SL} _{2}(\mathbb {Z} )}$ ${\displaystyle f(\alpha x+\beta y,\gamma x+\delta y)=f(x,y)}$

${\displaystyle {\begin{pmatrix}3&-4\\-2&3\end{pmatrix}}}$

es un automorfismo de la forma . Los automorfismos de una forma son un subgrupo de . Cuando f es definida, el grupo es finito, y cuando f es indefinida, es infinito y cíclico . ${\displaystyle f=x^{2}-2y^{2}}$ ${\displaystyle \mathrm {SL} _{2}(\mathbb {Z} )}$

Representación

Una forma cuadrática binaria representa un número entero si es posible encontrar números enteros que satisfagan la ecuación. Tal ecuación es una representación de n por q . ${\displaystyle q(x,y)}$ ${\displaystyle n}$ ${\displaystyle x}$ ${\displaystyle y}$ ${\displaystyle n=q(x,y).}$

Ejemplos

Diofanto consideró si, para un número entero impar , es posible encontrar números enteros y para los cuales . ^[2] Cuando , tenemos ${\displaystyle n}$ ${\displaystyle x}$ ${\displaystyle y}$ ${\displaystyle n=x^{2}+y^{2}}$ ${\displaystyle n=65}$

${\displaystyle {\begin{aligned}65&=1^{2}+8^{2},\\65&=4^{2}+7^{2},\end{aligned}}}$

entonces encontramos pares que funcionan. Obtenemos más pares que funcionan cambiando los valores de y y/o cambiando el signo de uno o ambos de y . En total hay dieciséis pares de soluciones diferentes. Por otro lado, cuando , la ecuación ${\displaystyle (x,y)=(1,8){\text{ and }}(4,7)}$ ${\displaystyle x}$ ${\displaystyle y}$ ${\displaystyle x}$ ${\displaystyle y}$ ${\displaystyle n=3}$

${\displaystyle 3=x^{2}+y^{2}}$

no tiene soluciones enteras. Para ver por qué, observamos que a menos que o . Por lo tanto, excederá 3 a menos que uno de los nueve pares sea igual a o 1. Podemos verificar estos nueve pares directamente para ver que ninguno de ellos satisface , por lo que la ecuación no tiene soluciones enteras. ${\displaystyle x^{2}\geq 4}$ ${\displaystyle x=-1,0}$ ${\displaystyle 1}$ ${\displaystyle x^{2}+y^{2}}$ ${\displaystyle (x,y)}$ ${\displaystyle x}$ ${\displaystyle y}$ ${\displaystyle -1,0}$ ${\displaystyle 3=x^{2}+y^{2}}$

Un argumento similar muestra que para cada uno , la ecuación sólo puede tener un número finito de soluciones, ya que excederá a menos que los valores absolutos y ambos sean menores que . Sólo hay un número finito de pares que satisfacen esta restricción. ${\displaystyle n}$ ${\displaystyle n=x^{2}+y^{2}}$ ${\displaystyle x^{2}+y^{2}}$ ${\displaystyle n}$ ${\displaystyle |x|}$ ${\displaystyle |y|}$ ${\displaystyle {\sqrt {n}}}$

Otro problema antiguo que involucra formas cuadráticas nos pide que resuelvamos la ecuación de Pell . Por ejemplo, podemos buscar números enteros xey de modo que . Cambiar los signos de xey en una solución da otra solución, por lo que basta con buscar soluciones justas en números enteros positivos. Una solución es , es decir, hay igualdad . Si hay alguna solución para , entonces hay otro par de esos. Por ejemplo, a partir del par , calculamos ${\displaystyle 1=x^{2}-2y^{2}}$ ${\displaystyle (x,y)=(3,2)}$ ${\displaystyle 1=3^{2}-2\cdot 2^{2}}$ ${\displaystyle (x,y)}$ ${\displaystyle 1=x^{2}-2y^{2}}$ ${\displaystyle (3x+4y,2x+3y)}$ ${\displaystyle (3,2)}$

${\displaystyle (3\cdot 3+4\cdot 2,2\cdot 3+3\cdot 2)=(17,12)}$,

y podemos comprobar que esto satisface . Al iterar este proceso, encontramos más pares con : ${\displaystyle 1=17^{2}-2\cdot 12^{2}}$ ${\displaystyle (x,y)}$ ${\displaystyle 1=x^{2}-2y^{2}}$

${\displaystyle {\begin{aligned}(3\cdot 17+4\cdot 12,2\cdot 17+3\cdot 12)&=(99,70),\\(3\cdot 99+4\cdot 70,2\cdot 99+3\cdot 70)&=(577,408),\\&\vdots \end{aligned}}}$

Estos valores seguirán creciendo en tamaño, por lo que vemos que hay infinitas formas de representar 1 mediante la forma . Esta descripción recursiva fue discutida en el comentario de Teón de Esmirna sobre los Elementos de Euclides . ${\displaystyle x^{2}-2y^{2}}$

El problema de la representación

El problema más antiguo en la teoría de las formas cuadráticas binarias es el problema de representación : describir las representaciones de un número dado mediante una forma cuadrática dada f . "Describir" puede significar varias cosas: dar un algoritmo para generar todas las representaciones, una fórmula cerrada para el número de representaciones o incluso simplemente determinar si existe alguna representación. ${\displaystyle n}$

Los ejemplos anteriores analizan el problema de representación de los números 3 y 65 mediante la forma y del número 1 según la forma . Vemos que 65 está representado por de dieciséis formas diferentes, mientras que 1 está representado por infinitas formas y 3 no está representado por ninguna. En el primer caso, las dieciséis representaciones fueron descritas explícitamente. También se demostró que el número de representaciones de un número entero es siempre finito. La función de suma de cuadrados da el número de representaciones de n por en función de n . Hay una fórmula cerrada ^[3] ${\displaystyle x^{2}+y^{2}}$ ${\displaystyle x^{2}-2y^{2}}$ ${\displaystyle x^{2}+y^{2}}$ ${\displaystyle x^{2}-2y^{2}}$ ${\displaystyle x^{2}+y^{2}}$ ${\displaystyle x^{2}+y^{2}}$ ${\displaystyle r_{2}(n)}$ ${\displaystyle x^{2}+y^{2}}$

${\displaystyle r_{2}(n)=4(d_{1}(n)-d_{3}(n)),}$

donde es el número de divisores de n que son congruentes con 1 módulo 4 y es el número de divisores de n que son congruentes con 3 módulo 4. ${\displaystyle d_{1}(n)}$ ${\displaystyle d_{3}(n)}$

Hay varias invariantes de clase relevantes para el problema de representación:

• El conjunto de números enteros representados por una clase. Si un número entero n está representado por una forma en una clase, entonces está representado por todas las demás formas en una clase.
• El valor absoluto mínimo representado por una clase. Este es el valor no negativo más pequeño del conjunto de números enteros representados por una clase.
• Las clases de congruencia módulo el discriminante de una clase representada por la clase.

El valor absoluto mínimo representado por una clase es cero para clases degeneradas y positivo para clases definidas e indefinidas. Todos los números representados por una forma definida tienen el mismo signo: positivo si y negativo si . Por este motivo, las primeras se denominan formas definidas positivas y las segundas definidas negativas . ${\displaystyle f=ax^{2}+bxy+cy^{2}}$ ${\displaystyle a>0}$ ${\displaystyle a<0}$

El número de representaciones de un número entero n mediante una forma f es finito si f es definida e infinita si f es indefinida. Vimos ejemplos de esto en los ejemplos anteriores: es positivo definido y es indefinido. ${\displaystyle x^{2}+y^{2}}$ ${\displaystyle x^{2}-2y^{2}}$

Representaciones equivalentes

La noción de equivalencia de formas puede extenderse a representaciones equivalentes . Las representaciones y son equivalentes si existe una matriz. ${\displaystyle m=f(x_{1},y_{1})}$ ${\displaystyle n=g(x_{2},y_{2})}$

${\displaystyle {\begin{pmatrix}\alpha &\beta \\\gamma &\delta \end{pmatrix}}}$

con entradas enteras y determinante 1 de modo que y ${\displaystyle f(\alpha x+\beta y,\gamma x+\delta y)=g(x,y)}$

${\displaystyle {\begin{pmatrix}\delta &-\beta \\-\gamma &\alpha \end{pmatrix}}{\begin{pmatrix}x_{1}\\y_{1}\end{pmatrix}}={\begin{pmatrix}x_{2}\\y_{2}\end{pmatrix}}}$

Las condiciones anteriores dan una acción (correcta) del grupo sobre el conjunto de representaciones de números enteros mediante formas cuadráticas binarias. De ello se deduce que la equivalencia definida de esta manera es una relación de equivalencia y, en particular, que las formas en representaciones equivalentes son formas equivalentes. ${\displaystyle \mathrm {SL} _{2}(\mathbb {Z} )}$

Como ejemplo, consideremos una representación . Tal representación es una solución a la ecuación de Pell descrita en los ejemplos anteriores. La matriz ${\displaystyle f=x^{2}-2y^{2}}$ ${\displaystyle 1=f(x_{1},y_{1})}$

${\displaystyle {\begin{pmatrix}3&-4\\-2&3\end{pmatrix}}}$

tiene determinante 1 y es un automorfismo de f . Actuando sobre la representación de esta matriz se obtiene la representación equivalente . Este es el paso recursivo en el proceso descrito anteriormente para generar infinitas soluciones a . Al iterar esta acción matricial, encontramos que el conjunto infinito de representaciones de 1 por f que se determinaron anteriormente son todas equivalentes. ${\displaystyle 1=f(x_{1},y_{1})}$ ${\displaystyle 1=f(3x_{1}+4y_{1},2x_{1}+3y_{1})}$ ${\displaystyle 1=x^{2}-2y^{2}}$

En general, existen un número finito de clases de equivalencia de representaciones de un número entero n mediante formas de discriminante distinto de cero . Se puede proporcionar un conjunto completo de representantes de estas clases en términos de formas reducidas definidas en la sección siguiente. Cuando , cada representación es equivalente a una representación única mediante una forma reducida, entonces un conjunto completo de representantes está dado por el número finito de representaciones de n mediante formas reducidas de discriminante . Cuando , Zagier demostró que toda representación de un entero positivo n mediante una forma de discriminante es equivalente a una representación única en la que f se reduce en el sentido de Zagier y , . ^[4] El conjunto de todas esas representaciones constituye un conjunto completo de representantes para clases de equivalencia de representaciones. ${\displaystyle \Delta }$ ${\displaystyle \Delta <0}$ ${\displaystyle \Delta }$ ${\displaystyle \Delta >0}$ ${\displaystyle \Delta }$ ${\displaystyle n=f(x,y)}$ ${\displaystyle x>0}$ ${\displaystyle y\geq 0}$

Números de reducción y clase.

Lagrange demostró que para cada valor D , sólo hay un número finito de clases de formas cuadráticas binarias con discriminante D. Su número es elnúmero de clase del discriminanteD. Describió un algoritmo, llamadoreducción, para construir un representante canónico en cada clase, laforma reducida, cuyos coeficientes son los más pequeños en un sentido adecuado.

Gauss dio un algoritmo de reducción superior en Disquisitiones Arithmeticae , que desde entonces ha sido el algoritmo de reducción más comúnmente presentado en los libros de texto. En 1981, Zagier publicó un algoritmo de reducción alternativo que ha encontrado varios usos como alternativa al de Gauss. ^[5]

Composición

La composición se refiere más comúnmente a una operación binaria sobre clases de equivalencia primitiva de formas del mismo discriminante, uno de los descubrimientos más profundos de Gauss, que convierte este conjunto en un grupo abeliano finito llamado grupo de clases de forma (o simplemente grupo de clases) de discriminante . Desde entonces, los grupos de clases se han convertido en una de las ideas centrales de la teoría algebraica de números. Desde una perspectiva moderna, el grupo de clases de un discriminante fundamental es isomorfo al grupo de clases estrecho del campo cuadrático del discriminante . ^[6] En el caso negativo , el grupo de clase reducido es el mismo que el grupo de clase ideal , pero en el caso positivo puede ser dos veces más grande. ${\displaystyle \Delta }$ ${\displaystyle \Delta }$ ${\displaystyle \mathbf {Q} ({\sqrt {\Delta }})}$ ${\displaystyle \Delta }$ ${\displaystyle \Delta }$ ${\displaystyle \Delta }$

"Composición" también se refiere a veces, aproximadamente, a una operación binaria en formas cuadráticas binarias. La palabra "aproximadamente" indica dos advertencias: sólo se pueden componer ciertos pares de formas cuadráticas binarias y la forma resultante no está bien definida (aunque su clase de equivalencia sí lo está). La operación de composición en clases de equivalencia se define definiendo primero la composición de formas y luego mostrando que esto induce una operación bien definida en clases.

"Composición" también puede referirse a una operación binaria sobre representaciones de números enteros mediante formas. Esta operación es sustancialmente más complicada ^{[ cita necesaria ]} que la composición de formas, pero surgió históricamente por primera vez. Consideraremos tales operaciones en una sección separada a continuación.

Composición significa tomar 2 formas cuadráticas del mismo discriminante y combinarlas para crear una forma cuadrática del mismo discriminante, como se desprende de la identidad de Brahmagupta .

Componer formularios y clases.

Se han dado diversas definiciones de composición de formas, a menudo en un intento de simplificar la definición extremadamente técnica y general de Gauss. Presentamos aquí el método de Arndt, porque sigue siendo bastante general y al mismo tiempo lo suficientemente simple como para permitir cálculos manuales. Una definición alternativa se describe en Cubos de Bhargava .

Supongamos que deseamos componer formas y , cada una primitiva y del mismo discriminante . Realizamos los siguientes pasos: ${\displaystyle f_{1}=A_{1}x^{2}+B_{1}xy+C_{1}y^{2}}$ ${\displaystyle f_{2}=A_{2}x^{2}+B_{2}xy+C_{2}y^{2}}$ ${\displaystyle \Delta }$

1. Calcular y , y ${\displaystyle B_{\mu }={\tfrac {B_{1}+B_{2}}{2}}}$ ${\displaystyle e=\gcd(A_{1},A_{2},B_{\mu })}$ ${\displaystyle A={\tfrac {A_{1}A_{2}}{e^{2}}}}$
2. Resuelve el sistema de congruencias.

   ${\displaystyle {\begin{aligned}x&\equiv B_{1}{\pmod {2{\tfrac {A_{1}}{e}}}}\\x&\equiv B_{2}{\pmod {2{\tfrac {A_{2}}{e}}}}\\{\tfrac {B_{\mu }}{e}}x&\equiv {\tfrac {\Delta +B_{1}B_{2}}{2e}}{\pmod {2A}}\end{aligned}}}$

   Se puede demostrar que este sistema siempre tiene un módulo solución entero único . Elegimos arbitrariamente dicha solución y la llamamos B. ${\displaystyle 2A}$
3. Calcule C tal que . Se puede demostrar que C es un número entero. ${\displaystyle \Delta =B^{2}-4AC}$

La forma es "la" composición de y . Vemos que su primer coeficiente está bien definido, pero los otros dos dependen de la elección de B y C. Una forma de hacer de esta una operación bien definida es hacer una convención arbitraria sobre cómo elegir B ; por ejemplo, elegir B ​​como la solución positiva más pequeña del sistema de congruencias anterior. Alternativamente, podemos ver el resultado de la composición, no como una forma, sino como una clase de equivalencia de formas módulo la acción del grupo de matrices de la forma ${\displaystyle Ax^{2}+Bxy+Cy^{2}}$ ${\displaystyle f_{1}}$ ${\displaystyle f_{2}}$

${\displaystyle {\begin{pmatrix}1&n\\0&1\end{pmatrix}}}$,

donde n es un número entero. Si consideramos la clase de bajo esta acción, los coeficientes medios de las formas en la clase forman una clase de congruencia de números enteros módulo 2 A. Por tanto, la composición proporciona una función bien definida desde pares de formas cuadráticas binarias hasta dichas clases. ${\displaystyle Ax^{2}+Bxy+Cy^{2}}$

Se puede demostrar que si y son equivalentes a y respectivamente, entonces la composición de y es equivalente a la composición de y . De ello se deduce que la composición induce una operación bien definida sobre clases primitivas de discriminante y, como se mencionó anteriormente, Gauss demostró que estas clases forman un grupo abeliano finito. La clase de identidad en el grupo es la clase única que contiene todas las formas , es decir, con el primer coeficiente 1. (Se puede demostrar que todas esas formas se encuentran en una sola clase, y la restricción implica que existe tal forma de cada discriminante. ) Para invertir una clase, tomamos un representante y formamos la clase de . Alternativamente, podemos formar la clase desde this y somos equivalentes. ${\displaystyle f_{1}}$ ${\displaystyle f_{2}}$ ${\displaystyle g_{1}}$ ${\displaystyle g_{2}}$ ${\displaystyle f_{1}}$ ${\displaystyle f_{2}}$ ${\displaystyle g_{1}}$ ${\displaystyle g_{2}}$ ${\displaystyle \Delta }$ ${\displaystyle x^{2}+Bxy+Cy^{2}}$ ${\displaystyle \Delta \equiv 0{\text{ or }}1{\pmod {4}}}$ ${\displaystyle Ax^{2}+Bxy+Cy^{2}}$ ${\displaystyle Ax^{2}-Bxy+Cy^{2}}$ ${\displaystyle Cx^{2}+Bxy+Ay^{2}}$ ${\displaystyle Ax^{2}-Bxy+Cy^{2}}$

Géneros de formas cuadráticas binarias.

Gauss también consideró una noción más burda de equivalencia, en la que cada clase burda se denominaba género de formas. Cada género es la unión de un número finito de clases de equivalencia del mismo discriminante, y el número de clases depende únicamente del discriminante. En el contexto de las formas cuadráticas binarias, los géneros se pueden definir mediante clases de congruencia de números representados por formas o mediante caracteres de género definidos en el conjunto de formas. Una tercera definición es un caso especial del género de una forma cuadrática en n variables. Esto establece que las formas pertenecen al mismo género si son localmente equivalentes en todos los números primos racionales (incluido el lugar de Arquímedes ).

Historia

Existe evidencia circunstancial de conocimiento protohistórico de identidades algebraicas que involucran formas cuadráticas binarias. ^[7] El primer problema relacionado con las formas cuadráticas binarias pide la existencia o construcción de representaciones de números enteros mediante formas cuadráticas binarias particulares. Los principales ejemplos son la solución de la ecuación de Pell y la representación de números enteros como sumas de dos cuadrados. La ecuación de Pell ya fue considerada por el matemático indio Brahmagupta en el siglo VII d.C. Varios siglos más tarde, sus ideas se ampliaron hasta una solución completa de la ecuación de Pell conocida como método chakravala , atribuida a cualquiera de los matemáticos indios Jayadeva o Bhāskara II . ^[8] El problema de representar números enteros mediante sumas de dos cuadrados fue considerado en el siglo III por Diofanto . ^[9] En el siglo XVII, inspirado mientras leía la Arithmetica de Diofanto , Fermat hizo varias observaciones sobre representaciones mediante formas cuadráticas específicas, incluida la que ahora se conoce como teorema de Fermat sobre sumas de dos cuadrados . ^[10] Euler proporcionó las primeras pruebas de las observaciones de Fermat y añadió algunas conjeturas nuevas sobre representaciones mediante formas específicas, sin pruebas. ^[11]

La teoría general de las formas cuadráticas fue iniciada por Lagrange en 1775 en sus Recherches d'Arithmétique . Lagrange fue el primero en darse cuenta de que "una teoría general coherente requería la consideración simultánea de todas las formas". ^[12] Fue el primero en reconocer la importancia del discriminante y en definir las nociones esenciales de equivalencia y reducción que, según Weil, han "dominado todo el tema de las formas cuadráticas desde entonces". ^[13] Lagrange demostró que hay un número finito de clases de equivalencia de un discriminante dado, definiendo así por primera vez un número de clase aritmética . Su introducción de la reducción permitió la rápida enumeración de las clases de discriminante dado y presagió el eventual desarrollo de la infraestructura . En 1798, Legendre publicó Essai sur la théorie des nombres , que resumía el trabajo de Euler y Lagrange y añadía algunas de sus propias contribuciones, incluido el primer vistazo a una operación de composición sobre las formas.

La teoría fue ampliamente ampliada y refinada por Gauss en la Sección V de Disquisitiones Arithmeticae . Gauss introdujo una versión muy general de un operador de composición que permite componer incluso formas de diferentes formas discriminantes e imprimitivas. Reemplazó la equivalencia de Lagrange con la noción más precisa de equivalencia adecuada, y esto le permitió demostrar que las clases primitivas de un discriminante dado forman un grupo bajo la operación de composición. Introdujo la teoría de géneros, que ofrece una manera poderosa de entender el cociente del grupo de clases por el subgrupo de cuadrados. (Gauss y muchos autores posteriores escribieron 2 b en lugar de b ; la convención moderna que permite que el coeficiente de xy sea impar se debe a Eisenstein ).

Estas investigaciones de Gauss influyeron fuertemente tanto en la teoría aritmética de formas cuadráticas en más de dos variables como en el posterior desarrollo de la teoría algebraica de números, donde los campos cuadráticos son reemplazados por campos numéricos más generales . Pero el impacto no fue inmediato. La sección V de las Disquisiciones contiene ideas verdaderamente revolucionarias e implica cálculos muy complicados, que a veces se dejan en manos del lector. Combinadas, la novedad y la complejidad hicieron que la Sección V fuera notoriamente difícil. Dirichlet publicó simplificaciones de la teoría que la hicieron accesible a un público más amplio. La culminación de esta obra es su texto Vorlesungen über Zahlentheorie . La tercera edición de esta obra incluye dos suplementos de Dedekind . El Suplemento XI introduce la teoría de anillos y, a partir de entonces, especialmente después de la publicación en 1897 del Zahlbericht de Hilbert , la teoría de las formas cuadráticas binarias perdió su posición preeminente en la teoría algebraica de números y quedó eclipsada por la teoría más general de los campos numéricos algebraicos .

Aun así, el trabajo sobre formas cuadráticas binarias con coeficientes enteros continúa hasta el presente. Esto incluye numerosos resultados sobre campos numéricos cuadráticos, que a menudo pueden traducirse al lenguaje de formas cuadráticas binarias, pero también incluye desarrollos sobre las formas mismas o que se originaron al pensar en las formas, incluida la infraestructura de Shanks , el algoritmo de reducción de Zagier , los topógrafos de Conway y Bhargava. Reinterpretación de la composición a través de cubos Bhargava .

Ver también

• cubo bhargava
• Teorema de Fermat sobre sumas de dos cuadrados
• símbolo de leyenda
• La identidad de Brahmagupta

Notas

1. Cohen 1993, §5.2
2. Weil 2001, pag. 30
3. Hardy y Wright 2008, Thm. 278
4. Zagier 1981
5. Zagier 1981
6. Fröhlich y Taylor 1993, teorema 58
7. Weil 2001, Capítulo I §§VI, VIII
8. Weil 2001, capítulo I §IX
9. Weil 2001, capítulo I §IX
10. Weil 2001, Capítulo II §§VIII-XI
11. Weil 2001, Capítulo III §§VII-IX
12. Weil 2001, p.318
13. Weil 2001, p.317

Referencias

• Johannes Buchmann, Ulrich Vollmer: formas cuadráticas binarias , Springer, Berlín 2007, ISBN  3-540-46367-4
• Duncan A. Buell: Formas cuadráticas binarias , Springer, Nueva York 1989
• David A Cox, Primos de la forma , Fermat, teoría de campos de clases y multiplicación compleja ${\displaystyle x^{2}+y^{2}}$
• Cohen, Henri (1993), Un curso de teoría algebraica computacional de números , Textos de posgrado en matemáticas, vol. 138, Berlín, Nueva York: Springer-Verlag , ISBN 978-3-540-55640-4, señor  1228206
• Fröhlich, Albrecht ; Taylor, Martin (1993), Teoría algebraica de números , Estudios de Cambridge en Matemáticas Avanzadas, vol. 27, Prensa de la Universidad de Cambridge , ISBN 978-0-521-43834-6, señor  1215934
• Hardy, GH ; Wright, EM (2008) [1938], Introducción a la teoría de números , revisada por DR Heath-Brown y JH Silverman . Prólogo de Andrew Wiles . (6ª ed.), Oxford: Clarendon Press, ISBN 978-0-19-921986-5, SEÑOR  2445243, Zbl  1159.11001
• Weil, André (2001), Teoría de números: una aproximación a la historia desde Hammurapi hasta Legendre , Birkhäuser Boston
• Zagier, Don (1981), Zetafunktionen und quadratische Körper: eine Einführung in die höhere Zahlentheorie , Springer

enlaces externos

• Peter Luschny, Números positivos representados por una forma cuadrática binaria
• AV Malyshev (2001) [1994], "Forma cuadrática binaria", Enciclopedia de Matemáticas , EMS Press