Search

\emph{Proto-exact categories}, introduced by Dyckerhoff and Kapranov, are a generalization of Quillen exact categories which provide a framework for defining algebraic K-theory and Hall algebras in a \emph{non-additive} setting. This formalism is well-suited to the study of categories whose objects have strong combinatorial flavor. In this paper, we show that the categories of modules over semirings and hyperrings - algebraic structures which have gained prominence in tropical geometry - carry proto-exact structures. In the first part, we prove that the category of modules over a semiring is equipped with a proto-exact structure; modules over an idempotent semiring have a strong connection to matroids. We also prove that the category of algebraic lattices $\mathcal{L}$ has a proto-exact structure, and furthermore that the subcategory of $\mathcal{L}$ consisting of finite lattices is equivalent to the category of finite $\mathbb{B}$-modules as proto-exact categories, where $\mathbb{B}$ is the \emph{Boolean semifield}. We also discuss some relations between $\mathcal{L}$ and geometric lattices (simple matroids) from this perspective. In the second part, we prove that the category of modules over a hyperring has a proto-exact structure. In the case of finite modules over the \emph{Krasner hyperfield} $\mathbb{K}$, a well-known relation between finite $\mathbb{K}$-modules and finite incidence geometries yields a combinatorial interpretation of exact sequences.

For any high-dimensional Weinstein domain and finite collection of primes, we construct a Weinstein subdomain whose wrapped Fukaya category is a localization of the original wrapped Fukaya category away from the given primes. When the original domain is a cotangent bundle, these subdomains form a decreasing lattice whose order cannot be reversed. Furthermore, we classify the possible wrapped Fukaya categories of Weinstein subdomains of a cotangent bundle of a simply connected, spin manifold, showing that they all coincide with one of these prime localizations. In the process, we describe which twisted complexes in the wrapped Fukaya category of a cotangent bundle of a sphere are isomorphic to genuine Lagrangians., 29 pages, comments welcome!

We study rational Lagrangian immersions in a cotangent bundle, based on the microlocal theory of sheaves. We construct a sheaf quantization of a rational Lagrangian immersion and investigate its properties in Tamarkin category. Using the sheaf quantization, we give an explicit bound for the displacement energy and a Betti/cup-length estimate for the number of the intersection points of the immersion and its Hamiltonian image by a purely sheaf-theoretic method., Comment: 41 pages, 1 figure. Final version

The homotopy interleaving distance, a distance between persistent spaces, was introduced by Blumberg and Lesnick and shown to be universal, in the sense that it is the largest homotopy-invariant distance for which sublevel-set filtrations of close-by real-valued functions are close-by. There are other ways of constructing homotopy-invariant distances, but not much is known about the relationships between these choices. We show that other natural distances differ from the homotopy interleaving distance in at most a multiplicative constant, and prove versions of the persistent Whitehead theorem, a conjecture of Blumberg and Lesnick that relates morphisms that induce interleavings in persistent homotopy groups to stronger homotopy-invariant notions of interleaving., Comment: 25 pages. v2: improved constant of Thm A and minor exposition improvements ; v3: imporved constant of Thm A and shortened exposition, final version to appear in Algebraic & Geometric Topology

The paper extends the notion of braided set and its close relative - the Yang-Baxter set - to the category of vector spaces and explore structure aspects of such a notion as morphisms and extensions. In this way we describe a family of solutions for the Yang-Baxter equation on the product of B and C if given B and C correspond to two linear (set-theoretic) solutions of the Yang-Baxter equation. One of the key observation is the relation of this question with the virtual pure braid group., Comment: 29 pages, 3 figures

We show that the moduli spaces of sheaves on a projective K3 surface are irreducible symplectic varieties, and that the same holds for the fibers of the Albanese map of moduli spaces of sheaves on an Abelian surface., Comment: 61 pages, major revisions (the title has changed from the previos version, some of the proofs have been entirely reviewed, the main results have been generalized to a slightly more general notion of general polarization), to appear in Algebraic Geometry

In this article, we introduce the notion of pre-$(n+2)$-angulated categories as higher dimensional analogues of pre-triangulated categories defined by Beligiannis-Reiten. We first show that the idempotent completion of a pre-$(n+2)$-angulated category admits a unique structure of pre-$(n+2)$-angulated category. Let $(\mathscr{C},\mathbb{E},\mathfrak{s})$ be an $n$-exangulated category and $\mathscr{X}$ be a strongly functorially finite subcategory of $\mathscr{C}$. We then show that the quotient category $\mathscr{C}/\mathscr{X}$ is a pre-$(n+2)$-angulated category.These results allow to construct several examples of pre-$(n+2)$-angulated categories. Moreover, we also give a necessary and sufficient condition for the quotient $\mathscr{C}/\mathscr{X}$ to be an $(n+2)$-angulated category., 20 pages. arXiv admin note: text overlap with arXiv:2108.07985, arXiv:2006.02223

We prove that the Yoneda Ext-algebra of a Takeuchi smash product is the graded Takeuchi smash product of the Yoneda Ext-algebras of the two algebras or modules involved. As an application, we prove that graded Takeuchi smash products preserve Artin-Schelter regularity, and describe the Nakayama automorphism of the product., 16 pages, comments welcome

We give a formula for the relative Deligne tensor product of two indecomposable finite semisimple module categories over a pointed braided fusion category over an algebraically closed field., Minor corrections

Wreath products involving symmetric inverse monoids/semigroups/categories arise in many areas of algebra and science, and presentations by generators and relations are crucial tools in such studies. The current paper finds such presentations for $M\wr\mathcal I_n$, $M\wr\operatorname{Sing}(\mathcal I_n)$ and $M\wr\mathcal I$. Here $M$ is an arbitrary monoid, $\mathcal I_n$ is the symmetric inverse monoid, $\operatorname{Sing}(\mathcal I_n)$ its singular ideal, and $\mathcal I$ is the symmetric inverse category., Comment: 31 pages, 12 figures. V2: incorporates referee's suggestions, to appear in J Algebra

Using Dugger's construction of universal model categories, we produce replacements for simplicial and combinatorial symmetric monoidal model categories with better operadic properties. Namely, these replacements admit a model structure on algebras over any given colored operad. As an application, we show that in the stable case, such symmetric monoidal model categories are classified by commutative ring spectra when the monoidal unit is a compact generator. In other words, they are strong monoidally Quillen equivalent to modules over a uniquely determined commutative ring spectrum.

We investigate the triangulated hull of the orbit categories of the perfect derived category and the bounded derived category of a ring concerning the power of the suspension functor. It turns out that the triangulated hull will correspond to the full subcategory of compact objects of certain triangulated categories of periodic complexes. This specializes to Stai and Zhao's result when the ring is a finite dimensional algebra with finite global dimension over a field. As the first application, if $A,B$ are flat algebras over a commutative ring and they are derived equivalent, then the corresponding derived categories of $n$-periodic complexes are triangle equivalent. As the second application, we get the periodic version of the Koszul duality., 22 pages

Inspired by recent work of Peter O'Sullivan (arXiv:2012.15703), we give a condition under which a faithful monoidal functor between abelian $\otimes$-categories is exact.

This paper upbuilds the theoretical framework of orbit braids in $M\times I$ by making use of the orbit configuration space $F_G(M,n)$, which enriches the theory of ordinary braids, where $M$ is a connected topological manifold of dimension at least 2 with an effective action of a finite group $G$ and the action of $G$ on $I$ is trivial. Main points of our work include as follows. We introduce the orbit braid group $\mathcal{B}_n^{orb}(M,G)$, and show that it is isomorphic to a group with an additional endowed operation (called the extended fundamental group of $F_G(M,n)$), formed by the homotopy classes of some paths (not necessarily closed paths) in $F_G(M,n)$, which is an essential extension for fundamental groups. The orbit braid group $\mathcal{B}_n^{orb}(M,G)$ is large enough to contain the fundamental group of $F_G(M,n)$ and other various braid groups as its subgroups. Around the central position of $\mathcal{B}_n^{orb}(M,G)$, we obtain five short exact sequences weaved in a commutative diagram. We also analyze the essential relations among various braid groups associated to those configuration spaces $F_G(M,n), F(M/G,n)$, and $F(M,n)$. We finally consider how to give the presentations of orbit braid groups in terms of orbit braids as generators. We carry out our work by choosing $M=\mathbb{C}$ with typical actions of $\mathbb{Z}_p$ and $(\mathbb{Z}_2)^2$. We obtain the presentations of the corresponding orbit braid groups, from which we see that the generalized braid group $Br(B_n)$ actually agrees with an orbit braid group and $Br(D_n)$ is a subgroup of another orbit braid group. In addition, the notion of extended fundamental groups is also defined in a general way in the category of topology and some characteristics extracted from the discussions of orbit braids are given., 30 pages, minor changes and corrections in section 4

We furnish any category of a universal (co)homology theory. Universal (co)homologies and universal relative (co)homologies are obtained by showing representability of certain functors and take values in $R$-linear abelian categories of motivic nature, where $R$ is any commutative unitary ring. Universal homology theory on the one point category yields "hieratic" $R$-modules, i.e. the indization of Freyd's free abelian category on $R$. Grothendieck $\partial$-functors and satellite functors are recovered as certain additive relative homologies on an abelian category for which we also show the existence of universal ones., Comment: References added

Our investigation in the present paper is based on three important results. (1) In [12], Ringel introduced Hall algebra for representations of a quiver over finite fields and proved the elements corresponding to simple representations satisfy the quantum Serre relation. This gives a realization of the nilpotent part of quantum group if the quiver is of finite type. (2) In [4], Green found a homological formula for the representation category of the quiver and equipped Ringel's Hall algebra with a comultiplication. The generic form of the composition subalgebra of Hall algebra generated by simple representations realizes the nilpotent part of quantum group of any type. (3) In [9], Lusztig defined induction and restriction functors for the perverse sheaves on the variety of representations of the quiver which occur in the direct images of constant sheaves on flag varieties, and he found a formula between his induction and restriction functors which gives the comultiplication as algebra homomorphism for quantum group. In the present paper, we prove the formula holds for all semisimple complexes with Weil structure. This establishes the categorification of Green's formula., 25 pages. Published in Journal of Algebra (2023)

Over a $d$-dimensional Cohen-Macaulay local ring admitting a canonical module the definable closure of the class of balanced big Cohen-Macaulay modules is $d$-cotilting and is the smallest such class containing the maximal Cohen-Macaulay modules. We describe its cotilting structure and contrast it to the largest $d$-cotilting class containing the maximal Cohen-Macaulay modules. The enables an implicit classification of all $d$-cotilting classes containing the maximal Cohen-Macaulay modules., Comment: 13 pages, typos corrected, slightly expanded

The aim of this work is to investigate the behavior of equidivisibility under coproduct in the category of pro-$\mathsf{V}$ semigroups, where $\mathsf{V}$ is a pseudovariety of finite semigroups. Exploring the relationship with the two-sided Karnofsky--Rhodes expansion, the notions of KR-cover and strong KR-cover for profinite semigroups are introduced. The former is stronger than equidivisibility and the latter provides a characterization of equidivisible profinite semigroups with an extra mild condition, so-called letter super-cancellativity. Furthermore, under the assumption that $\mathsf{V}$ is closed under two-sided Karnofsky--Rhodes expansion, closure of some classes of equidivisible pro-$\mathsf{V}$ semigroups under(finite) $\mathsf{V}$-coproduct is established.

A finitely generated group or monoid is said to be context-free if it has context-free word problem. In this note, we give an example of a context-free monoid, none of whose maximal subgroups are finitely generated. This answers a question of Brough, Cain & Pfeiffer on whether the group of units of a context-free monoid is always finitely generated, and highlights some of the contrasts between context-free monoids and context-free groups., 10 pages, 51 references. Final submitted version

Let $\mathcal{A}$ be a essentially small abelian category and $\mathcal{C}$ be a Serre subcategory of $\mathcal{A}$. Consider the quotient functor $q:\mathcal{A}\rightarrow \mathcal{A}/\mathcal{C}$. For an object $A\in \mathcal{A}$ and a non-negative integer $k$ we investigate when the natural map $q_{X,A}^i: \rm Ext^i_{\mathcal{A}}(X,A)\rightarrow Ext^i_{\mathcal{A}/\mathcal{C}}(q(X),q(A))$ is invertible for every $X\in \mathcal{A}$ and every $i\in\{0,1,\cdots,k\}$. In the end we give an application of the main theorem., Revised version following referee's report. Comments are welcome!

Let $R$ be any ring with identity. We show that the homotopy category of all acyclic chain complexes of pure-projective $R$-modules is a compactly generated triangulated category. We do this by constructing abelian model structures that put this homotopy category into a recollement with two other compactly generated triangulated categories: The usual derived category of $R$ and the pure derived category of $R$. This also gives a new model for the derived category., comments welcomed

In Carqueville et al., arXiv:1809.01483, the notion of an orbifold datum $\mathbb{A}$ in a modular fusion category $\mathcal{C}$ was introduced as part of a generalised orbifold construction for Reshetikhin-Turaev TQFTs. In this paper, given a simple orbifold datum $\mathbb{A}$ in $\mathcal{C}$, we introduce a ribbon category $\mathcal{C}_{\mathbb{A}}$ and show that it is again a modular fusion category. The definition of $\mathcal{C}_{\mathbb{A}}$ is motivated by properties of Wilson lines in the generalised orbifold. We analyse two examples in detail: (i) when $\mathbb{A}$ is given by a simple commutative $\Delta$-separable Frobenius algebra $A$ in $\mathcal{C}$; (ii) when $\mathbb{A}$ is an orbifold datum in $\mathcal{C} = \operatorname{Vect}$, built from a spherical fusion category $\mathcal{S}$. We show that in case (i), $\mathcal{C}_{\mathbb{A}}$ is ribbon-equivalent to the category of local modules of $A$, and in case (ii), to the Drinfeld centre of $\mathcal{S}$. The category $\mathcal{C}_{\mathbb{A}}$ thus unifies these two constructions into a single algebraic setting., Comment: 58 pages

We classify t-structures and thick subcategories in discrete cluster categories $\mathcal{C}(\mathcal{Z})$ of Dynkin type $A$, and show that the set of all t-structures on $\mathcal{C}(\mathcal{Z})$ is a lattice under inclusion of aisles, with meet given by their intersection. We show that both the lattice of t-structures on $\mathcal{C}(\mathcal{Z})$ obtained in this way and the lattice of thick subcategories of $\mathcal{C}(\mathcal{Z})$ are intimately related to the lattice of non-crossing partitions of type $A$. In particular, the lattice of equivalence classes of non-degenerate t-structures on such a category is isomorphic to the lattice of non-crossing partitions of a finite linearly ordered set., 21 pages, comments welcome

We describe new graphical models of the framed little disks operads which exhibit large symmetry dg Lie algebras.

We establish that the category of Silva spaces, aka LS-spaces, formed by countable inductive limits of Banach spaces with compact linking maps as objects and linear and continuous maps as morphisms, is not an integral category. The result carries over to the category of PLS-spaces, i.e., countable projective limits of LS-spaces -- which contains prominent spaces of analysis such as the space of distributions and the space of real analytic functions. As a consequence, we obtain that both categories neither have enough projective nor enough injective objects. All results hold true when 'compact' is replaced by 'weakly compact' or 'nuclear'. This leads to the categories of PLS-, PLS$_{\text{w}}$- and PLN-spaces, which are examples of 'inflation exact categories with admissible cokernels' as recently introduced by Henrard, Kvamme, van Roosmalen and the second-named author., 5 pages

A new class of locally unital and locally finite dimensional algebras $A$ over an arbitrary algebraically closed field is discovered. Each of them admits an upper finite weakly triangular decomposition, a generalization of an upper finite triangular decomposition. Any locally unital algebra which admits an upper finite Cartan decomposition is Morita equivalent to some special locally unital algebra $A$ which admits an upper finite weakly triangular decomposition. It is established that the category $A$-lfdmod of locally finite dimensional left $A$-modules is an upper finite fully stratified category in the sense of Brundan-Stroppel. Moreover, $A$ is semisimple if and only if its centralizer subalgebras associated to certain idempotent elements are semisimple. Furthermore, certain endofunctors are defined and give categorical actions of some Lie algebras on the subcategory of $A$-lfdmod consisting of all objects which have a finite standard filtration. In the case $A$ is the locally unital algebra associated to one of cyclotomic oriented Brauer categories, cyclotomic Brauer categories and cyclotomic Kauffman categories, $A$ admits an upper finite weakly triangular decomposition. This leads to categorifications of representations of the classical limits of coideal algebras, which come from all integrable highest weight modules of $\mathfrak {sl}_\infty$ or $\hat {\mathfrak{sl}}_e$. Finally, we study representations of $A$ associated to either cyclotomic Brauer categories or cyclotomic Kauffman categories in details, including explicit criteria on the semisimplicity of $A$ over an arbitrary field, and on $A$-lfdmod being upper finite highest weight category in the sense of Brundan-Stroppel, and on Morita equivalence between $A$ and direct sum of infinitely many (degenerate) cyclotomic Hecke algebras., 33pages

The Blanchet link homology theory is an oriented model of Khovanov homology, functorial over the integers with respect to link cobordisms. We formulate a stable homotopy refinement of the Blanchet theory, based on a comparison of the Blanchet and Khovanov chain complexes associated to link diagrams. The construction of the stable homotopy type relies on the signed Burnside category approach of Sarkar-Scaduto-Stoffregen.

The paper concerns the Gelfand-Kirillov dimension and the generating series of nonsymmetric operads. An analogue of Bergman's gap theorem is proved, namely, no finitely generated locally finite nonsymmetric operad has Gelfand-Kirillov dimension strictly between $1$ and $2$. For every $r\in \{0\}\cup \{1\}\cup [2,\infty)$ or $r=\infty$, we construct a single-element generated nonsymmetric operad with Gelfand-Kirillov dimension $r$. We also provide counterexamples to two expectations of Khoroshkin and Piontkovski about the generating series of operads., 38 pages, 10 figures. The known typos have been corrected. A detailed proof to Lemma 7.2 has been added. The referee's comments have been incorporated

Let $\pi: X \to S$ be a family of smooth projective curves, and let $L$ and $M$ be a pair of line bundles on $X$. We show that Deligne's line bundle $\langle{L,M}\rangle$ can be obtained from the $\mathcal{K}_2$-gerbe $G_{L,M}$ constructed in a previous work by the authors via an integration along the fiber map for gerbes that categorifies the well known one arising from the Leray spectral sequence of $\pi$. Our construction provides a full account of the biadditivity properties of $\langle {L,M}\rangle$. The functorial description of the low degree maps in the Leray spectral sequence for $\pi$ we develop are of independent interest, and along the course we provide an example of their application to the Brauer group., Comment: 19 Pages. Two new sections: section7 adds results and applications to correspondes for curves, using a categorification of the first Chow group; section 6 contains some preliminaries on ring stacks

We develop the K-theory of sets with an action of a pointed monoid (or monoid scheme), analogous to the $K$-theory of modules over a ring (or scheme). In order to form localization sequences, we construct the quotient category of a nice regular category by a Serre subcategory.

We develop sheaf theory in the context of difference algebraic geometry. We introduce categories of difference sheaves and develop the appropriate cohomology theories. As specializations, we get difference Galois cohomology, difference Picard group and a good theory of difference torsors.

We consider an embedding of planar maps into an equilateral triangle $\Delta$ which we call the Cardy embedding. The embedding is a discrete approximation of a conformal map based on percolation observables that are used in Smirnov's proof of Cardy's formula. Under the Cardy embedding, the planar map induces a metric and an area measure on $\Delta$ and a boundary measure on $\partial \Delta$. We prove that for uniformly sampled triangulations, the metric and the measures converge jointly in the scaling limit to the Brownian disk conformally embedded into $\Delta$ (i.e., to the $\sqrt{8/3}$-Liouville quantum gravity disk). As part of our proof, we prove scaling limit results for critical site percolation on the uniform triangulations, in a quenched sense. In particular, we establish the scaling limit of the percolation crossing probability for a uniformly sampled triangulation with four boundary marked points., Comment: 66 pages, 13 figures. Revised according to referee report. Accepted for publication in Acta Mathematica

We prove the existence of Bridgeland stability conditions on the Kuznetsov components of Gushel-Mukai varieties, and describe the structure of moduli spaces of Bridgeland semistable objects in these categories in the even-dimensional case. As applications, we construct a new infinite series of unirational locally complete families of polarized hyperk\"{a}hler varieties of K3 type, and characterize Hodge-theoretically when the Kuznetsov component of an even-dimensional Gushel-Mukai variety is equivalent to the derived category of a K3 surface., Comment: 47 pages, minor updates, final version

We construct (in significant generality) moduli spaces representing the functor of morphisms from a scheme into a solvable algebraic group., 43 pages

Span categories provide an abstract framework for formalizing mathematical models of certain systems. The mathematical descriptions of some systems, such as classical mechanical systems, require categories that do not have pullbacks, and this limits the utility of span categories as a formal framework. Given categories $\mathscr{C}$ and $\mathscr{C}^\prime$ and a functor $\mathcal F$ from $\mathscr{C}$ to $\mathscr{C}^\prime$, we introduce the notion of an $\mathcal F$ pullback of a cospan in $\mathscr{C}$, as well as the notion of span tightness of $\mathcal F$. If $\mathcal F$ is span tight, then we can form a generalized span category ${\rm Span}(\mathscr{C},\mathcal F)$ and circumvent the technical difficulty of $\mathscr{C}$ failing to have pullbacks. Composition in ${\rm Span}(\mathscr{C},\mathcal F)$ uses $\mathcal F$-pullbacks rather than pullbacks and in this way differs from the category ${\rm Span}(\mathscr{C})$, but reduces to it when both $\mathscr{C}$ has pullbacks and $\mathcal F$ is the identity functor., 21 pages, 14 figures

We give sharp criteria for when a reductive group scheme satisfies Tannakian reconstruction. When the base scheme is Noetherian, we explicitly identify its Tannaka group scheme., Comment: 9 pages

We introduce a method for associating a chain complex to a module over a combinatorial category, such that if the complex is exact then the module has a rational Hilbert series. We prove homology--vanishing theorems for these complexes for several combinatorial categories including: the category of finite sets and injections, the opposite of the category of finite sets and surjections, and the category of finite dimensional vector spaces over a finite field and injections. Our main applications are to modules over the opposite of the category of finite sets and surjections, known as $FS^{op}$ modules. We obtain many constraints on the sequence of symmetric group representations underlying a finitely generated $FS^{op}$ module. In particular, we describe its character in terms of functions that we call character exponentials. Our results have new consequences for the character of the homology of the moduli space of stable marked curves, and for the equivariant Kazhdan-Luzstig polynomial of the braid matroid., Comment: Corrections to definitions in Section 9, to appear in Alg. & Number Thy

An (association) scheme is said to be Frobenius if it is the scheme of a Frobenius group. A scheme which has the same tensor of intersection numbers as some Frobenius scheme is said to be pseudofrobenius. We establish a necessary and sufficient condition for an imprimitive pseudofrobenius scheme to be Frobenius. We also prove strong necessary conditions for existence of an imprimitive pseudofrobenius scheme which is not Frobenius. As a byproduct, we obtain a sufficient condition for an imprimitive Frobenius group $G$ with abelian kernel to be determined up to isomorphism only by the character table of $G$. Finally, we prove that the Weisfeiler-Leman dimension of a circulant graph with $n$ vertices and Frobenius automorphism group is equal to $2$ unless $n\in \{p,p^2,p^3,pq,p^2q\}$, where $p$ and $q$ are distinct primes., 16 pages

In the Zermelo--Fraenkel set theory with the Axiom of Choice a forcing notion is "$\kappa$-distributive" if and only if it is "$\kappa$-sequential". We show that without the Axiom of Choice this equivalence fails, even if we include a weak form of the Axiom of Choice, the Principle of Dependent Choice for $\kappa$. Still, the equivalence may still hold along with very strong failures of the Axiom of Choice, assuming the consistency of large cardinal axioms. We also prove that while a $\kappa$-distributive forcing notion may violate Dependent Choice, it must preserve the Axiom of Choice for families of size $\kappa$. On the other hand, a $\kappa$-sequential can violate the Axiom of Choice for countable families. We also provide a condition of "quasiproperness" which is sufficient for the preservation of Dependent Choice, and is also necessary if the forcing notion is sequential., Comment: 12 pages; accepted version

We analyze the axiomatic strength of the following theorem due to Rival and Sands [28] in the style of reverse mathematics. Every infinite partial order P of finite width contains an infinite chain C such that every element of P is either comparable with no element of C or with infinitely many elements of C. Our main results are the following. The Rival–Sands theorem for infinite partial orders of arbitrary finite width is equivalent to $\mathsf {I}\Sigma ^0_{2} + \mathsf {ADS}$ over $\mathsf {RCA}_0$ . For each fixed $k \geq 3$ , the Rival–Sands theorem for infinite partial orders of width $\leq \!k$ is equivalent to $\mathsf {ADS}$ over $\mathsf {RCA}_0$ . The Rival–Sands theorem for infinite partial orders that are decomposable into the union of two chains is equivalent to $\mathsf {SADS}$ over $\mathsf {RCA}_0$ . Here $\mathsf {RCA}_0$ denotes the recursive comprehension axiomatic system, $\mathsf {I}\Sigma ^0_{2}$ denotes the $\Sigma ^0_2$ induction scheme, $\mathsf {ADS}$ denotes the ascending/descending sequence principle, and $\mathsf {SADS}$ denotes the stable ascending/descending sequence principle. To the best of our knowledge, these versions of the Rival–Sands theorem for partial orders are the first examples of theorems from the general mathematics literature whose strength is exactly characterized by $\mathsf {I}\Sigma ^0_{2} + \mathsf {ADS}$ , by $\mathsf {ADS}$ , and by $\mathsf {SADS}$ . Furthermore, we give a new purely combinatorial result by extending the Rival–Sands theorem to infinite partial orders that do not have infinite antichains, and we show that this extension is equivalent to arithmetical comprehension over $\mathsf {RCA}_0$ .

To an Adams-type homology theory we associate a notion of a synthetic spectrum, this is a product-preserving sheaf on the site of finite spectra with projective $E$-homology. We prove that the $\infty$-category $Syn_{E}$ of synthetic spectra based on $E$ is in a precise sense a deformation of the $\infty$-category of spectra into quasi-coherent sheaves over a certain algebraic stack, and show that this deformation encodes the $E$-based Adams spectral sequence. We describe a symmetric monoidal functor from cellular motivic spectra over the complex numbers into an even variant of synthetic spectra based on $MU$ and show that it induces an equivalence between the $\infty$-categories of $p$-complete objects for all primes $p$. In particular, it follows that the $p$-complete cellular motivic category can be described purely in terms of chromatic homotopy theory., Minor typos corrected

We show that Mandell's inverse $K$-theory functor is a categorically-enriched non-symmetric multifunctor. In particular, it preserves algebraic structures parametrized by non-symmetric operads. As applications, we describe how ring categories arise as the images of inverse $K$-theory., Comment: 36 pages. Final version. To appear in Annals of K-Theory

In this paper, we focus on the variety DHMSH of dually hemimorphic semi-Heyting algebras from a logical point of view. Firstly, we present a Hilbert-style axiomatization of a new logic called Dually hemimorphic semi-Heyting logic (DHMSH, for short), as an expansion of semi-intuitionistic logic SI (also called SH) introduced by the first author by adding a weak negation (to be interpreted as a dual hemimorphism). We then prove that it is implicative in the sense of Rasiowa and that it is complete with respect to the variety DHMSH. It is deduced that the logic DHMSH is algebraizable in the sense of Blok and Pigozzi, with the variety DHMSH as its equivalent algebraic semantics and that the lattice of axiomatic extensions of DHMSH is dually isomorphic to the lattice of subvarieties of DHMSH. A new axiomatization for Moisil's logic is also obtained. Secondly, we characterize the axiomatic extensions of DHMSH in which the Deduction Theorem holds. Thirdly, we present several new logics, extending the logic DHMSH, corresponding to several important subvarieties of the variety DHMSH. These include logics corresponding to the varieties generated by two-element, three-element and some four-element dually quasi-De Morgan semi-Heyting algebras, as well as a new axiomatization for the 3-valued Lukasiewiczlogic. Surprisingly, many of these logics turn out to be connexive logics, a few of which are presented in this paper. Fourthly, we present axiomatizations for two infinite sequences of logics namely, De Morgan-Goedel logics and dually pseudocomplemented Goedel logics, Fifthly, axiomatizations are also provided for logics corresponding to many subvarieties of regular dually quasi-De Morgan Stone semi-Heyting algebras, of regular De Morgan semi-Heyting algebras of level 1, and of JI-distributive semi-Heyting algebras of level 1. We conclude the paper with some open problems., Comment: 53 pages, 5 figures

Quasi-abelian categories are abundant in functional analysis and representation theory. It is known that a quasi-abelian category $\mathcal{E}$ is a cotilting torsionfree class of an abelian category. In fact, this property characterizes quasi-abelian categories. This ambient abelian category is derived equivalent to the category $\mathcal{E}$, and can be constructed as the heart $\mathcal{LH}(\mathcal{E})$ of a $\operatorname{t}$-structure on the bounded derived category $\operatorname{D^b}(\mathcal{E})$ or as the localization of the category of monomorphisms in $\mathcal{E}.$ However, there are natural examples of categories in functional analysis which are not quasi-abelian, but merely one-sided quasi-abelian or even weaker. Examples are the category of $\operatorname{LB}$-spaces or the category of complete Hausdorff locally convex spaces. In this paper, we consider additive regular categories as a generalization of quasi-abelian categories that covers the aforementioned examples. These categories can be characterized as pre-torsionfree subcategories of abelian categories. As for quasi-abelian categories, we show that such an ambient abelian category of an additive regular category $\mathcal{E}$ can be found as the heart of a $\operatorname{t}$-structure on the bounded derived category $\operatorname{D^b}(\mathcal{E})$, or as the localization of the category of monomorphisms of $\mathcal{E}$. In our proof of this last construction, we formulate and prove a version of Auslander's formula for additive regular categories. Whereas a quasi-abelian category is an exact category in a natural way, an additive regular category has a natural one-sided exact structure. Such a one-sided exact category can be 2-universally embedded into its exact hull. We show that the exact hull of an additive regular category is again an additive regular category., 35 pages, comments welcome

Motivated by the philosophy that $C^*$-algebras reflect noncommutative topology, we investigate the stable homotopy theory of the (opposite) category of $C^*$-algebras. We focus on $C^*$-algebras which are non-commutative CW-complexes in the sense of [ELP]. We construct the stable $\infty$-category of noncommutative CW-spectra, which we denote by $\mathtt{NSp}$. Let $\mathcal{M}$ be the full spectral subcategory of $\mathtt{NSp}$ spanned by "noncommutative suspension spectra" of matrix algebras. Our main result is that $\mathtt{NSp}$ is equivalent to the $\infty$-category of spectral presheaves on $\mathcal{M}$. To prove this we first prove a general result which states that any compactly generated stable $\infty$-category is naturally equivalent to the $\infty$-category of spectral presheaves on a full spectral subcategory spanned by a set of compact generators. This is an $\infty$-categorical version of a result by Schwede and Shipley [ScSh1]. In proving this we use the language of enriched $\infty$-categories as developed by Hinich [Hin2,Hin3]. We end by presenting a "strict" model for $\mathcal{M}$. That is, we define a category $\mathcal{M}_s$ strictly enriched in a certain monoidal model category of spectra $\mathtt{Sp^M}$. We give a direct proof that the category of $\mathtt{Sp^M}$-enriched presheaves $\mathcal{M}_s^{op}\to\mathtt{Sp^M}$ with the projective model structure models $\mathtt{NSp}$ and conclude that $\mathcal{M}_s$ is a strict model for $\mathcal{M}$., 33 pages Updated references

In this paper, we generalize Schur-Weyl duality and Morita Theorem on associative algebras to those on associative $H$-pseudoalgebras. Meanwhile, we get a plenty of associative $H$-pseudoalgebras over a cocommutative Hopf algebra $H$., All comments are welcome

We exhibit a faithful representation of the stylic monoid of every finite rank as a monoid of upper unitriangular matrices over the tropical semiring. Thus, we show that the stylic monoid of finite rank $n$ generates the pseudovariety $\boldsymbol{\mathcal{J}}_n$, which corresponds to the class of all piecewise testable languages of height $n$, in the framework of Eilenberg's correspondence. From this, we obtain the equational theory of the stylic monoids of finite rank, show that they are finitely based if and only if $n \leq 3$, and that their identity checking problem is decidable in linearithmic time. We also establish connections between the stylic monoids and other plactic-like monoids, and solve the finite basis problem for the stylic monoid with involution., Comment: 22 pages. Added results on the finite basis problem for the stylic monoid with involution and updated references

We show that if X_n is a variety of cxn-matrices that is stable under the group Sym([n]) of column permutations and if forgetting the last column maps X_n into X_{n-1}, then the number of Sym([n])-orbits on irreducible components of X_n is a quasipolynomial in n for all sufficiently large n. To this end, we introduce the category of affine FI^op-schemes of width one, review existing literature on such schemes, and establish several new structural results about them. In particular, we show that under a shift and a localisation, any width-one FI^op-scheme becomes of product form, where X_n=Y^n for some scheme Y in affine c-space. Furthermore, to any FI^op-scheme of width one we associate a component functor from the category FI of finite sets with injections to the category PF of finite sets with partially defined maps. We present a combinatorial model for these functors and use this model to prove that Sym([n])-orbits of components of X_n, for all n, correspond bijectively to orbits of a groupoid acting on the integral points in certain rational polyhedral cones. Using the orbit-counting lemma for groupoids and theorems on quasipolynomiality of lattice point counts, this yields our Main Theorem., final version, 40 pages, added several examples and clarifications and corrected typos---with many thanks to a referee!

In [Frobenius Categories Versus Brauer Blocks, Progress in Math., 274] and in [Ordinary Grothendieck groups of a Frobenius [Formula: see text]-category, Algebra Colloq. 18 (2011) 1–76], we consider suitable inverse limits of Grothendieck groups of categories of modules in characteristics [Formula: see text] and zero, obtained from a folded Frobenius [Formula: see text]-category[Formula: see text], which covers the case of the Frobenius[Formula: see text]-categories associated with blocks; moreover, in [Beyond a question of Markus Linckelmann, arxiv.org/abs/1507.04278] we show that a folded Frobenius [Formula: see text]-categoryis actually equivalent to the choice of a regular central [Formula: see text]-extension [Formula: see text] of [Formula: see text]. Here, taking advantage of the existence of a perfect [Formula: see text] -locality [Formula: see text], we exhibit those inverse limits as the true Grothendieck groups of the categories of [Formula: see text]-and [Formula: see text]-modules for a suitable [Formula: see text]-group [Formula: see text] associated to the [Formula: see text]-category [Formula: see text] obtained from [Formula: see text] and [Formula: see text]. It depends on a vanishing cohomology result, given with more generality in the Appendix.

In this article, we show that the localization of an extriangulated category by a multiplicative system satisfying mild assumptions can be equipped with a natural, universal structure of an extriangulated category. This construction unifies the Serre quotient of abelian categories and the Verdier quotient of triangulated categories. Indeed we give such a construction for a bit wider class of morphisms, so that it covers several other localizations appeared in the literature, such as Rump's localization of exact categories by biresolving subcategories, localizations of extriangulated categories by means of Hovey twin cotorsion pairs, and the localization of exact categories by two-sided admissibly percolating subcategories., 48 pages (v2: Results improved. Assumption in section 4 is weakened.)