-
The spectrum of the Burnside Tambara functor
Authors:
Maxine Elena Calle,
David Chan,
David Mehrle,
J. D. Quigley,
Ben Spitz,
Danika Van Niel
Abstract:
We compute the spectrum of prime ideals in the Burnside Tambara functor over an arbitrary finite group.
We compute the spectrum of prime ideals in the Burnside Tambara functor over an arbitrary finite group.
△ Less
Submitted 12 June, 2025;
originally announced June 2025.
-
On the Tambara Affine Line
Authors:
David Chan,
David Mehrle,
J. D. Quigley,
Ben Spitz,
Danika Van Niel
Abstract:
Tambara functors are the analogue of commutative rings in equivariant algebra. Nakaoka defined ideals in Tambara functors, leading to the definition of the Nakaoka spectrum of prime ideals in a Tambara functor. In this work, we continue the study of the Nakoaka spectra of Tambara functors. We describe, in terms of the Zariski spectra of ordinary commutative rings, the Nakaoka spectra of many Tamba…
▽ More
Tambara functors are the analogue of commutative rings in equivariant algebra. Nakaoka defined ideals in Tambara functors, leading to the definition of the Nakaoka spectrum of prime ideals in a Tambara functor. In this work, we continue the study of the Nakoaka spectra of Tambara functors. We describe, in terms of the Zariski spectra of ordinary commutative rings, the Nakaoka spectra of many Tambara functors. In particular: we identify the Nakaoka spectrum of the fixed point Tambara functor of any $G$-ring with the GIT quotient of its classical Zariski spectrum; we describe the Nakaoka spectrum of the complex representation ring Tambara functor over a cyclic group of prime order $p$; we describe the affine line (the Nakaoka spectra of free Tambara functors on one generator) over a cyclic group of prime order $p$ in terms of the Zariski spectra of $\mathbb{Z}[x]$, $\mathbb{Z}[x,y]$, and the ring of cyclic polynomials $\mathbb{Z}[x_0,\ldots,x_{p-1}]^{C_p}$. To obtain these results, we introduce a "ghost construction" which produces an integral extension of any $C_p$-Tambara functor, the Nakaoka spectrum of which is describable. To relate the Nakaoka spectrum of a Tambara functor to that of its ghost, we prove several new results in equivariant commutative algebra, including a weak form of the Hilbert basis theorem, going up, lying over, and levelwise radicality of prime ideals in Tambara functors. These results also allow us to compute the Krull dimensions of many Tambara functors.
△ Less
Submitted 30 May, 2025; v1 submitted 30 October, 2024;
originally announced October 2024.
-
Pathological Computations of Mackey Functor-valued Tor over Cyclic Groups
Authors:
David Mehrle,
J. D. Quigley,
Michael Stahlhauer
Abstract:
We compute Mackey functor-valued Tor over certain free incomplete Tambara functors, generalizing the computation of Tor over a polynomial ring on one generator. In contrast with the classical situation where the resulting Tor groups vanish above degree one, we present examples where Tor is nonvanishing in almost every degree. We also discuss a 2-primary analogue of the odd-primary Koszul complexes…
▽ More
We compute Mackey functor-valued Tor over certain free incomplete Tambara functors, generalizing the computation of Tor over a polynomial ring on one generator. In contrast with the classical situation where the resulting Tor groups vanish above degree one, we present examples where Tor is nonvanishing in almost every degree. We also discuss a 2-primary analogue of the odd-primary Koszul complexes defined in our other work \cite{MQS24a}.
△ Less
Submitted 15 October, 2024;
originally announced October 2024.
-
Koszul Resolutions over Free Incomplete Tambara Functors for Cyclic $p$-Groups
Authors:
David Mehrle,
J. D. Quigley,
Michael Stahlhauer
Abstract:
In equivariant algebra, Mackey functors replace abelian groups and incomplete Tambara functors replace commutative rings. In this context, we prove that equivariant Hochschild homology can sometimes be computed using Mackey functor-valued Tor. To compute these Tor Mackey functors for odd primes $p$, we define cyclic-$p$-group-equivariant analogues of the Koszul resolution which resolve the Burnsid…
▽ More
In equivariant algebra, Mackey functors replace abelian groups and incomplete Tambara functors replace commutative rings. In this context, we prove that equivariant Hochschild homology can sometimes be computed using Mackey functor-valued Tor. To compute these Tor Mackey functors for odd primes $p$, we define cyclic-$p$-group-equivariant analogues of the Koszul resolution which resolve the Burnside Mackey functor (the analogue of the integers) as a module over free incomplete Tambara functors (the analogue of polynomial rings). We apply these Koszul resolutions to compute Mackey functor-valued Hochschild homology of free incomplete Tambara functors for cyclic groups of odd prime order and for the cyclic group of order 9.
△ Less
Submitted 25 July, 2024;
originally announced July 2024.
-
On the image of the total power operation for Burnside rings
Authors:
Nathan Cornelius,
Lewis Dominguez,
David Mehrle,
Lakshay Modi,
Millie Rose,
Nathaniel Stapleton
Abstract:
We prove that the image of the total power operation for Burnside rings $A(G) \to A(G\wrΣ_n)$ lies inside a relatively small, combinatorial subring $\mathring A(G,n) \subseteq A(G \wr Σ_n)$. As $n$ varies, the subrings $\mathring A(G,n)$ assemble into a commutative graded ring $\mathring A(G)$ with a universal property: $\mathring A(G)$ carries the universal family of power operations out of…
▽ More
We prove that the image of the total power operation for Burnside rings $A(G) \to A(G\wrΣ_n)$ lies inside a relatively small, combinatorial subring $\mathring A(G,n) \subseteq A(G \wr Σ_n)$. As $n$ varies, the subrings $\mathring A(G,n)$ assemble into a commutative graded ring $\mathring A(G)$ with a universal property: $\mathring A(G)$ carries the universal family of power operations out of $A(G)$. We construct character maps for $\mathring A(G,n)$ and give a formula for the character of the total power operation. Using $\mathring A(G)$, we extend the Frobenius--Wielandt homomorphism of Dress--Siebeneicher--Yoshida to wreath products compatibly with the total power operation. Finally, we prove a generalization of Burnside's orbit counting lemma that describes the transfer map $A(G \wr Σ_n) \to A(Σ_n)$ on the subring $\mathring A(G,n)$.
△ Less
Submitted 24 April, 2024;
originally announced May 2024.
-
The homotopy of the KU_G-local equivariant sphere spectrum
Authors:
Tanner N. Carawan,
Rebecca Field,
Bertrand J. Guillou,
David Mehrle,
Nathaniel J. Stapleton
Abstract:
We compute the homotopy Mackey functors of the $KU_G$-local equivariant sphere spectrum when $G$ is a finite $q$-group for an odd prime $q$, building on the degree zero case from arXiv:2204.03797.
We compute the homotopy Mackey functors of the $KU_G$-local equivariant sphere spectrum when $G$ is a finite $q$-group for an odd prime $q$, building on the degree zero case from arXiv:2204.03797.
△ Less
Submitted 21 March, 2023;
originally announced March 2023.
-
Free incomplete Tambara functors are almost never flat
Authors:
Michael A. Hill,
David Mehrle,
J. D. Quigley
Abstract:
Free algebras are always free as modules over the base ring in classical algebra. In equivariant algebra, free incomplete Tambara functors play the role of free algebras and Mackey functors play the role of modules. Surprisingly, free incomplete Tambara functors often fail to be free as Mackey functors. In this paper, we determine for all finite groups conditions under which a free incomplete Tamb…
▽ More
Free algebras are always free as modules over the base ring in classical algebra. In equivariant algebra, free incomplete Tambara functors play the role of free algebras and Mackey functors play the role of modules. Surprisingly, free incomplete Tambara functors often fail to be free as Mackey functors. In this paper, we determine for all finite groups conditions under which a free incomplete Tambara functor is free as a Mackey functor. For solvable groups, we show that a free incomplete Tambara functor is flat as a Mackey functor precisely when these conditions hold. Our results imply that free incomplete Tambara functors are almost never flat as Mackey functors. However, we show that after suitable localizations, free incomplete Tambara functors are always free as Mackey functors.
△ Less
Submitted 13 December, 2021; v1 submitted 24 May, 2021;
originally announced May 2021.
-
Constructing families of moderate-rank elliptic curves over number fields
Authors:
David Mehrle,
Steven J. Miller,
Tomer Reiter,
Joseph Stahl,
Dylan Yott
Abstract:
We generalize a construction of families of moderate rank elliptic curves over $\mathbb{Q}$ to number fields $K/\mathbb{Q}$. The construction, originally due to Steven J. Miller, Álvaro Lozano-Robledo and Scott Arms, invokes a theorem of Rosen and Silverman to show that computing the rank of these curves can be done by controlling the average of the traces of Frobenius, the construction for number…
▽ More
We generalize a construction of families of moderate rank elliptic curves over $\mathbb{Q}$ to number fields $K/\mathbb{Q}$. The construction, originally due to Steven J. Miller, Álvaro Lozano-Robledo and Scott Arms, invokes a theorem of Rosen and Silverman to show that computing the rank of these curves can be done by controlling the average of the traces of Frobenius, the construction for number fields proceeds in essentially the same way. One novelty of this method is that we can construct families of moderate rank without having to explicitly determine points and calculating determinants of height matrices.
△ Less
Submitted 3 June, 2017; v1 submitted 28 March, 2015;
originally announced March 2015.
-
Newman's conjecture, zeros of the L-functions, function fields
Authors:
Alan Chang,
David Mehrle,
Steven J. Miller,
Tomer Reiter,
Joseph Stahl,
Dylan Yott
Abstract:
De Bruijn and Newman introduced a deformation of the completed Riemann zeta function $ζ$, and proved there is a real constant $Λ$ which encodes the movement of the nontrivial zeros of $ζ$ under the deformation. The Riemann hypothesis is equivalent to the assertion that $Λ\leq 0$. Newman, however, conjectured that $Λ\geq 0$, remarking, "the new conjecture is a quantitative version of the dictum tha…
▽ More
De Bruijn and Newman introduced a deformation of the completed Riemann zeta function $ζ$, and proved there is a real constant $Λ$ which encodes the movement of the nontrivial zeros of $ζ$ under the deformation. The Riemann hypothesis is equivalent to the assertion that $Λ\leq 0$. Newman, however, conjectured that $Λ\geq 0$, remarking, "the new conjecture is a quantitative version of the dictum that the Riemann hypothesis, if true, is only barely so." Andrade, Chang and Miller extended the machinery developed by Newman and Polya to $L$-functions for function fields. In this setting we must consider a modified Newman's conjecture: $\sup_{f\in\mathcal{F}} Λ_f \geq 0$, for $\mathcal{F}$ a family of $L$-functions.
We extend their results by proving this modified Newman's conjecture for several families of $L$-functions. In contrast with previous work, we are able to exhibit specific $L$-functions for which $Λ_D = 0$, and thereby prove a stronger statement: $\max_{L\in\mathcal{F}} Λ_L = 0$. Using geometric techniques, we show a certain deformed $L$-function must have a double root, which implies $Λ= 0$. For a different family, we construct particular elliptic curves with $p + 1$ points over $\mathbb{F}_p$. By the Weil conjectures, this has either the maximum or minimum possible number of points over $\mathbb{F}_{p^{2n}}$. The fact that $#E(\mathbb{F}_{p^{2n}})$ attains the bound tells us that the associated $L$-function satisfies $Λ= 0$.
△ Less
Submitted 12 November, 2014; v1 submitted 7 November, 2014;
originally announced November 2014.
