Related papers: New Results on Congruence Boolean Lifting Property
In 1990, Beilinson-Lusztig-MacPherson (BLM) discovered a realization \cite[5.7]{BLM} for quantum $\frak{gl}_n$ via a geometric setting of quantum Schur algebras. We will generailze their result to the classical affine case. More precisely,…
We use mass formulas to construct minimal parabolic Eisenstein congruences for algebraic modular forms on reductive groups compact at infinity, and study when these yield congruences between cusp forms and Eisenstein series on the…
A commutative associative algebra A with an identity over the field of real numbers which has a basis, where all elements are invertible, is considered in the work. Moreover, among matrixes consisting of the structure constants of A, there…
A planar semimodular lattice $K$ is \emph{slim} if $\mathsf{M}_{3}$ is not a sublattice of~$K$. In a recent paper, G. Cz\'edli found four new properties of congruence lattices of slim, planar, semimodular lattices, including the \emph{No…
We compute the geometric part of algebraic cobordism over Dedekind domains of mixed characteristic after inverting the positive residue characteristics and prove cases of a Conjecture of Voevodsky relating this geometric part to the Lazard…
We present constructive versions of Krull's dimension theory for commutative rings and distributive lattices. The foundations of these constructive versions are due to Joyal, Espa\~nol and the authors. We show that the notion of Krull…
In this note we show, roughly speaking, that if $\mathcal{B}$ is a Boolean algebra included in the natural way in the collection $\mathcal{D}/_\sim$ of all equivalence classes of natural density sets of the natural numbers, modulo null…
In this paper, we develop some foundations for a theory of algebraic varieties of congruences on commutative semirings. By studying the structure of congruences, firstly, we show that the spectrum $ \text{Spec}^{c}(A) $ consisting of prime…
The Integrated Completed Likelihood (ICL) criterion has been proposed by Biernacki et al. (2000) in the model-based clustering framework to select a relevant number of classes and has been used by statisticians in various application areas.…
This paper studies the multiplicative ideal structure of commutative rings in which every finitely generated ideal is quasi-projective. Section 2 provides some preliminaries on quasi-projective modules over commutative rings. Section 3…
We define the notion of a $G$-structure for elliptic curves, where $G$ is a finite 2-generated group. When $G$ is abelian, a $G$-structure is the same as a classical congruence level structure. There is a natural action of…
The main source of inspiration for the present paper is the work of R. Rosebrugh and R.J. Wood on constructive complete distributive lattices where the authors employ elegantly the concepts of adjunction and module in their study of ordered…
We start with a curve over an algebraically closed ground field of positive characteristic $p>0$. By using specialization techniques, under suitable natural coprimality conditions, we prove a cohomological Simpson Correspondence between the…
We study homeomorphisms of tiling spaces with finite local complexity (FLC), of which suspensions of $d$-dimensional subshifts are an example, and orbit equivalence of tiling spaces with (possibly) infinite local complexity (ILC). In the…
Localisation is an important technique in ring theory and yields the construction of various rings of quotients. Colocalisation in comodule categories has been investigated by some authors where the colocalised coalgebra turned out to be a…
A $C^*$-algebra $A$ is said to have the homotopy lifting property if for all $C^*$-algebras $B$ and $E$, for every surjective $^*$-homomorphism $\pi \colon E \rightarrow B$ and for every $^*$-homomorphism $\phi \colon A \rightarrow E$, any…
We show that the de Rham complex of any almost Hermitian manifold carries a natural commutative $BV_\infty$-algebra structure satisfying the degeneration property. In the almost K\"ahler case, this recovers Koszul's BV-algebra, defined for…
We use compactifications of C*-algebras to introduce noncommutative coarse geometry. We transfer a noncommutative coarse structure on a C*-algebra with an action of a locally compact Abelian group by translations to Rieffel deformations and…
The notion of a congruence pair for principal MS-algebras, simpler than the one given by Beazer for $K_2$-algebras \cite{6}, is introduced. It is proved that the congruences of the principal MS-algebras $L$ correspond to the MS-congruence…
We study coalgebraic modal logic to characterise behavioural equivalence in the presence of side effects, i.e., when coalgebras live in a (co)Kleisli or an Eilenberg-Moore category. Our aim is to develop a general framework based on indexed…