http://arxiv.org/api/s6Uy42j9U87JV97QX092ZHkVSz4 2025-05-06T00:00:00-04:00 13665 450 15 http://arxiv.org/abs/2408.11714v6 2025-01-25T13:57:33Z 2024-08-21T15:38:00Z

We describe the behaviour of a free reduced plane projective curve with respect to the deletion, respectively addition, of a smooth conic. These results apply in particular to conic-line arrangements. We present some obstructions to the geometry and combinatorics of a free reduced curve, generalizing results known a priori only for free projective line arrangements.

Anca Macinic Clarified some notations. Added Corollaries 3.15, 3.17 http://arxiv.org/abs/2501.11575v2 2025-01-24T05:04:07Z 2025-01-20T16:26:03Z

Let $T$ be a subset of a ring $A$, and let $M$ be an $A$-module. We study the additive subgroups $F$ of $M$ such that, for all $x \in M$, if $tx \in F$ for some $t \in T$, then $x \in F$. We call any such subset $F$ of $M$ a $T$-factroid of $M$, which is a kind of dual to the notion of a $T$-submodule of $M$. We connect the notion with the zero-divisors on $M$, various classes of primary and prime ideals of $A$, Euclidean domains, and the recent concepts of unit-additive commutative rings and of Egyptian fractions with respect to a multiplicative subset of a commutative ring. We also introduce a common generalization of local rings and unit-additive rings, called *sublocalizing* rings, and relate them to $T$-factroids.

Jesse Elliott Neil Epstein Removed color from erroneously colored text. Removed a nonequivalent condition from 8.13. 42 pages; comments very welcome! http://arxiv.org/abs/2501.13867v1 2025-01-23T17:39:33Z 2025-01-23T17:39:33Z

We present the theory of cotangent functors following the approach of Palamodov, and a conjecture of Herzog relating the vanishing of certain cotangent functors to the property of being a complete intersection.

Antonino Ficarra http://arxiv.org/abs/2405.04389v3 2025-01-23T16:36:58Z 2024-05-07T15:13:53Z

This work presents a range of triangulated characterizations for important classes of singularities such as derived splinters, rational singularities, and Du Bois singularities. An invariant called 'level' in a triangulated category can be used to measure the failure of a variety to have a prescribed singularity type. We provide explicit computations of this invariant for reduced Nagata schemes of Krull dimension one and for affine cones over smooth projective hypersurfaces. Furthermore, these computations are utilized to produce upper bounds for Rouquier dimension on the respective bounded derived categories.

Pat Lank Sridhar Venkatesh 10.1017/nmj.2025.11 Current: Final version, to appear in Nagoya Math. J., Previous: Removed properness assumptions, removed Section 4, improved exposition http://arxiv.org/abs/2501.13613v1 2025-01-23T12:33:54Z 2025-01-23T12:33:54Z

Introduced by Takagi and Watanabe, the F-pure threshold is an invariant defined in terms of the Frobenius homomorphism. While it finds applications in various settings, it is primarily used as a local invariant. The purpose of this note is to start filling this gap by opening the study of its behavior on a scheme. To this end, we define the defect of the F-pure threshold of a local ring $(R,\mathfrak{m})$ by setting ${\rm dfpt}(R)=\dim (R) - {\rm fpt}(\mathfrak{m})$. It turns out that this invariant defines an upper semi-continuous function on a scheme and satisfies Bertini-type theorems. We also study the behavior of the defect of the F-pure threshold under flat extensions and after blowing up the maximal ideal of a local ring.

Alessandro De Stefani Luis Núñez-Betancourt Ilya Smirnov http://arxiv.org/abs/2501.13526v1 2025-01-23T10:21:57Z 2025-01-23T10:21:57Z

Let $(A,\mathfrak{m})$ be a complete Cohen-Macaulay local ring. Assume $A$ is not Gorenstein. We say $A$ is a Teter ring if there exists a complete Gorenstein ring $(B,\mathfrak{n})$ with $\dim B = \dim A$ and a surjective map $B \rightarrow A$ with $e(B) - e(A) = 1$ (here $e(A)$ denotes multiplicity of $A$). We give an intrinsic characterization of Teter rings which are domains. We say a Teter ring is a strongly Teter ring if $G(B) = \bigoplus_{i \geq 0}\mathfrak{n}^i/\mathfrak{n}^{i+1}$ is also a Gorenstein ring. We give an intrinsic characterizations of strongly Teter rings which are domains. If $k$ is algebraically closed field of characteristic zero and $R$ is a standard graded Cohen-Macaulay $k$-algebra of finite representation type (and not Gorenstein) then we show that $\widehat{R_\mathfrak{M}}$ is a Teter ring (here $\mathfrak{M}$ is the maximal homogeneous ideal of $R$).

Tony J. Puthenpurakal http://arxiv.org/abs/2501.13348v1 2025-01-23T03:18:07Z 2025-01-23T03:18:07Z

We consider the strong Lefschetz property for standard graded Artinian Gorenstein algebras. Such an algebra has a presentation of the quotient algebra of the ring of the differential polynomials modulo the annihilator of some homogeneous polynomial. There is a characterization of the strong Lefschetz property for such an algebra by the non-degeneracy of the higher Hessian matrix of the homogeneous polynomial. Maeno and Numata conjectured that if such an algebra is defined by the basis generating polynomial of any matroid, then it has the strong Lefschetz property. For this conjecture, we give counterexamples that are associated with graphic matroids. We prove the degeneracy of the higher Hessian matrix by constructing a non-zero element in the kernel of that matrix.

Ryo Takahashi 24 pages, 6 figures http://arxiv.org/abs/2501.13032v1 2025-01-22T17:27:42Z 2025-01-22T17:27:42Z

For $U\subseteq H^0(\mathcal{O}_{\mathbb{P}^1\times \mathbb{P}^1}(a,b))$ a four-dimensional vector space, a basis $\{p_0,p_1,p_2,p_3\}$ of $U$ defines a rational map $\phi_U:\,\mathbb{P}^1\times \mathbb{P}^1 \dashrightarrow \mathbb{P}^3$. The tensor product surface associated to $U$ is the closed image $X_U$ of the map $\phi_U$. These surfaces arise within the field of geometric modelling, in which case it is particularly desirable to obtain the implicit equation of $X_U$. In this paper, we study $X_U$ via the syzygies of the associated bigraded ideal $I_U=(p_0,p_1,p_2,p_3)$ when $U$ is free of basepoints, i.e. $\phi_U$ is regular. Expanding upon work of Duarte and Schenck for such ideals with a linear syzygy, we address the case that $I_U$ has a quadratic syzygy.

Matthew Weaver 14 pages http://arxiv.org/abs/2501.12836v1 2025-01-22T12:22:03Z 2025-01-22T12:22:03Z

In this paper we provide a family of reduced plane curves with two branches that have a constant Tjurina number in their equisingularity class, along with a closed formula for it in terms of topological data.

Patricio Almirón Marcelo E. Hernandes 20 pages, comments are very welcome! http://arxiv.org/abs/2501.12819v1 2025-01-22T11:54:08Z 2025-01-22T11:54:08Z

Let $(A,\mathfrak{m})$ be a Cohen-Macaulay local ring of dimension $d \geq 2$. An $\mathfrak{m}$-primary ideal $I$ is said to be a generalized Narita ideal if $e_i^I(A) = 0$ for $2 \leq i \leq d$. If $I$ is a generalized Narita ideal and $M$ is a maximal Cohen-Macaulay $A$-module then we show $e_i^I(M) = 0$ for $2 \leq i \leq d$. We also have $G_I(M)$ is generalized Cohen-Macaulay. Furthermore we show that there exists $c_I$ (depending only on $A$ and $I$) such that $\text{reg} \ G_I(M) \leq c_I$.

Tony J. Puthenpurakal 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