Related papers: $C^\infty$-superrings and $C^\infty$-superschemes

We introduce the notion of a topological higher-rank graph, a unified generalization of the higher-rank graph and the topological graph. Using groupoid techniques, we define the Toeplitz and Cuntz-Krieger algebras of topological higher-rank…

We prove a Tannaka duality theorem for $(\infty,1)$-categories. This is a duality between certain derived group stacks, or more generally certain derived gerbes, and symmetric monoidal $(\infty,1)$-categories endowed with particular…

In a previous paper [1] [MR4101040], we initiated a systematic study of semihypergroups and had a thorough discussion about some important analytic and algebraic objects associated to this class of objects. In this paper, we investigate…

We study the properties of F-rationality and F-regularity in multigraded rings and their diagonal subalgebras. The main focus is on diagonal subalgebras of bigraded rings: these constitute an interesting class of rings since they arise…

We present in this work a systematic study of integrable models and supersymmetric extensions of the Gelfand-Dickey algebra of pseudo differential operators. We describe in detail the relation existing between the algebra of super…

This is an expended and revised version of the preprint "Schematization of homotopy types". The purpose of this work is to introduce a notion of \emph{affine stacks}, which is a homotopy version of the notion of affine schemes, and to give…

We propose a new class of algebraic structure named as \emph{$(m,n)$-semihyperring} which is a generalization of usual \emph{semihyperring}. We define the basic properties of $(m,n)$-semihyperring like identity elements, weak distributive…

In the second section, we introduce hemiring-valued pseudonormed rings and generalize Albert's result which states that every finite-dimensional algebra can be normed. Next, we introduce shrinkable hemirings and prove that dense division…

We present a uniform theory of constructible sheaves on arbitrary schemes with coefficients in topological or even condensed rings. This is accomplished by defining lisse sheaves to be the dualizable objects in the derived infinity-category…

We study how the number $c(X)$ of components of a graph $X$ can be expressed through the number and properties of the components of a quotient graph $X/\sim.$ We partially rely on classic qualifications of graph homomorphisms such as…

We show that if two rings have equivalent derived categories then they have the same algebraic K-theory. Similar results are given for G-theory, and for a large class of abelian categories.

We prove that strongly homotopy algebras (such as $A_\infty$, $C_\infty$, sh Lie, $B_\infty$, $G_\infty$,...) are homotopically invariant in the category of chain complexes. An important consequence is a rigorous proof that `strongly…

For a class of affine algebraic groups $\mathcal C$ over a field, we define the notions of $\mathcal C$-fundamental gerbe of a fibered category, generalizing what we had done in arXiv:1204.1260 for finite group schemes. We give sufficient…

We give a classification of semisimple and separable algebras in a multi-fusion category over an arbitrary field in analogy to Wedderben-Artin theorem in classical algebras. It turns out that, if the multi-fusion category admits a…

We prove a Slice Theorem around closed leaves in a singular Riemannian foliation, and we use it to study the $C^\infty$-algebra of smooth basic functions, generalizing to the inhomogeneous setting a number of results by G.~Schwarz. In…

We introduce a new foundation rank based in the relation of dividing between partial types. We call DU to this rank. We also introduce a new way to define the D rank over formulas as a foundation rank. In this way, SU, DU and D are…

We describe a class of $C^*$-algebras which simultaneously generalise the ultragraph algebras of Tomforde and the shift space $C^*$-algebras of Matsumoto. In doing so we shed some new light on the different $C^*$-algebras that may be…

We determine when an arithmetic subgroup of a reductive group defined over a global function field is of type FP_\infty by comparing its large-scale geometry to the large-scale geometry of lattices in real semisimple Lie groups.

We provide a mathematically rigorous framework for supersymmetric fermion lattice systems. We construct supersymmetric C*-dynamics in terms of a nilpotent superderivation and a one-parameter group of automorphisms on the CAR-algebra. (We do…

We prove that for any finite-dimensional differential graded algebra with separable semisimple part the category of perfect modules is equivalent to a full subcategory of the category of perfect complexes on a smooth projective scheme with…