Ben Williams

I am a Postdoctoral Fellow at UBC in Mathematics. My research interests encompass the application of homotopy-theoretic methods to problems in, or inspired by, algebra and algebraic geometry.

My office is ESB 4114, which is part of PIMS.

My email address is tbjw@math.ubc.ca

Here is my CV

Here I am on Google plus. I don't say much.

Teaching

Math 184

I am teaching Math 184 during the first Winter Term of 2014–2015.

Papers

Joint with Ben Antieau

To appear in Journal of Pure & Applied Algebra

This paper exists in a concise form, available at the arXiv link above and, we expect, in publication. It also has an extended version, the additions being largely notes for our own benefit on topoi.

Joint with Ben Antieau

To appear in Geometry & Topology

This paper was the first-started paper in the series of joint papers with Ben Antieau on the period–index problem and related topics. The earlier-appearing papers in this series cite it in preprint form.

We introduce and solve a period-index problem for the Brauer group of a topological space. The period-index problem is to relate the order of a class in the Brauer group to the degrees of Azumaya algebras representing it. For any space of dimension , we give upper bounds on the index depending only on and the order of the class. By the Oka principle, this also solves the period-index problem for the analytic Brauer group of any Stein space that has the homotopy type of a finite CW-complex. Our methods use twisted topological -theory, which was first introduced by Donovan and Karoubi. We also study the cohomology of the projective unitary groups to give cohomological obstructions to a class being represented by an Azumaya algebra of degree . Applying this to the finite skeleta of the Eilenberg-MacLane space , where is a prime, we construct a sequence of spaces with an order class in , but whose indices tend to infinity.

Joint with Ben Antieau

Invent. Math. (2013)

We show that, in general, over a regular integral noetherian affine scheme of dimension at least 6, there exist Brauer classes on for which the associated division algebras over the generic point have no Azumaya maximal orders over . Despite the algebraic nature of the result, our proof relies on the topology of classifying spaces of algebraic groups.

Joint with Ben Antieau

Journal of K-theory 11 (2013) pp.283-295.

The order in which the names ‘Godeaux’ and ‘Serre’ appear in the title of this paper was reversed shortly before publication. The arXiv version retains the old ordering.

We use Godeaux-Serre varieties of finite groups, projective representation theory, the twisted Atiyah-Segal completion theorem, and our previous work on the topological period-index problem to compute the étale index of Brauer classes in some specific examples. In particular, these computations show that the étale index of differs from the period of in general. As an application, we compute the index of unramified classes in the function fields of high-dimensional Godeaux-Serre varieties in terms of projective representation theory.

Joint with Ben Antieau

This short note corrects a minor error in L. M. Woodward's 1982 paper "The classification of principal -bundles over a 4-complex."

Joint with Ben Antieau.

To appear in J. Top.

By comparing the Postnikov towers of the classifying spaces of projective unitary groups and the differentials in a twisted Atiyah-Hirzebruch spectral sequence, we deduce a lower bound on the topological index in terms of the period, and solve the topological version of the period-index problem in full for finite CW complexes of dimension at most 6. Conditions are established that, if they were met in the cohomology of a smooth complex 3-fold variety, would disprove the ordinary period-index conjecture. Examples of higher-dimensional varieties meeting these conditions are provided. We use our results to furnish an obstruction to realizing a period-2 Brauer class as the class associated to a sheaf of Clifford algebras, and varieties are constructed for which the total Clifford invariant map is not surjective. No such examples were previously known.

Algebraic & Geometric Topology 13 (2013) pp.747-793.

We derive a version of the Rothenberg-Steenrod, fiber-to-base, spectral sequence for cohomology theories represented in model categories of simplicial presheaves. We then apply this spectral sequence to calculate the equivariant motivic cohomology of the general linear group with a general –action, this coincides with the equivariant higher Chow groups. Some of the equivariant motivic cohomology of a Stiefel variety with a general –action is deduced as a corollary.

Journal of K-Theory (10) 2012 pp.1-23.

The main result of this paper is a computation of the motivic cohomology of varieties of -matrices of rank , including both the ring structure and the action of the reduced power operations. The argument proceeds by a comparison of the general linear group-scheme with a Tate suspension of a space which is -equivalent to projective -space with a disjoint basepoint.

Preprints, Notes & Other Material

Joint with Ben Antieau

We study the homotopy theory of the classifying space of the complex projective linear groups to prove that purity fails for -torsors on regular noetherian schemes when is a prime. Extending our previous work when , we obtain a negative answer to a question of Colliot-Thélène and Sansuc, for all . We also give a new example of the failure of purity for the cohomological filtration on the Witt group, which is the first example of this kind of a variety over an algebraically closed field.

My PhD Thesis.

This thesis is in four chapters. The results of the first are more elegantly stated in The Motivic Cohomology of Stiefel Varieties above, and the results of the second & third were expanded upon and presented in The -equivariant Motivic Cohomology of Stiefel Varieties above. The material of the fourth chapter has not yet been written into a paper.