Related papers: ExteriorExtensions: A package for Macaulay2
In this paper, we describe the $K$-module $HH^1(L_K(\Gamma))$ of outer derivations of the Leavitt path algebra $L_K(\Gamma)$ of a row-finite graph $\Gamma$ with coefficients in an associative commutative ring $K$ with unit. We give an…
We prove a structure theorem for Lie n-algebras possessing an invariant inner product. We define the notion of a double extension of a metric Lie n-algebra by another Lie n-algebra and prove that all metric Lie n-algebras are obtained from…
We study the structure and dynamics of the infinite sequence of extensions of the Poincar{\'e} algebra whose method of construction was described in a previous paper [1]. We give explicitly the Maurer-Cartan (MC) 1-forms of the extended Lie…
In this article, we present FastMinors.m2, a package in Macaulay2 designed to introduce new methods focused on computations in function field linear algebra. Some key functionality that our package offers includes: finding a submatrix of a…
In this paper, using the Weyl-Wigner-Moyal formalism for quantum mechanics, we develop a {\it quantum-deformed} exterior calculus on the phase-space of an arbitrary hamiltonian system. Introducing additional bosonic and fermionic…
We show that the action of the Lie algebra HH^1(A) of outer derivations of an associative algebra A on the Hochschild cohomology HH^*(A) of A given by the Gerstenhaber bracket can be computed in terms of an arbitrary projective resolution…
Over an algebraically closed fields, an alternative to the method due to Kostrikin and Shafarevich was recently suggested. It produces all known simple finite dimensional Lie algebras in characteristic p>2. For p=2, we investigate one of…
We introduce the Macaulay2 package SparseResultants, which provides general tools for computing sparse resultants, sparse discriminants, and hyperdeterminants. We give some background on the theory and briefly show how the package works.
In this Macaulay2 \cite{M2} package we define an object called {\it linear code}. We implement functions that compute basic parameters and objects associated with a linear code, such as generator and parity check matrices, the dual code,…
We give explicit structure of the graded ring of modular forms with respect to Gamma(N) (N=1,2,3,4,5,6,7,8,9,10,12,16,18) and for some other congruence groups. We also study the modular forms of half-integer weight for certain groups.
We consider conformal Killing-Yano forms corresponding to the antisymmetric generalizations of conformal Killing vectors to higher degree forms in the presence of skew-symmetric torsion. Integrability conditions for torsionful conformal…
Natural analogs of Lie brackets on affine bundles are studied, based on natural examples from differential geometry and analytical mechanics. In particular, a close relation to Lie algebroids and, by a sort of duality, to affine analogs of…
Cumulants represent a natural language for expressing macroscopic properties of a solid. We show that cumulants are subject to a nontrivial geometry. This geometry provides an intuitive understanding of a number of cumulant relations which…
A new kind of graded Lie algebra (we call it $Z_{2,2}$ graded Lie algebra) is introduced as a framework for formulating parasupersymmetric theories. By choosing suitable bose subspace of the $Z_{2,2}$ graded Lie algebra and using relevant…
The algebra of exterior differential forms on a regular 3-Sasakian 7-manifold is investigated, with special reference to nearly-parallel $G_2$ 3-forms. This is applied to the study of 3-forms invariant under cohomogeneity-one actions by…
We prove a recursive formula for the exterior and symmetric powers of modules for a cyclic 2-group. This makes computation straightforward. Previously, a complete description was only known for cyclic groups of prime order.
In this paper we introduce elements of algebraic geometry over an arbitrary algebraic structure. We prove Unification Theorems which gather the description of coordinate algebras by several ways.
It is shown the construction of a module structure [2] with universe over a set of a particular kind of mathematical proofs, the base ring of this module will be built on a maximal consistent extension of a set of propositions, this…
We develop in this work the first polytopal complexes of differential forms. These complexes, inspired by the Discrete De Rham and the Virtual Element approaches, are discrete versions of the de Rham complex of differential forms built on…
In this paper, we study wall elements of rank 2 cluster scattering diagrams based on dilogarithm elements. We derive two major results. First, we give a method to calculate wall elements in lower degrees. By this method, we may see the…