arXiv subjects

Hara Charalambous

Publications and source records attributed to Hara Charalambous.

13 recordsLinked to original sources

arXiv2021

The equivariant Hilbert series of the canonical ring of Fermat curves

We consider a Fermat curve $F_n:x^n+y^n+z^n=1$ over an algebraically closed field $k$ of characteristic $p\geq0$ and study the action of the automorphism group $G=\left(\mathbb{Z}/n\mathbb{Z}\times\mathbb{Z}/n\mathbb{Z}\right)\rtimes S_3$ on the canonical ring $R=\bigoplus H^0(F_n,Ω_{F_n}^{\otimes m})$ when $p>3$, $p\nmid n$ and $n-1$ is not a power of $p$. In particular, we explicitly determine the classes $[H^0(F_n,Ω_{F_n}^{\otimes m})]$ in the Grothendieck group $K_0(G,k)$ of finitely generated $k[G]$-modules, describe the respective equivariant Hilbert series $H_{R,G}(t)$ as a rational function, and use our results to write a program in Sage that computes $H_{R,G}(t)$ for an arbitrary Fermat curve.

math.AG↗

arXiv2019

The Relative Canonical Ideal of the Artin-Schreier-Kummer-Witt family of curves

We study the canonical model of the Artin-Schreier-Kummer-Witt flat family of curves over a ring of mixed characteristic. We first prove the relative version of a classical theorem by Petri, then use the model proposed by Bertin-Mézard to construct an explicit generating set for the relative canonical ideal. As a byproduct, we obtain a combinatorial criterion for a set to generate the canonical ideal, applicable to any curve satisfying the assumptions of Petri's theorem.

math.AG↗

arXiv2017

Minimal Generating Sets of Lattice Ideals

Let $L\subset \mathbb{Z}^n$ be a lattice and $I_L=\langle x^{\bf u}-x^{\bf v}:\ {\bf u}-{\bf v}\in L\rangle$ be the corresponding lattice ideal in $\Bbbk[x_1,\ldots, x_n]$, where $\Bbbk$ is a field. In this paper we describe minimal binomial generating sets of $I_L$ and their invariants. We use as a main tool a graph construction on equivalence classes of fibers of $I_L$. As one application of the theory developed we characterize binomial complete intersection lattice ideals, a longstanding open problem in the case of non-positive lattices.

math.AC↗

arXiv2015

Markov bases and generalized Lawrence liftings

Minimal Markov bases of configurations of integer vectors correspond to minimal binomial generating sets of the assocciated lattice ideal. We give necessary and sufficient conditions for the elements of a minimal Markov basis to be (a) inside the universal Gr{\" o}bner basis and (b) inside the Graver basis. We study properties of Markov bases of generalized Lawrence liftings for arbitrary matrices $A\in\mathcal{M}_{m\times n}(\Bbb{Z})$ and $B\in\mathcal{M}_{p\times n}(\Bbb{Z})$ and show that in cases of interest the {\em complexity} of any two Markov bases is the same.

math.AC↗

arXiv2015

Binomial fibers and indispensable binomials

Let $I$ be an arbitrary ideal generated by binomials. We show that certain equivalence classes of fibers are associated to any minimal binomial generating set of $I$. We provide a simple and efficient algorithm to compute the indispensable binomials of a binomial ideal from a given generating set of binomials and an algorithm to detect whether a binomial ideal is generated by indispensable binomials.

math.AC↗

arXiv2013

Markov complexity of monomial curves

Let $\mathcal{A}=\{{\bf a}_1,\ldots,{\bf a}_n\}\subset\Bbb{N}^m$. We give an algebraic characterization of the universal Markov basis of the toric ideal $I_{\mathcal{A}}$. We show that the Markov complexity of $\mathcal{A}=\{n_1,n_2,n_3\}$ is equal to two if $I_{\mathcal{A}}$ is complete intersection and equal to three otherwise, answering a question posed by Santos and Sturmfels. We prove that for any $r\geq 2$ there is a unique minimal Markov basis of $\mathcal{A}^{(r)}$. Moreover, we prove that for any integer $l$ there exist integers $n_1,n_2,n_3$ such that the Graver complexity of $\mathcal{A}$ is greater than $l$.

math.AC↗

arXiv2010

Betti numbers of multigraded modules of generic type

Let $R=\Bbbk[x_1,...,x_m]$ be the polynomial ring over a field $\Bbbk$ with the standard $\mathbb Z^m$-grading (multigrading), let $L$ be a Noetherian multigraded $R$-module, let $β_{i,α}(L)$ the $i$th (multigraded) Betti number of $L$ of multidegree $\a$. We introduce the notion of a generic (relative to $L$) multidegree, and the notion of multigraded module of generic type. When the multidegree $\a$ is generic (relative to $L$) we provide a Hochster-type formula for $β_{i,α}(L)$ as the dimension of the reduced homology of a certain simplicial complex associated with $L$. This allows us to show that there is precisely one homological degree $i\ge 1$ in which $β_{i,α}(L)$ is non-zero and in this homological degree the Betti number is the $β$-invariant of a certain minor of a matroid associated to $L$. In particular, this provides a precise combinatorial description of all multigraded Betti numbers of $L$ when it is a multigraded module of generic type.

math.AC↗

arXiv2010

Topological Constructions for Multigraded Squarefree Module

Let $R=\Bbbk[x_1,\..., x_n]$ and $M=R^s/I$ a multigraded squarefree module. We discuss the construction of cochain complexes associated to $M$ and we show how to interpret homological invariants of $M$ in terms of topological computations. This is a generalization of the well studied case of squarefree monomial ideals.

math.AC↗

arXiv2009

On simple A-multigraded minimal resolutions

Let $A$ be a semigroup whose only invertible element is 0. For an $A$-homogeneous ideal we discuss the notions of simple $i$-syzygies and simple minimal free resolutions of $R/I$. When $I$ is a lattice ideal, the simple 0-syzygies of $R/I$ are the binomials in $I$. We show that for an appropriate choice of bases every $A$-homogeneous minimal free resolution of $R/I$ is simple. We introduce the gcd-complex $D_{gcd}(\bf b)$ for a degree $\mathbf{b}\in \A$. We show that the homology of $D_{gcd}(\bf b)$ determines the $i$-Betti numbers of degree $\bf b$. We discuss the notion of an indispensable complex of $R/I$. We show that the Koszul complex of a complete intersection lattice ideal $I$ is the indispensable resolution of $R/I$ when the $A$-degrees of the elements of the generating $R$-sequence are incomparable.

math.AC↗

arXiv2009

On the generalized Scarf complex of lattice ideals

Let $k$ be a field, $ \mathcal{L}\subset \mathbb{Z}^n$ be a lattice such that $Ł\cap \mathbb{N}^n=\{{\bf 0}\}$, and $I_Ł\subset \Bbbk[x_1,..., x_n]$ the corresponding lattice ideal. We present the generalized Scarf complex of $I_Ł$ and show that it is indispensable in the sense that it is contained in every minimal free resolution of $R/I_Ł$.

math.AC↗

arXiv2006

Minimal systems of binomial generators and the indispensable complex of a toric ideal

Let $A=\{{\bf a}_1,...,{\bf a}_m\} \subset \mathbb{Z}^n$ be a vector configuration and $I_A \subset K[x_1,...,x_m]$ its corresponding toric ideal. The paper consists of two parts. In the first part we completely determine the number of different minimal systems of binomial generators of $I_A$. We also prove that generic toric ideals are generated by indispensable binomials. In the second part we associate to $A$ a simplicial complex $Δ_{\ind(A)}$. We show that the vertices of $Δ_{\ind(A)}$ correspond to the indispensable monomials of the toric ideal $I_A$, while one dimensional facets of $Δ_{\ind(A)}$ with minimal binomial $A$-degree correspond to the indispensable binomials of $I_{A}$.

math.AC↗

arXiv2004

On the Denominator of the Poincaré series for monomial quotient rings

Let $S=\Bbbk[x_1,..., x_n]$ be a polynomial ring over a field $\Bbbk$ and $I$ a monomial ideal of $S$. It is well known that the Poincaré series of $\Bbbk$ over $S/I$ is rational. We describe the coefficients of the denominator of the series and study the multigraded homotopy Lie algebra of $S/I$.

math.AC↗

arXiv1998

Extremal Betti Numbers and Applications to Monomial Ideals

In this short note we introduce a notion of extremality for Betti numbers of a minimal free resolution, which can be seen as a refinement of the notion of Mumford-Castelnuovo regularity. We show that extremal Betti numbers of an arbitrary submodule of a free S-module are preserved when taking the generic initial module. We relate extremal multigraded Betti numbers in the minimal resolution of a square free monomial ideal with those of the monomial ideal corresponding to the Alexander dual simplicial complex and generalize theorems of Eagon-Reiner and Terai. As an application we give easy (alternative) proofs of classical criteria due to Hochster, Reisner, and Stanley.

math.AC↗