Orbifolds, Sheaves and Groupoids

We characterize orbifolds in terms of their sheaves, and show that orbifolds correspond exactly to a specific class of smooth groupoids. As an application, we construct fibered products of orbifolds and prove a change-of-base formula for sheaf cohomology.     

Generalized logic and the representation of rings

Following the progression towards weaker logics, a number of authors have considered the notion of a sheaf over a quantale or, equivalently, a quantale valued set. In this paper, we use ideas from enriched category theory to motivate the definition of a quantic sheaf. Given a localic subquantale of Q, a quantic sheaf over Q gives a sheaf in the usual sense. As an application, we derive a series of sheaf representations for commutative rings including the familiar Pierce representation.     

Hilbert schemes, polygraphs and the Macdonald positivity conjecture

We study the isospectral Hilbert scheme , defined as the reduced fiber product of with the Hilbert scheme of points in the plane , over the symmetric power . By a theorem of Fogarty, is smooth. We prove that is normal, Cohen-Macaulay and Gorenstein, and hence flat over . We derive two important consequences.

(1) We prove the strong form of the conjecture of Garsia and the author, giving a representation-theoretic interpretation of the Kostka-Macdonald coefficients . This establishes the Macdonald positivity conjecture, namely that .

(2) We show that the Hilbert scheme is isomorphic to the -Hilbert scheme of Nakamura, in such a way that is identified with the universal family over . From this point of view, describes the fiber of a character sheaf at a torus-fixed point of corresponding to .

The proofs rely on a study of certain subspace arrangements , called polygraphs, whose coordinate rings carry geometric information about . The key result is that is a free module over the polynomial ring in one set of coordinates on . This is proven by an intricate inductive argument based on elementary commutative algebra.

     

关于非主Hopf曲面的模空间

构造了Ｓ＾１上Ｓ＾３｜Ｈ－丛的所有复结构的模空间，其中丛的转换函数ｕ：ｓ＾３／Ｈ→Ｓ＾３／Ｈ是Ｓ＾３／Ｈ的一个对合，ＨＵ（２），Ｈ为有限群且在Ｓ＾３／Ｈ上的作用是自由的。真不连续的。     

Finite generation of canonical ring by analytic method

An overview of the analytic proof of the theorem on the finite generation of the canonical ring for the projective algebraic manifold of general type is given.     

Length 3 complexes of abelian sheaves and Picard 2-stacks

We define a tricategory T[−2,0] of length 3 complexes of abelian sheaves, whose hom-bigroupoids consist of weak morphisms of such complexes. We also define a 3-category 2Pic(S) of Picard 2-stacks, whose hom-2-groupoids consist of additive 2-functors. We prove that these categories are triequivalent as tricategories. As a consequence we obtain a generalization of Deligne's analogous result about Picard stacks in SGA4, Exposé XVIII (Deligne (1973) [11]).     

Singular Supports for Character Sheaves on a Group Compactification

Let G be a semisimple adjoint group over C and Ḡ be the De Concini–Procesi completion of G. In this paper, we define a Lagrangian subvariety Λ of the cotangent bundle of Ḡ such that the singular support of any character sheaf on Ḡ is contained in Λ. Received: May 2006, Accepted: November 2006