Related papers: Projectivity and isomorphisms of strictly simple a…

Given a pair of number fields with isomorphic rings of adeles, we construct bijections between objects associated to the pair. For instance we construct an isomorphism of Brauer groups that commutes with restriction. We additionally…

We give a characterisation of functors whose induced functor on the level of localisations is an equivalence and where the isomorphism inverse is induced by some kind of replacements such as projective resolutions or cofibrant replacements.

Main result: If a C*-algebra is simple, $\sigma$-unital, has finitely many extremal traces, and has strict comparison of positive elements by traces, then its multiplier also has strict comparison of positive elements by traces. The same…

Motivated by some problems proposed by Cuadra and Simson related to flat objects in finitely accessible Grothendieck categories, we study flatness in the more general setting of finitely accessible additive categories. For such category…

Universal algebraic geometry allows considering of geometric properties of every universal algebra. When two algebras have same algebraic geometry? We must consider the categories of algebraic closed sets of these algebras to answer this…

We show that a given set of first class constraints becomes abelian if one maps each constraint to the surface of other constraints. There is no assumption that first class constraints satisfy a closed algebra. The explicit form of the…

Over a field $F$ of any characteristic, for a commutative associative algebra $A$ with an identity element and for the polynomial algebra $F[D]$ of a commutative derivation subalgebra $D$ of $A$, the associative and the Lie algebras of Weyl…

We show how for every integer n one can explicitly construct n distinct plane quartics and one hyperelliptic curve over the complex numbers all of whose Jacobians are isomorphic to one another as abelian varieties without polarization. When…

In this paper we study categorical properties of the category of abelian hypergroups that leads to the notion of hyper (almost) preadditive and hyper (almost) abelian categories. Our goal is to create a path towards a general theory of…

Let $A$ and $B$ be abelian varieties defined over the function field $k(S)$ of a smooth algebraic variety $S/k.$ We establish criteria, in terms of restriction maps to subvarieties of $S,$ for existence of various important classes of…

In this paper, we generalise part of the theory of hereditary algebras to the context of prospecies of algebras. Here, a prospecies is a generalisation of Gabriel's concept of species gluing algebras via projective bimodules along a quiver…

A deductive system is structurally complete if its admissible inference rules are derivable. For several important systems, like modal logic S5, failure of structural completeness is caused only by the underivability of passive rules, i.e.…

We study Quillen's model category structure for homotopy of simplicial objects in the context of Janelidze, Marki and Tholen's semi-abelian categories. This model structure exists as soon as the base category A is regular Mal'tsev and has…

We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal…

Algebras defined over fields of characteristic zero and positive characteristic usually do not behave the same way. However, for certain algebras, for example the group algebras, they behave the same way as the characteristic zero case at…

We prove that the universal cover of a normal, projective variety X is quasi-projective if and only if a finite, \'etale cover of X is a fiber bundle over an Abelian variety with simply connected fiber.

In this paper, we study properties of maps between fibrant objects in model categories. We give a characterization of weak equivalences between fibrant object. If every object of a model category is fibrant, then we give a simple…

The algebraic cobordism group of a scheme is generated by cycles that are proper morphisms from smooth quasiprojective varieties. We prove that over a field of characteristic zero the quasiprojectivity assumption can be omitted to get the…

For each natural number $n$, we define a category whose objects are discriminant algebras in rank $n$, i.e. functorial means of attaching to each rank-$n$ algebra a quadratic algebra with the same discriminant. We show that the discriminant…

An important example of a model category is the category of unbounded chain complexes of R-modules, which has as its homotopy category the derived category of the ring R. This example shows that traditional homological algebra is…