Related papers: AdditiveToricVarieties: A Macaulay2 package for wo…
This is the Hadamard package for Macaulay2 which computes the Hadamard product of projective subvarieties.
The Macaulay2 package PHCpack.m2 provides an interface to PHCpack, a general-purpose polynomial system solver that uses homotopy continuation. The main method is a numerical blackbox solver which is implemented for all Laurent systems. The…
This paper introduces Type 2 Tobit Bayesian Additive Regression Trees (TOBART-2). BART can produce accurate individual-specific treatment effect estimates. However, in practice estimates are often biased by sample selection. We extend the…
In this review, novel non-standard techniques for the computation of cohomology classes on toric varieties are summarized. After an introduction of the basic definitions and properties of toric geometry, we discuss a specific computational…
This note describes a \emph{Macaulay2} package for computations in prime characteristic commutative algebra. This includes Frobenius powers and roots, $p^{-e}$-linear and $p^{e}$-linear maps, singularities defined in terms of these maps,…
In this work we provide effective bounds and classification results for rational $\QQ$-factorial Fano varieties with a complexity-one torus action and Picard number one depending on the invariants dimension and Picard index. This…
A (conjecturally complete) list of components of complements of discriminant varieties of parabolic singularities of smooth real functions is given. We also promote a combinatorial program that enumerates possible topological types of…
Extending work of Bielawski-Dancer and Konno, we develop a theory of toric hyperkahler varieties, which involves toric geometry, matroid theory and convex polyhedra. The framework is a detailed study of semi-projective toric varieties,…
We calculate the automorphism group of a complete toric variety $X$ with torus $T_M$. We prove that the radical unipotent of $Aut_k^0X$ is a semidirect product of additive groups, the reductive part is a quotient of a product of lineal…
Let $\mathbb{K}$ be an algebraically closed field of characteristic zero and $\mathbb{G}_a$ be the additive group of $\mathbb{K}$. We say that an irreducible algebraic variety $X$ of dimension $n$ over the field $\mathbb{K}$ admits an…
We define the isomorphism classes of torus-equivariant rank 2 arithmetically Cohen-Macaulay (aCM) vector bundles on the Veronese surface, up to a twist by the hyperplane class, and count them. Our approach makes use of Klyachko's…
We consider complete toric varieties $X$ such that a maximal unipotent subgroup $U$ of the automorphism group $\text{Aut}(X)$ acts on $X$ with an open orbit. It turns out that such varieties can be characterized by several remarkable…
We prove that every smooth affine variety of dimension $d$ embeds into every simple algebraic group of dimension at least $2d+2$. We do this by establishing the existence of embeddings of smooth affine varieties into the total space of…
Using Galois descent tools, we extend the Altmann-Hausen presentation of normal affine algebraic varieties endowed with an effective torus action over an algebraically closed field of characteristic zero to the case where the ground field…
We generalize Givental's Theorem for complete intersections in smooth toric varieties in the Fano case. In particular, we find Gromov--Witten invariants of Fano varieties of dimension $\geq 3$, which are complete intersections in weighted…
Let $\mathcal{M}$ be the moduli space of rank 2 stable torsion free sheaves with Chern classes $c_i$ on a smooth 3-fold $X$. When $X$ is toric with torus $T$, we describe the $T$-fixed locus of the moduli space. Connected components of…
We introduce the Macaulay2 package SparseResultants, which provides general tools for computing sparse resultants, sparse discriminants, and hyperdeterminants. We give some background on the theory and briefly show how the package works.
We study the equivariant cohomology classes of torus-equivariant subvarieties of the space of matrices. For a large class of torus actions, we prove that the polynomials representing these classes (up to suitably changing signs) are…
Assume that two algebraic varieties of finite type over the complex numbers are related by a morphism whose fibers are precisely the orbits for the action of a unipotent group. We show that the two varieties have the same topological Euler…
In this article, we describe the theoretical foundations of the Macaulay2 package ConnectionMatrices and explain how to use it. For a left ideal in the Weyl algebra that is of finite holonomic rank, we implement the computation of the…