arXiv research

Method computes centers of Poisson and skein algebras for loops on surfaces.

New algebra pong algebra computed for knot Floer homology.

New method uses algebras to speed up link Floer homology calculations.

Functional AD for Weil algebra computations.

Computes the component group of arbitrary real algebraic groups.

LightOn OPUs accelerate randomized numerical linear algebra, reducing computational costs.

Cohomology of 'book' Lie algebra Poisson structure computed.

Non-associtive algebras is a research direction gaining much attention these days. New developments show that associative algebras and some not-associative structures can be unified at the level of Yang-Baxter structures. In this paper, we present a unification for associative algebras, Jordan algebras and Lie algebras…

We compute some value of the harmonic volume for the Fermat sextic. Using this computation, we prove that some special algebraic cycle in the Jacobian variety of the Fermat sextic is not algebraically equivalent to zero.

New method computes automorphisms of surface groups using skein algebras.

We give a generators-and-relations description of differential graded algebras recently introduced by Ozsváth and Szabó for the computation of knot Floer homology. We also compute the homology of these algebras and determine when they are formal.

Computes cohomology of Steenrod algebra for k ≤ 5.

CoLA automates efficient numerical linear algebra for complex matrix structures.

New algorithm determines dimensions of hit spaces in polynomial algebra.

We present a novel certified and complete algorithm to compute arrangements of real planar algebraic curves. It provides a geometric-topological analysis of the decomposition of the plane induced by a finite number of algebraic curves in terms of a cylindrical algebraic decomposition. From a high-level perspective, the…

We give a survey of algorithms for computing topological invariants of semi-algebraic sets with special emphasis on the more recent developments in designing algorithms for computing the Betti numbers of semi-algebraic sets. Aside from describing these results, we discuss briefly the background as well as the importanc…

Compute central extension of mapping class group from stated skein algebra

We construct an abelian quotient of the symplectic derivation Lie algebra $\mathfrak{h}_{g,1}$ of the free Lie algebra generated by the fundamental representation of $\mathrm{Sp}(2g,\mathbb{Q})$. More specifically, we show that the weight $12$ part of the abelianization of $\mathfrak{h}_{g,1}$ is $1$-dimensional for $g…

Geometric AD framework simplifies derivative computation in JAX.

Develops a SageMath framework for computing characteristic classes.

In this paper we compute the deformation theory of a special class of algebras, namely of Azumaya algebras on a manifold ($C^{\infty}$ or complex analytic).

Constructive approach to Lie algebra gradings, computing maximal and enumerating all gradings.

Revives Vogel's diagrammatic technique for universal Lie algebra computations.

The exterior algebra of a vector space admits a family of braided Hopf structures.

Lie-Butcher (LB) series are formal power series expressed in terms of trees and forests. On the geometric side LB-series generalizes classical B-series from Euclidean spaces to Lie groups and homogeneous manifolds. On the algebraic side, B-series are based on pre-Lie algebras and the Butcher-Connes-Kreimer Hopf algebra…

Simple construction of Rumin algebra for contact manifolds.

A new algebraic method for computing helicity is developed, by discovering a relationship between helicity of fluid mechanics and algebraic polynomial invariants of knot theory. We have constructed a topological invariant $t^{H\left(\mathcal{L}\right)}$ for a link $\mathcal{L}$ of knots, where $H$ is the helicity of a …

The main topic of this paper is two folds. First, we compute the first relative cohomology group of the Lie algebra of smooth vector fields on the projective line, Vect(RP^1), with coefficients in the space of bilinear differential operators that act on tensor densities, D_{λ, ν;μ}, vanishing on the Lie algebra sl(2,R)…

We introduce a bicomplex which computes the triple cohomology of Lie--Rinehart algebras. We prove that the triple cohomology is isomorphic to the Rinehart cohomology \cite{Ri} provided the Lie--Rinehart algebra is projective over the corresponding commutative algebra. As an application we construct a canonical class in…

In this paper we prove that the only algebraic constant mean curvature (cmc) surfaces in R^3 of order less than four are the planes, the spheres and the cylinders. The method used heavily depends on the efficiency of algorithms to compute Groebner Bases and also on the memory capacity of the computer used to do the com…

We use computer algebra to demonstrate the existence of a multilinear polynomial identity of degree 8 satisfied by the bilinear operation in every Lie-Yamaguti algebra. This identity is a consequence of the defining identities for Lie-Yamaguti algebras, but is not a consequence of anticommutativity. We give an explicit…

Paper defines and computes a new weight system for gl_N Lie algebra.

In GT/0006019 oriented quantum algebras were motivated and introduced in a natural categorical setting. Invariants of knots and links can be computed from oriented quantum algebras, and this includes the Reshetikhin-Turaev theory for Ribbon Hopf algebras. Here we continue the study of oriented quantum algebras from a m…

Computes Lie algebra structure constants using a graphical calculus.

A Lie-admissible algebra gives by anticommutativity a Lie algebra. In this work we study remarkable classes of Lie-admissible algebras such as Vinberg, PreLie algebras. We compute the corresponding binary quadratic operads and study their Koszul duality. Considering Lie algebras as Lie-admissible algebras we can define…

Researchers compute c-projective symmetry algebras for Kähler surfaces.

Let $M$ be a compact oriented $d$-dimensional smooth manifold. Chas and Sullivan have defined a structure of Batalin-Vilkovisky algebra on $\mathbb{H}_*(LM)$. Extending work of Cohen, Jones and Yan, we compute this Batalin-Vilkovisky algebra structure when $M$ is a sphere $S^d$, $d\geq 1$. In particular, we show that $…

Let K be a compact Lie group. We compute the abelianization of the Lie algebra of equivariant vector fields on a smooth K-manifold X. We also compute the abelianization of the Lie algebra of strata preserving smooth vector fields on the quotient X/K.

Let $Γ$ be a finite group acting linearly on a vector space $V$. We compute the Lie algebra cohomology of the Lie algebra of $Γ$-invariant formal vector fields on $V$. We use this computation to define characteristic classes for foliations on orbifolds.

We perform detailed computations of Lie algebras of infinitesimal CR-automorphisms associated to three specific model real analytic CR-generic submanifolds in C^9 by employing differential algebra computer tools -- mostly within the Maple package DifferentialAlgebra -- in order to automate the handling of the arising h…

Machine learning accelerates Lie algebra computations.

In this study, we classify some soliton nilpotent Lie algebras and possible candidates in dimension 8 and 9 up to isomorphy. We focus on 1 < 2 < ::: < n type of derivations where n is the dimension of the Lie algebras. We present algorithms to generate possible algebra structures.

This paper generalizes the bordered-algebraic knot invariant introduced in an earlier paper, giving an invariant now with more algebraic structure. It also introduces signs to define these invariants with integral coefficients. We describe effective computations of the resulting invariant.

We expose a K-theoretic approach to study group C*-algebras and C*-algebraic compact quantum groups: 1. The conception of multidimensional geometric quantization and the index of group C*-algebras; 2. the entire homology of noncommutative de Rham currents and the noncommutative Chern characters, and their computation f…

Starting with Lie's classification of finite-dimensional transitive Lie algebras of vector fields on $\mathbb C^2$ we construct Lie algebras of vector fields on the bundle $\mathbb C^2 \times \mathbb C$ by lifting the Lie algebras from the base. There are essentially three types of transitive lifts and we compute all o…

Extends machine learning models for analytic boundary conditions in differential equations.

In this paper we compute the singular homology of the space of immersions of the circle into the $n$-sphere. Equipped with Chas-Sullivan's loop product these homology groups are graded commutative algebras, we also compute these algebras. We enrich Morse spectral sequences for fibrations of free loop spaces together wi…

The aim of this note is to take benefit of the foam nature of the Khovanov-Kuperberg algebras to compute the Grothendieck groups of their categories of finitely generated projective modules. The computation relies on the Hattori-Stallings trace and some geometrical properties of foams in a solid torus.