English
Related papers

Related papers: A note on regular De Morgan semi-Heyting algebras

200 papers

We generalize a result of Galatius and Venkatesh which relates the graded module of cohomology of locally symmetric spaces to the graded homotopy ring of the derived Galois deformation rings, by removing certain assumptions, and in…

Number Theory · Mathematics 2021-08-31 Yichang Cai

The Cayley-Hamilton-Newton identities which generalize both the characteristic identity and the Newton relations have been recently obtained for the algebras of the RTT-type. We extend this result to a wider class of algebras M(R,F) defined…

Quantum Algebra · Mathematics 2009-10-31 A Isaev , O Ogievetsky , P Pyatov

The paper describes the algebraic structure of the graded algebra of differentially homogeneous polynomials of fixed finite order. We show that it is a finitely generated algebra, and we exhibit a minimal set of generators. Along the way,…

Algebraic Geometry · Mathematics 2024-10-24 Antoine Etesse

This article is concerned with homological properties of local or graded rings whose defining relations are monomials on some regular sequence. The main result of the article positively answers a question of Avramov for such a ring $R$.…

Commutative Algebra · Mathematics 2025-06-13 Benjamin Briggs , Eloísa Grifo , Josh Pollitz

A $\mathbb{D}$-semi-classical weight is one which satisfies a particular linear, first order homogeneous equation in a divided-difference operator $\mathbb{D}$. It is known that the system of polynomials, orthogonal with respect to this…

Classical Analysis and ODEs · Mathematics 2012-04-12 N. S. Witte

We construct a family of graded isomorphisms between certain subquotients of diagrammatic Cherednik algebras as the quantum characteristic, multicharge, level, degree, and weighting are allowed to vary; this provides new structural…

Representation Theory · Mathematics 2018-02-20 Christopher Bowman , Liron Speyer

It is a well known fact that Boolean algebras can be defined using only implication and a constant. In 2012, this result was extended to De Morgan algebras in [8] which led Sankappanavar to introduce, and investigate, the variety I of…

Logic · Mathematics 2015-09-30 Juan M. Cornejo , Hanamantagouda P. Sankappanavar

Let R be a commutative local noetherian ring. We prove that the existence of a chain of semidualizing R-complexes of length (d+1) yields a degree-d polynomial lower bound for the Bass numbers of R. We also show how information about certain…

Commutative Algebra · Mathematics 2009-05-07 Sean Sather-Wagstaff

We survey the state of the art on amalgamation in varieties of semilinear residuated lattices. Our discussion emphasizes two prominent cases from which much insight into the general picture may be gleaned: idempotent varieties and their…

Rings and Algebras · Mathematics 2024-08-01 Wesley Fussner , Simon Santschi

In "Centre of Core Regular Double Stone Algebra" (CRDSA), many useful results are shown that begin to indicate the nearly Boolean nature of CRDSA which we focus on here. We define the node set lattice through the well known binary…

Rings and Algebras · Mathematics 2018-09-25 Daniel J. Clouse

A standard monomial theory for Schubert varieties is constructed exploiting (1) the geometry of the Seshadri stratifications of Schubert varieties by their Schubert subvarieties and (2) the combinatorial LS-path character formula for…

Algebraic Geometry · Mathematics 2024-04-10 Rocco Chirivì , Xin Fang , Peter Littelmann

The goal of this paper is to offer a new construction of the de Rham-Witt complex of smooth varieties over perfect fields of characteristic $p>0$. We introduce a category of cochain complexes equipped with an endomorphism $F$ of underlying…

Algebraic Geometry · Mathematics 2020-02-20 Bhargav Bhatt , Jacob Lurie , Akhil Mathew

For a Dedekind domain $R$ with field of fractions $K$ a classical $R$-order in a semisimple $K$-algebra $A$ is an $R$-projective $R$-subalgebra $\Lambda$ of $A$ such that $K\Lambda=A$. We study differential graded $K$-algebras which are…

Rings and Algebras · Mathematics 2024-09-12 Alexander Zimmermann

We study splittings, or lack of them, in lattices of subvarieties of some logic-related varieties. We present a general lemma, the Non-Splitting Lemma, which when combined with some variety-specific constructions, yields each of our…

Logic · Mathematics 2025-09-16 Brian A. Davey , Tomasz Kowalski , Christopher J. Taylor

In this paper we prove the following results: $1)$ We show that any arithmetic quotient of a homogeneous space admits a natural real semi-algebraic structure for which its Hecke correspondences are semi-algebraic. A particularly important…

Algebraic Geometry · Mathematics 2020-06-24 Benjamin Bakker , Bruno Klingler , Jacob Tsimerman

The one-variable fragment of a first-order logic may be viewed as an "S5-like" modal logic, where the universal and existential quantifiers are replaced by box and diamond modalities, respectively. Axiomatizations of these modal logics have…

Logic · Mathematics 2024-11-20 Petr Cintula , George Metcalfe , Naomi Tokuda

In the theory of the Nil-DAHA Fourier transform, the inner products of q-Hermite polynomials for the measure function multiplied by a level one theta function are the key. They are used to obtain expansions of products of any number of such…

Quantum Algebra · Mathematics 2012-10-30 Ivan Cherednik , Boris Feigin

The Hodge algebra structures on the homogeneous coordinate rings of Grassmann varieties provide semi-toric degenerations of these varieties. In this paper we construct these semi-toric degenerations using quasi-valuations and triangulations…

Algebraic Geometry · Mathematics 2018-04-12 Xin Fang , Peter Littelmann

We prove the following result: Theorem. Every algebraic distributive lattice D with at most $\aleph\_1$ compact elements is isomorphic to the ideal lattice of a von Neumann regular ring R. (By earlier results of the author, the $\aleph\_1$…

General Mathematics · Mathematics 2007-05-23 Friedrich Wehrung

Perfect paradefinite algebras are De Morgan algebras expanded with an operation that allows for the full behavior of classical negation to be restored. They form a variety that is term-equivalent to the variety of involutive Stone algebras.…

Logic in Computer Science · Computer Science 2025-03-12 Vitor Greati , Sérgio Marcelino , João Marcos , Umberto Rivieccio
‹ Prev 1 4 5 6 7 8 10 Next ›