Angel "Java" Lopez en Blog

Agosto del 2018


Publicado el 20 de Agosto, 2018, 12:18

Anterior Post

Hay algo en las matemáticas, que es hermoso: la relación que tienen diversos temas, la unidad que se va descubriendo en su estructura. Es notable cómo se ha ido progresando en este sentido, tan notable que es la principal pista para aceptar la existencia de un mundo matemático, distinto del físico o del mental. Sería increíble que todo esto se deba a la creación humana.

Esa relación en los temas se ve en la historia de las curvas elípticas. Hoy quiero comentar brevemente el libro:

Elliptic and Modular Functions from Gauss to Dedekind to Hecke de Ranjan Roy

Tiene pocas menciones de curvas elípticas, pero es interesante por su desarrollo histórico de los temas que trata. Comienza con las formas modulares en su estado en el siglo XIX. Primero presenta el grupo modular, estudiado por Lagrange es su estudio de las formas cuadráticas (cita un trabajo de 1775). El estudio de las formas cuadráticas (expresiones en x, y, con grado 2 en sus términos) es la semilla de multitud de desarrollos que llegan a los tiempos actuales. Lagrange, por ejemplo, estudió qué enteros se podían obtener de una forma cuadrática cuando sus variables adoptaban valores enteros, y mostró la equivalencia entre formas cuadráticas, ante algunas transformaciones. Aparece el grupo modular y sus generadores S y T (notación introducida no por Lagrange sino por Mordell y Rademacher, ya en el siglo XX). Desde comienzo, el libro se despacha con la historia de todo lo que derivó, pasando por Gauss (con resultados que no publicó), Jacobi, Abel, Einsenstein, Dedekind (su paper sobre formas modulares, y las sumas de Dedekind), algunos resultados tempranos de Euler (como su producto), Klein, Hermite, Hurwitz, Hecke y más.

Es justamente Hurwitz el que muestra que las curvas elípticas (que aparecen en la historia LUEGO de las integrales elípticas, y las funciones elípticas (éstas tan estudiadas, por ejemplo, por Abel)), son PARAMETRIZABLES por dos funciones. ¿Qué significa esto? Así como los puntos de una circunferencia (x, y) se pueden expresar por dos funciones periódicos de UN parámetro (sen(t), cos(t)), lo mismo pasa con las curvas elípticas, con dos funciones, esta vez, en vez de ser funciones circulares como el seno y el coseno, son funciones elípticas, CON DOBLE PERIODO (el tema de este doble periodo aparece en muchos de los resultados, como en el grupo modular).

Hurwitz publica este resultado en un conocido "paper", leo en 12.1:

Hurwtiz"s 1881 paper and its 1904 update were regarded during the early twentieth century as providing fundamental foundations for the theory of modular functions. In his 1917 paper on Ramanujan"s conjectures, Mordell wrote in a footnote, concerning Hurwitz"s original 1881 paper, "For an elementary introduction to the modular functions, see Hurwitz . . . ." Again, perhaps because of J. P. Serre"s 1957 lecture on modular forms,2 employing several key ideas from Hurwitz"s 1904 paper, Hurwitz"s proofs of basic results on modular forms have become well known and commonly used. For these reasons, we discuss Hurwitz"s paper in its entirety and provide a translation into English as an appendix.

Vean cómo sus ideas llegan hasta Mordell y Serre, en el siglo XX. Leo algo sobre Mordell (que tan importante fue en el camino de la demostración del Ultimo Teorema de Fermat), leo en 13.1:

Louis J. Mordell (1888–1972) was born in Philadelphia, Pennsylvania, but after secondary
school, he traveled to Cambridge, England, to study mathematics. He took the Mathematical Tripos examinations and went into research in number theory. In 1917, he published a paper on the representations of numbers as sums of an even number of squares in which he utilized the theory of modular forms. According to J. W. S. Cassels, "Mordell was, apparently, the first to treat the representation of integers as the sum of a fixed number n of squares by using the finite dimensionality of the space of modular forms of given dimensions to establish identities thereby unifying the existing mass of results for individual values of n." This paper established Mordell as an expert in elliptic modular functions in Britain. When Hardy drew his attention to Ramanujan"s conjectures, Mordell quickly found the solution within Hurwitz"s work on the multiplier equation. Textbooks generally concentrate on Mordell"s work on the Euler product of delta(ω1, ω2), and it is not usually mentioned that Mordell also considered delta 12/a  (ω1, ω2), where a is a divisor of 12. Mordell evidently did not attempt to generalize these results to other modular forms, and this was done almost two decades later by Hecke, then unaware of the earlier work on this topic of Ramanujan and Mordell.

Espero que esto ayude a empezar a ver las múltiples relaciones entre distintas partes de las matemáticas, siendo curvas elípticas una de las puntas del iceberg que sobresale.

Una nota personal: ver que ese factor 12 debe estar relacionado con el 24 de alguna conjetura de Ramanujan y el "lattice" de Leech y grupos esporádicos.

Nos leemos!

Angel "Java" Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez

Publicado el 13 de Agosto, 2018, 11:14

Anterior Post

Resultants, Resolvents and the Computation of Galois Groups
http://www.alexhealy.net/papers/math250a.pdf

The Abel Prize Laurate 2018: Robert P. Langlands
http://www.abelprize.no/c73016/seksjon/vis.html?tid=73017

Curious Quaternions
https://plus.maths.org/content/os/issue32/features/baez/index

Ubiquituos Octonions
https://plus.maths.org/content/os/issue33/features/baez/index

Brun's Theorem
https://en.wikipedia.org/wiki/Brun%27s_theorem

Sieve Theory
https://en.wikipedia.org/wiki/Sieve_theory

A polynomial upper bound on Reidemeister moves
https://arxiv.org/abs/1302.0180

An Upper Bound on Reidemeister Moves
https://johncarlosbaez.wordpress.com/2018/03/09/an-upper-bound-on-reidemeister-moves/

Nos leemos!

Angel "Java" Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez

Publicado el 5 de Agosto, 2018, 13:08

Nuevo mes, tiempo de escribir las resoluciones mensuales. Antes, una revisión de las del mes anterior:

- Escribir sobre Historia de las Matemáticas [pendiente]
- Escribir sobre Matemáticas [completo] ver post
- Escribir sobre Historia de la Ciencia [completo] ver post
- Estudiar blues en guitarra [completo]

También escribí algo más sobre matemáticas:

La Matemática es Diferente, por Ian Steward

Mis resoluciones del nuevo mes:

- Escribir sobre Historia de las Matemáticas
- Escribir sobre Matemáticas
- Escribir sobre Historia de la Ciencia
- Estudiar blues en guitarra

Nos leemos!

Angel "Java" Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez

Publicado el 2 de Agosto, 2018, 21:01

Sigo leyendo libros de Ian Stewart, esta vez, "Significant Figures, The Lives and Work of Great Mathematicians". Me llama la atención su comparación de las matemáticas con otras ciencias en su historia:

ALL BRANCHES OF SCIENCE can trace their origins far back into the mists of history, but in most subjects the history is qualified by ‘we now know this was wrong’ or ‘this was along the right lines, but today’s view is different’. For example, the Greek philosopher Aristotle thought that a trotting horse can never be entirely off the ground, which Eadweard Muybridge disproved in 1878 using a line of cameras linked to tripwires. Aristotle’s theories of motion were completely overturned by Galileo Galilei and Isaac Newton, and his theories of the mind bear no useful relation to modern neuroscience and psychology.

Mathematics is different. It endures. When the ancient Babylonians worked out how to solve quadratic equations – probably around 2000 BC, although the earliest tangible evidence dates from 1500 BC – their result never became obsolete. It was correct, and they knew why. It’s still correct today. We express the result symbolically, but the reasoning is identical. There’s an unbroken line of mathematical thought that goes all the way back from tomorrow to Babylon. When Archimedes worked out the volume of a sphere, he didn’t use algebraic symbols, and he didn’t think of a specific number π as we now do. He expressed the result geometrically, in terms of proportions, as was Greek practice then. Nevertheless, his answer is instantly recognisable as being equivalent to today’s  πr3.

Hay ciencias cuyos primeros resultados perduran desde la antiguedad, como la estática desde Arquímedes. Pero otras han ido formando modelos explicativos de la realidad, que luego se cambian por otros, como ahora tenemos las ideas de Einstein que reemplazaron a las de Newton. Pero las matemáticas formas modelos que al no tener que corresponder con una realidad, pueden ser formulados y extendidos sin desecharlos. La geometría de Euclides sigue siendo tan verdadera en su base hace 2000 años como ahora, aun cuando sabemos que no es la geometría a aplicar al mundo físico. Tiene ese encanto la matemática: es el "gran juego" que vamos armando a lo largo de los siglos. Habrá que ver cuanto de esta "creación humana" es creación propia o es descubrimiento de un mundo matemático que existe más allá de nuestra experiencia.

Nos leemos!

Angel "Java" Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez