Related papers: Modal expansions of ririgs

We continue to develop a research line initiated in \cite{wollic22}, studying I/O logic from an algebraic approach based on subordination algebras. We introduce the classes of slanted (co-)Heyting algebras as equivalent presentations of…

Rigged configurations are combinatorial objects prominent in the study of solvable lattice models. Marginally large tableaux are semi-standard Young tableaux of special form that give a realization of the crystals ${\cal B}(\infty)$. We…

Motivated by the work of Kontsevich-Soibelman on the comparison of isomorphisms conjecture for closed algebraic $1$-forms, we establish a Riemann-Hilbert correspondence of Deligne-Malgrange type. As an application, we prove a variant of the…

This is the last in a series of papers where we prove a conjecture of Deser and Schwimmer regarding the algebraic structure of ``global conformal invariants''; these are defined to be conformally invariant integrals of geometric scalars.…

We develop polytopological semantics for various constructive, intuitionistic, and G\"odel--Dummett variations of $\mathsf{K4}$ and $\mathsf{S4}$. In our models, intuitionistic and modal operators are interpreted via various topologies over…

This is an exposition of our joint work with Kakde, Silliman, and Wang, in which we prove a version of Ribet's Lemma for $\mathrm{GL}_2$ in the residually indistinguishable case. We suppose we are given a Galois representation taking values…

Let k be an algebraically closed field, let R be an associative k-algebra, and let F = {M_a: a in I} be a family of orthogonal points in R-Mod such that End_R(M_a) = k for all a in I. Then Mod(F), the minimal full sub-category of R-Mod…

The general aim of this article is to study the negation fragment of classical logic within the framework of contemporary (Abstract) Algebraic Logic. More precisely, we shall find the three classes of algebras that are canonically…

We extend Milnor's mu-invariants of link homotopy to ordered (classical or virtual) tangles. Simple combinatorial formulas for mu-invariants are given in terms of counting trees in Gauss diagrams. Invariance under Reidemeister moves…

Let G be an arithmetic lattice in a semisimple algebraic group over a number field. We show that if G has the congruence subgroup property, then the number of n-dimensional irreducible representations of G grows like n^a, where a is a…

We propose two conjectures on a moduli theoretic approach to constructing Lagrangian subvarieties of hyperk\"ahler varieties arising from the Kuznetsov components of cubic fourfolds or Gushel--Mukai fourfolds. Then we verify the conjectures…

In this article, we present the symmetry group of a global slice Dirac operator and its iterated ones. Further, the explicit forms of intertwining operators of the iterated global slice Dirac operator are given. At the end, we introduce a…

Using particle-scale models to accurately describe property enhancements and phase transitions in macroscopic behavior is a major engineering challenge in composite materials science. To address some of these challenges, we use the graph…

Differential Linear Logic (DiLL) is a sequent calculus that expresses differentiation via symmetries between linear and non-linear formulas. In this paper, we express categorical models of DiLL as a pair of Grothendieck fibrations equipped…

We describe an explicit version of Hilbert's irreducibility theorem using a generalization of Gallagher's larger sieve. We give applications to the Galois theory of random polynomials, and to the images of the adelic representation…

In the present paper, the existence and multiplicity problems of extensions are addressed. The focus is on extension of the stable type. The main result of the paper is an elegant characterization of the existence and multiplicity of…

The focus of this article is to develop computationally efficient mathematical morphology operators on hypergraphs. To this aim we consider lattice structures on hypergraphs on which we build morphological operators. We develop a pair of…

We propose a procedure which allows one to construct local symmetry generators of general quadratic Lagrangian theory. Manifest recurrence relations for generators in terms of so-called structure matrices of the Dirac formalism are…

We construct shifted symplectic derived enhancements on rigidified moduli spaces of sheaves on Calabi-Yau varieties of dimension at least two. More generally, we prove that any $B\mathbb{G}_m$-action on a non-positively-shifted symplectic…

There is a family of constructions to produce orthomodular structures from modular lattices, lattices that are M and M*-symmetric, relation algebras, the idempotents of a ring, the direct product decompositions of a set or group or…