Related papers: A note on regular De Morgan semi-Heyting algebras
We extend to pairs classical results of R. Elkik on lifting of homomorphisms and algebraization. In particular, we establish algebraization of an affine rig-smooth formal variety with a rig-smooth closed subvariety. This solves…
In this paper we generalize the well known relation between Heyting algebras and Nelson algebras in the framework of subresiduated lattices. In order to make it possible, we introduce the variety of subresiduated Nelson algebras. The main…
We study a scheme M closely related to the set of pairs of n by n-matrices with rank 1 commutator. We show that M is a reduced complete intersection with n+1 irreducible components, which we describe. There is a distinguished Lagrangian…
In this article, we study geometric aspects of semi-arithmetic Riemann surfaces by means of number theory and hyperbolic geometry. First, we show the existence of infinitely many semi-arithmetic Riemann surfaces of various shapes and prove…
The aim of this paper is to study the behavior of Hodge-theoretic (intersection homology) genera and their associated characteristic classes under proper morphisms of complex algebraic varieties. We obtain formulae that relate (parametrized…
The aim of this note, which raises more questions than it answers, is to study natural operations acting on the cohomology of various types of algebras. It contains a lot of very surprising partial results and examples.
It is known that exactly eight varieties of Heyting algebras have a model-completion, but no concrete axiomatisation of these model-completions were known by now except for the trivial variety (reduced to the one-point algebra) and the…
Let $G=\C^{n}\ltimes_{\phi} \C^{m}$ with a semi-simple action $\phi: \C^{n}\to GL_{m}(\C)$ (not necessarily holomorphic). Suppose $G$ has a lattice $\Gamma$. Then we show that in some conditions on $G$ and $\Gamma$, $G/\Gamma$ admits a…
We study the finite basis problem for additively idempotent semirings satisfying the identity $xy \approx xz$. Let $\mathbf{R}$ denote the variety of all such semirings. Yue et al. (2025, Algebra Universalis, DOI:10.1007/s00012-025-00908-5)…
In this paper, we introduce Gram matrices for the signed partition algebras, the algebra of $\mathbb{Z}_2$-relations and the partition algebras. We prove that the Gram matrix is similar to a matrix which is a direct sum of block…
Let X be a smooth complex algebraic variety. Morgan [Mor78] showed that the rational homotopy type of X is a formal consequence of the differential graded algebra defined by the first term of its weight spectral sequence. In the present…
We introduce a class of real algebraic varieties characterised by a simple rationality condition, which exhibit strong properties regarding approximation of continuous and smooth mappings by regular ones. They form a natural counterpart to…
We show that the algebraic K-theory of semi-valuation rings with stably coherent regular semi-fraction ring satisfies homotopy invariance. Moreover, we show that these rings are regular if their valuation is non-trivial. Thus they yield…
In this paper, we show that the deformed Hermitian Yang-Mills (dHYM) equation on a rational homogeneous variety, equipped with any invariant K\"{a}hler metric, always admits a solution. In particular, we describe the Lagrangian phase, with…
We study perfect crystals for the standard modules of the affine Lie algebra $A_1^{(1)}$ at all levels using the theory of multi-grounded partitions. We prove a family of partition identities which are reminiscent of the Andrews-Gordon…
It is proved that every finitely subdirectly irreducible De Morgan monoid A (with neutral element e) is either (i) a Sugihara chain in which e covers not(e) or (ii) the union of an interval subalgebra [not(a), a] and two chains of…
We know that semi-regular sub-varieties satisfy the variational Hodge conjecture i.e., given a family of smooth projective varieties $\pi:\mathcal{X} \to B$, a special fiber $\mathcal{X}_o$ and a semi-regular subvariety $Z \subset…
$\nabla$-algebra is a natural generalization of Heyting algebra, unifying many algebraic structures including bounded lattices, Heyting algebras, temporal Heyting algebras and the algebraic presentation of the dynamic topological systems.…
On a (pseudo-)Riemannian manifold (MM,g), some fields of endomorphisms i.e. sections of End(TMM) may be parallel for g. They form an associative algebra A, which is also the commutant of the holonomy group of g. As any associative algebra,…
We exhibit explicit orthogonal decompositions of every multidimensional restricted root space of a real semi-simple Lie algebra. We then show a link between this result and a radiality property of smooth functions on G-homogeneous spaces…