相关论文: A note on regular De Morgan semi-Heyting algebras
Given a finite structure $M$ and property $p$, it is a natural to study the degree of satisfiability of $p$ in $M$; i.e. to ask: what is the probability that uniformly randomly chosen elements in $M$ satisfy $p$? In group theory, a…
We refine and advance the study of the local structure of idempotent finite algebras started in [A.Bulatov, The Graph of a Relational Structure and Constraint Satisfaction Problems, LICS, 2004]. We introduce a graph-like structure on an…
In this paper, we consider the singularity category $D_{sg}(\mod A)$ and the $\mathbb{Z}$-graded singularity category $D_{sg}(\mod^{\mathbb Z} A)$ for a Gorenstein monomial algebra $A$. Firstly, for a positively graded $1$-Gorenstein…
In this paper, we study Lagrangian submanifolds of the homogeneous nearly K\"ahler $6$-dimensional unit sphere $\mathbb{S}^6(1)$. As the main result, we derive a Simons' type integral inequality in terms of the second fundamental form for…
In this paper we introduce the notion of Poincar\'e DGCAs of Hodge type, which is a subclass of Poincar\'e DGCAs encompassing the de Rham algebras of closed orientable manifolds. Then we introduce the notion of the small algebra and the…
The goal of this paper is to prove Riemann-Roch type theorems for Deligne-Mumford algebraic stacks. To this end, we introduce a "cohomology with coefficients in representations" and a Chern character, and we prove a…
Profinite equations are an indispensable tool for the algebraic classification of formal languages. Reiterman's theorem states that they precisely specify pseudovarieties, i.e. classes of finite algebras closed under finite products,…
In this paper we propose a semiring-theoretic approach to MV-algebras based on the connection between such algebras and idempotent semirings - such an approach naturally imposing the introduction and study of a suitable corresponding class…
This is the first in a series of papers about foliations in derived geometry. After introducing derived foliations on arbitrary derived stacks, we concentrate on quasi-smooth and rigid derived foliations on smooth complex algebraic…
Let $R$ be a positively graded algebra over a field. We say that $R$ is Hilbert-cyclotomic if the numerator of its reduced Hilbert series has all of its roots on the unit circle. Such rings arise naturally in commutative algebra, numerical…
Two are the objectives of the present paper. First we study properties of a differentially simple commutative ring R with respect to a set D of derivations of R. Among the others we investigate the relation between the D-simplicity of R and…
Mixed-parity module emerges for instance when a de Rham Galois representation is being tensored with a square root of cyclotomic character, which produces half odd integers as the corresponding Hodge-Tate weights. We build the whole…
We continue our studies on semilattice ordered algebras. This time we accept constants in the type of algebras. We investigate identities satisfied by such algebras and describe the free objects in varieties of semilattice ordered algebras…
We construct a distributive algebraic lattice D that is not isomorphic to the congruence lattice of any lattice. This solves a long-standing open problem, traditionally attributed to R. P. Dilworth, from the forties. The lattice D has…
The first goal of this note is to study the Almansi property on an m-dimensional model in the sense of Greene and Wu and, more generally, in a Riemannian geometric setting. In particular, we shall prove that the only model on which the…
We give three proofs that valuation rings are derived splinters: a geometric proof using the absolute integral closure, a homological proof which reduces the problem to checking that valuation rings are splinters (which is done in the…
We show that for a Hecke pair $(G, \Gamma)$ the $C^*$-completions $C^*(L^1(G, \Gamma))$ and $pC^*(\bar{G})p$ of its Hecke algebra coincide whenever the group algebra $L^1(\bar{G})$ satisfies a spectral property which we call…
In 2012, the second author introduced and examined a new type of algebras as a generalization of De Morgan algebras. These algebras are of type (2,0) with one binary and one nullary operation satisfying two certain specific identities. Such…
We prove first-order convergence of semi-discrete monotone finite difference schemes for Hamilton--Jacobi equations on the Wasserstein space over a finite graph. A central challenge is the boundary degeneracy of the Wasserstein simplex,…
Given a finite connected graph $\Lambda$, the space of $SU(2)$ lattice gauge-fields on $\Lambda$, modulo gauge transformations, is a Lagrangian submanifold -- with mild singularities -- of the $SU(2)$ character variety (= phase-space of…