相关论文: Transfers and Unstable Degrees in the $\mathbb{A}^…
We explain a Macaulay2 implementation of a construction, which appeared in [Holweck-Oeding arXiv:2206.13662], of a graded algebra structure on the direct sum of a Lie algebra $\mathfrak{g}$ (typically $\mathfrak{sl}_n$) and a…
{\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…
We analyze ``pulled'' or ``linearly marginally stable'' fronts propagating into unstable states. While ``pushed'' fronts into meta- and unstable states relax exponentially, pulled fronts relax algebraically, and simultaneously the standard…
In this article, we describe the theoretical foundations of the Macaulay2 package ConnectionMatrices and explain how to use it. For a left ideal in the Weyl algebra that is of finite holonomic rank, we implement the computation of the…
We prove new results on splitting Brauer classes by genus 1 curves, settling in particular the case of degree 7 classes over global fields. Though our method is cohomological in nature, and proceeds by considering the more difficult problem…
We introduce the MatrixSchubert package for the computer algebra system Macaulay2. This package has tools to construct and study matrix Schubert varieties and alternating sign matrix (ASM) varieties. The package also introduces tools for…
Let X be a geometrically irreducible smooth projective curve over a field k. We describe the algebra of endomorphisms of indecomposable unstable vector bundles over X of rank 2 and degree d. Fixing some numerical invariants, namely the…
We give a moduli interpretation of the outer automorphism group Out of a finite dimensional algebra similar to that of the Picard group of a scheme. We deduce that Out^0 is invariant under derived and stable equivalences. This allows us to…
The Medvedev degree of a subshift is a dynamical invariant of computable origin that can be used to compare the complexity of subshifts that contain only uncomputable configurations. We develop theory to describe how these degrees can be…
We define two invariants for (semiprime right Goldie) algebras, one for algebras graded by arbitrary abelian groups, which is unchanged under twists by $2$-cocycles on the grading group, and one for $\mathbb Z$-graded or $\mathbb Z_{\ge…
For each configuration of rational points on the affine line, we define an operation on the group of unstable A1 motivic homotopy classes of endomorphisms of the projective line. We also derive an algebraic formula for the image of such an…
We introduce a notion of universality classes for the Gregory-Laflamme instability and determine, in the supergravity approximation, the stability of a variety of solutions, including the non-extremal D3-brane, M2-brane, and M5-brane. These…
We introduce the package LatticePolytopes for Macaulay2. The package provides methods for computations related to Cayley structures, local positivity and smoothness for lattice polytopes.
We describe the computer algebra software package SpectralSequences for the computer algebra system Macaulay2. This package implements many data types, objects and algorithms which pertain to, among other things, filtered complexes,…
As the case of free $\Bbbk$-algebras and $PBW$ algebras, given a bijective skew $PBW$ extension $A$, we will show that it is possible transfer Gr\"obner bases between $A$ and its associated graded ring.
We study Kazdan-Warner equations on a connected finite graph via the method of the degree theory. Firstly, we prove that all solutions to the Kazdan-Warner equation with nonzero prescribed function are uniformly bounded and the Brouwer…
The main objective of this work is to develop, via Brower degree theory and regularization theory, a variation of the classical averaging method for detecting limit cycles of certain piecewise continuous dynamical systems. In fact, overall…
Structure of certain simple $\mathcal{W}$-algebras assocated with the Deligne exceptional Lie algebras and non-admissible levels are described as the {\it simple current extensions} of certain vertex operator algebras. As an application,…
We study a new object that can be attached to an abelian variety or a complex torus: the invariant Brauer group, as recently defined by Yang Cao. Over the field of complex numbers this is an elementary abelian 2-group with an explicit upper…
We introduce the VirtualResolution package for the computer algebra system Macaulay2. This package has tools to construct, display, and study virtual resolutions for products of projective spaces. The package also has tools for generating…