Он работает над пространствами модулей векторных расслоений , высшими неабелевыми когомологиями де Рама ( теория Ходжа ), теорией высших категорий и компьютерной проверкой математических доказательств ( например, проверкой доказательств в рамках теории множеств Цермело–Френкеля с использованием Coq ). В своей докторской диссертации Симпсон изучал понятие системы расслоений Ходжа , которое можно рассматривать как частный случай обобщения расслоений Хиггса более высокой размерности , введенного ранее Найджелом Хитчином . [2] Соответствие Симпсона (или соответствие Корлетта-Симпсона, названное в честь Кевина Корлетта и Симпсона) — это соответствие между расслоениями Хиггса и представлениями фундаментальной группы гладкой комплексной алгебраической кривой .
Задача Делиня–Симпсона, алгебраическая задача, связанная с матрицами монодромии , названа в честь Карлоса Симпсона и Пьера Делиня . [3]
Симпсон, Карлос (1988). «Построение вариаций структуры Ходжа с использованием теории Янга–Миллса и приложения к униформизации». Журнал Американского математического общества . 1 (4): 867–918. doi : 10.2307/1990994 . JSTOR 1990994. MR 0944577.