Related papers: The InvariantRing package for Macaulay2
We offer a Maple package SL\_2\_Inv\_Ker for calculating of minimal generating sets for the algebras of joint invariants/semi-invariants of binary forms and for calculations of the kernels of Weitzenb\"ock derivations.
We study the equivariant cohomology classes of torus-equivariant subvarieties of the space of matrices. For a large class of torus actions, we prove that the polynomials representing these classes (up to suitably changing signs) are…
We use the gluing construction introduced by Jia Huang to explore the rings of invariants for a range of modular representations. We construct generating sets for the rings of invariants of the maximal parabolic subgroups of a finite…
In this paper, we study cohomology rings and cohomological pairings over Abelian symplectic quotients of special Hamiltonian tori manifolds. The Hamiltonian group actions appear in quantum information theory where the tori are maximal tori…
We study Thurston equivalence classes of quadratic post-critically finite branched coverings. For these maps, we introduce and study invariant spanning trees. We give a computational procedure for searching for invariant spanning trees.…
We provide new tools for the calculation of the torsion in the cohomology of congruence subgroups in the Bianchi groups : An algorithm for finding particularly useful fundamental domains, and an analysis of the equivariant spectral sequence…
The complexity of Gr\"{o}bner computations has inspired many improvements to Buchberger's algorithm over the years. Looking for further insights into the algorithm's performance, we offer a threaded implementation of classical Buchberger's…
The cohomology groups of line bundles over complex tori (or abelian varieties) are classically studied invariants of these spaces. In this article, we compute the cohomology groups of line bundles over various holomorphic, non-commutative…
In this paper, we develop new identities for the inverse tangent integral by connecting it to the dilogarithmic (polylogarithmic) structure and to a carefully designed auxiliary arctangent integral $Ti_2(a)$ with a tunable endpoint. The…
We find the complete equivalence group of a class of (1+1)-dimensional second-order evolution equations, which is infinite-dimensional. The equivariant moving frame methodology is invoked to construct, in the regular case of the…
The package \texttt{NumericalCertification} implements methods for certifying numerical approximations of solutions for a given system of polynomial equations. For certifying regular solutions, the package implements Smale's $\alpha$-theory…
Complete sets of bases of differential invariants, operators of invariant differentiation and Lie determinants of continuous transformation groups acting on the real plane are constructed. As a necessary preliminary, realizations of…
Let G be an affine algebraic group acting on an affine variety X. We present an algorithm for computing generators of the invariant ring K[X]^G in the case where G is reductive. Furthermore, we address the case where G is connected and…
A novel algebraic method for finding invariant algebraic curves for a polynomial vector field in $\mathbb{C}^2$ is introduced. The structure of irreducible invariant algebraic curves for Li\'{e}nard dynamical systems $x_t=y$,…
We study invariance properties of Colombeau generalized functions under actions of smooth Lie transformation groups. Several characterization results analogous to the smooth setting are derived and applications to generalized rotational…
This new version of TaylUR is based on a completely new core, which now is able to compute the numerical values of all of a complex-valued function's partial derivatives up to an arbitrary order, including mixed partial derivatives.
Recent results in control systems and numerical integration literature utilize invariant set theory to lift dynamical systems evolving on nonlinear manifolds to those evolving on vector spaces. We leverage this technique to propose an…
TopologicalNumbers.jl is an open-source Julia package designed to calculate topological invariants, mathematical quantities that characterize the properties of materials in condensed matter physics. These invariants, such as the Chern…
We describe an algorithm for computing Macaulay dual spaces for multi-graded ideals. For homogeneous ideals, the natural grading is inherited by the Macaulay dual space which has been leveraged to develop algorithms to compute the Macaulay…
In this article we study the structure of $\Gamma$-invariant spaces of $L^2(\bf R)$. Here $\bf R$ is a second countable LCA group. The invariance is with respect to the action of $\Gamma$, a non commutative group in the form of a semidirect…