Related papers: On the linear independency of monoidal natural tra…

Given a symmetric monoidal stable $\infty$-category $\mathcal{C}$ and a left adjoint symmetric monoidal fiber functor to $\operatorname{Mod}_A^{\otimes}$ for some $\mathbb{E}_{\infty}$-ring $A$, one can construct a derived group scheme $G$…

We present a survey of characterisations of cocartesian categories in terms of monoidal categories - and, more generally, magmal categories - satisfying additional properties. In particular, we show that the following are equivalent for a…

We show that the (co)endomorphism algebra of a sufficiently separable "fibre" functor into Vect_k, for k a field of characteristic 0, has the structure of what we call a "unital" von Neumann core in Vect_k. For Vect_k, this particular…

Let $G$ be a connected reductive group. In a previous paper, arxiv:1702.08264, is was shown that the dual group $G^\vee_X$ attached to a $G$-variety $X$ admits a natural homomorphism with finite kernel to the Langlands dual group $G^\vee$…

Can an ideal I in a polynomial ring k[x] over a field be moved by a change of coordinates into a position where it is generated by binomials $x^a - cx^b$ with c in k, or by unital binomials (i.e., with c = 0 or 1)? Can a variety be moved…

Given two small dg categories $C,D$, defined over a field, we introduce their (non-symmetric) twisted tensor product $C\overset{\sim}{\otimes} D$. We show that $-\overset{\sim}{\otimes} D$ is left adjoint to the functor $Coh(D,-)$, where…

Let $\mathcal{G}$ be a smooth linear group scheme of finite type. For any positive integer $k$ and a finite field $\mathbb{F}$, let $W_k(\mathbb{F})$ be the ring of Witt vectors of length $k$ over $\mathbb{F}$. We show that the group…

We compare closed and rigid monoidal categories. Closedness is defined by the tensor product having a right adjoint: the internal hom functor. Rigidity, on the other hand, generalises the duality of finite-dimensional vector spaces. In the…

A polynomial automorphism $F$ is called {\em shifted linearizable} if there exists a linear map $L$ such that $LF$ is linearizable. We prove that the Nagata automorphism $N:=(X-Y\Delta -Z\Delta^2,Y+Z\Delta, Z)$ where $\Delta=XZ+Y^2$ is…

Let $G=G_1\ast\dots\ast G_k\ast F$ be a countable group which splits as a free product, where all groups $G_i$ are freely indecomposable and not isomorphic to $\mathbb{Z}$, and $F$ is a finitely generated free group. If for all…

Soit F la cat\'{e}gorie des foncteurs entre espaces vectoriels sur un corps fini. Les cat\'{e}gories de foncteurs en grassmanniennes sont obtenues en rempla\c{c}ant la source de cette cat\'{e}gorie par la cat\'{e}gorie des couples…

This is a sequel to math.AG/0003009. Here we study identities for the Fourier transform of "elementary functions" over finite field containing "exponents" of monomial rational functions. It turns out that these identities are governed by…

We provide an intrinsic definition of the fundamental group of a linear category over a ring as the automorphism group of the fibre functor on Galois coverings. If the universal covering exists, we prove that this group is isomorphic to the…

We construct a strict pivotal monoidal category $\mathcal{D}_{\mathrm{DNA}}$ whose objects are DNA sequences (words over $\{A,C,G,T\}$) and whose morphisms are isotopy classes of typed noncrossing planar matchings, composed of…

We prove that a monomorphic functor $F:Comp\to Comp$ with finite supports is epimorphic, continuous, and its maximal $\emptyset$-modification $F^\circ$ preserves intersections. This implies that a monomorphic functor $F:Comp\to Comp$ of…

Let $\mathcal{S}$ be a small category, and suppose that we are given a full subcategory $\mathcal{U}$ such that every object of $\mathcal{S}$ can be embedded into some object of $\mathcal{U}$ in the same way as every quasi-projective…

The object of this paper is to prove that the standard categories in which homotopy theory is done, such as topological spaces, simplicial sets, chain complexes of abelian groups, and any of the various good models for spectra, are all…

Let $R$ be an integral domain and $G$ be a subgroup of its group of units. We consider the category $\mathbf{\mathsf{Cob}}_G$ of 3-dimensional cobordisms between oriented surfaces with connected boundary, equipped with a representation of…

Given a definably compact group G in a saturated o-minimal structure, there is a canonical homomorphism from G to a compact real Lie group F(G). We establish a similar result for the (o-mininimal) universal cover of a definably compact…

Building on structure observed in equivariant homotopy theory, we define an equivariant generalization of a symmetric monoidal category: a $G$-symmetric monoidal category. These record not only the symmetric monoidal products but also…