BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Geordie Williamson

Geordie Williamson appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.RTmath.AGmath.COmath.ATmath.QAmath.CT

Catalog footprint

What is connected

31works
6topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

31 published item(s)

preprint2026arXiv

Bruhat intervals that are large hypercubes

We study the question of finding big Bruhat intervals that are poset hypercubes in the symmetric group $S_n$. Using permutations suggested by AlphaEvolve (an evolutionary coding agent developed by Google DeepMind), we were led to an unusual situation in which the agent produced a pattern which performed well for the $n$ tested, and which we show works well for general $n$. When $n$ is a power of 2 we exhibit a hypercube of dimension $O(n\log n)$, matching the largest possible dimension up to a constant multiple. Furthermore, we give an exact characterization of the vertices of this hypercube: they are precisely the \emph{dyadically well-distributed} permutations -- a simple digitwise property that already appeared in connection with Monte Carlo integration and mathematical finance. The maximal dimension of a Bruhat interval that is an hypercube in $S_n$ gives a lower bound (and possibly is equal to) the maximal possible coefficient of the second-highest degree term in the Kazhdan--Lusztig $R$-polynomial in $S_n$. As a surprising consequence, we obtain a new lower bound of order $n\log n$ for the maximal number of frozen variables appearing in the cluster algebras attached to the open Richardson varieties in $S_n$, and a similar result for moduli spaces of embeddings of Bruhat graphs.

0 citations0 reviewsNo code linkedOpen access
preprint2024arXiv

Singular Soergel bimodules

We define and study categories of singular Soergel bimodules, which are certain natural generalisations of Soergel bimodules. Indecomposable singular Soergel bimodules are classified, and we conclude that the split Grothendieck group of the 2-category of singular Soergel bimodules is isomorphic to the Schur algebroid. Soergel's conjecture on the characters of indecomposable Soergel bimodules in characteristic zero is shown to imply a similar conjecture for the characters of singular Soergel bimodules.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Calculating the $p$-canonical basis of Hecke algebras

We describe an algorithm for computing the $p$-canonical basis of the Hecke algebra, or one of its antispherical modules. The algorithm does not operate in the Hecke category directly, but rather uses a faithful embedding of the Hecke category inside a semisimple category to build a "model" for indecomposable objects and bases of their morphism spaces. Inside this semisimple category, objects are sequences of Coxeter group elements, and morphisms are (sparse) matrices over a fraction field, making it quite amenable to computations. This strategy works for the full Hecke category over any base field, but in the antispherical case we must instead work over $\mathbb{Z}_{(p)}$ and use an idempotent lifting argument to deduce the result for a field of characteristic $p > 0$. We also describe a less sophisticated algorithm which is much more suited to the case of finite groups. We provide complete implementations of both algorithms in the MAGMA computer algebra system.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Smith-Treumann theory and the linkage principle

We apply Treumann's "Smith theory for sheaves" in the context of the Iwahori--Whittaker model of the Satake category. We deduce two results in the representation theory of reductive algebraic groups over fields of positive characteristic: (a) a geometric proof of the linkage principle; (b) a character formula for tilting modules in terms of the $\ell$-canonical basis, valid in all blocks and in all characteristics.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

The anti-spherical category

We study a diagrammatic categorification (the "anti-spherical category") of the anti-spherical module for any Coxeter group. We deduce that Deodhar's (sign) parabolic Kazhdan-Lusztig polynomials have non-negative coefficients, and that a monotonicity conjecture of Brenti's holds. The main technical observation is a localisation procedure for the anti-spherical category, from which we construct a "light leaves" basis of morphisms. Our techniques may be used to calculate many new elements of the $p$-canonical basis in the anti-spherical module.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Langlands correspondence and Bezrukavnikov's equivalence

These are lecture notes (by the first author) from a course (by the second author) given over two extended semesters at the University of Sydney. The first part provides an introduction to the Langlands correspondence from an arithmetical point of view. The second part gives enough background in geometric representation theory to understand Bezrukavnikov's equivalence, which is a categorification of Kazhdan and Lusztig's two realizations of the affine Hecke algebra.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

A simple character formula

In this paper we prove a character formula expressing the classes of simple representations in the principal block of a simply-connected semisimple algebraic group G in terms of baby Verma modules, under the assumption that the characteristic of the base field is bigger than 2h-1, where h is the Coxeter number of G. This provides a replacement for Lusztig's conjecture, valid under a reasonable assumption on the characteristic.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Lectures on the Geometry and Modular Representation Theory of Algebraic Groups

These notes provide a concise introduction to the representation theory of reductive algebraic groups in positive characteristic, with an emphasis on Lusztig's character formula and geometric representation theory. They are based on the first author's notes from a lecture series delivered by the second author at the Simons Centre for Geometry and Physics in August 2019. We intend them to complement more detailed treatments.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Modular representations and reflection subgroups

The Hecke category is at the heart of several fundamental questions in modular representation theory. We emphasise the role of the "philosophy of deformations" both as a conceptual and computational tool, and suggest possible connections to Lusztig's "philosophy of generations". On the geometric side one can understand deformations in terms of localisation in equivariant cohomology. Recently Treumann and Leslie-Lonergan have added Smith theory, which provides a useful tool when considering mod p coefficients. In this context, we make contact with some remarkable work of Hazi. Using recent work of Abe on Soergel bimodules, we are able to reprove and generalise some of Hazi's results. Our aim is to convince the reader that the work of Hazi and Leslie-Lonergan can usefully be viewed as some kind of localisation to "good" reflection subgroups. These are notes for my lectures at the 2019 Current Developments in Mathematics at Harvard.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Algebraic representations and constructible sheaves

These are notes for my Takagi lecture at the University of Tokyo in November, 2016. I survey what is known about simple modules for reductive algebraic groups. The emphasis is on characteristic p>0 and Lusztig's character formula. I explain ideas connecting representations and constructible sheaves (Finkelberg-Mirkovic conjecture) in the spirit of the Kazhdan-Lusztig conjecture. I also discuss a conjecture with S. Riche (a theorem for GL_n) which should eventually make computations more feasible.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Schubert calculus and torsion explosion

We observe that certain numbers occurring in Schubert calculus for SL_n also occur as entries in intersection forms controlling decompositions of Soergel bimodules and parity sheaves in higher rank. These numbers grow exponentially. This observation gives many counterexamples to Lusztig's conjecture on the characters of simple rational modules for SL_n over a field of positive characteristic. We explain why our examples also give counter-examples to the James conjecture on decomposition numbers for symmetric groups.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The Hodge theory of the Decomposition Theorem (after de Cataldo and Migliorini)

In its simplest form the Decomposition Theorem asserts that the rational intersection cohomology of a complex projective variety occurs as a summand of the cohomology of any resolution. This deep theorem has found important applications in algebraic geometry, representation theory, number theory and combinatorics. It was originally proved in 1981 by Beilinson, Bernstein, Deligne and Gabber as a consequence of Deligne's proof of the Weil conjectures. A different proof was given by Saito in 1988, as a consequence of his theory of mixed Hodge modules. More recently, de Cataldo and Migliorini found a much more elementary proof which uses only classical Hodge theory and the theory of perverse sheaves. We present the theorem and outline the main ideas involved in the new proof.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

On torsion in the intersection cohomology of Schubert varieties

We prove that the prime torsion in the local integral intersection cohomology of Schubert varieties in the flag variety of the general linear group grows exponentially in the rank. The idea of the proof is to find a highly singular point in a Schubert variety and calculate the Euler class of the normal bundle to the (miraculously smooth) fibre in a particular Bott-Samelson resolution. The result is a geometric version of an earlier result established using Soergel bimodule techniques.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

A reducible characteristic variety in type A

We show that simple highest weight modules for sl_12 may have reducible characteristic variety. This answers a question of Borho-Brylinski and Joseph from 1984. The relevant singularity under Beilinson-Bernstein localization is the (in)famous Kashiwara-Saito singularity. We sketch the rather indirect route via the p-canonical basis, W-graphs and decomposition numbers for perverse sheaves that led us to examine this singularity.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On an analogue of the James conjecture

We give a counterexample to the most optimistic analogue (due to Kleshchev and Ram) of the James conjecture for Khovanov-Lauda-Rouquier algebras associated to simply-laced Dynkin diagrams. The first counterexample occurs in type A_5 for p = 2 and involves the same singularity used by Kashiwara and Saito to show the reducibility of the characteristic variety of an intersection cohomology D-module on a quiver variety. Using recent results of Polo one can give counterexamples in type A in all characteristics.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Parity Sheaves

Given a stratified variety X with strata satisfying a cohomological parity-vanishing condition, we define and show the uniqueness of "parity sheaves", which are objects in the constructible derived category of sheaves with coefficients in an arbitrary field or complete discrete valuation ring. This construction depends on the choice of a parity function on the strata. If X admits a resolution also satisfying a parity condition, then the direct image of the constant sheaf decomposes as a direct sum of parity sheaves, and the multiplicities of the indecomposable summands are encoded in certain refined intersection forms appearing in the work of de Cataldo and Migliorini. We give a criterion for the Decomposition Theorem to hold in the semi-small case. Our framework applies to many stratified varieties arising in representation theory such as generalised flag varieties, toric varieties, and nilpotent cones. Moreover, parity sheaves often correspond to interesting objects in representation theory. For example, on flag varieties we recover in a unified way several well-known complexes of sheaves. For one choice of parity function we obtain the indecomposable tilting perverse sheaves. For another, when using coefficients of characteristic zero, we recover the intersection cohomology sheaves and in arbitrary characteristic the special sheaves of Soergel, which are used by Fiebig in his proof of Lusztig's conjecture.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Modular intersection cohomology complexes on flag varieties

We present a combinatorial procedure (based on the W-graph of the Coxeter group) which shows that the characters of many intersection cohomology complexes on low rank complex flag varieties with coefficients in an arbitrary field are given by Kazhdan-Lusztig basis elements. Our procedure exploits the existence and uniqueness of parity sheaves. In particular we are able to show that the characters of all intersection cohomology complexes with coefficients in a field on the flag variety of type A_n for n < 7 are given by Kazhdan-Lusztig basis elements. By results of Soergel, this implies a part of Lusztig's conjecture for SL(n) with n \le 7. We also give examples where our techniques fail. In the appendix by Tom Braden examples are given of intersection cohomology complexes on the flag varities for SL(8) and SO(8) which have torsion in their stalks or costalks.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Modular Koszul duality

We prove an analogue of Koszul duality for category $\mathcal{O}$ of a reductive group $G$ in positive characteristic $\ell$ larger than 1 plus the number of roots of $G$. However there are no Koszul rings, and we do not prove an analogue of the Kazhdan--Lusztig conjectures in this context. The main technical result is the formality of the dg-algebra of extensions of parity sheaves on the flag variety if the characteristic of the coefficients is at least the number of roots of $G$ plus 2.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

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.

0 citations0 reviewsNo code linkedOpen access