Инстантонное пространство модулей с поверхностным оператором

Я хотел бы понять математический язык, который имеет отношение к пространству инстантонных модулей с поверхностным оператором.

Алдай и Тачикава заявили в 1005.4469, что следующие пространства модулей изоморфны.

  1. пространство модулей соединений ASD на р 4 которые плавно удаляются от г 2 знак равно 0 и с поведением А ( α 1 , , α Н ) я г θ рядом с р 0 где α я все различны и г 2 знак равно р опыт ( я θ ) . (Пространство модулей Инстантона с оператором полной поверхности)
  2. пространство модулей стабильного ранга Н локально свободные пучки на п 1 × п 1 с параболической структурой п грамм в { г 2 знак равно 0 } и с обрамлением на бесконечности, { г 1 знак равно } { г 2 знак равно } . (аффинное пространство Лаумона)

Я думал, что пространство модулей Б ты н грамм , п ( С , Д ) в [B] также соответствует инстантонному пространству модулей с поверхностным оператором. Обратите внимание, что Б ты н грамм , п ( С , Д ) является пространством модулей главного грамм -в комплекте С знак равно п 2 второго класса Черня г наделенный тривиализацией на Д и параболическая структура п на горизонтальной линии С С .

[Б] http://arxiv.org/abs/math/0401409

Однако в [B] рассматривается пространство модулей параболических пучков на п 2 вместо п 1 × п 1 . Что в физике делает Б ты н грамм , п ( С , Д ) соответствовать? Отличается ли оно от аффинного пространства Лаумона?

Кроме того, я хотел бы знать связь между [B] и [FFNR].

[FFNR] http://arxiv.org/abs/0812.4656

Сделайте \mathfrak{Q} {\underline d} и Вопрос г _ в [FFNR] соответствуют М грамм , п а также Вопрос М грамм , п в разделе 1.4 [B]? (Извините, \mathfrak отображается некорректно. \mathfrak{Q} {\underline d} — это тот, который появляется в первой строке раздела 1.1 в [FFNR].)

Читателям, интересующимся этой темой, я бы рекомендовал посмотреть следующие видеоролики Бравермана и Финкельберга. media.scgp.stonybrook.edu/video/… sms.cam.ac.uk/media/…
Сатоши, ты знаешь, что можешь официально принять ответ, щелкнув большую белую галочку слева от ответа?
О, я этого не знал. Спасибо, что просветили меня, Юджи.

Ответы (1)

Попробую ответить. На ваш первый вопрос утверждение состоит в том, что вы можете работать с любым п 2 или же п 1 × п 1 - пространство модулей то же самое. В более общем случае, если С любая поверхность, содержащая А 2 как открытое подмножество и Д является делителем в тогда Б ты н грамм ( С , Д ) не зависит от С .

По второму вопросу: это правда, что Вопрос знак равно М грамм , п (за п подгруппа Бореля и грамм знак равно С л ( н ) ) но это неправда Вопрос знак равно Вопрос М грамм , п . Дело в том, что пространство квазиотображений Вопрос М грамм , п определяется для любого грамм и это единственное число; за грамм знак равно С л ( н ) (и только в этом случае) оно имеет хорошее разрешение особенностей, которое задается пространством Лаумона. Если вам интересно узнать больше, вы можете прочитать мой доклад ICM 2006 года («Пространства квази-отображений в разновидности флагов и их приложения») — там обсуждаются вышеуказанные вопросы.

Большое спасибо. Это именно тот ответ, который я хотел. Для меня большая честь получить ваш ответ.
Пожалуйста. Если у вас есть дополнительные вопросы, я буду рад попробовать ответить.