非可換代数幾何学について、正標数の還元を通じて理解することにより通常の代数幾何学による手法を適用可能にした。非可換代数幾何学的な問題を整理し、非可換代数多様体の定義そのものや正則性について、ひとつのあり方を提起した。
非可換射影多様体と、その上の微分形式の理論の非可換化について、定義をし、そのコホモロジーの計算法の道筋をつけた。