arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2206.05572

On minimal Gorenstein Hilbert function

Lenin Bezerra·Rodrigo Gondim·Giovanna Ilardi·Giuseppe Zappalà
View original source ↗Read source document ↗Export metadata ↓

Abstract

We conjecture that a class of Artinian Gorenstein Hilbert algebras called full Perazzo algebras always have minimal Hilbert function, fixing codimension and length. We prove the conjecture in length four and five, in low codimension. We also prove the conjecture for a particular subclass of algebras that occurs in every length and certain codimensions. As a consequence of our methods we give a new proof of part of a known result about the asymptotic behavior of the minimum entry of a Gorenstein Hilbert function.

Explore related subjects

math.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Lenin Bezerra, Rodrigo Gondim, Giovanna Ilardi, Giuseppe Zappalà. 2024-05-09. On minimal Gorenstein Hilbert function. https://arxiv.org/abs/2206.05572

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Fixed-locus relations and purely non-symplectic automorphisms of order 6 on K3 surfaces

We study relations between invariants of the fixed loci of purely non-symplectic automorphisms of $K3$ surfaces. We obtain these relations by comparing the stringy Euler characteristic of higher dimensional Borcea--Voisin varieties with their Hodge numbers. For orders $4$ and $6$ we explain the geometric meaning of these relations and show how they follow from the Lefschetz and Riemann--Hurwitz formulas. For order $6$, the classifications of fixed loci for orders $2$ and $3$ give $817$ candidates. We use local conditions on discriminant forms, Hermitian trace forms and bounds for root-free lattices to reduce this number to $204$. All $142$ numerical types obtained from the $150$ deformation classes of Brandhorst and Hofmann satisfy these conditions. Also, we give explicit elliptic and projective models for each of the $20$ possible fixed loci of the generator.

math.AG↗
arXiv2026

Algebraic geometry of bubbling Kahler metrics

We give an algebro-geometric or non-archimedean framework to study bubbling phenomena of Kahler metrics with Euclidean volume growth, after [DS17, Sun23, dBS23]. In particular, for any degenerating family to log terminal singularity, we algebraically construct a finite sequence of birational modifications of the family with milder degenerations, and compare with analytic bubbling constructions in loc.cit. We also provide approaches in terms of coordinates and valuations. Our discussion partially depends on the general framework of stability theory in our [Od24b] (arXiv:2406.02489) after [HL14, AHLH23].

math.AG↗
arXiv2026

On the Goppa morphism

We develop a moduli-theoretic framework, over an arbitrary base field, for the classical Goppa construction of algebraic-geometric codes. We consider the moduli stack $\mathcal{LS}_{g,n,d}$ of line bundles of degree $d$ on $n$-pointed smooth projective curves of genus $g$, trivialized along the marked points, as the space of Goppa structures and show that evaluation of global sections defines a natural Goppa morphism $ \mathrm{Goppa}_{g,n,d}\colon \mathcal{LS}_{g,n,d}\longrightarrow \mathrm{Gr}(k,n)$, $k=1-g+d$, together with an extended morphism to $\mathrm{Gr}(k,n)\times \mathcal{M}_{g,n}$. Under explicit numerical hypotheses, we prove that the extended Goppa morphism is an immersion. The pullbacks of the Plücker coordinates are identified with sections of the theta line bundle on the relative Picard scheme, and the locus of non-degenerate codes for which a subset $I$ fails to be an information set is precisely the corresponding theta locus. We identify the fibers of the Goppa morphism over non-degenerate codes $C$ with moduli spaces of non-degenerate $n$-pointed genus-$g$ curves of degree $d$ in the projective space $\mathbb{P}C$ canonically determined by $C$. This yields a Hilbert-incidence description of the Goppa construction and, in a natural range, implies that $\mathrm{Goppa}_{g,n,d}$ is schematic and quasi-projective and that $\mathcal{LS}_{g,n,d}$ is a quasi-projective scheme. In genus zero, we further obtain, for $2\leq d\leq n-3$, a canonical $\mathbb{G}_m^{n-1}$-family of immersions $\mathcal{M}_{0,n}\hookrightarrow \mathrm{Gr}(d+1,n)$, which connects the Goppa morphism with the classical geometry of $\mathcal{M}_{0,n}$.

math.AG↗