-
arXiv:2411.11428 [pdf, ps, other]
Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking
Abstract: The work described in this paper builds on the polyhedral semantics of the Spatial Logic for Closure Spaces (SLCS) and the geometric spatial model checker PolyLogicA. Polyhedral models are central in domains that exploit mesh processing, such as 3D computer graphics. A discrete representation of polyhedral models is given by cell poset models, which are amenable to geometric spatial model checking… ▽ More
Submitted 6 June, 2025; v1 submitted 18 November, 2024; originally announced November 2024.
Comments: arXiv admin note: text overlap with arXiv:2404.06131
MSC Class: 68N30 Mathematical aspects of software engineering (specification; verification; metrics; requirements; etc.)
-
arXiv:2405.13802 [pdf, ps, other]
An explicit Kuznetsov-Muravitsky enrichment
Abstract: An embedding of arbitrary Heyting algebra H into a reduct from the variety of Kuznetsov-Muravitsky algebras is constructed. An algebraic proof is given that this reduct belongs to the variety of Heyting algebras generated by H.
Submitted 22 May, 2024; originally announced May 2024.
MSC Class: 03G25; 05B20; 06D20
-
Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta -- Extended Version
Abstract: In the context of spatial logics and spatial model checking for polyhedral models -- mathematical basis for visualisations in continuous space -- we propose a weakening of simplicial bisimilarity. We additionally propose a corresponding weak notion of $\pm$-bisimilarity on cell-poset models, a discrete representation of polyhedral models. We show that two points are weakly simplicial bisimilar iff… ▽ More
Submitted 9 April, 2024; originally announced April 2024.
-
arXiv:2104.05961 [pdf, ps, other]
A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras
Abstract: We show that there exist (continuum many) varieties of bi-Heyting algebras that are not generated by their complete members. It follows that there exist (continuum many) extensions of the Heyting-Brouwer logic $\mathsf{HB}$ that are topologically incomplete. This result provides further insight into the long-standing open problem of Kuznetsov by yielding a negative solution of the reformulation of… ▽ More
Submitted 13 April, 2021; originally announced April 2021.
MSC Class: 03B55; 06D20; 06D22; 03B45; 06E15
-
Normal forms of nilpotent elements in semisimple Lie algebras
Abstract: We find the normal form of nilpotent elements in semisimple Lie algebras that generalizes the Jordan normal form in $\mathfrak{sl}_N$, using the theory of cyclic elements.
Submitted 28 June, 2021; v1 submitted 27 February, 2021; originally announced March 2021.
MSC Class: 17B05; 17B20; 17B25; 20G05; 20G41
-
Integrable triples in semisimple Lie algebras
Abstract: We classify all integrable triples in simple Lie algebras, up to equivalence. The importance of this problem stems from the fact that for each such equivalence class one can construct the corresponding integrable hierarchy of bi-Hamiltonian PDE. The simplest integrable triple $(f,0,e)$ in $\mathfrak{sl}_2$ corresponds to the KdV hierarchy, and the triple $(f,0,e_θ)$, where $f$ is the sum of negati… ▽ More
Submitted 8 January, 2021; v1 submitted 23 December, 2020; originally announced December 2020.
-
arXiv:2007.01244 [pdf, ps, other]
Integrability of classical affine W-algebras
Abstract: We prove that all classical affine W-algebras W(g,f), where g is a simple Lie algebra and f is its non-zero nilpotent element, admit an integrable hierarchy of bi-Hamiltonian PDEs, except possibly for one nilpotent conjugacy class in G_2, one in F_4, and five in E_8.
Submitted 26 January, 2021; v1 submitted 2 July, 2020; originally announced July 2020.
Comments: 18 pages
-
arXiv:2001.11060 [pdf, ps, other]
Diego's Theorem for nuclear implicative semilattices
Abstract: We prove that the variety of nuclear implicative semilattices is locally finite, thus generalizing Diego's Theorem. The key ingredients of our proof include the coloring technique and construction of universal models from modal logic. For this we develop duality theory for finite nuclear implicative semilattices, generalizing Köhler duality. We prove that our main result remains true for bounded n… ▽ More
Submitted 29 January, 2020; originally announced January 2020.
Comments: 40 pages, 11 figures
MSC Class: 06A12; 06A07; 06D20; 03B45; 06D22; 03B55; 03G10
-
arXiv:1910.02716 [pdf, ps, other]
On certain class of Leibniz algebras
Abstract: A Ronco algebra is a Leibniz algebra satisfying the identity: $$[[x,x],y]=0.$$ Based on properties of Leibniz homology, we give a proof an old and unpublished result of María Ronco, which describes free objects in these class of algebras. We also establish a relationship between Ronco algebras and so called Lie $μ$-algebras extending our previous result.
Submitted 7 October, 2019; originally announced October 2019.
MSC Class: 17A32
-
Semisimple cyclic elements in semisimple Lie algebras
Abstract: This paper is a continuation of the theory of cyclic elements in semisimple Lie algebras, developed by Elashvili, Kac and Vinberg. Its main result is the classification of semisimple cyclic elements in semisimple Lie algebras. The importance of this classification stems from the fact that each such element gives rise to an integrable hierarchy of Hamiltonian PDE of Drinfeld-Sokolov type.
Submitted 7 January, 2020; v1 submitted 22 July, 2019; originally announced July 2019.
MSC Class: 17B08; 17B20; 17B25; 17B80; 17C40; 17D10; 17D30
-
arXiv:1807.02868 [pdf, ps, other]
Modal logic of planar polygons
Abstract: We study the modal logic of the closure algebra $P_2$, generated by the set of all polygons in the Euclidean plane $\mathbb{R}^2$. We show that this logic is finitely axiomatizable, is complete with respect to the class of frames we call "crown" frames, is not first order definable, does not have the Craig interpolation property, and its validity problem is PSPACE-complete.
Submitted 8 July, 2018; originally announced July 2018.
-
On Dynkin gradings in simple Lie algebras
Abstract: In this paper we study gradings on simple Lie algebras arising from nilpotent elements. Specifically, we investigate abelian subalgebras which are degree 1 homogeneous with respect to these gradings. We show that for each odd nilpotent element there always exists canonically associated "strictly" odd nilpotent element, which allows us to reduce our investigations to the latter.
Submitted 17 May, 2020; v1 submitted 3 June, 2018; originally announced June 2018.
MSC Class: 17B08; 17B10; 17B20; 17B22; 17B25; 17B70; 17B80
-
arXiv:1310.0783 [pdf, ps, other]
Some explicit expressions concerning formal group laws
Abstract: This paper provides some explicit expressions concerning the formal group laws of the Brown-Peterson cohomology, the cohomology theory obtained from Brown-Peterson theory by killing all but one Witt symbol, the Morava $K$-theory and the Abel cohomology.
Submitted 22 February, 2014; v1 submitted 2 October, 2013; originally announced October 2013.
Comments: 11 pages
MSC Class: 55N20; 55N22; 55-04
Journal ref: Jun 2016 | GEORGIAN MATHEMATICAL JOURNAL 23 (2) , pp.157-167
-
arXiv:1102.3378 [pdf, ps, other]
K^*(BG) rings for groups $G=G_{38},...,G_{41}$ of order 32
Abstract: B. Schuster \cite{SCH1} proved that the $mod$ 2 Morava $K$-theory $K(s)^*(BG)$ is evenly generated for all groups $G$ of order 32. For the four groups $G$ with the numbers 38, 39, 40 and 41 in the Hall-Senior list \cite{H}, the ring $K(2)^*(BG)$ has been shown to be generated as a $K(2)^*$-module by transferred Euler classes. In this paper, we show this for arbitrary $s$ and compute the ring struc… ▽ More
Submitted 26 November, 2013; v1 submitted 16 February, 2011; originally announced February 2011.
Comments: 23 pages
MSC Class: 55R20; 55R12; 55R40
-
arXiv:1101.2918 [pdf, ps, other]
Cohomology with coefficients in stacks of Picard categories
Abstract: Cohomology of a topological space with coefficients in stacks of abelian 2-groups is considered. A 2-categorical analog of the theorem of Grothendieck is proved, relating cohomology of the space with coefficients in a 2-stage spectrum and the Ext groups of appropriate stacks.
Submitted 28 June, 2011; v1 submitted 14 January, 2011; originally announced January 2011.
MSC Class: 55U99; 55N30; 18G15; 18G60; 14F05
-
arXiv:1008.3135 [pdf, ps, other]
Unimodularity of Poincare polynomials of Lie algebras for semisimple singularities
Abstract: We single out a large class of semisimple singularities with the property that all roots of the Poincaré polynomial of the Lie algebra of derivations of the corresponding suitably (not necessarily quasihomogeneously) graded moduli algebra lie on the unit circle; for a still larger class there might occur exactly four roots outside the unit circle.
Submitted 18 August, 2010; originally announced August 2010.
MSC Class: 32S10
Journal ref: Moscow Mathematical Journal, 7 (3) 2007, p. 481-487
-
Categorical rings subsume ann-categories
Abstract: The article has been withdrawn - the proof of the final corollary turned out to rely on an unproven statement. If the authors will manage to repair the argument, resubmission will be made.
Submitted 25 March, 2009; v1 submitted 21 March, 2009; originally announced March 2009.
Comments: Article withdrawn
MSC Class: 18D10; 18G99; 55U99
-
arXiv:0809.2627 [pdf, ps, other]
Dualization of the Hopf algebra of secondary cohomology operations and the Adams spectral sequence
Abstract: We describe the dualization of the algebra of secondary cohomology operations in terms of generators extending the Milnor dual of the Steenrod algebra. In this way we obtain explicit formulae for the computation of the E_3-term of the Adams spectral sequence converging to the stable homotopy groups of spheres.
Submitted 19 December, 2010; v1 submitted 15 September, 2008; originally announced September 2008.
Comments: 101 pages
MSC Class: 18G10; 55T15; 55S20 (Primary); 55U99; 18D05; 18G25; 18G40 (Secondary)
-
arXiv:math/0608519 [pdf, ps, other]
Third Mac Lane cohomology via categorical rings
Abstract: It is proved that the third Mac Lane cohomology group of a ring R with coefficients in a bimodule B classifies categorical rings having R as the ring of isomorphism classes of objects and B as the bimodule of automorphisms of the neutral object.
Submitted 21 August, 2006; originally announced August 2006.
MSC Class: 18G60; 16E40
-
arXiv:math/0604447 [pdf, ps, other]
Third Mac Lane cohomology
Abstract: Based on the computation of the third author we obtain an interpretation of the third Mac Lane cohomology of rings using certain kind of crossed extensions of rings in the quadratic world. Actually we obtain two such interpretations corresponding to the two monoidal structures on the category of square groups
Submitted 2 May, 2006; v1 submitted 20 April, 2006; originally announced April 2006.
MSC Class: 19D55; 18H15; 18D05; 55P43
-
arXiv:math/0601777 [pdf, ps, other]
Quadratic algebra of square groups
Abstract: There is a long-standing problem of algebra to extend the symmetric monoidal structure of abelian groups, given by the tensor product, to a non abelian setting. In this paper we show that such an extension is possible. Morover our non abelian tensor product remains even right exact and balanced. We describe the new non-abelian tensor product in the context of quadratic algebra which extends line… ▽ More
Submitted 31 January, 2006; originally announced January 2006.
MSC Class: 18D10; 18G50; 55Q9
-
arXiv:math/0504599 [pdf, ps, other]
Quadratic envelope of the category of class two nilpotent groups
Abstract: We exhibit an extension of the category of class two nilpotent groups. It has the same objects but, unlike the latter, its morphisms are closed under pointwise addition of maps. At the same time the class of its morphisms is much smaller than the class of all maps. In fact, the morphisms are quadratic maps of very special kind. It is indicated that classification of various class two nilpotent g… ▽ More
Submitted 29 April, 2005; originally announced April 2005.
Comments: 30 pages
MSC Class: 20E99; 20J06; 18B99 (Primary) 18G50; 20F18; 20F40 (Secondary)
-
arXiv:math/0407045 [pdf, ps, other]
Computation of the E_3-term of the Adams spectral sequence
Abstract: An algorithm is described giving effective determination of the second differential in the Adams spectral sequence. The algorithm is based on the notion of secondary derived functor, and on the explicit algebraic model of the groupoid enriched category of stable maps and stable tracks between Eilenberg-Mac Lane spaces.
Submitted 3 July, 2004; originally announced July 2004.
Comments: 26 pages
MSC Class: 55T15; 55U99; 18G99 (Primary) 55S20; 18G10; 18G40 (Secondary)
-
arXiv:math/0407031 [pdf, ps, other]
Secondary derived functors and the Adams spectral sequence
Abstract: Classical homological algebra takes place in additive categories. In homotopy theory such additive categories arise as homotopy categories of ``additive groupoid enriched categories'', in which a secondary analog of homological algebra can be performed. We introduce secondary chain complexes and secondary resolutions leading to the concept of secondary derived functors. As a main result we show… ▽ More
Submitted 6 July, 2004; v1 submitted 2 July, 2004; originally announced July 2004.
Comments: Reference to math.AT/0407045 added
MSC Class: 18G10; 55T15; 55S20 (Primary) 55U99; 18D05; 18G25; 18G40 (Secondary)
-
arXiv:math/0307185 [pdf, ps, other]
Strengthening track theories
Abstract: Using cohomology of categories with coefficients in natural systems it is proved that a groupoid enrichad category with pseudoproducts is pseudoequivalent to one with strict products.
Submitted 13 July, 2003; originally announced July 2003.
MSC Class: 18C10
-
arXiv:math/0203084 [pdf, ps, other]
Linear extensions and nilpotence for Maltsev theories
Abstract: Relationship is clarified between the notions of linear extension of algebraic theories, and central extension, in the sense of commutator calculus, of their models. Varieties of algebras turn out to be nilpotent Maltsev precisely when their theories may be obtained as results of iterated linear extensions by bifunctors from the so called abelian theories. The latter theories are described; they… ▽ More
Submitted 8 March, 2002; originally announced March 2002.
MSC Class: 18C10; 18G99
-
arXiv:math/0106143 [pdf, ps, other]
On Kan fibrations for Maltsev algebras
Abstract: We prove that any surjective homomorphism of simplicial Maltsev algebras is a Kan fibration.
Submitted 22 July, 2001; v1 submitted 17 June, 2001; originally announced June 2001.
MSC Class: 55U10