相关论文: Conley: Computing connection matrices in Maple
Connection matrices are a generalization of Morse boundary operators from the classical Morse theory for gradient vector fields. Developing an efficient computational framework for connection matrices is particularly important in the…
The aim of this paper is to give a new method to construct explicit formulas for algebraic differential operators of any order on a finitely generated projective module $E$ on a commutative unital ring $A$. We moreover give explicit…
Inspired by Morse theory, we introduce a topological stack Broken, which we refer to as the moduli stack of broken lines. We show that Broken can be presented as a Lie groupoid with corners and provide a combinatorial description of sheaves…
We introduce the notion of a template for discrete Morse theory. Templates provide a memory efficient approach to the computation of homological invariants (e.g., homology, persistent homology, Conley complexes) of cell complexes. We…
We are developing a Maple package of functions related to Rota's Umbral Calculus. A Mathematica version of this package is being developed in parallel.
We study the cohomology ring of the complement $\mathcal{M}(\mathcal{A})$ of a manifold arrangement $\mathcal{A}$ in a smooth manifold $M$ without boundary. We first give the concept of monoidal cosheaf on a locally geometric poset…
The modern algebra concepts are used to construct tables of algebraic spinors related to Clifford algebra multivectors with real and complex coefficients. The following data computed by Mathematica are presented in form of tables for…
Tangles of graphs have been introduced by Robertson and Seymour in the context of their graph minor theory. Tangles may be viewed as describing "k-connected components" of a graph (though in a twisted way). They play an important role in…
Principal comodule algebras can be thought of as objects representing principal bundles in non-commutative geometry. A crucial component of a principal comodule algebra is a strong connection map. For some applications it suffices to prove…
{\tt AbstractSimplicialComplexes.m2} is a computer algebra package written for the computer algebra system {\tt Macaulay2} \cite{M2}. It provides new infrastructure to work with abstract simplicial complexes and related homological…
Associated to a symmetric space there is a canonical connection with zero torsion and parallel curvature. This connection acts as a binary operator on the vector space of smooth sections of the tangent bundle, and it is linear with respect…
On compact K\"ahler manifolds, we relate ABC Massey products arising from complex analytic cycles to holomorphic linking numbers. This enables us to construct a family of simply connected projective 3-folds with trivial canonical bundle,…
We describe a Maple package that serves at least four purposes. First, one can use it to compute whether or not a given polyhedral structure is Zometool constructible. Second, one can use it to manipulate Zometool objects, for example to…
We determine an explicit presentation by generators and relations of the cohomology algebra $H^*(\mathbb P^2\setminus C,\mathbb C)$ of the complement to an algebraic curve $C$ in the complex projective plane $\mathbb P^2$, via the study of…
Let $ \mathcal{D} = \{D_{1}, ..., D_{\ell}\} $ be a multi-degree arrangement with normal crossings on the complex projective space $ \mathbf{P}^{n} $, with degrees $ d_{1}, ..., d_{\ell} $; let $ \Omega_{\mathbf{P}^{n}}^{1}(\log…
We present two hypermatrix formulations of the Cayley Hamilton theorem. One of the proposed formulation naturally extends to hypermatrices the combinatorial interpretations of the classical Cayley Hamilton theorem. We conclude by discussing…
This paper concerns the computation and identification of the (homological) Conley index over the integers, in the context of discrete dynamical systems generated by continuous maps. We discuss the significance with respect to nonlinear…
Tangent categories provide an axiomatic approach to key structural aspects of differential geometry that exist not only in the classical category of smooth manifolds but also in algebraic geometry, homological algebra, computer science, and…
We give an overview of the Macaulay2 package Matroids, which contains functionality to create and compute with matroids. Examples highlighting the use of all major functions in the package are provided, along with explanations of some of…
We define the notion of a $\Lambda$-system of $C^*$-correspondences associated to a higher-rank graph $\Lambda$. Roughly speaking, such a system assigns to each vertex of $\Lambda$ a $C^*$-algebra, and to each path in $\Lambda$ a…