English
Related papers

Related papers: Existentially Closed Brouwerian Semilattices

200 papers

A semibrick is a set of modules satisfying Schur's Lemma, and it is said to be maximal if it is not properly contained in another semibrick. For any finite dimensional algebra $\varLambda$ over an algebracally closed field $K$, we prove…

Representation Theory · Mathematics 2025-09-16 Sota Asai

In this paper we show that every locally finite quasivariety of MV-algebras is finitely generated and finitely based. To see this result we study critical MV-algebras. We also give axiomatizations of some of these quasivarieties.

Logic · Mathematics 2014-05-30 Joan Gispert , Antoni Torrens

By providing a procedure to apply Hrushovski's amalgamation method to the setting of classes of infinite structures, we introduce the notion of \textit{paracollapsed} structures. We show that this approach provides existentially closed…

Logic · Mathematics 2025-10-16 Somaye Jalili , Massoud Pourmahdian , Ali N. Valizadeh

A lattice is called well-rounded, if its lattice vectors of minimal length span the ambient space. We show that there are interesting connections between the existence of well-rounded sublattices and coincidence site lattices (CSLs).…

Metric Geometry · Mathematics 2012-10-03 Peter Zeiner

We study in detail the semi-infinite or BRST cohomology of general affine Lie algebras. This cohomology is relevant in the BRST approach to gauged WZNW models. We prove the existence of an infinite sequence of elements in the cohomology for…

High Energy Physics - Theory · Physics 2009-10-30 Stephen Hwang

We explore a way of finding the link between a non-Hermitian Hamiltonian and a Hermitian one. Based on the analysis of Bethe Ansatz solutions for a class of non-Hermitian Hamiltonians and the scattering problems for the corresponding…

Quantum Physics · Physics 2011-11-11 L. Jin , Z. Song

I shall describe a general model-theoretic task to construct expansions of pseudofinite structures and discuss several examples of particular relevance to computational complexity. Then I will present one specific situation where finding a…

Logic · Mathematics 2017-02-10 Jan Krajicek

We study normal finite abelian covers of smooth varieties. In particular we establish combinatorial conditions so that a normal finite abelian cover of a smooth variety is Gorenstein or locally complete intersection.

Algebraic Geometry · Mathematics 2007-05-23 Donatella Iacono

We prove that any symplectic resolution of the closure of a nilpotent orbit in a semi-simple complex Lie algebra is isomorphic to the collapsing of the cotangent bundle of a projective homogenous variety. Then we give a complete…

Algebraic Geometry · Mathematics 2015-06-26 Baohua Fu

This paper has been withdrawn by the authors due to a crucial computational error. In this paper we deal with the finite case. We prove that a finite bounded ordered set can be represented as the order of principal congruences of a finite…

Rings and Algebras · Mathematics 2013-04-02 G. Grätzer , E. T. Schmidt

We prove Breuil's lattice conjecture for higher Hodge-Tate weights in the case of $\mathrm{GL}_2(K)$ where $K$ is an unramified extension of $\mathbb{Q}_p$. More precisely, under some genericity conditions, we show that the lattice inside a…

Number Theory · Mathematics 2026-05-25 Hymn Chan

We study the algebras underlying solvable lattice models of the type fusion interaction round the face (IRF). We propose that the algebras are universal, depending only on the number of blocks, which is the degree of polynomial equation…

High Energy Physics - Theory · Physics 2020-01-29 Vladimir Belavin , Doron Gepner , Jian--Rong Li , Ran Tessler

It is known that certain theories with extended supersymmetry can be discretized in such a way as to preserve an exact fermionic symmetry. In the simplest model of this kind, we show that this residual supersymmetric invariance is actually…

High Energy Physics - Lattice · Physics 2009-11-10 Simon Catterall

We study the equational theory of the Weihrauch lattice with multiplication, meaning the collection of equations between terms built from variables, the lattice operations $\sqcup$, $\sqcap$, the product $\times$, and the finite…

Logic in Computer Science · Computer Science 2024-09-05 Eike Neumann , Arno Pauly , Cécilia Pradic

Does a space enjoying good finiteness properties admit an algebraic model with commensurable finiteness properties? In this note, we provide a rational homotopy obstruction for this to happen. As an application, we show that the maximal…

Algebraic Topology · Mathematics 2019-02-05 Stefan Papadima , Alexander I. Suciu

We construct an algebraic almost closed 1-form with zero scheme not expressible (even locally) as the critical locus of a holomorphic function on a nonsingular variety. The result answers a question of Behrend-Fantechi. We correct here an…

Algebraic Geometry · Mathematics 2014-08-06 R. Pandharipande , R. P. Thomas

For a finite real reflection group $W$ with Coxeter element $\gamma$ we give a uniform proof that the closed interval, $[I, \gamma]$ forms a lattice in the partial order on $W$ induced by reflection length. The proof involves the…

Combinatorics · Mathematics 2007-05-23 Thomas Brady , Colum Watt

In this paper we show that the set of closure relations on a finite poset P forms a supersolvable lattice, as suggested by Rota. Furthermore this lattice is dually isomorphic to the lattice of closed sets in a convex geometry (in the sense…

Combinatorics · Mathematics 2016-09-06 Michael Hawrylycz , Victor Reiner

For a $p$-permutation equivalence between two block algebras of finite groups, we introduce new square diagrams that link the $p$-permutation equivalence via the Brauer construction to local equivalences between stabilizers of corresponding…

Representation Theory · Mathematics 2025-12-23 Robert Boltje , John Revere McHugh

We characterize the big Ramsey degrees of free amalgamation classes in finite binary languages defined by finitely many forbidden irreducible substructures, thus refining the recent upper bounds given by Zucker. Using this characterization,…