相关论文: Supertropical Monoids II: Lifts, Transmissions, an…

The existence of maximally supersymmetric solutions to heterotic string theory that are not toroidal compactifications of the ten-dimensional superstring is established. We construct an exact fermionic realization of an N=1 supersymmetric…

MSO transductions are binary relations between structures which are defined using monadic second-order logic. MSO transductions form a category, since they are closed under composition. We show that many notions from language theory, such…

We characterize some types of FIP and FCP ring extensions $R \subset S$, where $S$ is not an integral domain and $R$ may not be an integral domain. In this paper S is mostly a product of rings related to R and also the idealization of an…

We identify two seemingly disparate structures: supercharacters, a useful way of doing Fourier analysis on the group of unipotent uppertriangular matrices with coefficients in a finite field, and the ring of symmetric functions in…

Finitary/static semantics in the form of intersection type assignments have become a paradigm for analysing the fine structure of all sorts of lambda-models. The key step is the construction of a filter model isomorphic to a given…

The relationships between thin elements, commutative shells and connections in cubical omega-categories are explored by a method which does not involve the use of pasting theory or nerves of omega-categories (both of which were previously…

It is shown that, in the variety of ternary rings, the elements of amalgamated free products have unique normal forms, and, moreover, this variety satisfies the strong amalgamation property. Applying these statements, effective codescent…

Let $K$ be a field of characteristic $0$ and let $G$ and $H$ be connected commutative algebraic groups over $K$. Let $\text{Mor}_0(G,H)$ denote the set of morphisms of algebraic varieties $G \to H$ that map the neutral element to the…

In this note, we define the Burnside ring of a monoid, generalizing the construction for groups. After giving foundational definitions, we characterize transitive M-sets and their automorphisms, then prove a structure theorem for a broad…

Given a topological group G, its orbit category Orb_G has the transitive G-spaces G/H as objects and the G-equivariant maps between them as morphisms. A well known theorem of Elmendorf then states that the category of G-spaces and the…

A topological monoid is isomorphic to an endomorphism monoid of a countable structure if and only if it is separable and has a compatible complete ultrametric such that composition from the left is non-expansive. We also give a topological…

The first steps in defining tropicalization for spherical varieties have been taken in the last few years. There are two parts to this theory: tropicalizing subvarieties of homogeneous spaces and tropicalizing their closures in spherical…

Consider the following generalization of the bicyclic monoid. Let $\kappa$ be any infinite cardinal and let $\mathcal{IP\!F}\left(\sigma{\mathbb{N}^\kappa}\right)$ be the semigroup of all order isomorphisms between principal filters of the…

Approaching a two-component tip made of a superconductor (S) and a ferromagnet (F) from a magnetic sample allows for two distinct tunneling processes between the ferromagnets, through S: i) Charge and spin are conserved; ii) Charge and spin…

We outline the theory of reflections for prederivators, derivators and stable derivators. In order to parallel the classical theory valid for categories, we outline how reflections can be equivalently described as categories of fractions,…

This paper introduces categories of assemblies which are closely connected to realizability interpretations and which are based on an important subcategory of the effective topos. There is a list of properties which characterize these…

Orbits of automorphism groups of partially ordered sets are not necessarily congruence classes, i.e. images of an order homomorphism. Based on so-called orbit categories a framework of factorisations and unfoldings is developed that…

We write down charged macroscopic string solutions in type II string theories, compactified on torii, and present an explicit solution of the spinor Killing equations to show that they preserve 1/2 of the type II supersymmetries. The…

A generalized numerical semigroup is a submonoid $S$ of $\mathbb{N}^d$ with finite complement in it. We characterize isomorphisms between these monoids in terms of permutation of coordinates. Considering the equivalence relation that…

Let A be an associative algebra with identity over a field k. An atomistic subsemiring R of the lattice of subspaces of A, endowed with the natural product, is a subsemiring which is a closed atomistic sublattice. When R has no zero…