Research

I'm interested in algebraic geometry and representation theory. Most of my work involves the use of algebraic stacks and English; I like to think I have a decent command of both, but I have more new ideas about the former. To get a better feel for the sort of stuff I like to think about, check out my MathOverflow user page.

Publications

Me on the arXiv.

• Toric Stacks I: The Theory of Stacky Fans with Matthew Satriano. arXiv:1107.1906
• Toric Stacks II: Intrinsic Characterization of Toric Stacks with Matthew Satriano. arXiv:1107.1907

Toric Stacks

Because of the rich dictionary between combinatorics and geometry, toric varieties are an extremely fertile testing ground for ideas in algebraic geometry. Once well versed in this dictionary, one can often cook up examples tailored to exhibit some desired behavior, and then understand just about everything about those examples. Since stacks are often difficult to handle and think about, it is desirable to have a similarly versatile-yet-easy-to-handle class of stacks.

The following two papers aim at a grand unified theory of toric stacks (there are at least seven distinct definitions in the literature prior to this). The first paper develops the combinatorics-geometry dictionary between stacky fans and toric stacks, focusing on stacky phenomena, like canonical stacks, good moduli space morphisms, and moduli interpretations. The second paper is dedicated towards an intrinsic characterization of toric stacks, identifying them as normal reduced finite type stacks with a dense open torus satisfying some reasonable hypotheses (e.g. affine diagonal, linearly reductive stabilizers).

• Toric Stacks I: The Theory of Stacky Fans with Matthew Satriano. arXiv:1107.1906
• Toric Stacks II: Intrinsic Characterization of Toric Stacks with Matthew Satriano. arXiv:1107.1907

Torus quotients as quotients by finite groups

Suppose $G$ is a finite group acting on a smooth scheme $U$. The singularities of the quotient scheme $X=U/G$ are quotient singularities. William Fulton posed the question, "is every scheme with tame quotient singularities globally a quotient of a smooth scheme by the action of a finite group?" The goal is to find a stack $\def\X{\mathcal{X}}\X$ with coarse space $X$, and to endow $\X$ with a global quotient structure. Though this reformulation is trivial, it has major advantages. First, if $\X\cong [U/G]$, then $U$ is automatically smooth. Second, quotient structures on $\X$ are witnessed by vector bundles. $X$ is automatically the coarse space of a smooth DM stack, which is automatically a quotient by some (infinite) algebraic group. This gives a smooth DM stack with a special vector bundle on it. The goal is then to modify the stack (without changing the coarse space) and the vector bundle to eventually get a smooth stack with a vector bundle that witnesses it as a finite quotient.

• Torus Quotients as Global Quotients by Finite Groups with Matthew Satriano. In preparation.
• When is a variety a quotient of smooth variety by a finite group? poster for WAGS (10-2011). [1]

Grothendieck's Existence Theorem for good moduli spaces

[Todo: fill in story]