Source author record

W. D. Gillam

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.DG

Catalog footprint

Research overview

8works

2topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2016arXiv

Fans

The category of (abstract) fans is to the category of monoids what the category of schemes is to the category of rings: a fan is obtained by gluing spectra of monoids along open embeddings. Here we study the basic algebraic geometry of fans: coherent sheaves, group fans, affine maps, flat maps, proper maps, and so forth. This study is motivated by the fact that the category of fans lies over all other reasonably geometric categories (schemes, differentiable spaces, analytic spaces, etc) as well as the "log" versions of all such categories.

preprint2016arXiv

Logarithmic Flatness

A map of fine log schemes $X \to Y$ induces a map from the scheme underlying $X$ to Olsson's algebraic stack of strict morphisms of fine log schemes over $Y$ . A sheaf on $X$ is called \emph{log flat over} $Y$ iff it is flat over this algebraic stack. This paper is a study of log flatness and the related notions of flatness for maps of monoids and graded rings. It is shown that log flatness is equivalent to a more general notion of "formal log flatness" that makes sense for an arbitrary map of log ringed topoi. Concrete log flatness criteria are given for many $X \to Y$ that occur "in nature," such as toric varieties, nodal curves, and the like. For very simple $X \to Y$ it turns out that log flatness is equivalent to previously extant notions of "perfection," thus it provides a generalization for more complicated $X \to Y$ useful for studying moduli of sheaves via degeneration techniques.

preprint2016arXiv

The Hausdorff topology as a moduli space

In 1914, F. Hausdorff defined a metric on the set of closed subsets of a metric space $X$ . This metric induces a topology on the set $H$ of compact subsets of $X$ , called the Hausdorff topology. We show that the topological space $H$ represents the functor on the category of sequential topological spaces taking $T$ to the set of closed subspaces $Z$ of $T \times X$ for which the projection $π_1 : Z \to T$ is open and proper. In particular, the Hausdorff topology on $H$ depends on the metric space $X$ only through the underlying topological space of $X$ . The Hausdorff space $H$ provides an analog of the Hilbert scheme in topology. As an example application, we explore a certain quotient construction, called the Hausdorff quotient, which is the analog of the Hilbert quotient in algebraic geometry.

preprint2015arXiv

Log differentiable spaces and manifolds with corners

We develop a general theory of log spaces, in which one can make sense of the basic notions of logarithmic geometry, in the sense of Fontaine-Illusie-Kato. Many of our general constructions with log spaces are new, even in the algebraic setting. In the differentiable setting, our theory yields a framework for treating manifolds with corners generalizing recent work of Kottke-Melrose. We give a treatment of the theory of fans, which are to monoids as schemes are to rings. By adapting similar results from logarithmic algebraic geometry, we prove a general result on resolution of toric singularities which can be used to resolve singularities of a wide class of "log smooth" spaces.

preprint2011arXiv

Deformation of quotients on a product

We consider the general problem of deforming a surjective map of modules $f : E \to F$ over a coproduct sheaf of rings $B=B_1 \otimes_A B_2$ when the domain module $E = B_1 \otimes_A E_2$ is obtained via extension of scalars from a $B_2$ -module $E_2$ . Assuming $B_1$ is flat over $A$ , we show that the Atiyah class morphism $F \to \LL_{B/B_2} \otimes^{\bL} F[1]$ in the derived category $D(B)$ factors naturally through (the shift of) a morphism $β: \Ker f \to \LL_{B/B_2} \otimes^{\bL} F$. We describe the obstruction to lifting $f$ over a (square zero) extension $B_1' \to B_1$ in terms of $β$ and the class of the extension. As an application, we use the reduced Atiyah class to construct a perfect obstruction theory on the Quot scheme of a vector bundle on a smooth curve (and more generally).

preprint2011arXiv

Localization of ringed spaces

Let $X$ be a ringed space together with the data $M$ of a set $M_x$ of prime ideals of $Ø_{X,x}$ for each point $x \in X$ . We introduce the localization of $(X,M)$ , which is a locally ringed space $Y$ and a map of ringed spaces $Y \to X$ enjoying a universal property similar to the localization of a ring at a prime ideal. We use this to prove that the category of locally ringed spaces has all inverse limits, to compare them to the inverse limit in ringed spaces, and to construct a very general $\Spec$ functor. We conclude with a discussion of relative schemes.

preprint2011arXiv

Logarithmic stacks and minimality

Given a category fibered in groupoids over schemes with a log structure, one produces a category fibered in groupoids over log schemes. We classify the groupoid fibrations over log schemes that arise in this manner in terms of a categorical notion of "minimal" objects. The classification is actually a purely category-theoretic result about groupoid fibrations over fibered categories, though most of the known applications occur in the setting of log geometry, where our categorical framework encompasses many notions of "minimality" previously extant in the literature.

preprint2011arXiv

Maximal subbundles, quot schemes, and curve counting

Let $E$ be a rank 2, degree $d$ vector bundle over a genus $g$ curve $C$ . The loci of stable pairs on $E$ in class $2[C]$ fixed by the scaling action are expressed as products of $\Quot$ schemes. Using virtual localization, the stable pairs invariants of $E$ are related to the virtual intersection theory of $\Quot E$. The latter theory is extensively discussed for an $E$ of arbitrary rank; the tautological ring of $\Quot E$ is defined and is computed on the locus parameterizing rank one subsheaves. In case $E$ has rank 2, $d$ and $g$ have opposite parity, and $E$ is sufficiently generic, it is known that $E$ has exactly $2^g$ line subbundles of maximal degree. Doubling the zero section along such a subbundle gives a curve in the total space of $E$ in class $2[C]$ . We relate this count of maximal subbundles with stable pairs/Donaldson-Thomas theory on the total space of $E$ . This endows the residue invariants of $E$ with enumerative significance: they actually \emph{count} curves in $E$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

W. D. Gillam

Research overview

Is this your work?

8 publications

Fans

Logarithmic Flatness

The Hausdorff topology as a moduli space

Log differentiable spaces and manifolds with corners

Deformation of quotients on a product

Localization of ringed spaces

Logarithmic stacks and minimality

Maximal subbundles, quot schemes, and curve counting

See the researcher in context

Building this map preview