Тета-соответствие было введено Роджером Хоу в Howe (1979). Его название возникло из-за его происхождения из теоретической формулировки Андре Вейля теории тета-рядов в Weil (1964). Соответствие Шимуры , построенное Жаном-Лу Вальдспургером в Waldspurger (1980) и Waldspurger (1991), можно рассматривать как пример тета-соответствия.
теперь является локальным полем. Зафиксируем нетривиальный аддитивный характер . Существует представление Вейля метаплектической группы , связанной с , которое мы записываем как .
Учитывая редуктивную двойственную пару в , можно получить пару коммутирующих подгрупп в , вытянув проекционное отображение из в .
Локальное тета-соответствие — это соответствие 1-1 между некоторыми неприводимыми допустимыми представлениями и некоторыми неприводимыми допустимыми представлениями , полученное ограничением представления Вейля подгруппой . Соответствие было определено Роджером Хау в работе Хау (1979). Утверждение о том, что это соответствие 1-1, называется гипотезой двойственности Хау .
Ключевые свойства локального тета-соответствия включают его совместимость с индукцией Бернштейна-Зелевинского [3] и соотношениями сохранения, касающимися индексов первого появления вдоль башен Витта. [4]
Глобальная тета-корреспонденция
Стивен Раллис продемонстрировал версию глобальной гипотезы двойственности Хау для каспидальных автоморфных представлений над глобальным полем, предполагая справедливость гипотезы двойственности Хау для всех локальных мест. [5]
гипотеза двойственности Хау
Определим множество неприводимых допустимых представлений , которые можно реализовать как частные . Определим и аналогично.
Гипотеза двойственности Хау утверждает, что является графиком биекции между и .
Гипотеза двойственности Хау для архимедовых локальных полей была доказана Роджером Хау . [6] Для -адических локальных полей с нечетными ее доказал Жан-Лу Вальдспургер . [7] Альберто Мингес позже дал доказательство для дуальных пар общих линейных групп , которое работает для произвольной характеристики вычета. [8] Для ортогонально-симплектических или унитарных дуальных пар ее доказали Ви Тек Ган и Шуичиро Такеда. [9] Последний случай кватернионных дуальных пар был завершен Ви Тек Ган и Биньонг Сан . [10]
Ган, Ви Тек ; Такеда, Шуичиро (2016), «Доказательство гипотезы двойственности Хоу», J. Amer. Math. Soc. , 29 (2): 473–493, arXiv : 1407.1995 , doi : 10.1090/jams/839, S2CID 942882
Gan, Wee Teck ; Sun, Binyong (2017), «Гипотеза двойственности Хау: кватернионный случай», в Cogdell, J.; Kim, J.-L.; Zhu, C.-B. (ред.), Теория представлений, теория чисел и теория инвариантов , Progr. Math., 323, Birkhäuser/Springer, стр. 175–192
Хоу, Роджер Э. (1989), «Трансцендирование классической теории инвариантов», J. Amer. Math. Soc. , 2 (3): 535–552, doi : 10.2307/1990942 , JSTOR 1990942
Кудла, Стивен С. (1986), «О локальном тета-соответствии», Invent. Math. , 83 (2): 229–255, Bibcode : 1986InMat..83..229K, doi : 10.1007/BF01388961, S2CID 122106772
Мингес, Альберто (2008), «Явная переписка Хоу: двойственные пары типа II», Ann. наук. Эк. Норм. Супер. , 4, 41 (5): 717–741, doi : 10.24033/asens.2080
Вальдспургер, Жан-Лу (1990), «Демонстрация гипотезы дуалита де Хоу в cas p-adique, p ≠ 2», Праздничный сборник в честь II Пятецкого-Шапиро по случаю его шестидесятилетия, Часть I , Израильская математика. Конф. Учеб., 2 : 267–324.
Вальдспургер, Жан-Лу (1991), «Соответствия Шимуры и кватернионов», Forum Math. , 3 (3): 219–307, doi :10.1515/form.1991.3.219, S2CID 123512840
Вейль, Андре (1964), «Определенные группы унитарных операторов», Acta Math. , 111 : 143–211, doi : 10.1007/BF02391012