Related papers: The TestIdeals package for Macaulay2
We give a categorical description of all abelian varieties with commutative endomorphism ring over a finite field with $q=p^a$ elements in a fixed isogeny class in terms of pairs consisting of a fractional $\mathbb Z[\pi,q/\pi]$-ideal and a…
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…
In this paper we study the (Cohen-Macaulay) type of orders over Dedekind domains in \'etale algebras. We provide a bound for the type, and give formulas to compute it. We relate the type of the overorders of a given order to the size of…
Suppose that R is a two-dimensional normal standard-graded domain over a finite field. We prove that there exists a uniform Frobenius test exponent b for the class of homogeneous ideals in R generated by at most n elements. This means that…
In a previous paper we exhibited the somewhat surprising property that most direct links of prime ideals in Gorenstein rings are equimultiple ideals with reduction number $1$. This led to the construction of large families of…
In this paper, we show the equality of the (local) $\mathrm{v}$-number and Castelnuovo-Mumford regularity of certain classes of Gorenstein algebras, including the class of Gorenstein monomial algebras. Also, for the same classes of algebras…
Cellular resolutions are a technique for constructing resolutions of monomial ideals by giving a cell complex labeled by monomials, or more generally, by monomial modules. This \verb|Macaulay2| package allows us to work with cellular…
The Macaulay2 package NumericalSchubertCalculus provides methods for the numerical computation of Schubert problems on Grassmannians. It implements both the Pieri homotopy algorithm and the Littlewood-Richardson homotopy algorithm. Each…
We find sufficient conditions which imply equality of the finitistic test ideal and test ideal in rings of prime characteristic. Utilizing recent progress from the prime characteristic minimal model program we equate the notions of…
The main aim of this paper is to classify Ulrich ideals and Ulrich modules over two-dimensional Gorenstein rational singularities (rational double points) from a geometric point of view. To achieve this purpose, we introduce the notion of…
In this paper we give a module-theoretic description of the isomorphism classes of abelian varieties $A$ isogenous to $B^r$, where the characteristic polynomial $g$ of Frobenius of $B$ is an ordinary square-free $q$-Weil polynomial, for a…
An algorithm for resolution of singularities in characteristic zero is described. It is expressed in terms of multi-ideals, that essentially are defined as a finite sequence of pairs, each one consiting of a sheaf of ideals and a positive…
For a normal F-finite variety $X$ and a boundary divisor $\Delta$ we give a uniform description of an ideal which in characteristic zero yields the multiplier ideal, and in positive characteristic the test ideal of the pair $(X,\Delta)$.…
After the language of module and theirs morphisms, this short course presents matricial calculus and determinants in a commutative ring as appliction of ``remarquable identities'' in the ring of polynomials with integer coefficients with…
Let $R$ be a commutative Noetherian $F$-finite ring of prime characteristic and let $\mathcal{D}$ be a Cartier algebra. We define a self-map on the Frobenius split locus of the pair $(R,\mathcal{D})$ by sending a point $P$ to the splitting…
A central question in mathematics and computer science is the question of determining whether a given ideal $I$ is prime, which geometrically corresponds to the zero set of $I$, denoted $Z(I)$, being irreducible. The case of principal…
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 paper we introduce the concept of $\mathit{integral}$ $\mathit{Frobenius}$ to formulate an integral analogue of the classical compatibility condition linking the collection of rational Tate modules $V_\lambda(A)$ arising from…
We compute some algebraic invariants (e.g. depth, Castelnuovo - Mumford regularity) for a special class of monomial ideals, namely the ideals of mixed products. As a consequence, we characterize the Cohen-Macaulay ideals of mixed products.
We establish a series of results showing that the Jacobian ideal is contained in the test ideal. We first prove a new result in characteristic $p$ for complete rings over a field $K$. Then we prove some results showing that Jacobian ideals…