Related papers: Four negations and the spectral presheaf
We provide the spectral expansion in a weighted Hilbert space of a substantial class of invariant non-self-adjoint and non-local Markov operators which appear in limit theorems for positive-valued Markov processes. We show that this class…
Firstly, we introduce a notion of anti-pre-Novikov algebras as a new framework for decomposing Novikov algebras. Anti-O-operators on Novikov algebras are developed to provide an algebraic framework for constructing anti-pre-Novikov…
Borcherds algebras represent a new class of Lie algebras which have almost all the properties that ordinary Kac-Moody algebras have, and the only major difference is that these generalized Kac-Moody algebras are allowed to have imaginary…
We prove the relative Grauert-Riemenschneider vanishing, Kawamata-Viehweg vanishing, and Koll\'ar injectivity theorems for proper morphisms of schemes of equal characteristic zero, solving conjectures of Boutot and Kawakita. Our proof uses…
A coloured braid group representation (CBGR) is constructed with the help of some modified universal ${\cal R}$-matrix, associated to $U_q(gl(2))$ quantised algebra. Explicit realisation of Faddeev-Reshetikhin-Takhtajan (FRT) algebra is…
In the formulation of his celebrated Formality conjecture, M. Kontsevich introduced a universal version of the deformation theory for the Schouten algebra of polyvector fields on affine manifolds. This universal deformation complex takes…
The structure of a complete lattice formed by closed linear subspaces of a Hilbert space (i.e., a Hilbert lattice) entails some unreasonable consequences from the physical point of view. Specifically, this structure seems to contradict to…
In this paper we study the representation theory for certain ``half lattice vertex algebras.'' In particular we construct a large class of irreducible modules for these vertex algebras. We also discuss how the representation theory of these…
Following A. Kuznetsov's outline, we restore Kuznetsov's syntactic proof of the assertoric equipollence of the intuitionistic propositional calculus and the proof-intuitionistic calculus KM (Kuznetsov's Theorem). Then, we show that this…
Kozen and Tiuryn have introduced the substructural logic $\mathsf{S}$ for reasoning about correctness of while programs (ACM TOCL, 2003). The logic $\mathsf{S}$ distinguishes between tests and partial correctness assertions, representing…
In this paper we define two Lie operations, and with that we define the bicharacter algebras, Nichols bicharacter algebras, quantum Nichols bicharacter algebras, etc. We obtain explicit bases for $\mathfrak L(V)${\tiny $_{R}$} and…
Weakly dicomplemented lattices are bounded lattices equipped with two unary operations to encode a negation on {\it concepts}. They have been introduced to capture the equational theory of concept algebras \cite{Wi00}. They generalize…
This paper introduces an algebra structure on the part of the skein module of an arbitrary $3$-manifold $M$ spanned by links that represent $0$ in $H_1(M;\mathbb{Z}_2)$ when the value of the parameter used in the Kauffman bracket skein…
We study abstract intermediate justification logics, that is arbitrary intermediate propositional logics extended with a subset of specific axioms of (classical) justification logics. For these, we introduce various semantics by combining…
We offer the proofs that complete our article introducing the propositional calculus called semi-intuitionistic logic with strong negation.
Given a complete Heyting algebra we construct an algebraic tensor triangulated category whose Bousfield lattice is the Booleanization of the given Heyting algebra. As a consequence we deduce that any complete Boolean algebra is the…
We compute the factorisation homology of the four-punctured sphere and punctured torus over the quantum group $\mathcal{U}_q(\mathfrak{sl}_2)$ explicitly as categories of equivariant modules using the framework of `Integrating Quantum…
We study non-counital coalgebras and their dual non-unital algebras, and introduce the finite dual of a non-unital algebra. We show that a theory that parallels in good part the duality in the unital case can be constructed. Using this, we…
The representation theory of 0-Hecke-Clifford algebras as a degenerate case is not semisimple and also with rich combinatorial meaning. Bergeron et al. have proved that the Grothendieck ring of the category of finitely generated…
We give the first examples of rationally inessential but macroscopically large manifolds. Our manifolds are counterexamples to the Dranishnikov rationality conjecture. For some of them we prove that they do not admit a metric of positive…