Researcher profile

Alan Stapledon

Alan Stapledon contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
3topics
2close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

7 published item(s)

preprint2011arXiv

Arc spaces and equivariant cohomology

We present a new geometric interpretation of equivariant cohomology in which one replaces a smooth, complex $G$-variety $X$ by its associated arc space $J_{\infty} X$, with its induced $G$-action. This not only allows us to obtain geometric classes in equivariant cohomology of arbitrarily high degree, but also provides more flexibility for equivariantly deforming classes and geometrically interpreting multiplication in the equivariant cohomology ring. Under appropriate hypotheses, we obtain explicit bijections between $\mathbb{Z}$-bases for the equivariant cohomology rings of smooth varieties related by an equivariant, proper birational map. We also show that self-intersection classes can be represented as classes of contact loci, under certain restrictions on singularities of subvarieties. We give several applications. Motivated by the relation between self-intersection and contact loci, we define higher-order equivariant multiplicities, generalizing the equivariant multiplicities of Brion and Rossmann; these are shown to be local singularity invariants, and computed in some cases. We also present geometric $\mathbb{Z}$-bases for the equivariant cohomology rings of a smooth toric variety (with respect to the dense torus) and a partial flag variety (with respect to the general linear group).

preprint2010arXiv

Equivariant Ehrhart theory

Motivated by representation theory and geometry, we introduce and develop an equivariant generalization of Ehrhart theory, the study of lattice points in dilations of lattice polytopes. We prove representation-theoretic analogues of numerous classical results, and give applications to the Ehrhart theory of rational polytopes and centrally symmetric polytopes. We also recover a character formula of Procesi, Dolgachev, Lunts and Stembridge for the action of a Weyl group on the cohomology of a toric variety associated to a root system.

preprint2010arXiv

New mirror pairs of Calabi-Yau orbifolds

We prove a representation-theoretic version of Borisov-Batyrev mirror symmetry, and use it to construct infinitely many new pairs of orbifolds with mirror Hodge diamonds, with respect to the usual Hodge structure on singular complex cohomology. We conjecture that the corresponding orbifold Hodge diamonds are also mirror. When $X$ is the Fermat quintic in $¶^4$, and $\tilde{X}^*$ is a $\Sym_5$-equivariant, toric resolution of its mirror $X^*$, we deduce that for any subgroup $Γ$ of the alternating group $A_5$, the $Γ$-Hilbert schemes $Γ$-$\Hilb(X)$ and $Γ$-$\Hilb(\tilde{X}^*)$ are smooth Calabi-Yau threefolds with (explicitly computed) mirror Hodge diamonds.

preprint2010arXiv

Representations on the cohomology of hypersurfaces and mirror symmetry

We study the representation of a finite group acting on the cohomology of a non-degenerate, invariant hypersurface of a projective toric variety. We deduce an explicit description of the representation when the toric variety has at worst quotient singularities. As an application, we conjecture a representation-theoretic version of Batyrev and Borisov's mirror symmetry between pairs of Calabi-Yau hypersurfaces, and prove it when the hypersurfaces are both smooth or have dimension at most 3. An interesting consequence is the existence of pairs of Calabi-Yau orbifolds whose Hodge diamonds are mirror, with respect to the usual Hodge structure on singular cohomology.

preprint2008arXiv

On the Log-Concavity of Hilbert Series of Veronese Subrings and Ehrhart Series

For every positive integer $n$, consider the linear operator $\U_{n}$ on polynomials of degree at most $d$ with integer coefficients defined as follows: if we write $\frac{h(t)}{(1 - t)^{d + 1}} = \sum_{m \geq 0} g(m) t^{m}$, for some polynomial $g(m)$ with rational coefficients, then $\frac{\U_{n}h(t)}{(1- t)^{d + 1}} = \sum_{m \geq 0} g(nm) t^{m}$. We show that there exists a positive integer $n_{d}$, depending only on $d$, such that if $h(t)$ is a polynomial of degree at most $d$ with nonnegative integer coefficients and $h(0) \geq 1$, then for $n \geq n_{d}$, $\U_{n}h(t)$ has simple, real, strictly negative roots and positive, strictly log concave and strictly unimodal coefficients. Applications are given to Ehrhart $δ$-polynomials and unimodular triangulations of dilations of lattice polytopes, as well as Hilbert series of Veronese subrings of Cohen--MacCauley graded rings.