Source author record

Ben Williams

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.AT math.KT math.RA astro-ph.HE math.GR

Catalog footprint

Research overview

16works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2024arXiv

Spaces of Generators for the $2 \times 2$ Matrix Algebra

This paper studies $B(r)$ , the space of $r$ -tuples of $2 \times 2$ complex matrices that generate $\operatorname{Mat}_{2 \times 2}(\mathbf C)$ as an algebra, considered up to change-of-basis. We show that $B(2)$ is homotopy equivalent to $S^1 \times^{\mathbf Z/2\mathbf Z} S^2$ . For $r>2$ , we determine the rational cohomology of $B(r)$ for degrees less than $4r-6$ . As an application, we use the machinery of arXiv:2012.07900 to prove that for all natural numbers $d$ , there exists a ring $R$ of Krull dimension $d$ and a degree- $2$ Azumaya algebra $A$ over $R$ that cannot be generated by fewer than $2\lfloor d/4 \rfloor + 2$ elements.

preprint2021arXiv

On the mod- $\ell$ homology of the classifying space for commutativity

We study the mod- $\ell$ homotopy type of classifying spaces for commutativity, $B(\mathbb{Z}, G)$ , at a prime $\ell$ . We show that the mod- $\ell$ homology of $B(\mathbb{Z}, G)$ depends on the mod- $\ell$ homotopy type of $BG$ when $G$ is a compact connected Lie group, in the sense that a mod- $\ell$ homology isomorphism $BG \to BH$ for such groups induces a mod- $\ell$ homology isomorphism $B(\mathbb{Z}, G) \to B(\mathbb{Z}, H)$ . In order to prove this result, we study a presentation of $B(\mathbb{Z}, G)$ as a homotopy colimit over a topological poset of closed abelian subgroups, expanding on an idea of Adem and Gómez. We also study the relationship between the mod- $\ell$ type of a Lie group $G(\mathbb{C})$ and the locally finite group $G(\bar{\mathbb{F}}_p)$ where $G$ is a Chevalley group. We see that the naïve analogue for $B(\mathbb{Z}, G)$ of the celebrated Friedlander--Mislin result cannot hold, but we show that it does hold after taking the homotopy quotient of a $G$ action on $B(\mathbb{Z}, G)$ .

preprint2020arXiv

Bounding the minimal number of generators of an Azumaya algebra

A paper of U. First & Z. Reichstein proves that if $R$ is a commutative ring of dimension $d$ , then any Azumaya algebra $A$ over $R$ can be generated as an algebra by $d+2$ elements, by constructing such a generating set, but they do not prove that this number of generators is required, or even that for an arbitrarily large $r$ that there exists an Azumaya algebra requiring $r$ generators. In this paper, for any given fixed $n\ge 2$ , we produce examples of a base ring $R$ of dimension $d$ and an Azumaya algebra of degree $n$ over $R$ that requires $r(d,n) = \lfloor \frac{d}{2n-2} \rfloor + 2$ generators. While $r(d,n) < d+2$ in general, we at least show that there is no uniform upper bound on the number of generators required for Azumaya algebras. The method of proof is to consider certain varieties $B^r_n$ that are universal varieties for degree- $n$ Azumaya algebras equipped with a set of $r$ generators, and specifically we show that a natural map on Chow group $CH^{(r-1)(n-1)}_{PGL_n} \to CH^{(r-1)(n-1)}(B^r_n)$ fails to be injective, which is to say that the map fails to be injective in the first dimension in which it possibly could fail. This implies that for a sufficiently generic rank- $n$ Azumaya algebra, there is a characteristic class obstruction to generation by $r$ elements.

preprint2020arXiv

Involutions of Azumaya algebras

We consider the general circumstance of an Azumaya algebra $A$ of degree $n$ over a locally ringed topos $(\mathbf{X}, {\mathcal{O}}_{\mathbf{ X}})$ where the latter carries a (possibly trivial) involution, denoted $λ$ . This generalizes the usual notion of involutions of Azumaya algebras over schemes with involution, which in turn generalizes the notion of involutions of central simple algebras. We provide a criterion to determine whether two Azumaya algebras with involutions extending $λ$ are locally isomorphic, describe the equivalence classes obtained by this relation, and settle the question of when an Azumaya algebra $A$ is Brauer equivalent to an algebra carrying an involution extending $λ$ , by giving a cohomological condition. We remark that these results are novel even in the case of schemes, since we allow ramified, nontrivial involutions of the base object. We observe that, if the cohomological condition is satisfied, then $A$ is Brauer equivalent to an Azumaya algebra of degree $2n$ carrying an involution. By comparison with the case of topological spaces, we show that the integer $2n$ is minimal, even in the case of a nonsingular affine variety $X$ with a fixed-point free involution. As an incidental step, we show that if $R$ is a commutative ring with involution for which the fixed ring $S$ is local, then either $R$ is local or $R/S$ is a quadratic étale extension of rings.

preprint2020arXiv

The topological period-index conjecture

We prove the topological analogue of the period-index conjecture in each dimension away from a small set of primes.

preprint2019arXiv

Azumaya Algebras Without Involution

Generalizing a theorem of Albert, Saltman showed that an Azumaya algebra $A$ over a ring represents a $2$ -torsion class in the Brauer group if and only if there is an algebra $A'$ in the Brauer class of $A$ admitting an involution of the first kind. Knus, Parimala, and Srinivas later showed that one can choose $A'$ such that $\mathrm{deg}\, A'=2\mathrm{deg}\, A$ . We show that $2\mathrm{deg}\, A$ is the lowest degree one can expect in general. Specifically, we construct an Azumaya algebra $A$ of degree $4$ and period $2$ such that the degree of any algebra $A'$ in the Brauer class of $A$ admitting an involution is divisible by $8$ . Separately, we provide examples of split and non-split Azumaya algebras of degree $2$ admitting symplectic involutions, but no orthogonal involutions. These stand in contrast to the case of central simple algebras of even degree over fields, where the presence of a symplectic involution implies the existence of an orthogonal involution and vice versa.

preprint2015arXiv

Prime decomposition for the index of a Brauer class

We prove that the index of a Brauer class satisfies prime decomposition over a general base scheme. This contrasts with our previous result that there is no general prime decomposition of Azumaya algebras.

preprint2015arXiv

Topology and purity for torsors

We study the homotopy theory of the classifying space of the complex projective linear groups to prove that purity fails for $PGL_p$ -torsors on regular noetherian schemes when $p$ is a prime. Extending our previous work when $p=2$ , we obtain a negative answer to a question of Colliot-Thélène and Sansuc, for all $PGL_p$ . 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.

preprint2014arXiv

The prime divisors of the period and index of a Brauer class

We show that in locally-ringed connected topoi the primes dividing the period and index of a Brauer class coincide. The result applies in particular to Brauer classes on connected schemes, algebraic stacks, topological spaces and to the projective representation theory of profinite groups.

preprint2013arXiv

On the classification of oriented 3-plane bundles over a 6-complex

In this short note, we complete the description of low-degree characteristic classes of oriented 3-plane bundles over a 6-complex. Our goal is to point out and correct an error in L. M. Woodward's 1982 paper "The classification of principal PU_n-bundles over a 4-complex."

preprint2013arXiv

The period-index problem for twisted topological K-theory

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 d, we give upper bounds on the index depending only on d 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 K-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 n. Applying this to the finite skeleta of the Eilenberg-MacLane space K(Z/l,2), where l is a prime, we construct a sequence of spaces with an order l class in Br, but whose indices tend to infinity.

preprint2013arXiv

Unramified division algebras do not always contain Azumaya maximal orders

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

preprint2012arXiv

Serre-Godeaux varieties and the etale index

We use the Serre-Godeaux 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 etale index of Brauer classes alpha in some specific examples. In particular, these computations show that the etale index of alpha differs from the period of alpha in general. As an application, we compute the index of unramified classes in the function fields of high-dimensional Serre-Godeaux varieties in terms of projective representation theory.

preprint2012arXiv

The Gm-equivariant Motivic Cohomology of Stiefel Varieties

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 Gm-action, this coincides with the equivariant higher Chow groups. Some of the equivariant motivic cohomology of a Stiefel variety with a general Gm-action is deduced as a corollary.

preprint2011arXiv

The Motivic Cohomology of Stiefel Varieties

The main result of this paper is a computation of the motivic cohomology of varieties of n \times m-matrices of of rank m, 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 A1-equivalent to projective n - 1-space with a disjoint basepoint.

preprint2009arXiv

X-ray and Radio Variability of M31*, The Andromeda Galaxy Nuclear Supermassive Black Hole

We confirm our earlier tentative detection of M31* in X-rays and measure its light-curve and spectrum. Observations in 2004-2005 find M31* rather quiescent in the X-ray and radio. However, X-ray observations in 2006-2007 and radio observations in 2002 show M31* to be highly variable at times. A separate variable X-ray source is found near P1, the brighter of the two optical nuclei. The apparent angular Bondi radius of M31* is the largest of any black hole, and large enough to be well resolved with Chandra. The diffuse emission within this Bondi radius is found to have an X-ray temperature ~0.3 keV and density 0.1 cm-3, indistinguishable from the hot gas in the surrounding regions of the bulge given the statistics allowed by the current observations. The X-ray source at the location of M31* is consistent with a point source and a power law spectrum with energy slope 0.9+/-0.2. Our identification of this X-ray source with M31* is based solely on positional coincidence.

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.

Ben Williams

Research overview

Is this your work?

16 publications

Spaces of Generators for the $2 \times 2$ Matrix Algebra

On the mod- $\ell$ homology of the classifying space for commutativity

Bounding the minimal number of generators of an Azumaya algebra

Involutions of Azumaya algebras

The topological period-index conjecture

Azumaya Algebras Without Involution

Prime decomposition for the index of a Brauer class

Topology and purity for torsors

The prime divisors of the period and index of a Brauer class

On the classification of oriented 3-plane bundles over a 6-complex

The period-index problem for twisted topological K-theory

Unramified division algebras do not always contain Azumaya maximal orders

Serre-Godeaux varieties and the etale index

The Gm-equivariant Motivic Cohomology of Stiefel Varieties

The Motivic Cohomology of Stiefel Varieties

X-ray and Radio Variability of M31*, The Andromeda Galaxy Nuclear Supermassive Black Hole

See the researcher in context

Building this map preview

Ben Williams

Research overview

Is this your work?

16 publications

Spaces of Generators for the 2×22 \times 22×2 Matrix Algebra

On the mod-ℓ\ellℓ homology of the classifying space for commutativity

Bounding the minimal number of generators of an Azumaya algebra

Involutions of Azumaya algebras

The topological period-index conjecture

Azumaya Algebras Without Involution

Prime decomposition for the index of a Brauer class

Topology and purity for torsors

The prime divisors of the period and index of a Brauer class

On the classification of oriented 3-plane bundles over a 6-complex

The period-index problem for twisted topological K-theory

Unramified division algebras do not always contain Azumaya maximal orders

Serre-Godeaux varieties and the etale index

The Gm-equivariant Motivic Cohomology of Stiefel Varieties

The Motivic Cohomology of Stiefel Varieties

X-ray and Radio Variability of M31*, The Andromeda Galaxy Nuclear Supermassive Black Hole

See the researcher in context

Building this map preview

Spaces of Generators for the $2 \times 2$ Matrix Algebra

On the mod- $\ell$ homology of the classifying space for commutativity