Researcher profile

Thomas Brazelton

Thomas Brazelton contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
4topics
4close 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

5 published item(s)

preprint2022arXiv

An enriched degree of the Wronski

Given $mp$ different $p$-planes in general position in $(m+p)$-dimensional space, a classical problem is to ask how many $p$-planes intersect all of them. For example when $m = p = 2$, this is precisely the question of "lines meeting four lines in 3-space" after projectivizing. The Brouwer degree of the Wronski map provides an answer to this general question, first computed by Schubert over the complex numbers and Eremenko and Gabrielov over the reals. We provide an enriched degree of the Wronski for all $m$ and $p$ even, valued in the Grothendieck-Witt ring of a field, using machinery from $\mathbf{A}^1$-homotopy theory. We further demonstrate in all parities that the local contribution of an $m$-plane is a determinantal relationship between certain Plücker coordinates of the $p$-planes it intersects.

preprint2021arXiv

A note on twisted group rings and semilinearization

In this short note, we construct a right adjoint to the functor which associates to a ring $R$ equipped with a group action its twisted group ring. This right adjoint admits an interpretation as semilinearization, in that it sends an $R$-module to the group of semilinear $R$-module automorphisms of the module. As an immediate corollary, we provide a novel proof of the classical observation that modules over a twisted group ring are modules over the base ring together with a semilinear action.

preprint2021arXiv

Homotopy Mackey functors of equivariant algebraic $K$-theory

Given a finite group $G$ acting on a ring $R$, Merling constructed an equivariant algebraic $K$-theory $G$-spectrum, and work of Malkiewich and Merling, as well as work of Barwick, provides an interpretation of this construction as a spectral Mackey functor. This construction is powerful, but highly categorical; as a result the Mackey functors comprising the homotopy are not obvious from the construction and have therefore not yet been calculated. In this work, we provide a computation of the homotopy Mackey functors of equivariant algebraic $K$-theory in terms of a purely algebraic construction. In particular, we construct Mackey functors out of the $n$th algebraic $K$-groups of group rings whose multiplication is twisted by the group action. Restrictions and transfers for these functors admit a tractable algebraic description in that they arise from restriction and extension of scalars along module categories of twisted group rings. In the case where the group action is trivial, our construction recovers work of Dress and Kuku from the 1980's which constructs Mackey functors out of the algebraic $K$-theory of group rings. We develop many families of examples of Mackey functors, both new and old, including $K$-theory of endomorphism rings, the $K$-theory of fixed subrings of Galois extensions, and (topological) Hochschild homology of twisted group rings.

preprint2020arXiv

An Introduction to $\mathbf{A}^1$-Enumerative Geometry

We provide an expository introduction to $\mathbb{A}^1$-enumerative geometry, which uses the machinery of $\mathbb{A}^1$-homotopy theory to enrich classical enumerative geometry questions over a broader range of fields. Included is a discussion of enriched local degrees of morphisms of smooth schemes, following Morel, $\mathbb{A}^1$-Milnor numbers, as well as various computational tools and recent examples. Based off lectures delivered by Kirsten Wickelgren at the 2018 LMS-CMI summer school ''Homotopy Theory and Arithmetic Geometry, Motivic and Diophantine Aspects.''

preprint2020arXiv

The trace of the local $\mathbf{A}^1$-degree

We prove that the local $\mathbb{A}^1$-degree of a polynomial function at an isolated zero with finite separable residue field is given by the trace of the local $\mathbb{A}^1$-degree over the residue field. This fact was originally suggested by Morel's work on motivic transfers and by Kass and Wickelgren's work on the Scheja-Storch bilinear form. As a corollary, we generalize a result of Kass and Wickelgren's relating the Scheja-Storch form and the local $\mathbb{A}^1$-degree.