arXiv subjects

Leon Lampret

Publications and source records attributed to Leon Lampret.

6 recordsLinked to original sources

arXiv2020

Chain complex reduction via fast digraph traversal

Reducing a chain complex (whilst preserving its homotopy-type) using algebraic Morse theory gives the same end-result as Gaussian elimination, but AMT does it only on certain rows/columns and with several pivots (in all matrices simultaneously). Crucially, instead of doing costly row/column operations on a sparse matrix, it computes traversals of a bipartite digraph. This significantly reduces the running time and memory load (smaller fill-in and coefficient growth of the matrices). However, computing with AMT requires the construction of a valid set of pivots (called a Morse matching). We discover a family of Morse matchings on any chain complex of free modules of finite rank. We show that every acyclic matching is a subset of some member of our family, so all maximal Morse matchings are of this type. Both the input and output of AMT are chain complexes, so the procedure can be used iteratively. When working over a field or a local PID, this process ends in a chain complex with zero matrices, which produces homology. However, even over more general rings, the process often reveals homology, or at least reduces the complex so much that other algorithms can finish the job. Moreover, it also returns homotopy equivalences to the reduced complexes, which reveal the generators of the homology and the induced maps $H_\ast(φ)$. We design a new algorithm for reducing a chain complex and implement it. We test that it outperforms other CASs. As a special case, given a sparse matrix over any field, the algorithm offers a new way of computing the rank and a sparse basis of the kernel (or null space), cokernel (or quotient space, or complementary subspace), image, preimage, sum and intersection subspace. It outperforms built-in algorithms in other CASs.

math.AT↗

arXiv2019

(Co)Homology of Lie Algebras via Algebraic Morse Theory

E. Sköldberg's Morse Theory from an Algebraic Viewpoint and M. Jöllenbeck's Algebraic Discrete Morse Theory and Applications to Commutative Algebra, which is the algebraic generalization of R. Forman's discrete Morse Theory for Cell Complexes, is discussed in the context of general chain complexes of free modules. Using this, we compute the Chevalley-Eilenberg (co)homology of the Lie algebra of all triangular matrices $\frak{sol}_n$ over $\mathbb{Q}$ or $\mathbb{Z}_p$ for large enough prime $p$. We determine the column and row in the table of $H_k(\frak{sol}_n;\mathbb{Z})$ where the $p$-torsion first appears. Every $\mathbb{Z}_{p^k}$ appears as a direct summand of some $H_k(\frak{sol}_n;\mathbb{Z})$. Module $H_k(\frak{sol}_n;\mathbb{Z}_p)$ is expressed by the homology of a chain subcomplex for the Lie algebra of all strictly triangular matrices $\frak{nil}_n$, using the Künneth formula. All conclusions are accompanied by computer experiments. Then we generalize some results to the more general Lie algebras of (strictly) triangular matrices $\frak{gl}_n^\prec$ and $\frak{gl}_n^\preceq$ with respect to any partial ordering $\preceq$ on $[n]$. Furthermore, the matchings used can be analogously defined for other Lie algebra families and are useful for theoretical as well as computational purposes.

math.AT↗

arXiv2019

Torsion table for the Lie algebra $\frak{nil}_n$

We study the Lie ring $\mathfrak{nil}_n$ of all strictly upper-triangular $n\!\times\!n$ matrices with entries in $\mathbb{Z}$. Its complete homology for $n\!\leq\!8$ is computed. We prove that every $p^m$-torsion appears in $H_\ast(\mathfrak{nil}_n;\mathbb{Z})$ for $p^m\!\leq\!n\!-\!2$. For $m\!=\!1$, Dwyer proved that the bound is sharp, i.e. there is no $p$-torsion in $H_\ast(\mathfrak{nil}_n;\mathbb{Z})$ when prime $p\!>\!n\!-\!2$. In general, for $m\!>\!1$ the bound is not sharp, as we show that there is $8$-torsion in $H_\ast(\mathfrak{nil}_8;\mathbb{Z})$. As a sideproduct, we derive the known result, that the ranks of the free part of $H_\ast(\mathfrak{nil}_n;\mathbb{Z})$ are the Mahonian numbers (=number of permutations of $[n]$ with $k$ inversions), using a different approach than Kostant. Furthermore, we determine the algebra structure (cup products) of $H^\ast(\mathfrak{nil}_n;\mathbb{Q})$.

math.AT↗

arXiv2015

Hochschild (Co)Homology of Exterior Algebras using AMT

In 'Hochschild (co)homology of exterior algebras' (Han, Xu, 2007), the authors computed the additive and multiplicative structure of $H\!H^\ast\!(A;\!A)$, where $A$ is the $n$-th exterior algebra over a field. In this paper, we derive all their results using a different method (AMT), as well as calculate the additive structure of $H\!H_k\!(A;\!A)$ and $H\!H^k\!(A;\!A)$ over $\mathbb{Z}$. We provide concise presentations of algebras $H\!H_\ast\!(A;\!A)$ and $H\!H^\ast\!(A;\!A)$, as well as determine their generators in the Hochschild complex. Lastly, we compute an explicit free resolution (spanned by multisets) of the $A^e$-module $A$ and describe the homotopy equivalence to its bar resolution.

math.AT↗

arXiv2015

(Co)Homology of Poset Lie Algebras

We investigate the (co)homological properties of two classes of Lie algebras that are constructed from any finite poset: the solvable class $\frak{gl}^\preceq$ and the nilpotent class $\frak{gl}^\prec$. We confirm the conjecture of Jollenbeck that says: every prime power $p^r\!\leq\!n\!-\!2$ appears as torsion in $H_\ast(\frak{nil}_n;\mathbb{Z})$, and every prime power $p^r\!\leq\!n\!-\!1$ appears as torsion in $H_\ast(\frak{sol}_n;\mathbb{Z})$. If $\preceq$ is a bounded poset, then the (co)homology of $\frak{gl}^\preceq$ is \emph{torsion-convex}, i.e. if it contains $p$-torsion, then it also contains $p'$-torsion for every prime $p'\!<\!p$. \par We obtain new explicit formulas for the (co)homology of some families over arbitrary fields. Among them are the solvable non-nilpotent analogs of the Heisenberg Lie algebras from the Cairns & Jambor article, the 2-step Lie algebras from Armstrong & Cairns & Jessup article, strictly block-triangular Lie algebras, etc. The resulting generating functions and the combinatorics of how they are obtained are interesting in their own right. \par All this is done by using AMT (algebraic Morse theory). This article serves as a source of examples of how to construct useful acyclic matchings, each of which in turn induces compelling combinatorial problems and solutions. It also enables graph theory to be used in homological algebra.

math.AT↗

arXiv2015

Tensor, Symmetric, Exterior, and Other Powers of Persistence Modules

We reformulate the persistent (co)homology of simplicial filtrations, viewed from a more algebraic setting, namely as the (co)homology of a chain complex of graded modules over polynomial ring $K[t]$. We also define persistent (co)homology of groups, associative algebras, Lie algebras, etc. \par Then we obtain formulas for tensor powers $T^n(M),S^n(M),Λ^{\!n}(M)$ where $M$ is a persistence module. We discuss the cyclic and dihedral powers of persistence modules, and more generally quotients of $T^n(M)$ by a group action.

math.AT↗