2007-11-05 Ben-Zvi/Nadler math http://jp.arxiv.org/abs/0706.0322 Derived Algebraic Geometry の Langlands Program への応用.