Related papers: On the Tambara Affine Line
We develop a functorial framework for the ideal theory of commutative semirings using coherent frames and spectral spaces. Two central constructions-the radical ideal functor and the $k$-radical ideal functor-are shown to yield coherent…
We prove that the map on Balmer spectra induced by a fully faithful geometric functor is a quotient map whose fibers are connected. This is an analogue of the Zariski Connectedness Theorem in algebraic geometry and it can be applied to a…
In the previous article 'A Mackey-functor theoretic interpretation of biset functors', we have constructed the 2-category $\mathbb{S}$ of finite sets with variable finite group actions, in which bicoproducts and bipullbacks exist. As shown…
We construct the affine version of the Fomin-Kirillov algebra, called the affine FK algebra, to investigate the combinatorics of affine Schubert calculus for type $A$. We introduce Murnaghan-Nakayama elements and Dunkl elements in the…
For a finite group $G$, (semi-)Mackey functors and (semi-)Tambara functors are regarded as $G$-bivariant analogs of (semi-)groups and (semi-)rings respectively. In fact if $G$ is trivial, they agree with the ordinary (semi-)groups and…
Let k be a field and denote by SH(k) the motivic stable homotopy category. Recall its full subcategory HI_0(k) of effective homotopy modules. Write NAlg(HI_0(k)) for the category of normed motivic spectra with underlying spectrum an…
We discuss ways that the ring of coefficients for a TQFT can be reduced if one restricts somewhat the allowed cobordisms. When we apply these methods to a TQFT associated to SO(3) at an odd prime p, we obtain a functor from a somewhat…
In this article we extend evaluations of the Kauffman bracket on regular isotopy classes of knots and links to a variety of functors defined on the category of framed tangles. We show that many such functors exist, and that they correspond…
We initiate the theory of graded commutative 2-rings, a categorification of graded commutative rings. The goal is to provide a systematic generalization of Paul Balmer's comparison maps between the spectrum of tensor-triangulated categories…
This paper presents a technique for viewing quasi-coherent sheaves of ideals of a given blowup as regular ideals of a ring. In the paper, we first describe (Zariski) models as integral schemes that are separated and of finite type over an…
In this paper we generalize Tannakian formalism to fiber functors over general tensor categories. We will show that (under some technical conditions) if the fiber functor has a section, then the source category is equivalent to the category…
In this paper we introduce the notion of Shimura's period symbols over function fields in positive characteristic and establish their fundamental properties. We further formulate and prove a function field analogue of Shimura's conjecture…
A framework is developed to describe the Zariski topologies on the prime and primitive spectra of a quantum algebra $A$ in terms of the (known) topologies on strata of these spaces and maps between the collections of closed sets of…
We propose a $\mathbb{Z}_{2}$ classification of Abelian time-reversal fractional topological insulators in terms of the composite fermions picture. We consider the standard toy model where spin up and down electrons are subjected to…
In a polynomial ring over a perfect field, the symbolic powers of a prime ideal can be described via differential operators: a classical result by Zariski and Nagata says that the $n$-th symbolic power of a given prime ideal consists of the…
We develop some foundations of commutative algebra, with a view towards algebraic geometry, in symmetric tensor categories. Most results establish analogues of classical theorems, in tensor categories which admit a tensor functor to some…
This paper develops the structural and spectral foundations of noncommutative and n-ary Gamma semirings, extending the commutative ternary framework established in earlier studies. We introduce left, right, and two-sided ideals in the…
If $\mathcal{M}$ is a finite abelian category and $\mathbf{T}$ is a linear right exact monad on $\mathcal{M}$, then the category $\mathbf{T}\mbox{-mod}$ of $\mathbf{T}$-modules is a finite abelian category. We give an explicit formula of…
We fix motivic data $(K/F, E)$ consisting of a Galois extension $K/F$ of characteristic $p$ global fields with arbitrary abelian Galois group $G$ and an ableian $t$-module $E$, defined over a certain Dedekind subring of $F$. For this data,…
As an extension of previous ungraded work, we define a graded $p$-polar ring to be an analog of a graded commutative ring where multiplication is only allowed on $p$-tuples (instead of pairs) of elements of equal degree. We show that the…