2 citations · 2 across the 4 of their papers we have counts for
7 papers
When does a derivation of a ring admit the exponential?
Genrich Belitskii, Alberto F. Boix, Dmitry Kerner
Exponentials of (real/complex) vector fields are classically defined via the vector field integration. Take a k-algebra k[x] \subset R\subset k[[x]], where k\supseteq \Q is a local…
Exploring a local variant of the Buchsbaum--Eisenbud--Horrocks conjecture
Alberto F. Boix, Bárbara K. Lima--Pereira
The Buchsbaum--Eisenbud--Horrocks conjecture has attracted the attention of many researchers working in Commutative Algebra and Algebraic Geometry in the last fifty years. Quite re…
Invariants of limit key polynomials
Maria Alberich-Carramiñana, Alberto F. Boix, Julio Fernández +3
Let be a valuation of arbitrary rank on the polynomial ring with coefficients in a field . We prove comparison theorems between MacLane-Vaquié key polynomials for val…
Surjectivity of the completion map for rings of -functions. (Whitney extension theorem for general filtrations)
Genrich Belitskii, Dmitry Kerner
The classical lemma of Borel reads: any power series with real coefficients is the Taylor series of a smooth function. Algebraically this means the surjectivity of the completion m…
Approximation results of Artin-Tougeron-type for general filtrations and for -equations
Genrich Belitskii, Alberto F. Boix, Dmitry Kerner
Artin approximation and other related approximation results are used in various areas. The traditional formulation of such results is restricted to filtrations by powers of ideals,…
The TestIdeals package for Macaulay2
Alberto F. Boix, Daniel J. Hernández, Zhibek Kadyrsizova +7
This note describes a \emph{Macaulay2} package for computations in prime characteristic commutative algebra. This includes Frobenius powers and roots, -linear and -l…