Related papers: Facets of module theory over semirings

We reconsider a classical theorem by Bican and El Bashir, which guarantees the existence of non-trivial relatively pure submodules in a module category over a ring with unit. Our aim is to generalize the theorem to module categories over…

The main purpose of this paper is to investigate the zero-divisors of semigroups with zero and semirings and in particular, to discuss eversible and reversible semigroups and semirings. We also introduce a new ring-like algebraic structure…

Computational effects are commonly modelled by monads, but often a monad can be presented by an algebraic theory of operations and equations. This talk is about monads and algebraic theories for languages for inference, and their…

We classify equivariant topological complex vector bundles over real projective plane under a compact Lie group (not necessarily effective) action. It is shown that nonequivariant Chern classes and isotropy representations at (at most)…

To every covering of curves, we associate several varieties having the same field of moduli and same fields of definition. We deduce examples of curves having Q (the field of rationals) as field of moduli, that admit models over any…

We show that, with some technical conditions, an abelian category can be embedded into the category of bimodules over a ring. The case of semisimple rigid monoidal categories is studied in more detail.

We present a geometric model for the category of vector bundles over the weighted projective line of type (2,2,n). This model is based on the orbit space of an infinite marked strip under a specific group action. We establish a bijection…

In this paper, we introduce the category of blueprints, which is a category of algebraic objects that include both commutative (semi)rings and commutative monoids. This generalization allows a simultaneous treatment of ideals resp.\…

Let $\mathcal C$ be a smooth irreducible projective curve over the complex numbers and let $G$ be a simple simply-connected complex algebraic group. Let $\mathfrak M=\mathfrak M(G,\mathcal C)$ be the moduli space of semistable principal…

In this paper, we introduce and study e-injective semimodules, in particular over additively idempotent semirings. We completely characterize semirings all of whose semimodules are e-injective, describe semirings all of whose projective…

The purpose of this paper is to extend the Donaldson-Corlette theorem to the case of vector bundles over cell complexes. We define the notion of a vector bundle and a Higgs bundle over a complex, and describe the associated Betti, de Rham…

Congruences on a graph inverse semigroup were recently described in terms of the underline graph. Based on such descriptions, we show that the lattice of congruences on a graph inverse semigroup is upper semimodular but not lower…

This note offers an unusual approach of studying a class of modules inasmuch as it is investigating a subclass of the category of modules over a valuation domain. This class is far from being a full subcategory, it is not even a category.…

We show that the classic Verlinde numbers on the moduli space of semistable vector bundles on a smooth projective curve can also be regarded as Segre numbers of natural universal complexes over the moduli space.

We develop a ready-to-use comprehensive theory for (super) 2-vector bundles over smooth manifolds. It is based on the bicategory of (super) algebras, bimodules, and intertwiners as a model for 2-vector spaces. We discuss symmetric monoidal…

We describe the derived Picard groups and two-term silting complexes for quasi-hereditary algebras with two simple modules. We also describe by quivers with relations all algebras derived equivalent to a quasi-hereditary algebra with two…

It was noticed recently that, given a metric space $(X,d_X)$, the equivalence classes of metrics on the disjoint union of the two copies of $X$ coinciding with $d_X$ on each copy form an inverse semigroup $M(X)$ with respect to…

In this paper, we introduce and investigate a new notion of exact sequences of semimodules over semirings relative to the canonical image factorization. Several homological results are proved using the new notion of exactness including some…

Let $G$ be an algebraic group and let $X$ be a smooth $G$-variety with two orbits: an open orbit and a a closed orbit of codimension $1$. We give an algebraic description of the category of $G$-equivariant vector bundles on $X$ under a mild…

This note is an attempt to generalize Bolibruch's theorem from the projective line to curves of higher genus. We show that an irreducible representation of the fundamental group of an open in a curve of higher genus has always a…