http://arxiv.org/api/QA9e6yp24/6pd4Dv+SWoXuzSe4s 2025-05-07T00:00:00-04:00 13667 465 15 http://arxiv.org/abs/1811.10692v2 2025-01-22T11:06:19Z 2018-11-26T21:16:02Z

The goal of this text is to understand and prove a formula stated by Salmon, which gives the first terms of some Taylor expansion of the discriminant of a plane algebraic curve. Salmon uses his formula to derive various enumerative quantities for surfaces in $\mathbf{P}^3$. We provide complete proofs of this formula and its enumerative applications, and extend Salmon's considerations to hypersurfaces in a projective space of arbitrary dimension. To this end, we introduce the concept of reduced discriminant, and provide a thorough study of its weight properties; the latter are deeply linked to projective enumerative geometric properties.

Laurent Busé Thomas Dedieu This text is one of a series issued from the seminar /Degenerations and enumerations of curves on surfaces/, held in the University of Roma Tor Vergata 2015--2017 http://arxiv.org/abs/2411.13767v2 2025-01-22T00:40:42Z 2024-11-21T00:33:05Z

De Loera, O'Neill and Wilburne introduced a general model for random numerical semigroups in which each positive integer is chosen independently with some probability p to be a generator, and proved upper and lower bounds on the expected Frobenius number and expected embedding dimensions. We use a range of probabilistic methods to improve the upper bounds to within a polylogarithmic factor of the lower bounds in each case. As one of the tools to do this, we prove that for any prime q, if A is a random subset of the cyclic group Z_q whose size is of order log(q) and k is also of order log(q), then with high probability the k-fold sumset kA is all of Z_q.

Tristram Bogart Santiago Morales 17 pages, 4 figures. Corrected various minor mistakes, including constants that were incorrectly swapped between the two parts of the main theorem (Theorem 1.6). Added a new reference (Bac90) and associated discussion in the introduction http://arxiv.org/abs/2501.12303v1 2025-01-21T17:17:23Z 2025-01-21T17:17:23Z

In this paper we prove that any full Perazzo algebra $A_F$, whose Macaulay dual generator is a Perazzo form $F\in K[X_0,\dots,X_n,U_1,\dots,U_m]_d$ with $n+1 = \binom{d+m-2}{m-1}$, is the doubling of a 0-dimensional scheme in $\PP^{n+m}$ and we compute the graded Betti numbers of a minimal free resolution of $A_F$.

Rosa Maria Miró-Roig Josep Pérez To be published in Annali di Matematica Pura ed Applicata http://arxiv.org/abs/2403.17078v3 2025-01-21T16:00:59Z 2024-03-25T18:10:43Z

Let $I$ be a monomial ideal of $S=K[x_1,\ldots,x_n]$. We show that the following are equivalent: (i) $I$ is principal, (ii) $\operatorname{hdepth}(I)=n$, (iii) $\operatorname{hdepth}(S/I)=n-1$. Assuming that $I$ is squarefree, we prove that if $\operatorname{hdepth}(S/I)\leq 3$ or $n\leq 5$ then $\operatorname{hdepth}(I)\geq \operatorname{hdepth}(S/I)+1$. Also, we prove that if $\operatorname{hdepth}(S/I)\leq 5$ or $n\leq 7$ then then $\operatorname{hdepth}(I)\geq \operatorname{hdepth}(S/I)$.

Andreea I. Bordianu Mircea Cimpoeas 29 pages; there is an overlap with a previous version of arXiv:2310.12339; minor corrections http://arxiv.org/abs/2501.12109v1 2025-01-21T13:06:33Z 2025-01-21T13:06:33Z

Let $\mathcal{A}$ be an abelian category. Denote by $\mathrm{D}^{b}(\mathcal{A})$ the bounded derived category of $\mathcal{A}$. In this paper, we investigate the lower bounds for the levels of objects in $\mathrm{D}^{b}(\mathcal{A})$ with respect to a (co)resolving subcategory satisfying a certain condition. As an application, we not only recover the results of Altmann--Grifo--Monta\~{n}o--Sanders--Vu, and Awadalla--Marley but also extend them to establish lower bounds for levels with respect to some other subcategories in an abelian category.

Yuki Mifune 19 pages http://arxiv.org/abs/2501.12108v1 2025-01-21T13:05:50Z 2025-01-21T13:05:50Z

Lefschetz properties and inverse systems have played key roles in understanding the $h$-vector of simplicial spheres. In 1996, Lee established connections between these two algebraic tools and rigidity theory, an area often used in the study of motions of geometric complexes. One of the key ideas, is to translate geometric information about a complex, coming from vertex coordinates, to the algebraic notion of a linear system of parameters. In this paper, we explore similar connections in the nonlinear case, by using recent results of Herzog and Moradi (2021) where they prove that a subset of the elementary symmetric polynomials is always a system of parameters for the Stanley-Reisner ideal of a complex. We investigate connections to the study of Lefschetz properties of monomial ideals. Using this perspective, we recover and extend the well known result of Migliore, Mir\'o-Roig and Nagel on the failure of the WLP of monomial almost complete intersections, by showing that, with one simple exception, every homology sphere has a monomial artinian reduction failing the weak Lefschetz property. Finally, we state probabilistic consequences of our results under a model introduced by Linial and Meshulam. We prove that there exists an open interval for the probability parameter where failure of Lefschetz properties of monomial ideals should be expected.

Thiago Holleben Comments are welcome http://arxiv.org/abs/2501.12091v1 2025-01-21T12:34:17Z 2025-01-21T12:34:17Z

We compute a number of invariants of singularities defined via the Frobenius morphism for seminormal affine toric varieties over fields of characteristic p > 0. Our main technical tool is a combinatorial description of the potential splittings of iterates of Frobenius for seminormal monoid algebras. This allows us to give an easy formula for the F-splitting ratio of such rings as well as to compute the ideals stable under the Cartier algebra, including the test ideal.

Milena Hering Kevin Tucker 20 pages, 1 Figure http://arxiv.org/abs/2501.12063v1 2025-01-21T11:35:24Z 2025-01-21T11:35:24Z

Given a nonnegative noncommutative polynomial $f$, equivalently a sum of Hermitian squares (SOHS), there exists a positive semidefinite Gram matrix that encrypts all essential information of $f$. There are no available methods for extending a noncommutative polynomial to a SOHS keeping the Gram matrices unperturbed. As a remedy, we introduce an equally significant notion of Gram-like matrices and provide linear algebraic techniques to get the desired extensions. We further use positive semidefinite completion problem to get SOHS and provide criteria in terms of chordal graphs and 2-regular projective algebraic sets.

Arijit Mukherjee Arindam Sutradhar All comments are welcome http://arxiv.org/abs/2501.11100v1 2025-01-19T16:20:06Z 2025-01-19T16:20:06Z

In this article, we investigate alternative construction of Fitting ideals of pushforward modules $f_*\mathcal{O}_{X,0}$ for finite and holomorphic map-germs from an $n$-dimensional Cohen-Macaulay space $(X,0)$ to $(\mathbb{C}^{n+1},0)$. For corank 1 map-germs, we generalize a result of D. Mond and R. Pellikaan to iteratively calculate $k$-th Fitting ideals as ideal quotients of lower ones. We also show that for a stable map-germ of any corank, the first Fitting ideal can be calculated as a quotient ideal of the Jacobian of the image and the pushforward of the ramification ideal, which is a modification of classical result of due to Piene.

Ayse Sharland Jacob Smith http://arxiv.org/abs/2501.10520v1 2025-01-17T19:41:05Z 2025-01-17T19:41:05Z

In this paper, we introduce the tame isotropy group of a derivation. In particular, we calculate the tame isotropy groups of triangular derivations of polynomial rings with one, two, and three variables.

Adriana Freitas Marcelo Veloso http://arxiv.org/abs/2311.07727v2 2025-01-17T16:04:35Z 2023-11-13T20:12:46Z

In this paper we define spherical complexes as simplicial complexes with the property that every subcomplex obtained by a sequence of links and deletions either has trivial homology, or has the homology of a sphere. Examples of such complexes are independence complexes of ternary graphs and independence complexes of simplicial forests. We give criteria for when a spherical complex is acyclic, and describe the dimension of the sphere when it is not. We then apply our results to compute the Leray number of these complexes, and define combinatorial invariants for them which are counterparts to algebraic invariants of their Stanley-Reisner rings.

Sara Faridi Thiago Holleben Comments are welcome http://arxiv.org/abs/2501.10267v1 2025-01-17T15:52:57Z 2025-01-17T15:52:57Z

We study the enumeration problem of higher dimensional partitions, a natural generalisation of classical integer partitions. We show that their counting problem is equivalent to the enumeration of simpler classes of higher dimensional partitions, satisfying suitable constraints on their embedding dimension and socle type. We provide exact formulas for the generating functions of several infinite families of such partitions, and design a procedure enumerating them in the general case. As a proof of concept, we determine the number of partitions of size up to 30 in any dimension.

Michele Graffeo Sergej Monavari Riccardo Moschetti Andrea T. Ricolfi 48 pages. Ancillary files. Comments welcome http://arxiv.org/abs/2501.10094v1 2025-01-17T10:29:44Z 2025-01-17T10:29:44Z

We give a geometric interpretation of the reciprocal complement of an integral domain $D$ in the case $D$ is a one-dimensional finitely generated algebra over an algebraically closed field.

Dario Spirito http://arxiv.org/abs/2401.10146v2 2025-01-17T08:04:36Z 2024-01-18T17:19:31Z

This work explores bounds on the Rouquier dimension in the bounded derived category of coherent sheaves on Noetherian schemes. By utilizing approximations, we exhibit that Rouquier dimension is inherently characterized by the number of cones required to build all perfect complexes. We use this to prove sharper bounds on Rouquier dimension of singular schemes. Firstly, we show Rouquier dimension doesn't go up along \'{e}tale extensions and is invariant under \'{e}tale covers of affine schemes admitting a dualizing complex. Secondly, we demonstrate that the Rouquier dimension of the bounded derived category for a curve, with a delta invariant of at most one at closed points, is no larger than two. Thirdly, we bound the Rouquier dimension for the bounded derived category of a (birational) derived splinter variety by that of a resolution of singularities.

Pat Lank Noah Olander Current: Final version, to appear in Mosc. Math. J. Previous: v1, comments welcome! http://arxiv.org/abs/2501.10005v1 2025-01-17T07:39:54Z 2025-01-17T07:39:54Z

Let R be a commutative ring with identity and M be an R-module. The purpose of this paper is to introduce and investigate the dual notion of morphic modules over a commutative ring.

Faranak Farshadifar