Related papers: The TestIdeals package for Macaulay2
Generic linkage is used to compute a prime ideal such that the radical of the initial ideal of the prime ideal is equal to the radical of a given codimension two monomial ideal that has a Cohen-Macaulay quotient ring.
We study pairs of finitely generated modules over a principal ideal domain and their corresponding matrix representations. We introduce equivalence relations for such pairs and determine invariants and canonical forms.
Characteristic formulae give a complete logical description of the behaviour of processes modulo some chosen notion of behavioural semantics. They allow one to reduce equivalence or preorder checking to model checking, and are exactly the…
Some descriptions of linked ideals in a commutative Notherian ring $R$ are provided in terms of the Associated prime ideals of $R$. Then, among other things, we make some characterization of Cohen-Macaulay, Gorenstein and regular local…
We compute the first and second cohomology groups with coefficients in the adjoint module of frobeniusian model algebras whose parameters move in a dense open subset of $\mathbb{C}^{p-1}$, and obtain upper bounds for the dimension of…
We investigate topological properties of Calabi-Yau fourfolds and consider a wide class of explicit constructions in weighted projective spaces and, more generally, toric varieties. Divisors which lead to a non-perturbative superpotential…
Let $(R, \frak m)$ be a local ring of prime characteristic $p$ and of dimension $d$ with the embedding dimension $v$, type $s$ and the Frobenius test exponent for parameter ideals $\mathrm{Fte}(R)$. We will give an upper bound for the…
This note describes a package for computing seminormalization of rings within Macaulay2.
We study pairs of non-constant maps between two integral schemes of finite type over two (possibly different) fields of positive characteristic. When the target is quasi-affine, Tamagawa showed that the two maps are equal up to a power of…
For the $p$-dimensional filiform Lie algebra ${\mathfrak m}_2(p)$ over a field ${\mathbb F}$ of prime characteristic $p\ge 5$ with nonzero Lie brackets $[e_1,e_i] = e_{i+1}$ for $1<i<p$ and $[e_2,e_i]=e_{i+2}$ for $2<i<p-1$, we show that…
In this paper, we study some properties of umbral calculus related to Appell sequence. From those properties, we derive new and interesting identities of Frobenius-Euler polynomials.
The exponential modalities of linear logic have been used by various authors to model infinite-dimensional quantum systems. This paper explains how these modalities can also give rise to the complementarity principle of quantum mechanics.…
In this paper we study ideals generated by quite general sets of 2-minors of an $m \times n$-matrix of indeterminates. The sets of 2-minors are defined by collections of cells and include 2-sided ladders. For convex collections of cells it…
Frobenius companion matrices arise when we write an $n$-th order linear ordinary differential equation as a system of first order differential equations. These matrices and their transpose have very nice properties. By using the powers of…
In this paper, we develop an explicit method to express finite algebraic numbers (in particular, certain idempotents among them) in terms of linear recurrent sequences, and give applications to the characterization of the splitting primes…
Computation of parallel lines (envelopes) to parabolas, ellipses, and hyperbolas is of importance in structure engineering and theory of mechanisms. Homogeneous polynomials that implicitly define parallel lines for the given offset to a…
This paper demonstrates that extremal ideals can be used to great effect to compute integral closures of powers and symbolic powers of square-free monomial ideals. We show that the generators of these powers are images of the generators of…
We prove an analogue of the Lebesgue decomposition for continuous functionals on the commutant modulo a reflexive normed ideal of an n-tuple of hermitian operators for which there are quasicentral approximate units relative to the normed…
The acquisition of the defining equations of Rees algebras is a natural way to study these algebras and allows certain invariants and properties to be deduced. In this paper, we consider Rees algebras of codimension 2 perfect ideals of…
We show that one can express Frobenius transformation on middle-dimensional p-adic cohomology of Calabi-Yau threefold in terms of mirror map and instanton numbers. We express the mirror map in terms of Frobenius transformation on p-adic…