My Education Manifesto

I have been thinking about math education for more than fifteen years. An initiation rite for me was the following story. I was training three students for the math olympics in some school. They worked with me for one year without previous trainment. Then they went to the National Mathematical Olympiad in Chile and they obtained the three gold medals that were given that year. In that moment I was very moved and I realized that the method that I implemented (a method that has been evolving ever since) was interesting.

Comments Off on My Education Manifesto

Trabajo con Google DeepMind

Hicimos un trabajo realmente hermoso junto a un grupo de matemáticos de nivel mundial, con la ayuda de lo más avanzado en inteligencia artificial aplicada a la investigación matemática: una…

Comments Off on Trabajo con Google DeepMind

Bruhat intervals that are large hypercubes

Joint with Jordan Ellenberg, David Plaza, José Simental, and Geordie Williamson. Inspired by permutations suggested by AlphaEvolve (an evolutionary coding agent developed by Google DeepMind), we discover massive hypercubes inside the Bruhat order of the symmetric group. This phenomenon has consequences for cluster algebras, Kazhdan–Lusztig theory, and moduli spaces of embeddings of Bruhat graphs, and provides a striking example of how AI can contribute to genuine mathematical discovery. From a mathematical point of view, the result is beautiful: the Bruhat interval defining this massive hypercube is described by a purely number-theoretic condition on permutations, a behavior completely unlike anything we had previously seen.

Comments Off on Bruhat intervals that are large hypercubes

The atomic Leibniz rule

Joint with Ben Elias, Hankyung Ko and Leonardo Patimo, to appear in Revista Matemática Iberoamericana. This is the fifth paper on the development of a diagrammatic singular Hecke theory. Here we introduce a generalization of the twisted Leibniz rule for the Demazure operator associated to any atomic double coset. This is equivalent to a polynomial forcing property for singular Soergel bimodules.

Comments Off on The atomic Leibniz rule

Paper BOAT

Joint work with Federico Castillo, Damian de la Fuente, and David Plaza. We introduce the notion of a Paper Boat: a new combinatorial object that tessellates the lower intervals of elements in the lowest two-sided Kazhdan–Lusztig cell. Using Paper Boats and convex geometry, we obtain formulas for the cardinalities of these intervals and show that they are given by (quasi-)polynomials. We further conjecture that, in fact, they are always genuine polynomials. As a byproduct of this work, we also discovered a natural partition of the group that is particularly well adapted to studying polynomiality, and which appears to have interesting applications in its own right.

Comments Off on Paper BOAT

Charla en FUNDAPROMAT

El jueves 6 de junio de 2024 haré una charla titulada "Creatividad matemática" para todo público.

Comments Off on Charla en FUNDAPROMAT

Singular light leaves

Joint with Ben Elias, Hankyung Ko and Leonardo Patimo, to appear in the Journal of the European Mathematical Society . For any Coxeter system, we introduce the concept of singular light leaves (finally!!). It is a basis for the Hom space between singular Bott-Samelson bimodules. Really fun stuff.

Comments Off on Singular light leaves

On the size of Bruhat intervals

Joint with Federico Castillo, Damian de la Fuente and David Plaza. For affine Weyl groups and elements associated to dominant coweights, we give a convex geometry formula for the size of the corresponding lower Bruhat intervals (this says in particular that it is a polynomial in several variables). Extensive computer calculations for affine Weyl groups have led us to believe that a similar formula exists for all lower Bruhat intervals. We also believe that the cardinality of all Bruhat intervals is given by some family of quasi-polynomials.

Comments Off on On the size of Bruhat intervals

Demazure operators for double cosets

Joint with Ben Elias, Hankyung Ko and Leonardo Patimo. This is the first of a series of papers intended to advance in the development of a singular (i.e. double cosets) theory of Coxeter groups, Hecke algebras, actions of groups on polynomial rings and the Hecke category. Two milestones of this long-term project would be to produce singular light leaves and singular Soergel calculus. Here, we introduce a Demazure operator for any double coset. We prove several results about them, but the crucial thing for us is that they give a criterion for ensuring the proper behavior of singular Soergel bimodules.

Comments Off on Demazure operators for double cosets

Hipercubos

Un hermoso artículo divulgativo con el gran Andrés Navas sobre los hipercubos.

Comments Off on Hipercubos

Combinatorial invariance conjecture for affine A2

Joint with Gastón Burrull and David Plaza, International Mathematics Research Notices 10 (2023) 8903–8933.  We prove the combinatorial invariance conjecture (by G. Lusztig and M. Dyer in the eighties) for the affine A2. This is the first infinite group with non-trivial Kazhdan-Lusztig polynomials where this fascinating conjecture is proved.

Comments Off on Combinatorial invariance conjecture for affine A2

Entrevista en radio Pauta

Fui entrevistado por la muy motivada y entretenida Maritxu Sangroniz en el programa "Un día perfecto" de la radio Pauta. ¡¡Me encantó!! Antes de empezar la entrevista ella me preguntó…

Comments Off on Entrevista en radio Pauta

Pre-canonical bases on affine Hecke algebras

Joint with Leonardo Patimo and David Plaza, Advances in Mathematics  399 (2022). For any affine Weyl group, we introduce the pre-canonical bases, a set of bases of the spherical Hecke algebra that interpolates between the standard basis and the canonical basis. Thus we divide the hard problem of calculating Kazhdan-Lusztig polynomials (or q-analogues of weight multiplicities) into a finite number of much easier problems.

Comments Off on Pre-canonical bases on affine Hecke algebras

The Anti-Spherical Category

joint with Geordie Williamson, Advances in Mathematics  405 (2022). We prove that (sign) parabolic Kazhdan-Lusztig polynomials have non-negative coefficients for ANY Coxeter system and ANY choice of a parabolic subgroup, thus generalizing to the parabolic setting the central result of The Hodge theory of Soergel bimodules by Elias and Williamson.  We also prove a monotonicity conjecture of Brenti. The new techniques were used by Williamson and Lusztig to calculate many new elements of the p-canonical basis and thus make the Billiards conjecture. Along the way, we introduce the anti-spherical light leaves.

Comments Off on The Anti-Spherical Category