進モジュラー形式の理論の構成、類体論への貢献、代数的k-理論への貢献。