arXiv subjects

Geordie Williamson

Publications and source records attributed to Geordie Williamson.

59 records · Page 4Linked to original sources

arXiv2011

Parity sheaves, moment graphs and the p-smooth locus of Schubert varieties

We show that, with coefficients in a field or a complete local ring k, the Braden-MacPherson algorithm computes the stalks of parity sheaves with coefficients in k. As a consequence we deduce that the Braden-MacPherson algorithm may be used to calculate the characters of tilting modules for algebraic groups and show that the p-smooth locus of (Kac-Moody) Schubert varieties agrees with the rationally smooth locus, if the underlying Bruhat graph satisfies a GKM-condition.

math.RT↗

arXiv2010

A geometric construction of colored HOMFLYPT homology

The aim of this paper is two-fold. First, we give a fully geometric description of the HOMFLYPT homology of Khovanov-Rozansky. Our method is to construct this invariant in terms of the cohomology of various sheaves on certain algebraic groups, in the same spirit as the authors' previous work on Soergel bimodules. All the differentials and gradings which appear in the construction of HOMFLYPT homology are given a geometric interpretation. In fact, with only minor modifications, we can extend this construction to give a categorification of the colored HOMFLYPT polynomial, colored HOMFLYPT homology. We show that it is in fact a knot invariant categorifying the colored HOMFLYPT polynomial and that this coincides with the categorification proposed by Mackaay, Stosic and Vaz.

math.GT↗

arXiv2010

The geometry of Markov traces

We give a geometric interpretation of the Jones-Ocneanu trace on the Hecke algebra, using the equivariant cohomology of sheaves on SL(n). This construction makes sense for all simple algebraic groups, so we obtain a generalization of the Jones-Ocneanu trace to Hecke algebras of other types. We give a geometric expansion of this trace in terms of the irreducible characters of the Hecke algebra, and conclude that it agrees with a trace defined independently by Gomi. Based on our proof, we also prove that certain simple perverse sheaves on a reductive algebraic group G are equivariantly formal for the conjugation action of a Borel B, or equivalently, that the Hochschild homology of any Soergel bimodule is free, as the authors had previously conjectured. This construction is closely tied to knot homology. This interpretation of the Jones-Ocneanu trace is a more elementary manifestation of the geometric construction of HOMFLYPT homology given by the authors in a previous paper.

math.AG↗

arXiv2009

Perverse sheaves and modular representation theory

This paper is an introduction to the use of perverse sheaves with positive characteristic coefficients in modular representation theory. In the first part, we survey results relating singularities in finite and affine Schubert varieties and nilpotent cones to modular representations of reductive groups and their Weyl groups. The second part is a brief introduction to the theory of perverse sheaves with an emphasis on the case of positive characteristic and integral coefficients. In the final part, we provide some explicit examples of stalks of intersection cohomology complexes with integral or positive characteristic coefficients in nilpotent cones, mostly in type $A$. Some of these computations might be new.

math.RT↗

arXiv2007

A geometric model for Hochschild homology of Soergel bimodules

An important step in the calculation of the triply graded link homology theory of Khovanov and Rozansky is the determination of the Hochschild homology of Soergel bimodules for SL(n). We present a geometric model for this Hochschild homology for any simple group G, as equivariant intersection homology of B x B-orbit closures in G. We show that, in type A these orbit closures are equivariantly formal for the conjugation T-action. We use this fact to show that in the case where the corresponding orbit closure is smooth, this Hochschild homology is an exterior algebra over a polynomial ring on generators whose degree is explicitly determined by the geometry of the orbit closure, and describe its Hilbert series, proving a conjecture of Jacob Rasmussen.

math.AG↗