Related papers: VersalDeformations - a package for computing versa…
In this article we show how to compute a matrix representation and the implicit equation by means of the method developed in [Botbol: arXiv:1007.3437], using the computer algebra system Macaulay2 \cite{M2}. As it is probably the most…
In this paper, we study the computation of curvatures at the singular points of algebraic curves and surfaces. The idea is to convert the problem to compute the curvatures of the corresponding regular parametric curves and surfaces, which…
We discuss an algorithm computing the push-forward to projective space of several classes associated to a (possibly singular, reducible, nonreduced) projective scheme. For example, the algorithm yields the topological Euler characteristic…
We construct the deformation functor associated to a couple of morphisms of differential graded Lie algebras, and use it to study the infinitesimal deformations of a holomorphic map of compact complex manifolds. In particular, in the case…
Numerical algebraic geometry is the field of computational mathematics concerning the numerical solution of polynomial systems of equations. Bertini, a popular software package for computational applications of this field, includes…
We construct versal and equimultiple versal deformations of the parametrization of a Legendrian curve.
In this article we propose a new and so-called holomorphic deformation scheme for locally convex algebras and Hopf algebras. Essentially we regard converging power series expansion of a deformed product on a locally convex algebra, thus…
In this work we compute a versal deformation of the three dimensional nilpotent Leibniz algebra over $\mathbb{C}$, defined by the nontrivial brackets $[e_1,e_3]=e_2$ and $[e_3,e_3]=e_1$.
A geometric setup for constrained variational calculus is presented. The analysis deals with the study of the extremals of an action functional defined on piecewise differentiable curves, subject to differentiable, non-holonomic…
DifferentialGeometry is a Maple software package which symbolically performs fundamental operations of calculus on manifolds, differential geometry, tensor calculus, Lie algebras, Lie groups, transformation groups, jet spaces, and the…
We introduce a new Macaulay2 package, Nauty, which gives access to powerful methods on graphs provided by the software nauty by Brendan McKay. The primary motivation for accessing nauty is to determine if two graphs are isomorphic. We also…
We describe the main functions of the Macaulay2 package Quasidegrees. The purpose of this package is to compute the quasidegree set of a finitely generated A-graded module presented as the cokernel of a monomial matrix. We provide examples…
The exactness equation for Lepage 2-forms, associated with variational systems of ordinary differential equations on smooth manifolds, is analyzed with the aim to construct a concrete global variational principle. It is shown that locally…
We use homological perturbation machinery specific for the algebra category [P. Real. Homological Perturbation Theory and Associativity. Homology, Homotopy and Applications vol. 2, n. 5 (2000) 51-88] to give an algorithm for computing the…
We present Decapodes, a diagrammatic tool for representing, composing, and solving partial differential equations. Decapodes provides an intuitive diagrammatic representation of the relationships between variables in a system of equations,…
In this paper, in order to develop a more general $L^2$-theory for the $\overline{\partial}$-operator on complex spaces, we provide $L^2$-Dolbeault fine resolutions and isomorphisms, and $L^2$-estimates, for holomorphic line bundles on…
In this article we study Cohen-Macaulay modules over one-dimensional hypersurface singularities and the relationship with the representation theory of associative algebras using methods of cluster tilting theory. We give a criterion for…
We present a Julia package HypersurfaceRegions.jl for computing all connected components in the complement of an arrangement of real algebraic hypersurfaces in $\mathbb{R}^n$.
We express nested Hilbert schemes of points and curves on a smooth projective surface as "virtual resolutions" of degeneracy loci of maps of vector bundles on smooth ambient spaces. We show how to modify the resulting obstruction theories…
An I-surface $S$ is an algebraic surface of general type with $K_S^2 = 1$ and $p_g(S) = 2$. Recent research has centered on trying to give an explicit description of the KSBA compactification of the moduli space of these surfaces. The…