https://arxiv.org/api/cSqyNra2KoNJNHQgSlM/YBW3Gd0 2026-06-14T20:40:38Z 20068 465 15 http://arxiv.org/abs/2506.14060v16 2026-04-07T07:48:37Z

Linear Geometry studies geometric properties which can be expressed via the notion of a line. All information about lines is encoded in a ternary relation called a line relation. A set endowed with a line relation is called a liner. So, Linear Geometry studies liners. Imposing some additional axioms on a liner, we obtain some special classes of liners: regular, projective, affine, proaffine, etc. Linear Geometry includes Affine and Projective Geometries and is a part of Incidence Geometry. The aim of this book is to present a self-contained logical development of Linear Geometry, starting with some intuitive acceptable geometric axioms and ending with algebraic structures that necessarily arise from studying the structure of geometric objects that satisfy those simple and intuitive geometric axioms. We shall meet many quite exotic algebraic structures that arise this way: magmas, loops, ternars, quasi-fields, alternative rings, procorps, profields, etc. The notion of area also belongs to Linear Geometry and can be defined and studied using only lines and their parallelity. We strongly prefer (synthetic) geometric proofs and use tools of analytic geometry only when no purely geometric proof is available. Liner Geometry has been developed by many great mathematicians since times of Antiquity (Thales, Euclides, Proclus, Pappus), through Renaissance (Descartes, Desargues), Early Modernity (Playfair, Gauss, Lobachevski, Bolyai, Poncelet, Steiner, Möbius), Late Modernity Times (Steinitz, Klein, Hilbert, Moufang, Hessenberg, Jordan, Beltrami, Fano, Gallucci, Veblen, Wedderburn, Lenz, Barlotti) till our contempories (Hartshorne, Hall, Buekenhout, Gleason, Kantor, Doyen, Hubault, Dembowski, Klingenberg, Grundhöfer, Müller, Nagy).

2025-06-16T23:44:20Z 50 chapters, 927 pages; the last chapter contains a list of selected open problems in Linear Geometry Taras Banakh http://arxiv.org/abs/2103.15380v4 2026-04-07T07:47:08Z

We give a complete classification of all $d$-representation-finite symmetric Nakayama algebras and of all $d$-representation-finite trivial extensions of path algebras of quivers, over an arbitrary field. As a consequence we get a classification, up to Morita equivalence, of all $d$-representation-finite symmetric algebras of finite representation type over an algebraically closed field.

2021-03-29T07:17:34Z 11 pages. V4: extended version with a more general classification result Erik Darpö Tor Kringeland http://arxiv.org/abs/2604.04813v1 2026-04-06T16:16:54Z

Ping Xu generalized Drinfeld 2-cocycles from bialgebras to associative bialgebroids over noncommutative base algebras. Any counital Drinfeld--Xu 2-cocycle twists the base algebra of the bialgebroid and a comultiplication on the total algebra, obtaining a new, twisted bialgebroid. Antipodes for bialgebroids have been considered, but finding a general way to twist the antipode, which is straightforward in the Hopf algebra case, appeared somewhat elusive. In this article, we prove that if an invertible antipode $S$ for the original bialgebroid exists, and another expression $V_F$ depending on the 2-cocycle $F$ is invertible, then the expected conjugation formula $S_F(-) = V_F^{-1} S(-) V_F$ indeed produces an invertible antipode $S_F$ for the twisted bialgebroid.

2026-04-06T16:16:54Z 16 pages Zoran Škoda http://arxiv.org/abs/2602.01316v3 2026-04-06T15:13:32Z

For any length category, we establish a set of rules (necessary and sufficient) that ensure a partial order on the isomorphism classes of simple objects such that the category is equivalent to the category of finite dimensional representations of this partially ordered set. Equivalently, we characterise the length categories that arise as categories of modules over a sheaf of division rings on a finite $T_0$-space.

2026-02-01T16:16:58Z 12 pages. English translation of the title: "There must be order". Thorough revision of the first version, providing generalisations in two directions: the endomorphim rings of the simple objects may vary and the posets may be infinite Henning Krause http://arxiv.org/abs/2603.15048v2 2026-04-06T15:09:31Z

We consider homomorphisms of complete, separated right or two-sided linear topological rings with countable bases of neighborhoods of zero $\mathfrak f\colon\mathfrak R\to\mathfrak S$. Taut maps of right linear topological rings, strongly right taut maps of two-sided linear topological rings, left proflat continuous ring maps, and topological ring epimorphisms are discussed. For a left proflat topological ring epimorphism $\mathfrak f$, we show that the functor of restriction of scalars on the categories of left contramodules $\mathfrak f_\sharp\colon\mathfrak S{-}\mathsf{Contra}\longrightarrow\mathfrak R{-}\mathsf{Contra}$ is fully faithful. Assuming that the contramodule-to-module forgetful functor $\mathfrak R{-}\mathsf{Contra}\longrightarrow\mathfrak R{-}\mathsf{Mod}$ is fully faithful and the topological ring map $\mathfrak f$ is left proflat, we prove that the commutative square of forgetful functors between the left contramodule and module categories over $\mathfrak S$ and $\mathfrak R$ is a pseudopullback diagram. This provides a description of the essential image of $\mathfrak f_\sharp$ under the conjunction of the respective assumptions. The left adjoint functor to $\mathfrak f_\sharp$ always exists, but is not exact even when $\mathfrak f$ is (pro)flat. A right adjont functor to $\mathfrak f_\sharp$ does not always exist, but for a left proflat map $\mathfrak f$ we construct it explicitly and show that it has good exactness properties. This work is motivated by the theory of contraherent cosheaves of contramodules on formal schemes.

2026-03-16T09:58:04Z LaTeX 2e with mathrsfs and xy-pic; 55 pages, 15 commutative diagrams; v.2: Examples 9.8 added, several paragraphs inserted here and there, many misprints corrected, references added Leonid Positselski http://arxiv.org/abs/2604.04581v1 2026-04-06T10:36:14Z

By a [$K$-]approximate subring of a ring we mean an additively symmetric subset $X$ such that $X \cdot X \cup (X + X)$ is covered by finitely many [resp.\ $K$] additive translates of $X$. We prove a structure theorem for finite approximate subrings. Our aim is to develop a general framework for the sum-product phenomenon that applies uniformly across arbitrary rings. The main result identifies nilpotent quotients as the fundamental obstruction to growth under both addition and multiplication. Another application of the main structure theorem is a ring-theoretic counterpart of Gromov's theorem on groups of polynomial growth. The principal tool in the proof is the existence of definable locally compact models for arbitrary approximate subrings from [Kru24]. This existence theorem extends beyond the finite (and pseudofinite) setting. To illustrate the scope of the method, we also establish a structure theorem for uniformly discrete approximate subrings of semi-simple real algebras, generalizing a classical sum-product result of Meyer.

2026-04-06T10:36:14Z 48 pages including references; comments welcome! Krzysztof Krupiński Simon Machado http://arxiv.org/abs/2511.20323v2 2026-04-06T08:30:24Z

We prove the existence of Cartan subrings, i.e., self-normalizing nilpotent subrings in soluble ranked Lie rings.

2025-11-25T13:55:00Z Jules Tindzogho Ntsiri Samuel Zamour http://arxiv.org/abs/2604.04367v1 2026-04-06T02:32:41Z

We discuss the problem of defining a tensor product of profinitely many copies of a vector space $V$, and propose a definition $\bigotimes_X^{\mathrm{mcc}} V$ in the special situation that (1) $V$ is finite-dimensional over $\mathbf{F}_2$, and (2) the profinite $X$ indexing the tensor factors is acted on with finitely many orbits by a pro-$2$-group. The "mcc" on the tensor sign stands for "magnetized and conditionally convergent." A variant construction makes sense when $V$ is a bimodule over a ring of the form $\mathbf{F}_2 \times \cdots \times \mathbf{F}_2$, and the index set $X$ has the profinite version of a cyclic order. The definition organizes some computations in Heegaard Floer homology: it can be pitched as a computation of the Heegaard Floer theory of some pro-$3$-manifolds, though we do not know how to define such a thing.

2026-04-06T02:32:41Z 36 pages, 3 figures David Treumann C. -M. Michael Wong http://arxiv.org/abs/2604.04224v1 2026-04-05T18:46:23Z

We establish an equivalence between categories of 'formally nilpotent' Lie algebras and exponential groups in characteristic zero. It extends the equivalences of Mal'cev, Lazard, Quillen and Warfield, and applies to groups under composition of generalized formal series or automorphisms of algebras of generalized formal series. We obtain first-order transfer results from finite dimensional nilpotent objects to formally nilpotent ones. We give applications to solving equations over groups, to the theory of nilpotent exponential groups as per Miasnikov-Remeslennikov, and to definability problems in certain groups of formal series.

2026-04-05T18:46:23Z Vincent Bagayoko http://arxiv.org/abs/2509.04417v2 2026-04-05T18:37:05Z

Birkhoff's 1937 dual representation of finite distributive lattices via finite posets was in 1970 extended to a dual representation of arbitrary distributive lattices via compact totally order-disconnected topological spaces by Priestley. This result enabled the development of natural duality theory in the 1980s by Davey and Werner, later on also in collaboration with Clark and Priestley. In 1978 Urquhart extended Priestley's representation to general lattices via compact doubly quasi-ordered topological spaces (L-spaces). In 1995 Ploščica presented Urquhart's representation in the spirit of natural duality theory by replacing, on the dual side, Urquhart's two quasiorders with a digraph relation generalising Priestley's order relation. In this paper we translate, following the spirit of natural duality theory, Urquhart's L-spaces into newly introduced \emph{Ploščica spaces}. We then prove that every Ploščica space is the dual space of some general lattice. Based on the authors' 2022 characterisation of finite join and meet semidistributive lattices via their dual digraphs, we initiate a study of general (possibly infinite) join and meet semidistributive lattices via their dual digraphs. We illustrate our results on examples and formulate three open problems.

2025-09-04T17:39:50Z Previous Section 4 corrected and shortened. Old Section 5 and Section 6 now part of new Section 4 Andrew Craig Miroslav Haviar José São João http://arxiv.org/abs/2604.03966v1 2026-04-05T05:04:39Z

The comaximal graph $ Γ(R) $ of a commutative ring $R$ is a simple graph with vertex set $ R $ and two distinct vertices $ a $ and $b $ of $ Γ(R) $ are adjacent if and only if $ aR+bR=R $, where $ aR $ is the ideal generated by $ a $ in $ R $. In this article, the independent domination polynomial $ D_{i}(Γ(\mathbb{Z}_{n}),x) $ of $ Γ(\mathbb{Z}_{n}) $ is discussed, along with its unimodal and log-concave properties for certain values of $n$. Some auxiliary results related to $D_{i}(Γ(\mathbb{Z}_{n}),x)$ are presented in terms of their zeros. In addition, we determine the independence polynomial $ I(Γ(\mathbb{Z}_{n}),x ) $ of $ Γ(\mathbb{Z}_{n}) $ for special values of $n$ and provide a general result associated with it. The bounds for the zero of the polynomial $ I(Γ(\mathbb{Z}_{n}),x ) $ are established, and their log-concave and unimodal properties are examined.

2026-04-05T05:04:39Z 22 pages, 7 figues, Accepted for publication in the journal "Algebra Colloquium" on April 16, 2025, and is about to appear online in the second issue of 2026 Algebra Colloquium, in the second issue of 2026 Bilal Ahmad Rather http://arxiv.org/abs/2602.17273v2 2026-04-04T21:48:10Z

This paper establishes a categorical equivalence between the category $\mathbb{COL}$ of complete orthomodular lattices and the category $\mathscr{T}\mathbb{ODA}$ of $\mathscr{T}$-based orthomodular dynamic algebras. Complete orthomodular lattices serve as the static algebraic foundation for quantum logic, modeling the testable properties of quantum systems. In contrast, $\mathcal{T}$-based orthomodular dynamic algebras, which are specialized unital involutive quantales, formalize the composition and quantum-logical properties of quantum actions. This result refines prior connections between orthomodular lattices and dynamic algebras, provides a constructive bridge between static and dynamic quantum logic perspectives, and extends naturally to Hilbert lattices and broader quantum-theoretic structures.

2026-02-19T11:21:38Z Jan Paseka Juanda Kelana Putra Richard Smolka http://arxiv.org/abs/2601.15501v3 2026-04-04T08:15:27Z

The orthogonality graph of an Okubo algebra with isotropic norm over an arbitrary field $\mathbb{F}$ is considered. Its connected components are described, and their diameters are computed. It is shown that there exist at most two shortest paths between any pair of vertices, and the conditions under which the shortest path is unique are determined.

2026-01-21T22:13:52Z Danil Pavlinov Svetlana Zhilina http://arxiv.org/abs/2512.19610v2 2026-04-03T15:32:04Z

Let $G$ and $H$ be unital associative algebras over a field $K$, such that $G$ satisfies the identity $[x_1, \dots, x_p] = 0$ for some integer $p \geq 3$ and $H$ satisfies the identities $[x_1, x_2, x_3] = 0$ and $[x_1, x_2] \cdots [x_{2k-1}, x_{2k}]=0$ for some $k \geq 2$. In this paper, extending results of Deryabina and Krasilnikov, we show that the tensor product $G \otimes H$ is again a Lie nilpotent associative algebra, i.e., it satisfies $[x_1, \dots, x_{q}] = 0$ for some $q \geq p$. We also determine an explicit value of $q$ in the case $k = 2$, i.e., when $H$ satisfies the identity $[x_1, x_2][x_3, x_4] = 0$. As a corollary, we reprove a result of Drensky saying that any product of Grassmann algebras of the form $E\otimes E_{i_1}\otimes \cdots \otimes E_{i_s}$ or $E_{j_1} \otimes E_{j_2} \otimes \cdots \otimes E_{j_t}$, where $E$ denotes the Grassmann algebra over a countable dimensional vector space and $E_r$ denotes the Grasmann algebra over an $r$-dimensional vector space, satisfies an identity of the form $[x_1, \dots, x_q] = 0$ for some integer $q \geq 3$. In addition, we show that for products of the form $E\otimes E_{i_1}\otimes \cdots \otimes E_{i_s}$ the minimal value of $q$ is always and odd integer. We also provide several particular cases in which a value of $q$ can be explicitly computed. As an application, we consider a field of characteristic zero, the variety $\mathfrak{N}_p$ of Lie nilpotent associative algebras of index at most $p$ and the corresponding relatively free algebras of finite rank, $F_n(\mathfrak{N}_p)$. We exhibit many explicit irreducible $S_n$-modules in the $S_n$-module decomposition of the space of proper multilinear polynomials in $F_n(\mathfrak{N}_p)$ for any $p$. This gives a lower bound for the dimensions of the spaces of multilinear and proper multilinear polynomials in $F_n(\mathfrak{N}_p)$.

2025-12-22T17:46:45Z 22 pages Elitza Hristova http://arxiv.org/abs/2604.02853v1 2026-04-03T08:13:42Z

For the double of a quiver, the works of Ginzburg, Bocklandt-Le Bruyn and Schedler show that its closed paths, called the necklaces, have a natural Lie bialgebra structure. Schedler also constructed,in [Int. Math. Res. Notices, 2005 (12), 725-760], a Hopf algebra that quantizes this Lie bialgebra. In this paper, we pursue one more step in this direction by constructing its biquantization, in the sense of Turaev [Ann. Sci. École Norm. Sup. (4) 24 (1991), no. 6, 635-704].

2026-04-03T08:13:42Z 39 pages Xiaojun Chen Maozhou Huang Meiliang Liu Jun Zhang