Descripción del proyecto
EN 2007 FUE ESTABLECIDA POR M. ISAACS, G. MALLE Y EL IP, LA REDUCCION A GRUPOS SIMPLES DE LA CONJETURA DE MCKAY. EN 2015, EN UN OBERWOLFACH COORGANIZADO POR EL IP HTTPS://WWW.MFO.DE/OCCASION/1515/WWW_VIEWG. MALLE Y B. SPATH [MS] HAN ANUNCIADO UNA DEMOSTRACION DE LA MISMA PARA EL CASO P=2, EL ORIGINALMENTE CONJETURADO. ESTO HA DEMOSTRADO QUE EL CAMINO QUE SE EMPRENDIO EN 2007 HA DADO SUS FRUTOS. EL ARTICULO DE MALLE Y SPATH, COLABORADORES HABITUALES DEL IP, FUE PRECEDIDO DE OTRO INTENTO POR PARTE DEL IP Y TIEP, TAMBIEN PARA EL CASO P=2. ES EVIDENTE QUE QUEDA MUCHO POR HACER: PROBAR MCKAY PARA PRIMOS IMPARES, PERO EL CAMINO YA HA SIDO TRAZADO. 1.LA CONJETURA DE MCKAY FUE GENERALIZADA POR EL IP A LA LLAMADA CONJECTURA DE MCKAY/GALOIS EN UN ARTICULO EN ANNALS OF MATHEMATICS. HAY SINTOMAS (POR EJEMPLO EL RECIENTE ARTICULO DE F. LADISCH) QUE NOS INDICAN QUE PUEDE HABER LLEGADO EL MOMENTO DE INTENTAR REDUCIR ESTA CONJETURA A GRUPOS SIMPLES. ESTA CONJETURA ES MUCHO MAS PROFUNDA QUE MCKAY Y TIENE CONSECUENCIAS ESPECTACULARES, COMO POR EJEMPLO EL PODER DETECTAR EL EXPONENTE DE P/P, DONDE P ES UN P-SYLOW DE G, O DETERMINAR CIERTAS PROPIEDADES DEL NORMALIZADOR DE P EN G. REDUCIR LA CONJETURA MCKAY GALOIS A GRUPOS SIMPLES Y PROBAR ALGUNA DE SUS CONSECUENCIAS ES EL PRIMER OBJETIVO DE ESTE NUEVO PROYECTO.2.LAS DENOMINADAS COUNTING CONJETURES, DE LAS QUE MCKAY ES SOLO EL EJEMPLO PARADIGMATICO, ESTABLECEN QUE DETERMINADAS BIYECCIONES GLOBALES/LOCALES DEBEN EXISTIR. PARA EL CASO P=2 Y PARA GRUPOS RESOLUBLES, SIMETRICOS, UNITARIOS Y GENERAL LINEAL, HEMOS ESTABLECIDO BIYECCIONES CANONICAS PARA MCKAY. POR QUE PARA ESOS GRUPOS Y SOLO PARA P=2, CREEMOS QUE ES UN TEMA DE GRAN INTERES. NUESTRO OBJETIVO SERA PROBAR QUE EXISTEN BIYECCIONES CANONICAS PARA LA ALPERIN WEIGHT CONJECTURE. ESTO VA A IMPLICAR ESTUDIAR ACCIONES DE GALOIS Y CARACTERES DE BRAUER, UN TEMA DE INTERES INDEPENDIENTE.3.OTRO TOPICO CENTRAL EN REPRESENTACIONES ES LA EXISTENCIA DE BASIC SETS: Z-BASES DE UN DETERMINADO TIPO DEL MODULO GENERADO POR LOS CARACTERES DE BRAUER.(DETERMINAR LOS NUMEROS DE DESCOMPOSICION DE LOS GRUPOS SIMETRICOS SIGUE SIENDO UN PROBLEMA CLAVE.) RECIENTEMENTE HEMOS PROBADO LA BASIC SET CONJECTURE PARA EL CASO EN QUE EL BLOQUE TIENE UN UNICO MODULO, PERO TODAVIA NO HEMOS CONSEGUIDO UNA REDUCCION A GRUPOS SIMPLES DEL PROBLEMA, AUNQUE ESTO ES DIFICIL. ESTE ES OTRO DE NUESTROS OBJETIVOS.4.LA TEORIA DEL DEFECTO CICLICO, DESARROLLADA POR BRAUER Y DADE, SE HA INTENTADO GENERALIZAR EN NUMEROSAS OCASIONES (POR EJEMPLO POR BROUE EN SU FAMOSA ABELIAN DEFECT GROUP CONJECTURE). INTENTAREMOS GENERALIZAR ESTA TEORIA EN EL CASO EN EL QUE N_G(P)/P ACTUA FROBENIUS SOBRE P/P, DONDE N_G(P) ES EL NORMALIZADOR DE UN P-SUBGRUPO DE SYLOW P.5.OTROS TOPICOS CENTRALES QUE ABORDAMOS SON LA CONJETURA DE FEIT SOBRE LA RELACION ENTRE ORDENES DE ELEMENTOS Y CUERPOS DE VALORES DE CARACTERES, EL DESARROLLO DE BLOQUES DE BRAUER ASOCIADOS A SUBGRUPOS NORMALES, EXTENSIONES DEL TEOREMA DE HOWLETT-ISAACS , EXPLORAR CONJETURAS DE MCKAY PARA CONJUNTOS DE PRIMOS, TEORIA MODULAR Y ACCION COPRIMA, O CARACTERIZAR CUANDO EL CORRESPONDIENTE DE BRAUER DE UN BLOQUE TIENE UN UNICO MODULO.6.FINALMENTE, RESALTAMOS QUE DURANTE EL TRIENIO 2017-2020 VA A TENER LUGAR UN SEMESTRE EN MSRI (COORGANIZADO PORIP)HTTPS://WWW.MSRI.ORG/PROGRAMS/293 ASI COMO LA SEMANA HTTP://WWW.BIRS.CA/EVENTS/2011/5-DAY-WORKSHOPS/17W5003 EN LOS QUE ESPERAMOS QUE ALGUNAS DE ESTAS IDEAS SE DISCUTAN Y DIFUNDA EPRESENTACIONES\ALPERIN WEIGHT CONJECTURE\LA CONJETURA DE MCKAY\GRUPOS FINITOS\CARACTERES