Related papers: On the Tambara Affine Line
We construct reflection functors for quiver Hecke algebras associated with arbitrary symmetrizable Kac-Moody algebras, from a higher representation-theoretic viewpoint. These functors provide a categorification of Lusztig's braid group…
Using the Burklund-Schlank-Yuan abstraction of ``algebraically closed" to ``Nullstellensatzian", we show that a $G$-Tambara functor is Nullstellensatzian if and only if it is the coinduction of an algebraically closed field (for any finite…
We refine the invariant on $K_2(A[C_{p_e}]/I_m,(T-1))$ constructed in a previous paper to one which is an isomorphism for all $\lambda$-rings $A$.
Second-order topological insulators and superconductors have a gapped excitation spectrum in bulk and along boundaries, but protected zero modes at corners of a two-dimensional crystal or protected gapless modes at hinges of a…
We define a class of non-compact Fano toric manifolds, called admissible toric manifolds, for which Floer theory and quantum cohomology are defined. The class includes Fano toric negative line bundles, and it allows blow-ups along fixed…
The refined Kaneko-Zagier conjecture claims that the algebras spanned by two kinds of "completed" finite multiple zeta values, called $\hat{A}$- and $\hat{S}$-MZVs, are isomorphic. Recently, Komori defined $\hat{S}$-MZVs of general integer…
Systems of free fermions are classified by symmetry, space dimensionality, and topological properties described by K-homology. Those systems belonging to different classes are inequivalent. In contrast, we show that by taking a…
We show that the Frobenius character of the equivariant Borel-Moore homology of a certain positive $GL_n$-version of the unramified affine Springer fiber $Z_k$ studied by Goreski, Kottwitz and MacPherson is computed by the matrix…
A wide variety of bidirectional data accessors, ranging from mixed optics to functor lenses, can be formalized within a unique framework-dependent optics. Starting from two indexed categories, which encode what maps are allowed in the…
We prove that the higher Frobenius-Schur indicators, introduced by Ng and Schauenburg, give a strong enough invariant to distinguish between any two Tambara-Yamagami fusion categories. Our proofs are based on computation of the higher…
Let $G$ be a finite group. A $G$-Tambara functor can be defined as a product-preserving functor $\mathcal{P}_G \to \mathsf{Set}$ (satisfying one additional condition), where $\mathcal{P}_G$ is a category that is constructed in a…
We establish the equivalence between the refined topological vertex of Iqbal-Kozcaz-Vafa and a certain representation theory of the quantum algebra of type W_{1+infty} introduced by Miki. Our construction involves trivalent intertwining…
We study a wide class of topological free-fermion systems on a hypercubic lattice in spatial dimensions $d\ge 1$. When the Fermi level lies in a spectral gap or a mobility gap, the topological properties, e.g., the integral quantization of…
Let $R$ be a commutative Noetherian ring, and let $N$ be a non-zero finitely generated $R$-module. In this paper, the main result asserts that for any $N$-proper ideal $\frak a$ of $R,$ the $\frak a$-symbolic topology on $N$ is linearly…
We introduce a new ideal {\mathfrak D} of the p-adic Galois group-ring associated to a real abelian field and a related ideal {\mathfrak J} for imaginary abelian fields. Both result from an equivariant, Kummer-type pairing applied to Stark…
We develop the Tannakian theory of (analytic) prismatic $F$-crystals on a smooth formal scheme $\mathfrak{X}$ over the ring of integers of a discretely valued field with perfect residue field. Our main result gives an equivalence between…
Let $n$ and $k$ be positive integers, and $f_n(k)$ (resp. $g_n(k)$) be the number of unital subrings (resp. unital irreducible subrings) of $\mathbb{Z}^n$ of index $k$. The numbers $f_n(k)$ are coefficients of certain zeta functions of…
We show that various flavors of Witt vectors are functorial with respect to multiplicative polynomial laws of finite degree. We then deduce that the $p$-typical Witt vectors are functorial in multiplicative polynomial maps of degree at most…
Stressing the role of dual coalgebras, we modify the definition of affine schemes over the 'field with one element'. This clarifies the appearance of Habiro-type rings in the commutative case, and, allows a natural noncommutative…
For each object in a tensor triangulated category, we construct a natural continuous map from the object's support---a closed subset of the category's triangular spectrum---to the Zariski spectrum of a certain commutative ring of…