Related papers: Factoring the Becker-Gottlieb Transfer Through the…

We define an extension of the affine Brauer algebra, the type B/C affine Brauer algebra. This new algebra contains the hyperoctahedral group and it naturally acts on $END_K(X \otimes V^{\otimes k})$ for Orthogonal and Symplectic groups.…

This paper lays out a foundation for a theory of supertropical algebraic geometry, relying on commutative $\nu$-algebra. To this end, the paper introduces $\mathfrak{q}$-congruences, carried over $\nu$-semirings, whose distinguished ghost…

We discuss a homological method for transferring algebra structures on complexes along suitably nice homotopy equivalences, including those obtained after an application of the Perturbation Lemma. We study the implications for the Homotopy…

Motivated by gauge theory, we develop a general framework for chain complex valued algebraic quantum field theories. Building upon our recent operadic approach to this subject, we show that the category of such theories carries a canonical…

An associative $*$-algebra is introduced (containing a $TTR$-algebra as a subalgebra) that implements the form factor axioms, and hence indirectly the Wightman axioms, in the following sense: Each $T$-invariant linear functional over the…

We compute the algebraic K-theory modulo p and v_1 of the S-algebra ell/p = k(1), using topological cyclic homology. We use this to compute the homotopy cofiber of a transfer map K(L/p) --> K(L_p), which we interpret as the algebraic…

Let $f \colon X \to Y$ be a morphism of concentrated schemes. We characterize $f$-perfect complexes $\mathcal{E}$ as those such that the functor $\mathcal{E} \otimes^{\mathbf{L}}_X \mathbf{L} f^*-$ preserves bounded complexes. We prove, as…

If H is a commutative connected graded Hopf algebra over a commutative ring k, then a certain canonical k-algebra homomorphism H -> H (x) QSym is defined, where QSym denotes the Hopf algebra of quasisymmetric functions over k. This…

We revisit methods of proof of the Adams Conjecture in order to correct and supplement earlier efforts to prove analogous conjectures in the stable homotopy category. We utilize simplicial schemes over an algebraically closed field of…

We define a unified trace form $\tau$ on the cyclotomic Hecke algebras $\mathscr{H}_{n,K}$ of type $A$, which generalize both Malle-Mathas' trace form on the non-degenerate version (with Hecke parameter $\xi\neq 1$) and Brundan-Kleshchev's…

Any modality in homotopy type theory gives rise to an orthogonal factorization system of which the left class is stable under pullbacks. We show that there is a second orthogonal factorization system associated to any modality, of which the…

We provide a sufficient condition that ensures the nilpotency of endomorphisms universally of trace zero of Schur-finite objects in a category of homological type, i.e., a Q-linear tensor category with a tensor functor to super vector…

Let $(W,S)$ be a Coxeter system whose graph is connected, with no infinite edges. A self-map $\tau$ of $W$ such that $\tau_{\sigma\theta}\in \{\tau_{\theta},\ \sigma\tau_{\theta}\}$ for all $\theta\in W$ and all reflections $\sigma$…

The Gr\"atzer-Schmidt theorem of lattice theory states that each algebraic lattice is isomorphic to the congruence lattice of an algebra. We study the reverse mathematics of this theorem. We also show that the set of indices of computable…

Let V^L and V^R be simple vertex operator algebras satisfying certain natural uniqueness-of-vacuum, complete reducibility and cofiniteness conditions and let F be a conformal full field algebra over the tensor product of V^L and V^R. We…

We establish a trace formula for signatures of hermitian forms over Azumaya algebras with involution, extending Knebusch's work on symmetric bilinear forms over finite \'etale extensions of commutative base rings. As an application when the…

We define a trace map for every cohomological correspondence in the motivic stable homotopy category over a general base scheme, which takes values in the twisted bivariant groups. Local contributions to the trace map give rise to quadratic…

We flesh out the theory of "trace theories" and "trace functors" sketched in arXiv:1308.3743, extend it to a homotopical setting, and prove a reconstruction theorem claiming that a trace theory is completely determined by the associated…

Let k be an algebraically closed field of characteristic 0, and let f be a morphism of smooth projective varieties from X to Y over the ring k((t)) of formal Laurent series. We prove that if a general geometric fiber of f is rationally…

Generalized Baxter's relations on the transfer-matrices (also known as Baxter's TQ relations) are constructed and proved for an arbitrary untwisted quantum affine algebra. Moreover, we interpret them as relations in the Grothendieck ring of…