Showing 1–13 of 13 results for author: Brazelton, T

$\mathbb{A}^1$-Brouwer degrees in Macaulay2

Authors: Nikita Borisov, Thomas Brazelton, Frenly Espino, Thomas Hagedorn, Zhaobo Han, Jordy Lopez Garcia, Joel Louwsma, Wern Juin Gabriel Ong, Andrew R. Tawfeek

Abstract: We describe the Macaulay2 package "A1BrouwerDegrees" for computing local and global $\mathbb{A}^1$-Brouwer degrees and studying symmetric bilinear forms over a field. We describe the Macaulay2 package "A1BrouwerDegrees" for computing local and global $\mathbb{A}^1$-Brouwer degrees and studying symmetric bilinear forms over a field. △ Less

Submitted 30 November, 2023; originally announced December 2023.

Comments: 13 pages, 1 figure. Comments welcome!

MSC Class: 14F42; 14N04; 68W30; 11E04; 55M25; 14N10

Equivariant enumerative geometry

Authors: Thomas Brazelton

Abstract: We formulate an equivariant conservation of number, which proves that a generalized Euler number of a complex equivariant vector bundle can be computed as a sum of local indices of an arbitrary section. This involves an expansion of the Pontryagin--Thom transfer in the equivariant setting. We leverage this result to commence a study of enumerative geometry in the presence of a group action. As an… ▽ More We formulate an equivariant conservation of number, which proves that a generalized Euler number of a complex equivariant vector bundle can be computed as a sum of local indices of an arbitrary section. This involves an expansion of the Pontryagin--Thom transfer in the equivariant setting. We leverage this result to commence a study of enumerative geometry in the presence of a group action. As an illustration of the power of this machinery, we prove that any smooth complex cubic surface defined by a symmetric polynomial has 27 lines whose orbit types under the $S_4$-action on $\mathbb{C}P^3$ are given by $[S_4/C_2]+[S_4/C_2'] + [S_4/D_8]$, where $C_2$ and $C_2'$ denote two non-conjugate cyclic subgroups of order two. As a consequence we demonstrate that a real symmetric cubic surface can only contain 3 or 27 real lines. △ Less

Submitted 8 July, 2024; v1 submitted 16 October, 2022; originally announced October 2022.

Comments: Rewrites to the discussions of Pontryagin-Thom transfers, general additions to improve readability. 34 pages, comments welcome!

An enriched degree of the Wronski

Authors: Thomas Brazelton

Abstract: 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 co… ▽ More 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. △ Less

Submitted 2 June, 2022; originally announced June 2022.

Comments: 24 pages, 5 figures. Comments welcome!

Lifts, transfers, and degrees of univariate maps

Authors: Thomas Brazelton, Stephen McKean

Abstract: One can compute the local $\mathbb{A}^1$-degree at points with separable residue field by base changing, working rationally, and post-composing with the field trace. We show that for endomorphisms of the affine line, one can compute the local $\mathbb{A}^1$-degree at points with inseparable residue field by taking a suitable lift of the polynomial and transferring its local degree. We also discuss… ▽ More One can compute the local $\mathbb{A}^1$-degree at points with separable residue field by base changing, working rationally, and post-composing with the field trace. We show that for endomorphisms of the affine line, one can compute the local $\mathbb{A}^1$-degree at points with inseparable residue field by taking a suitable lift of the polynomial and transferring its local degree. We also discuss the general set-up and strategy in terms of the six functor formalism. As an application, we show that trace forms of number fields are local $\mathbb{A}^1$-degrees. △ Less

Submitted 8 December, 2021; originally announced December 2021.

Comments: 29 pages, 2 figures. Comments welcome!

MSC Class: Primary: 14F42. Secondary: 11E12; 15A20; 55M25

Journal ref: Math. Scand. 129(1), 5--38 (2023)

Counting colorings of triangle-free graphs

Authors: Anton Bernshteyn, Tyler Brazelton, Ruijia Cao, Akum Kang

Abstract: By a theorem of Johansson, every triangle-free graph $G$ of maximum degree $Δ$ has chromatic number at most $(C+o(1))Δ/\log Δ$ for some universal constant $C > 0$. Using the entropy compression method, Molloy proved that one can in fact take $C = 1$. Here we show that for every $q \geq (1 + o(1))Δ/\log Δ$, the number $c(G,q)$ of proper $q$-colorings of $G$ satisfies… ▽ More By a theorem of Johansson, every triangle-free graph $G$ of maximum degree $Δ$ has chromatic number at most $(C+o(1))Δ/\log Δ$ for some universal constant $C > 0$. Using the entropy compression method, Molloy proved that one can in fact take $C = 1$. Here we show that for every $q \geq (1 + o(1))Δ/\log Δ$, the number $c(G,q)$ of proper $q$-colorings of $G$ satisfies $c(G, q) \,\geq\, \left(1 - \frac{1}{q}\right)^m ((1-o(1))q)^n$, where $n = |V(G)|$ and $m = |E(G)|$. Except for the $o(1)$ term, this lower bound is best possible as witnessed by random $Δ$-regular graphs. When $q = (1 + o(1)) Δ/\log Δ$, our result yields the inequality $c(G,q) \,\geq\, \exp\left((1 - o(1)) \frac{\log Δ}{2} n\right)$, which improves an earlier bound of Iliopoulos and yields the optimal value for the constant factor in the exponent. Furthermore, this result implies the optimal lower bound on the number of independent sets in $G$ due to Davies, Jenssen, Perkins, and Roberts. An important ingredient in our proof is the counting method that was recently developed by Rosenfeld. As a byproduct, we obtain an alternative proof of Molloy's bound $χ(G) \leq (1 + o(1))Δ/\log Δ$ using Rosenfeld's method in place of entropy compression (other proofs of Molloy's theorem using Rosenfeld's technique were given independently by Hurley and Pirot and Martinsson). △ Less

Submitted 20 January, 2023; v1 submitted 27 September, 2021; originally announced September 2021.

Comments: 17 pp

Bézoutians and the $\mathbb{A}^1$-degree

Authors: Thomas Brazelton, Stephen McKean, Sabrina Pauli

Abstract: We prove that both the local and global $\mathbb{A}^1$-degree of an endomorphism of affine space can be computed in terms of the multivariate Bézoutian. In particular, we show that the Bézoutian bilinear form, the Scheja--Storch form, and the $\mathbb{A}^1$-degree for complete intersections are isomorphic. Our global theorem generalizes Cazanave's theorem in the univariate case, and our local theo… ▽ More We prove that both the local and global $\mathbb{A}^1$-degree of an endomorphism of affine space can be computed in terms of the multivariate Bézoutian. In particular, we show that the Bézoutian bilinear form, the Scheja--Storch form, and the $\mathbb{A}^1$-degree for complete intersections are isomorphic. Our global theorem generalizes Cazanave's theorem in the univariate case, and our local theorem generalizes Kass--Wickelgren's theorem on EKL forms and the local degree. This result provides an algebraic formula for local and global degrees in motivic homotopy theory. △ Less

Submitted 19 March, 2024; v1 submitted 30 March, 2021; originally announced March 2021.

Comments: Fixed a small typo

MSC Class: 14F42; 15A63

Journal ref: Alg. Number Th. 17 (2023) 1985-2012

Residue sums of Dickson polynomials over finite fields

Authors: Thomas Brazelton, Joshua Harrington, Matthew Litman, Tony W. H. Wong

Abstract: Given a polynomial with integral coefficients, one can inquire about the possible residues it can take in its image modulo a prime $p$. The sum over the distinct residues can sometimes be computed independent of the prime $p$; for example, Gauss showed that the sum over quadratic residues vanishes modulo a prime. In this paper we provide a closed form for the sum over distinct residues in the imag… ▽ More Given a polynomial with integral coefficients, one can inquire about the possible residues it can take in its image modulo a prime $p$. The sum over the distinct residues can sometimes be computed independent of the prime $p$; for example, Gauss showed that the sum over quadratic residues vanishes modulo a prime. In this paper we provide a closed form for the sum over distinct residues in the image of Dickson polynomials of arbitrary degree over finite fields of odd characteristic, and prove a complete characterization of the size of the image set. Our result provides the first non-trivial classification of such a sum for a family of polynomials of unbounded degree. △ Less

Submitted 10 February, 2022; v1 submitted 16 March, 2021; originally announced March 2021.

Comments: Major revisions: we now treat the more general case of Dickson polynomials over finite fields of odd characteristic instead of Lucas polynomials modulo a prime. 19 pages, comments welcome!

MSC Class: 11B39; 11C08

Homotopy Mackey functors of equivariant algebraic $K$-theory

Authors: Thomas Brazelton

Abstract: 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 const… ▽ More 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. △ Less

Submitted 12 February, 2021; originally announced February 2021.

Comments: 39 pages, comments welcome!

A note on twisted group rings and semilinearization

Authors: Thomas Brazelton

Abstract: 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 mo… ▽ More 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. △ Less

Submitted 12 February, 2021; originally announced February 2021.

Comments: This note, to appear in Communications in Algebra, was initially was an appendix to "Homotopy Mackey functors of equivariant algebraic K-theory," but was more elaborate than what was strictly needed in that paper. Since this may be an observation of independent interest in algebra, it has been written up separately

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

Authors: Thomas Brazelton

Abstract: 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… ▽ More 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.'' △ Less

Submitted 19 July, 2020; originally announced July 2020.

Comments: 33 pages, expository, to appear in Springer Lecture Notes in Mathematics, comments welcome

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

Authors: Thomas Brazelton, Robert Burklund, Stephen McKean, Michael Montoro, Morgan Opie

Abstract: 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… ▽ More 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. △ Less

Submitted 11 May, 2020; v1 submitted 10 December, 2019; originally announced December 2019.

Comments: 13 pages, revised version

Journal ref: Homology Homotopy Appl. 23(1): 243--255, 2021

Constructing the Unstable Motivic Homotopy Category Using $(\infty,1)$-Categories

Authors: Thomas Brazelton

Abstract: This is an expository paper providing an overview of the unstable motivic homotopy category using the theory of $(\infty,1)$-categories. In this paper, we examine two constructions in the literature and discuss their equivalence. This is an expository paper providing an overview of the unstable motivic homotopy category using the theory of $(\infty,1)$-categories. In this paper, we examine two constructions in the literature and discuss their equivalence. △ Less

Submitted 28 September, 2018; originally announced October 2018.

Comments: 12 pages, expository

Zeros of Newform Eisenstein Series on $Γ_0(N)$

Authors: Thomas Brazelton, Victoria Jakicic

Abstract: We examine the zeros of newform Eisenstein series $E_{χ_1,χ_2,k}(z)$ of weight $k$ on $Γ_0(q_1 q_2)$, where $χ_1$ and $χ_2$ are primitive characters modulo $q_1$ and $q_2$, respectively. We determine the location and distribution of a significant fraction of the zeros of these Eisenstein series for $k$ sufficiently large. We examine the zeros of newform Eisenstein series $E_{χ_1,χ_2,k}(z)$ of weight $k$ on $Γ_0(q_1 q_2)$, where $χ_1$ and $χ_2$ are primitive characters modulo $q_1$ and $q_2$, respectively. We determine the location and distribution of a significant fraction of the zeros of these Eisenstein series for $k$ sufficiently large. △ Less

Submitted 11 September, 2017; originally announced September 2017.

Comments: 18 pages, 3 attached figures