1. www.mat.uc.cl
  2. Investigación
  3. Seminarios
  4. Santiago Number Theory and Algebra Seminar (SANTAS)

Santiago Number Theory and Algebra Seminar (SANTAS)

El Santiago Number Theory and Algebra Seminar (SaNTAS) es un seminario de investigación organizado en conjunto por la Universidad de Santiago de Chile, la Universidad de Chile y la Pontificia Universidad Católica de Chile.
Los expositores serán investigadores invitados que trabajan en temas afines al álgebra y teoría de números, y está orientado a estudiantes de postgrado e investigadores de universidades locales.

Organizadores: David Grimm (Usach), Giancarlo Lucchini (UCh), Federico Castillo (UC).
2020-03-04
14:00hrs.
Eyal Goren. Mcgill University
Complex multiplication - old and new
Sala 1
Abstract:
The theory of complex multiplication is more than a century old; its origins date back to Klein, Hilbert, Kummer, Weber, Deuring and many others. It has been instrumental in the development of class field theory and algebraic number theory. Yet, more than a century later we find new theorems that are truly surprising. 
I will start with this historical perspective and try to position some of these new developments in the light of the André-Oort conjecture - a conjecture in the area of Shimura varieties that was recently resolved by Tsimerman, building on ideas of Edixhoven, Pila, Wilkie and Zannier. The resolution rests on the averaged Colmez conjecture, a conjecture that addresses the arithmetic complexity of abelian varieties with complex multiplication, which was proved by Andreatta-Howard-Madapusi Pera and the speaker, and, independently, by Yuan-Zhang.
2020-01-22
14:30hrs.
Karim Johannes Becher. Universiteit Antwerpen
Quadratic forms and diophantine sets
Sala de Seminarios, Dpto de Matemáticas. Las Palmeras 3425, Universidad de Chile
Abstract:
The interplay between valuations and certain geometrically rational varieties, in particular quadrics, has turned out to be very fruitful for proving that certain subsets of fields are existentially definable or diophantine. In particular, this has been used by J. Koenigsmann to prove that $\mathbb{Q}\backslash \mathbb{Z}$ is diophantine in $\mathbb{Q}$. His proof combines several ingredients from classical number theory, involving in particular the Hasse-Minkowski local-global principle for quadratic forms. In my talk I want to highlight some ingredients of proofs for showing that certain subsets of fields are diophantine and some interesting questions for quadratic forms arising from this context.
2020-01-22
10:00hrs.
Diego Izquierdo. École Polytechnique
Lambda-buildings associated to quasi-split groups over Lambda-valued fields
Sala de seminarios, Dpto de Matemáticas. Las Palmeras 3425, Universidad de Chile
Abstract:
Let $\Lambda$ be a totally ordered abelian group and let $K$ be a Henselian $\Lambda$-valued field. Let $G$ be a quasi-split reductive group over $K$. In 1972, Bruhat and Tits constructed a building on which the group $G(K)$ acts provided that $\Lambda$ is a subgroup of the real numbers. In this talk, we will deal with the general case where there are no assumptions on $\Lambda$ and construct a $\Lambda$-building in the sense of Bennett on which $G(K)$ acts.
2020-01-14
14:30hrs.
Chao Li. Columbia University
On the Kudla-Rapoport conjecture
Sala de Seminarios, Dpto de Matemáticas. Las Palmeras 3425, Universidad de Chile
Abstract:
The classical Siegel-Weil formula relates certain Siegel Eisenstein series with quadratic forms, namely expressing special values of these series as theta functions --- generating series of representation numbers of quadratic forms. The influential program of Kudla aims to establish the arithmetic Siegel-Weil formula, which relates the derivative of certain Siegel Eisenstein series with generating series from arithmetic geometry. We will report a proof of the Kudla-Rapoport conjecture, and discuss its application to L-functions such as generalizations of the Gross-Zagier formula to higher dimension. This is joint work with Wei Zhang.
2019-12-18
14:30hrs.
Victor Delage. Ens Rennes
From regulous to rational bounded functions
Sala de Seminarios, Dpto de Matemáticas. Las Palmeras 3425, Universidad de Chile
Abstract:
A rational function (quotient of polynomials from $k[X_1, ... X_n]$) is called regular when it lies in a regular ring. For an algebraically closed field k, a regular function has to be polynomial, but when studying the real case, some new functions appear: the ones whose denominators have no zeros, like $\frac{1}{1+X^2}$.
Here the regular functions extend quite naturally to regulous functions: when the denominator may have some zero, but when it happens, so does the numerator "in a stronger way" and the function is still continuous. Regulous functions have some very interesting properties, both algebraic and geometric, like nœtherianity of the topology, radical principality or Cartan's theorems A and B. An arising question is then whether bigger function rings may keep interesting properties; and we propose to loosen the continuity hypothesis to make it a bounded hypothesis; and see what happens.
2019-10-02
14:30hrs.
Cristóbal Rivas. Universidad de Santiago de Chile
Sobre grupos residualmente finitos y generalizaciones
Sala de Seminarios, Dpto de Matemáticas. Las Palmeras 3425, Universidad de Chile
Abstract:
En esta charla discutiremos sobre grupos residualmente finitos y algunas de sus generalizaciones. Por ejemplo, hablaremos sobre grupos localmente inyectables en grupos finitos (LIF) y sobre grupos sóficos. Mi intención es ilustrar mediante ejemplos las diferencias entre estas nociones.
2019-09-25
14:30hrs.
Jerson Caro. Pontificia Universidad Católica de Chile
Contando el número de puntos racionales de una subvariedad en una variedad abeliana
Sala de seminarios, Dpto de Matemáticas. Las Palmeras 3425, Universidad de Chile
Abstract:
Siguiendo las ideas de Chabauty y Coleman para acotar el número de puntos racionales de una curva de genero mayor o igual a 2, buscamos una cota efectiva para el número de puntos racionales de una subvariedad de una variedad abeliana simple cuyos puntos racionales forman un grupo abeliano de rango 1. La teoría de grupos de Lie p-ádicos y el principio de unicidad sobre campos no arquimedianos, juegan un papel importante en nuestro proceso.
2019-09-04
14:30hrs.
Adrián Zenteno. Pontificia Universidad Católica de Valparaíso
El problema inverso de Galois para ciertos grupos de tipo Lie
Sala de seminarios, Dpto de Matemáticas. Las Palmeras 3425, Universidad de Chile
Abstract:
En años recientes, el estudio de la imagen de representaciones de Galois asociadas a representaciones automorfas (vía la correspondencia de Langlands) y la funtorialidad de Langlands ha resultado ser una herramienta muy util para demostrar que familias infinitas de grupos de tipo Lie son grupos de Galois de alguna extensión finita del campo de los números racionales. El objetivo de esta charla, es explicar como estas técnicas ayudan a resolver el problema inverso de Galois para infinitos grupos de tipo Lie e informar sobre los recientes avances en dicho problema.
2019-08-21
14:30hrs.
Martí Lahoz. Universitat de Barcelona
Stability conditions on non-commutative K3 surfaces
Sala de Seminarios, Dpto de Matemáticas. Las Palmeras 3425, Universidad de Chile
Abstract:
The introduction by Bridgeland of a notion of stability for objects in triangulated categories has enabled the construction of moduli spaces on them. Not only this, but thanks to the great flexibility of this notion, it has allowed to study the birational geometry on these moduli spaces. Unfortunately, the main open problem is the existence of such stability conditions. Their construction for derived categories of smooth projective surfaces has had a tremendous impact for the study of the birational geometry of their moduli spaces. In particular, for the hyperkähler moduli spaces on K3 surfaces by the work of Bayer-Macri.

In this talk, I will introduce the notion of stability conditions on triangulated categories and I will explain how to construct them on noncommutative K3 surfaces arising from cubic fourfolds. Finally, I will construct new locally complete polarized families of hyperkähler manifolds as moduli spaces of objects on these noncommutative K3 surfaces.
2019-08-07
14:30hrs.
Álex Capuñay. Universidad de Chile
Algoritmo para determinar dominios fundamentales de cuerpos de números
Sala de Seminarios, Dpto de Matemáticas. Las Palmeras 3425, Universidad de Chile
Abstract:
Takuro Shintani probó en 1976 y 1979 que para la acción del grupo de unidades totalmente positivas de un cuerpo de números existe un dominio fundamental dado como una unión finita de conos simpliciales con generadores en tal cuerpo. Sin embargo él no entrega un procedimiento práctico de como obtener tales conos que definen un dominio fundamental. Más tarde, Colmez en 1989 prueba que en el caso de cuerpos totalmente reales existen ciertos subgrupos especiales de unidades para los cuales él puede producir explícitamente conos (llamados "conos de Colmez") que definen un dominio fundamental. Usando métodos topológicos, Díaz y Díaz y Friedman en 2014 probaron que tales conos de Colmez definen lo que ellos llaman un "dominio fundamental con signo". Estos dominios fundamentales con signo contienen un verdadero dominio fundamental. Muy recientemente Espinoza y Friedman construyen explícitamente un dominio con signo para cualquier cuerpo de números con al menos una incrustación real.
 
Nosotros en esta charla intentaremos explicar un procedimiento algorítmico para la obtención de un verdadero dominio fundamental del tipo Shintani desde un dominio con signo.
2019-07-24
14:30hrs.
Benoit Loisel. Ens Lyon
On compact-open subgroups of linear algebraic groups over local fields
Sala de Seminarios, Dpto de Matemáticas. Las Palmeras 3425, Universidad de Chile
Abstract:
Let $G$ be a linear algebraic group over a field $k$. Assuming that $G$ is a reductive group, Tits indices provide a classification up to isogeny. In characteristic $p$, a natural generalization is provided by Conrad, Gabber and Prasad from their work on pseudo-reductive groups that provides a classification over any field up to commutative groups. If $k$ is a local field and $G$ is a reductive group, the classification can be refined by Bruhat-Tits theory in order to provide a classification of rational points $G(k)$.

In this talk, we focus on a general linear algebraic group $G$ over a local field $k$. By a use of standard construction of pseudo-reductive groups and by considering open subgroups of the topological group $G(k)$, one can provide algebraic conditions on $G$ equivalent to the existence of maximal compact subgroups in $G(k)$. For groups satisfying these conditions, we provide a sequence of successive quotients from $G(k)$ satisfying some conditions.

2019-07-10
14:30hrs.
Milton Espinoza. Universidad de Valparaíso
Una pareja de coeficientes de Taylor
Sala de Seminarios, Dpto de Matemáticas. Las Palmeras 3425, Universidad de Chile
Abstract:
Existen muchas y diversas generalizaciones de la función zeta de Riemann. Entre ellas, se distingue la función zeta de Dedekind por su simpleza: corresponde a un cuerpo de números arbitrario como la primera, al cuerpo de números racionales. Dada su calidad de función meromorfa en el plano complejo, podemos preguntarle sobre sus coeficientes de Taylor en puntos regulares; particularmente, en los enteros negativos y el cero. Se han obtenido respuestas bastante claras sobre los coeficientes constantes, pero ya más nebulosas acerca de los lineales. En esta charla, nos concentraremos en cuerpos de números cuadráticos reales para resumir algunos hitos en esta historia, bosquejaremos sus impactos aritméticos y presentaremos algunos avances de un trabajo en curso.
2019-07-02
16:30hrs.
Adrián Zenteno. Pontificia Universidad Católica de Valparaíso
[Cancelado] El problema inverso de Galois para ciertos grupos de tipo Lie
Sala de seminarios (4to piso) Dpto de Matemática y Ciencias de la Computación USACH
Abstract:
En años recientes, el estudio de la imagen de representaciones de Galois asociadas a representaciones automorfas (vía la correspondencia de Langlands) y la funtorialidad de Langlands ha resultado ser una herramienta muy util para demostrar que familias infinitas de grupos de tipo Lie son grupos de Galois de alguna extensión finita del campo de los números racionales. El objetivo de esta charla, es explicar como estas técnicas ayudan a resolver el problema inverso de Galois para infinitos grupos de tipo Lie e informar sobre los recientes avances en dicho problema.
2019-06-18
16:30hrs.
Héctor Pastén. Pontificia Universidad Católica de Chile
El décimo problema de Hilbert para ciertos anillos de enteros de grado seis
Sala de seminarios (4to piso) Dpto de Matemática y Ciencias de la Computación USACH
Abstract:
El décimo problema de Hilbert pedía un algoritmo para decidir existencia de soluciones enteras de ecuaciones Diofantinas. En 1970 Matiyasevich terminó una linea de trabajo de Davis, Putnam y Robinson, demostrando que el algoritmo requerido no existe. Naturalmente uno quiere un resultado similar no solamente para los enteros usuales, sino también para anillos de enteros en campos de números, pero el caso general sigue abierto y con muy poco progreso en los últimos 30 años. En esta charla resolveré el problema para los enteros de ciertos campos de números de grado 6. La demostración se basa en teoría de Iwasawa ciclotómica para curvas elípticas y en congruencias de puntos de Heegner; ambos métodos se han mantenido ajenos al problema hasta ahora. Esto es trabajo en conjunto con Natalia Garcia-Fritz.
2019-06-11
16:30hrs.
Fernando Herrera. Universidad de Chile
Una serie de Koecher-Maass en varias variables
Sala de seminarios (4to piso) Dpto de Matemática y Ciencias de la Computación USACH
Abstract:
La serie de Koecher-Maass es una serie del tipo Dirichlet construida a partir de los coeficientes de Fourier de una forma cuspidal de Siegel arbitraria. Si esta serie es evaluada en un número complejo obtenemos un funcional lineal del espacio vectorial de las formas cuspidales de Siegel. Tal funcional tiene asociado una forma cuspidal llamada núcleo integral y ellos han sido estudiados en varios tipos de formas automórficas.
 
En esta charla comenzaremos definiendo las series de Koecher-Maass y su respectivo núcleo integral. Comentaremos las series y núcleos integrales obtenidos en otras formas automórficas estudiadas en los últimas decadas. En la segunda mitad de la charla nos enfocaremos en una serie: la serie de Koecher-Maass asociada a una forma cuspidal de Siegel de grado tres arbitraria torcida por la serie de Eisenstein-Selberg. Exhibiremos explícitamente su núcleo integral y algunas de sus propiedades analíticas, por ejemplo sus ecuaciones funcionales. Si el tiempo lo permite, mostraremos una fórmula del tipo Lipschitz en el espacio de Siegel de grado tres que fue crucial para escribir nuestro núcleo integral como una serie de series de Poincaré.
2019-06-04
16:30hrs.
Luis Arenas. Universidad de Chile
El árbol de Bruhat-Tits y el álgebra de matrices
Sala de seminarios (4to piso) Dpto de Matemática y Ciencias de la Computación USACH
Abstract:
Mostraremos la conexión que existe entre el Árbol de Bruhat-Tits para $PSL_2$ sobre un cuerpo local k, su definición como árbol de bolas que se usa para dar una intuición básica de la teoría de cuerpos no arquimedianos, y su aplicación a la estructura del álgebra de matrices $\mathbb{M}_2(k)$. Mostraremos como nos permite describir el conjunto de órdenes maximales que contienen a un suborden fijo dado. En la segunda parte veremos algunas aplicaciones, como el problema de la Selectividad y el Cálculo de grafos cocientes.
2019-05-28
16:30hrs.
Marco Godoy. Universidad de Chile
Acciones de grupos de unidades de ordenes de Eichler sobre el arbol de Bruhat-Tits, asociados a divisores de grado 1 y 2
Sala de seminarios (4to piso) Dpto de Matemática y Ciencias de la Computación USACH
Abstract:
En esta charla, el problema a resolver consiste en estudiar la acción del grupo de unidades $\widetilde{\mathfrak{E}}^{\ast}$, asociado a un orden de Eichler $\mathfrak{E}$, sobre el árbol de Bruhat-Tits $\mathfrak{T}(K)$, definido sobre el cuerpo local $K=\mathbb{F}_q((t^{-1}))$, este último visto como la completación del cuerpo de funciones racionales $\mathbb{F}_q(t)$ en el lugar $\infty$. Como resultado de dicho análisis, se obtienen el grafo cociente asociado a esta acción. Específicamente, en esta charla, el orden $\widetilde{\mathfrak{E}}$ se define como $$\widetilde{\mathfrak{E}}=\left(\begin{array}{cc}\mathbb{F}_q[t] & \mathbb{F}_q[t] \\ N\mathbb{F}_q[t] & \mathbb{F}_q[t]\end{array}\right),$$
donde $N\in \mathbb{F}_q[t]$ es un polinomio de grado 1 o 2. Este orden puede interpretarse como $$\widetilde{\mathfrak{E}}=\mathfrak{E}(V),$$ donde $\mathfrak{E}$ es un haz de órdenes (orden global) y $V$ es el abierto de puntos finitos, es decir, el abierto $V=\mathbb{P}_{\mathbb{F}_q}^1-\left\lbrace \infty\right\rbrace$ de la recta proyectiva $\mathbb{P}_{\mathbb{F}_q}^1$. En primera instancia, se estudia la acción del grupo $\widetilde{\mathfrak{E}}^{\ast}$ sobre $\mathfrak{T}(K)$ cuando $N$ es de grado 1, cuyo grafo cociente asociado es un camino maximal de este mismo árbol. Para el caso del polinomio $N$ de grado 2, se limita el cálculo a $q=2$, lo que simplifica la estructura del grupo $\widetilde{\mathfrak{E}}^{\ast}$. Los tres casos posibles para este polinomio $N$, son los siguientes:

(i) $N$ tiene dos raíces distintas en $\mathbb{F}_2$.
(ii) $N$ tiene una raiz repetida en $\mathbb{F}_2[t]$. 
(iii) $N$ es irreducible en $\mathbb{F}_2[t]$. 
 
2019-05-14
16:30hrs.
Estefanía Bravo. Universidad de Chile
Variedades Jacobianas Isógenas vía cubrimientos intermedios.
Sala de seminarios (4to piso) Dpto de Matemática y Ciencias de la computación USACH
Abstract:
Una Variedad Jacobiana es una variedad abeliana principalmente polarizada, naturalmente asociada a un superficie de Riemann compacta. Como tal, y en caso de tener acción de grupo, tiene dos descomposiciones asociadas: la descomposición isotípica y según el álgebra de grupo.
Usando resultados conocidos de dichas descomposiciones, y de la correspondiente acción en la superficie, se concluye que la igualdad de los caracteres correspondientes a las representaciones inducidas por los subgrupos implica que las Jacobianas correspondientes a los cubrimientos intermedios son isógenos.
En la primera parte de esta charla explicaré estos resultados conocidos. La segunda parte estará orientada a presentar el problema  en el que estoy trabajando ahora: La idea es construir Jacobianas isógenas que corresponden a curvas no isomorfas, usando acciones de grupos. Para finalizar mostraré algunos resultados obtenidos para un grupo particular, que es parte de una familia de grupos que actúan sobre una Jacobiana.
2019-05-07
16:30hrs.
Daniel Barrera. Universidad de Santiago de Chile
Curvas elípticas y valores de funciones L complejas y p-ádicas
Sala de seminarios (4to piso, lado norte de) Dpto de Matemática y Ciencia de la Computación USACH
Abstract:
Curvas elípticas son ecuaciones polinomiales muy particulares y llenas de misterios. En esta charla nos concentraremos en ciertos objetos de naturaleza analítica asociados a una curva elíptica: las llamadas funciones L complejas y p-ádicas. Enunciaremos conjeturas clásicas y algunos resultados relacionando estas funciones L con cantidades de carácter algebraico asociadas a la curva. En la segunda parte de la charla, explicaremos algunas variaciones un poco más recientes de estos resultados para funciones L complejas donde métodos p-adicos han jugado un rol. Si el tiempo lo permite, terminaremos dando algunas pinceladas de un trabajo en curso junto a S. Molina y V. Rotger tratando curvas elípticas definidas sobre cuerpos de números totalmente reales.
2019-04-30
16:30hrs.
Ricardo Menares. Pontificia Universidad Católica de Chile
Equidistribución y S-unidades
Sala de Seminarios (4to piso), Dpto de Matemática y Ciencias de la Computación USACH
Abstract:

sea S un conjunto finito de números primos. Un entero algebraico es una S-unidad si los factores primos del ideal que genera están sobre elementos de S. Un caso particular de un Teorema de Baker, Ih y Rumely asegura que hay a lo más un número finito de raíces de la unidad zeta tales que zeta-2 es una S-unidad.

En la primera parte de esta charla explicaremos en detalle cómo las propiedades de equidistribución del conjunto de raíces de la unidad, tanto en los lugares arquimedeanos como no arquimedeanos, pueden utilizarse para demostrar este tipo de resultado. 

En la segunda parte abordaremos un resultado obtenido en colaboración con Sebastián Herrero y Juan Rivera-Letelier, que en lugar de raíces de la unidad, versa sobre "módulos singulares", que son invariantes j de curvas elípticas CM (multiplicaciones complejas) sobre un cuerpo de números. Explicaremos cómo usar resultados de equidistribución de curvas elípticas CM para obtener la finitud del conjunto de módulos singulares que son S-unidades. La versión no arquimedeana de tales propiedades de equidistribución fue el tema de la charla de S. Herrero en una sesión anterior de este seminario.