## [Correspondencia de Springer](/es/node/64050) Definición Vínculo en la teoría geométrica de las representaciones que asigna a ciertas órbitas nilpotentes y sus fibras de Springer representaciones del grupo de Weyl, vinculando la topología y geometría de variedades asociadas a un grupo reductivo con representaciones combinatorias y lineales de su grupo de Weyl. ## Principio Principio Principio de cohomología y monodromía: la acción del grupo de Weyl sobre la cohomología (o la cohomología superior) de las fibras de Springer produce representaciones; las descomposiciones en haces perversos y las técnicas de ciclos cercanos organizan cómo las estratas geométricas generan módulos irreducibles del grupo de Weyl. ## Demostración Demostración Para GL_n, la fibra de Springer sobre una matriz nilpotente de tipo de Jordan dado por una partición tiene componentes irreducibles indexadas por tableros de Young estándar de esa forma; la cohomología superior resultante porta la representación de Specht del grupo simétrico correspondiente, ilustrando la correspondencia de forma concreta. ## Aplicación incorrecta Aplicación incorrecta Asumir una correspondencia ingenua uno a uno entre órbitas individuales y representaciones irreducibles sin tener en cuenta sistemas locales, grupos de componentes o la necesidad de considerar la cohomología graduada; extender la correspondencia sin cambios a características arbitrarias sin verificar hipótesis de 'buena' característica puede ser inválido. ## Consecuencia Consecuencia Proporciona una construcción geométrica de muchas representaciones del grupo de Weyl y un puente entre la geometría de las órbitas nilpotentes y los datos de teoría de caracteres; sustenta conexiones entre cohomología de intersección, haces de caracteres y el estudio de singularidades en teoría de representaciones. ## Inversión Inversión Invertir la correspondencia consistiría en intentar asignar fibras de Springer u órbitas geométricas a partir de representaciones abstractas del grupo de Weyl; tal inverso no es canónico porque múltiples fuentes geométricas pueden dar lugar a la misma representación y los sistemas locales intervienen. ## Límite Límite Formulada para grupos reductivos sobre C (o sobre un cuerpo algebraicamente cerrado de buena característica) y su cono nilpotente; la correspondencia básica puede requerir el refinamiento hacia la correspondencia de Springer generalizada para tratar centralizadores desconectados, sistemas locales no triviales o fenómenos en mala característica. ## Tensión semántica Tensión semántica Existe tensión entre la correspondencia de Springer clásica y sus variantes generalizadas o modulares; también compite conceptualmente con otras construcciones geométricas de representaciones como la teoría de Deligne–Lusztig, que relaciona distintas geometrías con representaciones del grupo. ## Síntesis Síntesis La correspondencia de Springer condensa cómo la topología de las fibras de Springer y la geometría de las órbitas nilpotentes producen representaciones del grupo de Weyl: la cohomología con su acción de monodromía suministra módulos del grupo de Weyl, conectando estratos geométricos y descomposiciones faisales con objetos representaciónales concretos.