BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Rodrigo Iglesias (Universidad Nacional del Sur)
DTSTART:20200424T170000Z
DTEND:20200424T180000Z
DTSTAMP:20260422T212607Z
UID:SemACT/1
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/SemACT/1/">S
 imetría y redes neuronales</a>\nby Rodrigo Iglesias (Universidad Nacional
  del Sur) as part of Seminario de álgebra\, combinatoria y teoría de Lie
 \n\n\nAbstract\nLas redes neuronales son un modelo computacional que ha te
 nido un gran impacto científico en la última década. Si bien no hay aú
 n una teoría matemática que explique este éxito empírico de manera sat
 isfactoria\, hay indicios de que una comunión entre nociones que involucr
 an simetría y la teoría de la información sería relevante. En esta cha
 rla hablaremos de dos aspectos donde la simetría tiene un rol importante.
 \n\nPor un lado ha habido recientemente una generalización de las llamada
 s redes convolucionales al contexto de transformaciones -invariantes por l
 a acción de un grupo- entre espacios homogéneos. Las redes convolucional
 es han tenido notables aplicaciones. \n\nPor otro lado\, tenemos que las r
 edes neuronales usualmente resuelven problemas de predicción. Una forma d
 e definir matemáticamente el problema de la predicción es vía la teorí
 a de inducción de Solomonoff y complejidad de Kolmogorov de secuencias. P
 lantearemos el problema de extender estas nociones al caso de tipos de dat
 os más generales (más allá de las  secuencias) invariantes por grupos d
 e simetrías.\n
LOCATION:https://researchseminars.org/talk/SemACT/1/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Gastón A. García (Universidad Nacional de la Plata)
DTSTART:20200508T170000Z
DTEND:20200508T180000Z
DTSTAMP:20260422T212607Z
UID:SemACT/2
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/SemACT/2/">S
 imetrías y determinantes cuánticos</a>\nby Gastón A. García (Universid
 ad Nacional de la Plata) as part of Seminario de álgebra\, combinatoria y
  teoría de Lie\n\n\nAbstract\nEn muchas ocasiones la aparición de objeto
 s matemáticos en física (teórica) es a partir de "simetrías" en cierto
 s espacios clásicos o "cuánticos". Estas "simetrías" son encarnaciones 
 de representaciones de objetos de origen geométrico y/o algebraico que ac
 túan sobre una variedad diferencial (o algebraica) o un espacio de Hilber
 t (de dimensión finita). Una idea exitosa utilizada con frecuencia es con
 struir un objeto universal a través de las simetrías de un espacio dado.
  Ejemplos clásicos de este proceso están dados por la relación entre gr
 upos de Lie (algebraicos afines) y sus álgebras envolventes universales (
 o álgebras de coordenadas). En el caso de los grupos algebraicos afines s
 imples\, las álgebras de coordenadas se obtienen como cocientes de álgeb
 ras localizadas por la función determinante. Existe una larga tradición 
 en la generalización de la noción de determinante para la construcción 
 de álgebras universales que codifican la información de la simetría en 
 sus representaciones.\n\nEn esta charla mostraremos cómo obtener familias
  de álgebras de funciones cuánticas a partir de simetrías (trenzas) en 
 espacios vectoriales de dimensión finita\, primero definiendo y luego loc
 alizando en determinantes cuánticos. De esta forma\, obtenemos de forma e
 xplícita nuevas familias de álgebras de funciones que codifican la simet
 ría de varios objetos asociados a espacios vectoriales "cuánticos". \n\n
 Esta charla está basada en un trabajo en conjunto con Marco Farinati. M. 
 Farinati and G. A. García. Quantum function algebras from finite-dimensio
 nal Nichols algebras. J. Noncommutative Geometry\, en prensa.\n
LOCATION:https://researchseminars.org/talk/SemACT/2/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Fiorela Rossi Bertone (Universidad Nacional del Sur)
DTSTART:20200522T170000Z
DTEND:20200522T180000Z
DTSTAMP:20260422T212607Z
UID:SemACT/3
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/SemACT/3/">E
 quivalencia Morita entre deformaciones infinitesimales</a>\nby Fiorela Ros
 si Bertone (Universidad Nacional del Sur) as part of Seminario de álgebra
 \, combinatoria y teoría de Lie\n\n\nAbstract\nGerstenhaber introdujo la 
 teoría algebraica de deformaciones para las álgebras asociativas y mostr
 ó su conexión con la cohomología de Hochschild. En este trabajo nos con
 centraremos en las denominadas deformaciones infinitesimales\, es decir\, 
 dada un álgebra $A$\, consideramos estructuras de álgebra asociativa en 
 $A[t]/(t^2)$.\n\nPartiendo de dos álgebras asociativas $A$ y $B$ Morita e
 quivalentes\, el objetivo será probar que las álgebras deformadas son ta
 mbién Morita equivalentes. Para ello describiremos las categorías de mó
 dulos sobre las deformaciones y daremos una presentación explícita del i
 somorfismo entre los grupos de cohomología $HH^n(A)$ y $HH^n(B)$.\n\nFina
 lmente\, como una aplicación en el caso de álgebras monomiales sobre un 
 cuerpo algebraicamente cerrado\, estudiaremos la presentación por quivers
  y relaciones de la deformación infinitesimal de un álgebra.\n\nLa charl
 a se basa un trabajo conjunto con María Julia Redondo\, Lucrecia Román y
  Melina Verdecchia.\n
LOCATION:https://researchseminars.org/talk/SemACT/3/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Mauro Natale (Universidad Nacional del Centro de la Provincia de B
 uenos Aires)
DTSTART:20200605T170000Z
DTEND:20200605T180000Z
DTSTAMP:20260422T212607Z
UID:SemACT/4
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/SemACT/4/">U
 na transformada de Fourier rápida para el grafo de Johnson</a>\nby Mauro 
 Natale (Universidad Nacional del Centro de la Provincia de Buenos Aires) a
 s part of Seminario de álgebra\, combinatoria y teoría de Lie\n\n\nAbstr
 act\nLa Transformada de Fourier para el grafo de Johnson es definida como 
 la matriz cambio de base en el espacio $\\mathcal{F}$ de funciones complej
 as en los vértices del grafo\, de la base delta o canónica a la base de 
 Gelfand-Tsetlin.\n\nLa aplicación directa de esta matriz a un vector gen
 érico requiere $\\binom{n}{k}^2$ operaciones artiméticas. Nosotros demos
 tramos que esta matriz puede ser factorizada como producto de $n-1$ matric
 es ortogonales\, cada una de ellas con a lo sumo dos elementos no nulos en
  cada columna. La factorización está basada en la construcción de bases
  intermedias las cuales son parametrizadas vía el algoritmo de inserción
  de Robinson-Schensted. La factorización nos permite aplicar la Transform
 ada de Fourier a un vector genérico en a lo sumo $2(n-1) \\binom{n}{k}$ o
 peraciones aritméticas. También demostramos que cada una de estas matric
 es esparsas puede ser construída utilizando $O(\\binom{n}{k})$ operacione
 s aritméticas.\n\nComo consecuencia de estos hechos\, podemos computar to
 dos los pesos de las componentes isotípicas de una función $f \\in \\mat
 hcal{F}$ utilizando $O(n \\binom{n}{k})$ operaciones\, lo que mejora los r
 esultados conocidos cuando $k$ domina asintóticamente a $\\sqrt{n}$.\n\nL
 a charla se basa un trabajo conjunto con Rodrigo Iglesias (https://arxiv.o
 rg/abs/1912.09243).\n
LOCATION:https://researchseminars.org/talk/SemACT/4/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Andrea Solotar (Universidad de Buenos Aires)
DTSTART:20200410T170000Z
DTEND:20200410T180000Z
DTSTAMP:20260422T212607Z
UID:SemACT/5
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/SemACT/5/">E
 structura de álgebra de Lie del primer espacio de cohomología de Hochsch
 ild de álgebras gentiles y álgebras de grafos de Brauer</a>\nby Andrea S
 olotar (Universidad de Buenos Aires) as part of Seminario de álgebra\, co
 mbinatoria y teoría de Lie\n\n\nAbstract\nEn esta charla explicaré cómo
  determinar la primera homología y cohomología de Hochschild con diferen
 tes coeficientes para álgebras gentiles y comentaré una interpretación 
 geométrica de estos resultados usando el gráfico de ribbon de un álgebr
 a gentil. Daré una descripción explícita de la estructura de álgebra d
 e Lie del primer espacio de cohomología de Hochschild de las álgebras ge
 ntiles y de las álgebras de grafos de Brauer (con multiplicidad uno) basa
 da en la cohomología de extensiones triviales de álgebras gentiles y mos
 traré cómo la cohomología de Hochschild está codificada en el grafo de
  Brauer. En particular\, veremos que excepto en uno caso de baja dimensió
 n\, las álgebras de Lie resultantes son todas solubles. Este es un trabaj
 o conjunto con Sibylle Schroll y Cristian Chaparro Acosta.\n
LOCATION:https://researchseminars.org/talk/SemACT/5/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Emilio Lauret (Universidad Nacional del Sur)
DTSTART:20200327T170000Z
DTEND:20200327T180000Z
DTSTAMP:20260422T212607Z
UID:SemACT/6
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/SemACT/6/">S
 obre subgrupos discretos equivalentes en representaciones</a>\nby Emilio L
 auret (Universidad Nacional del Sur) as part of Seminario de álgebra\, co
 mbinatoria y teoría de Lie\n\n\nAbstract\nDado $H$ un subgrupo discreto c
 ocompacto de un grupo de Lie $G$\, la representación regular a izquierda 
 en $L^2(G/H)$ se descompone como suma de representaciones irreducibles de 
 $G$\, cada una con multiplicidad finita. En esta charla mostraremos una co
 ndición para asegurar cuándo las representaciones $L^2(G/H_1)$ y $L^2(G/
 H_2)$ son equivalentes\, en el caso que $G$ sea un grupo compacto semisimp
 le y $H_1\,H_2$ sean subgrupos finitos de $G$.\n\nEsta charla está basada
  en el trabajo "Strong multiplicity one theorems for locally homogeneous s
 paces of compact type" (arxiv:1804.08288\, doi:10.1090/proc/14980) en cola
 boración con Roberto Miatello.\n
LOCATION:https://researchseminars.org/talk/SemACT/6/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Ana García-Elsener (Universidad Nacional de Mar del Plata)
DTSTART:20200626T170000Z
DTEND:20200626T180000Z
DTSTAMP:20260422T212607Z
UID:SemACT/7
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/SemACT/7/">
 Álgebras 2-Calabi-Yau inclinadas monomiales</a>\nby Ana García-Elsener (
 Universidad Nacional de Mar del Plata) as part of Seminario de álgebra\, 
 combinatoria y teoría de Lie\n\n\nAbstract\nEn esta charla estudiaremos $
 k$-álgebras $A=kQ/I$ de dimensión finita\, con $k$ algebraicamente cerra
 do. Una subfamilia de estas álgebras es la dada por álgebras Jacobianas.
  Esas álgebras fueron estudiadas recientemente porque provienen de catego
 rías de conglomerado.\n\nEs sabido que en general las álgebras relaciona
 das con la teoría de conglomerado son 1-Gorenstein establemente 3-Calabi-
 Yau. Además se conjetura que\, bajo ciertas restricciones\, toda $k$-álg
 ebra proveniente de la teoría de conglomerado tiene ser Jacobiana.\n\nEn 
 esta charla revisaremos las definiciones y propiedades arriba mencionadas 
 mediante ejemplos. Y mostraremos que cuando $A$ es monomial\, la conjetura
  se verifica.\n
LOCATION:https://researchseminars.org/talk/SemACT/7/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Alicia Dickenstein (Universidad de Buenos Aires)
DTSTART:20200717T170000Z
DTEND:20200717T180000Z
DTSTAMP:20260422T212607Z
UID:SemACT/8
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/SemACT/8/">S
 oluciones positivas de sistemas polinomiales ralos</a>\nby Alicia Dickenst
 ein (Universidad de Buenos Aires) as part of Seminario de álgebra\, combi
 natoria y teoría de Lie\n\n\nAbstract\nUn sistema polinomial multidimensi
 onal se dice ralo (sparse\, en inglés) cuando los monomios presentes en l
 os polinomios están fijados a priori (por ejemplo polinomios con grado pr
 efijado\, polinomios multilineales\, etc.). En mi charla voy a presentar c
 otas superiores e inferiores clásicas y recientes para el número de solu
 ciones positivas de sistemas de $n$ polinomios ralos en $n$ variables\, in
 cluyendo cuestiones básicas que están abiertas.\n
LOCATION:https://researchseminars.org/talk/SemACT/8/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Ignacio Viglizzio (Universidad Nacional del Sur)
DTSTART:20201009T170000Z
DTEND:20201009T180000Z
DTSTAMP:20260422T212607Z
UID:SemACT/9
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/SemACT/9/">S
 imetría en juegos estratégicos</a>\nby Ignacio Viglizzio (Universidad Na
 cional del Sur) as part of Seminario de álgebra\, combinatoria y teoría 
 de Lie\n\n\nAbstract\nCon el objetivo de determinar posibles relaciones en
 tre los jugadores de un juego estratégico\, generalizamos la noción de j
 uego simétrico de distintas maneras. Usamos acciones de grupos para forma
 lizar estas nociones e introducimos el concepto del rol de un jugador resp
 ecto a otro\, que sirve para clarificar los fenómenos estudiados. \n\nEl 
 artículo fue publicado en coautoría con Fernando Tohmé (doi: 10.1080/03
 081079.2019.1573228) y se puede encontrar en https://arxiv.org/abs/1712.04
 563.\n
LOCATION:https://researchseminars.org/talk/SemACT/9/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Hipolito Treffinger (University of Leicester)
DTSTART:20200731T170000Z
DTEND:20200731T180000Z
DTSTAMP:20260422T212607Z
UID:SemACT/10
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/SemACT/10/">
 Cadenas de clases de torsión\, filtraciones de Harder-Narasimhan y álgeb
 ras de Hall</a>\nby Hipolito Treffinger (University of Leicester) as part 
 of Seminario de álgebra\, combinatoria y teoría de Lie\n\n\nAbstract\nLa
 s condiciones de estabilidad fueron introducidas en geometría algebraica 
 en los años '60 obteniendo un gran recibimiento. Rápidamente esta noció
 n fue adaptada a varias ramas distintas de la matemática\, incluyendo la 
 teoría de representaciones\, donde hoy se encuentran varios tipos de cond
 iciones de estabilidad diferentes. A pesar de sus diferencias\, todos esto
 s tipos de condiciones de estabilidad inducen en cada objeto de la categor
 ía sobre la que están definidas una (única) filtración\, comúnmente l
 lamada de Harder-Narasimhan. Además\, toda condición de estabilidad indu
 ce una cadena de clases de torsión.\n\nEn la primera parte de la charla\,
  luego de introducir la terminología y conceptos necesarios\, vamos a pro
 bar que toda cadena de clases de torsión induce una filtración de Harder
 -Narasimhan. En particular vamos a probar que la filtración de Harder-Nar
 asimhan de una condición de estabilidad está completamente determinada p
 or la cadena de clases de torsión que ella induce.\n\nEn la segunda parte
  de la charla vamos a introducir las álgebras de (Ringel-)Hall (unas álg
 ebras asociativas íntimamente relacionadas con las álgebras de Lie semis
 imples) y vamos a terminar esta exposición mostrando como el teorema que 
 probamos antes determina ciertas igualdades en el álgebra de Hall corresp
 ondiente.\n
LOCATION:https://researchseminars.org/talk/SemACT/10/
END:VEVENT
BEGIN:VEVENT
SUMMARY:María Chara (Universidad Nacional del Litoral)
DTSTART:20201030T170000Z
DTEND:20201030T180000Z
DTSTAMP:20260422T212607Z
UID:SemACT/11
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/SemACT/11/">
 Códigos localmente recuperables: una introducción al almacenamiento segu
 ro de la información</a>\nby María Chara (Universidad Nacional del Litor
 al) as part of Seminario de álgebra\, combinatoria y teoría de Lie\n\n\n
 Abstract\nCada vez que un mensaje es enviado por un canal pueden cometerse
  errores en la transmisión. La teoría de códigos se encarga de proveer 
 herramientas para la detección y corrección de estos errores. Un problem
 a similar surge cuando se desea almacenar gran cantidad de información pa
 ra poder respaldarla en caso de errores o de pérdida de la misma. En esta
  charla introduciremos las herramientas matemáticas básicas usadas en es
 ta área\, para luego discutir nuevos avances y resultados orientados a la
  resolución de este tipo de problemas.\n
LOCATION:https://researchseminars.org/talk/SemACT/11/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Adrián Pastine (Universidad Nacional de San Luis)
DTSTART:20201120T170000Z
DTEND:20201120T180000Z
DTSTAMP:20260422T212607Z
UID:SemACT/12
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/SemACT/12/">
 Secuenciabilidad de Grupos (y diseños\, y otras yerbas)</a>\nby Adrián P
 astine (Universidad Nacional de San Luis) as part of Seminario de álgebra
 \, combinatoria y teoría de Lie\n\n\nAbstract\nUn grupo de orden $n$ es s
 ecuenciable si existe una sucesión $g_0\, g_1\, g_2\, \\dots\,g_{n-1}$  d
 e los diferentes elementos del grupo\, de manera tal que los productos par
 ciales  $g_0 \, g_0 g_1\,  g_0 g_1 g_2\, \\dots \, g_0 g_1 g_2\\dots g_{n-
 1}$  son todos distintos. Esta noción fue introducida y estudiada por B. 
 Gordon en 1961 por su conexión a los cuadrados latinos.\n\nEn 1974\, G. R
 ingel introdujo el concepto de grupo R-secuenciable. Un grupo orden $n$ es
  R-secuenciable si existe una permutación de los elementos distintos a la
  identidad  $g_1\,g_2\,...\,g_{n-1}$\, de manera tal que los productos $g_
 1^{-1} g_2 \, g_2^{-1} g_3 \,\\dots\,g_{n-1}^{-1}g_{n-1}\, g_{n-1}^{-1} g_
 2$\, son todos distintos. Ringel estaba interesado en este concepto para e
 ncontrar embebimientos del grafo completo de $n$ vértices en superficies 
 orientables con algún genus.\n\nSi bien las definiciones de secuenciable 
 y R-secuenciable son inicialmente muy distintas\, resultan similares al ve
 rlas en el contexto de digrafos de Cayley. En esta charla haremos uso de d
 igrafos de Cayley para caracterizar los grupos abelianos secuenciables y R
 -secuenciables\, y daremos generalizaciones del problema tanto en la teor
 ía de grupos como en la teoría de diseños combinatorios.\n
LOCATION:https://researchseminars.org/talk/SemACT/12/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Denis Videla (Universidad Nacional de Córdoba)
DTSTART:20201211T170000Z
DTEND:20201211T180000Z
DTSTAMP:20260422T212607Z
UID:SemACT/13
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/SemACT/13/">
 Grafos y cuerpos finitos</a>\nby Denis Videla (Universidad Nacional de Có
 rdoba) as part of Seminario de álgebra\, combinatoria y teoría de Lie\n\
 n\nAbstract\nEn esta charla\, veremos de qué manera traducir ciertos prob
 lemas clásicos de la teoría de cuerpos finitos en términos de invariant
 es de cierto grafo de Cayley\, los grafos generalizados de Paley. Específ
 icamente\, veremos de qué manera traducir los siguientes tres problemas:\
 n(1) Ecuaciones diagonales. \n(2) Problema de Waring.\n(3) Espectro de có
 digos cíclicos irreducibles.\nVeremos cómo propiedades estructurales y e
 spectrales de estos grafos permiten resolver estos tres problemas para ele
 cciones particulares de parámetros. Finalmente\, discutiremos algunas gen
 eralizaciones de los problemas anteriores\, vía este punto de vista.\n
LOCATION:https://researchseminars.org/talk/SemACT/13/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Mariano De Leo (Universidad Nacional del Sur)
DTSTART:20210416T170000Z
DTEND:20210416T180000Z
DTSTAMP:20260422T212607Z
UID:SemACT/14
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/SemACT/14/">
 Aspectos cualitativos de la dinámica en ciertos modelos matemáticos prov
 enientes de la mecánica cuántica</a>\nby Mariano De Leo (Universidad Nac
 ional del Sur) as part of Seminario de álgebra\, combinatoria y teoría d
 e Lie\n\n\nAbstract\nEl movimiento de cargas en un dispositivo electrónic
 o de escala microscópica se describe mediante ecuaciones de evolución qu
 e deben respetar las leyes de la mecánica cuántica. En esta charla mostr
 aremos algunos resultados concernientes al modelado autoconsistente para e
 l movimiento de cargas en un nanohilo. Específicamente\, consideraremos l
 os siguientes tópicos: particularidades (dificultades) del modelo en el c
 aso 1-D\, existencia local de dinámica (buen planteo)\, leyes de conserva
 ción (existencia global) y algunos resultados vinculados con el comportam
 iento asintótico tales como la existencia de estados fundamentales o de e
 stados de scattering. Asimismo\, dependiendo de la naturaleza del espectro
  del operador que genera la dinámica\, presentaremos algunos resultados v
 inculados con el problema de la controlabilidad: en qué casos puede demos
 trarse la existencia de control y en qué casos puede demostrarse la no ex
 istencia de control. Finalmente\, a lo largo de la presentación pondremos
  de relieve el álgebra lineal subyacente que\, en este tipo de problemas\
 , adquiere las formas del análisis funcional.\n
LOCATION:https://researchseminars.org/talk/SemACT/14/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Karina Batistelli (Universidad de Chile)
DTSTART:20210618T170000Z
DTEND:20210618T180000Z
DTSTAMP:20260422T212607Z
UID:SemACT/15
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/SemACT/15/">
 Polinomios de Kazhdan-Lusztig para $\\widetilde{\\textrm B}_2$</a>\nby Kar
 ina Batistelli (Universidad de Chile) as part of Seminario de álgebra\, c
 ombinatoria y teoría de Lie\n\n\nAbstract\nLos polinomios de Kazhdan-Lusz
 tig yacen en la intersección entre la teoría de representaciones\, la ge
 ometría y la combinatoria algebraica. A pesar de su relevancia y sencilla
  definición (a través de un algoritmo recursivo que consta sólo de oper
 aciones elementales)\, los cálculos explícitos de estos polinomios son a
 l día de hoy uno de los problemas abiertos más difíciles en la combinat
 oria algebraica. En esta charla presentaremos las fórmulas explícitas de
  los polinomios de Kazhdan-Lusztig para un sistema de Coxeter de tipo $\\w
 idetilde{\\textrm B}_2$.\n
LOCATION:https://researchseminars.org/talk/SemACT/15/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Alfredo Álzaga (Universidad Nacional del Sur)
DTSTART:20210514T170000Z
DTEND:20210514T180000Z
DTSTAMP:20260422T212607Z
UID:SemACT/16
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/SemACT/16/">
 Dependent Type Theory - Una Introducción</a>\nby Alfredo Álzaga (Univers
 idad Nacional del Sur) as part of Seminario de álgebra\, combinatoria y t
 eoría de Lie\n\n\nAbstract\nEstos sistemas utilizan la correspondencia Cu
 rry-Howard para integrar la computación y la lógica. Sirven para fundame
 ntar la matemática y son utilizados como base por proof assitants como\, 
 por ejemplo Nuprl\, Coq\, Lean o Agda.\n\nEn esta charla mostraremos los m
 ecanismos básicos de este tipo de lógicas.\n
LOCATION:https://researchseminars.org/talk/SemACT/16/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Leonardo Alarcón (Universidad Nacional del Sur)
DTSTART:20210813T170000Z
DTEND:20210813T180000Z
DTSTAMP:20260422T212607Z
UID:SemACT/17
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/SemACT/17/">
 Módulos y álgebras ortogonales a su resolución</a>\nby Leonardo Alarcó
 n (Universidad Nacional del Sur) as part of Seminario de álgebra\, combin
 atoria y teoría de Lie\n\n\nAbstract\nAuslander y Bridger en su trabajo `
 `Stable module category" se interesaron por los módulos Gorenstein proyec
 tivos. Dichos módulos han sido muy estudiados y entre sus propiedades des
 tacamos que el valor de las funciones de Igusa-Todorov en ellos es cero. A
  partir de esta propiedad se demuestra que la $\\phi$-dimensión y la $\\p
 si$-dimensión\, y por lo tanto la dimensión finitista\, de las álgebras
  Goresntein es finita. \nLos módulos ortogonales a su resolución general
 izan a los módulos Goresntein proyectivos así como también las álgebra
 s ortogonales a su resolución generalizan a las álgebras Goresntein. \n\
 nComenzaremos la charla recordando las definiciones de las funciones  $\\p
 hi$ y $\\psi$ de Igusa-todorov. Luego\, definiremos los módulos ortogonal
 es a su resolución\, enunciaremos sus principales propiedades y calculare
 mos el valor de las funciones  $\\phi$ y $\\psi$ en ellos. Por último\, d
 efiniremos las álgebras ortogonales a su resolución y mostraremos que la
  $\\phi$-dimensión y la $\\psi$-dimensión son finitas para dichas álgeb
 ras.\n
LOCATION:https://researchseminars.org/talk/SemACT/17/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Gunther Cornelissen (Utrecht University)
DTSTART:20211022T170000Z
DTEND:20211022T180000Z
DTSTAMP:20260422T212607Z
UID:SemACT/18
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/SemACT/18/">
 Using spectra of twisted Laplacians to detect equivalence of Riemannian co
 verings</a>\nby Gunther Cornelissen (Utrecht University) as part of Semina
 rio de álgebra\, combinatoria y teoría de Lie\n\n\nAbstract\nWe show tha
 t equivalence of two Riemannian coverings can be detected by the spectrum 
 of finitely many twisted Laplacians on the manifolds (where “twisted” 
 means constructed from a unitary representation of the fundamental group)\
 , assuming a condition on the first homology group of a common normal cove
 r. (Joint work with Norbert Peyerimhoff.)\n
LOCATION:https://researchseminars.org/talk/SemACT/18/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Gaëtan Borot (Humboldt-Universität zu Berlin)
DTSTART:20211126T170000Z
DTEND:20211126T180000Z
DTSTAMP:20260422T212607Z
UID:SemACT/19
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/SemACT/19/">
 Airy structures: from algebra to geometry via representation theory</a>\nb
 y Gaëtan Borot (Humboldt-Universität zu Berlin) as part of Seminario de 
 álgebra\, combinatoria y teoría de Lie\n\n\nAbstract\nAiry structures  (
 introduced by Kontsevich and Soibelman) are systems of\ncompatible PDEs ad
 mitting a unique (when suitably normalized) solution.\nThis solution can b
 e reconstructed by a topological recursion\, i.e. a\nrecursion that mimic 
 cut-and-paste relations in the geometry of\nsurfaces. There are in fact ma
 ny examples of Airy structures where the\nsolution encode enumeration of s
 urfaces. Airy structure can be notably\nfound from free field representati
 ons of certain vertex operator\nalgebras\, in particular from W-algebras. 
 It can also be used to\nconstruct Whittaker vectors that are of interest i
 n supersymmetric gauge\ntheories. The talk will be an introduction to alge
 braic aspects of Airy\nstructures\, placed in the context of applications 
 to geometry.\n\nThis is based on joint works with Andersen\, Chekhov\, Ora
 ntin\, Bouchard\,\nCreutzig\, Chidambaram\, Noschenko\, Kramer\, Schüler.
 \n
LOCATION:https://researchseminars.org/talk/SemACT/19/
END:VEVENT
END:VCALENDAR
