Blog de la Biblioteca de Matemàtiques i Informàtica

Gaussianos: la conjectura de Casas Alvero

Deixa un comentari

Eduard Casas Alvero

Gaussianos, un dels blocs que seguim habitualment, publica avui una entrada dedicada a la conjectura de Casas Alvero, plantejada per Eduard Casas Alvero, professor del Departament d’Àlgebra i Geometria de la Facultat de Matemàtiques de la Universitat de Barcelona.

Fa uns dies, Gaussianos proposava un problema —sense solució coneguda— als seus lectors. Obviant aquest petit detall, la intenció era estimular la participació i veure si es feien aportacions interessants que poguessin conduir a una possible demostració. Però un dels lectors, Hernán, després de donar-hi moltes voltes va fer una cerca a Internet i va descobrir que es tractava de la conjectura de Casas Alvero, un problema obert.

Posteriorment Gaussianos es va posar en contacte amb Eduard Casas Alvero perquè els expliqués els orígens de la conjectura i l’estat actual del problema:

La ahora llamada conjetura de Casas-Alvero surgió como pregunta hacia 1998-99. Yo (Eduardo) acababa de obtener unos resultados sobre curvas polares (que luego aparecieron en Journal of Algebra 240(1), 2001) y estaba intentando establecer a partir de ellos un criterio de irreducibilidad para series de potencias en dos variables con coeficientes complejos. En determinado momento necesité usar que un polinomio en una variable que comparte raíces con todas sus derivadas de grado positivo es potencia de uno lineal. Al principio me pareció un hecho que no debía de ser difícil, de modo que lo dejé de lado para dedicarme a lo que parecían ser partes más serias de la demostración del criterio. Con todos los cabos más o menos atados volví al problema en una variable para descubrir que no era nada fácil. Estuve un tiempo intentando diversos tipos de argumentos y todo lo que conseguí fueron varias retorcidas maneras de obtener las fórmulas de Cardano, pero ninguna demostración de lo que quería. Luego empecé a preguntar a los colegas: primero a los de mi universidad, más tarde en congresos y visitas a otras universidades, en mis conferencias… Todo lo que obtuve fueron entretenidas discusiones, pero ningún avance, hasta que Lalo González-Vega (U. de Cantabria) me escuchó la pregunta y junto con Gema M. Díaz-Toca probó que el resultado era cierto para polinomios de grado menor o igual que ocho (Maple conference 2006. Proceedings of the conference, Waterloo, Ontario, Canada, July 23-26, 2006, pages 81-98, Waterloo, 2006. Maplesoft, la primera publicación sobre el tema, que yo sepa).

En 2007, Hans-Christian Graf von Bothmer, Oliver Labs, Josef Schicho, y Christiaan van de Woestijne publicaron en Journal of Algebra la demostración del hecho para polinomios cuyo grado es potencia de primo o el doble de potencia de primo; puede verse en http://arxiv.org/abs/math/0605090 . Recientemente (2010) Jan Draisma (Eindhoven) y Johan P. de Jong, han obtenido una demostración más simple que extiende el resultado a polinomios de grado p^n,2p^n, 3p^n y 4p^n, para p primo; han escrito además artículos de divulgación y un curioso applet sobre el problema (que puede verse en esta web).

Por mi parte he vuelto al problema un par de veces en estos años sin resultados (encontré una demostración preciosa, con polígonos curvilíneos e inversiones del plano, pero totalmente falsa). El criterio de irreduciblidad para series sigue pendiente y no descarto volver a trabajar en él (y en la conjetura si no puedo evitarla) en cuanto tenga algo de tiempo.

Font: Gaussianos

Deixa un comentari

Fill in your details below or click an icon to log in:

WordPress.com Logo

Esteu comentant fent servir el compte WordPress.com. Log Out / Canvia )

Twitter picture

Esteu comentant fent servir el compte Twitter. Log Out / Canvia )

Facebook photo

Esteu comentant fent servir el compte Facebook. Log Out / Canvia )

Google+ photo

Esteu comentant fent servir el compte Google+. Log Out / Canvia )

Connecting to %s