On $\operatorname{Ext}$-finite modules, quasi-injective dimension and width of modules

2025-03-24T11:40:48Z

Let $(R,\mathfrak{m},k)$ be a commutative Noetherian local ring. It is well-known that if $M$ is a finitely generated $R$-module of finite quasi-injective dimension, then $\operatorname{qid}_RM = \operatorname{depth} R$. In this paper, we demonstrate that under the weaker condition that $M$ is $\operatorname{Ext}$-finite and has finite quasi-injective dimension, the equality $\operatorname{qid}_R M =0$ holds if and only if $\operatorname{Ext}_R^{i>0}(R/(\boldsymbol{x}),M)=0$, where $\boldsymbol{x} \in \mathfrak{m}$ is a maximal $R$-sequence and if $\operatorname{qid}_R M \neq 0$, we show then that $\operatorname{qid}_R M = \sup \lbrace i : \operatorname{Ext}_R^i(R/(\boldsymbol{x}),M) \neq 0 \rbrace$. Also, we show that if $R$ is a Cohen-Macaulay local ring and $M$ is an $\operatorname{Ext}$-finite $R$-module of finite quasi-injective dimension, then $\operatorname{depth} R = \operatorname{qid}_R M + \inf \lbrace i : \operatorname{Tor}_i^R(k,M) \neq 0 \rbrace$, provided that $\inf \lbrace i : \operatorname{Tor}_i^R(k,M) \neq 0 \rbrace< \infty$.

Spheres and balls as independence complexes

2025-03-24T09:43:23Z

The terms "whiskering", and more generally "grafting", refer to adding generators to any monomial ideal to make the resulting ideal Cohen-Macaulay. We investigate the independence complexes of simplicial complexes that are constructed through a whiskering or grafting process, and we show that these independence complexes are (generalized) Bier balls. More specifically, the independence complexes are either homeomorphic to a ball or a sphere. In a related direction, we classify when the independence complexes of very well-covered graphs are homeomorphic to balls or spheres.

Minimal Cellular Resolutions of Path Ideals

2025-03-23T21:49:37Z

In this paper, we prove that the path ideals of both paths and cycles have minimal cellular resolutions. Specifically, these minimal free resolutions coincide with the Barile-Macchia resolutions for paths, and their generalized counterparts for cycles. Furthermore, we identify edge ideals of cycles as a class of ideals that lack a minimal Barile-Macchia resolution, yet have a minimal generalized Barile-Macchia resolution.

Cyclotomic polynomials without using the zeros of $Y^n-1$

2025-03-22T08:52:28Z

This note aims to construct an ``intrinsic'' splitting field for the polynomial $Y^n-1$ over the rational field $\bf Q$, in a way that Gauss, Kummer, Kronecker and Bishop would have liked. Contrary to the usual presentations, our construction does not use any splitting field of $Y^n-1$ which would be given before demonstrating the irreducibility of the cyclotomic polynomial.

The Koszul Property for Truncations of Nonstandard Graded Polynomial Rings

2025-03-21T21:15:35Z

We prove that truncations of nonstandard graded polynomial rings are (nonstandard) Koszul modules in the sense of Herzog and Iyengar. This provides an analogue of the fact that such truncations have linear resolutions in the standard graded case.

Computing the cohomology of line bundles on the incidence correspondence and related invariants

2025-03-21T20:08:56Z

We describe the package "IncidenceCorrespondenceCohomology" for the computer algebra system Macaulay2. The main feature concerns the computation of characters and dimensions for the cohomology groups of line bundles on the incidence correspondence (the partial flag variety parametrizing pairs consisting of a point in projective space and a hyperplane containing it). Additionally, the package provides tools for (1) computing the multiplication in the graded Han-Monsky representation ring, (2) determining the splitting type of vector bundles of principal parts on the projective line, and (3) testing the weak and strong Lefschetz properties for Artinian monomial complete intersections.

Other Examples of Principal Ideal Domains that are not Euclidean Domains

2025-03-21T18:20:56Z

It is a well-known and easily established fact that every Euclidean domain is also a principal ideal domain. However, the converse statement is not true, and this is usually shown by exhibiting as a counterexample the ring of algebraic integers in a certain, very specific quadratic field, and the proof that this works is quite unnatural and technical. In this article, we will present a family of counterexamples built from real closed fields.

Preserving Lefschetz properties after extension of variables

2025-03-21T09:55:36Z

Consider a standard graded artinian $k$-algebra $B$ and an extension of $B$ by a new variable, $A=B\otimes_k k[x]/(x^d)$ for some $d\geq 1$. We will show how maximal rank properties for powers of a general linear form on $A$ can be determined by maximal rank properties for different powers of general linear forms on $B$. This is then used to study Lefschetz properties of algebras that can be obtained via such extensions. In particular, it allows for a new proof that monomial complete intersections have the strong Lefschetz property over a field of characteristic zero. Moreover, it gives a recursive formula for the determinants that show up in that case. Finally, for algebras over a field of characteristic zero, we give a classification for what properties $B$ must have for all extensions $B\otimes_k k[x]/(x^d)$ to have the weak or the strong Lefschetz property.

Odd and even derivations, transposed Poisson superalgebra and 3-Lie superalgebra

2025-03-21T07:08:44Z

One important example of a transposed Poisson algebra can be constructed by means of a commutative algebra and its derivation. This approach can be extended to superalgebras, that is, one can construct a transposed Poisson superalgebra given a commutative superalgebra and its even derivation. In this paper we show that including odd derivations in the framework of this approach requires introducing a new notion. It is a super vector space with two operations that satisfy the compatibility condition of transposed Poisson superalgebra. The first operation is determined by a left supermodule over commutative superalgebra and the second is a Jordan bracket. Then it is proved that the super vector space generated by an odd derivation of a commutative superalgebra satisfies all the requirements of introduced notion. We also show how to construct a 3-Lie superalgebra if we are given a transposed Poisson superalgebra and its even derivation.

Kato-Milne cohomology group over rational function fields in characteristic 2, I

2025-03-21T05:04:56Z

Let F be a field of characteristic 2. In this paper we determine the Kato-Milne cohomology of the rational function field F(x) in one variable x. This will be done by proving an analogue of the Milnor exact sequence [4] in the setting of Kato-Milne cohomology. As an application, we answer the open case of the norm theorem for Kato-Milne cohomology that concerns separable irreducible polynomials in many variables. This completes a result of Mukhija [17, Theorem A.3] that gives the norm theorem for inseparable polynomials.

Combinatorics of Castelnuovo-Mumford Regularity of Binomial Edge Ideals

2025-03-21T04:45:59Z

Since the introduction of binomial edge ideals $J_{G}$ by Herzog et al. and independently Ohtani, there has been significant interest in relating algebraic invariants of the binomial edge ideal with combinatorial invariants of the underlying graph $G$. Here, we take up a question considered by Herzog and Rinaldo regarding Castelnuovo--Mumford regularity of block graphs. To this end, we introduce a new invariant $\nu(G)$ associated to any simple graph $G$, defined as the maximal total length of a certain collection of induced paths within $G$ subject to conditions on the induced subgraph. We prove that for any graph $G$, $\nu(G) \leq \text{reg}(J_{G})-1$, and that the length of a longest induced path of $G$ is less than or equal to $\nu(G)$; this refines an inequality of Matsuda and Murai. We then investigate the question: when is $\nu(G) = \text{reg}(J_{G})-1$? We prove that equality holds when $G$ is closed; this gives a new characterization of a result of Ene and Zarojanu, and when $G$ is bipartite and $J_{G}$ is Cohen-Macaulay; this gives a new characterization of a result of Jayanathan and Kumar. For a block graph $G$, we prove that $\nu(G)$ admits a combinatorial characterization independent of any auxiliary choices, and we prove that $\nu(G) = \text{reg}(J_{G})-1$. This gives $\text{reg}(J_{G})$ a combinatorial interpretation for block graphs, and thus answers the question of Herzog and Rinaldo.

On defect in finite extensions of valued fields

2025-03-20T21:37:08Z

In recent decades, the defect of finite extensions of valued fields has emerged as the main obstacle in several fundamental problems in algebraic geometry such as the local uniformization problem. Hence, it is important to identify defectless fields and study properties related to defect. In this paper we study the relations between the following properties of valued fields: simply defectless, immediate-defectless and algebraically maximal. The main result of the paper is an example of an algebraically maximal field that admits a simple defect extension. For this, we introduce the notion of quasi-finite elements in the generalized power series field $k\left(\left(t^\Gamma\right)\right)$.

The Scarf complex of squarefree powers, symbolic powers of edge ideals, and cover ideals of graphs

2025-03-20T18:36:33Z

Every monomial ideal $I$ has a Scarf complex, which is a subcomplex of its minimal free resolution. We say that $I$ is Scarf if its Scarf complex is also its minimal free resolution. In this paper, we fully characterize all pairs $(G,n)$ of a graph $G$ and an integer $n$ such that the squarefree power $I(G)^{[n]}$ or the symbolic power $I(G)^{(n)}$ of the edge ideal $I(G)$ is Scarf. We also determine all graphs $G$ such that its cover ideal $J(G)$ is Scarf, with an explicit description when $G$ is either chordal or bipartite.

Multiplicity $=$ Volume formula and Newton non-degenerate ideals in regular local rings

2025-03-20T17:53:11Z

We develop the notions of Newton non-degenerate (NND) ideals and Newton polyhedra for regular local rings. These concepts were first defined in the context of complex analysis. We show that the characterization of NND ideals via their integral closures known in the analytical setting extends to regular local rings. We use the limiting body $\mathcal{C}(\mathcal{I})$ associated to a graded family $\mathcal{I}$ of ideals to provide a new understanding of the celebrated "Multiplicity $=$ Volume" formula. Particularly, we prove that, for a Noetherian graded family $\mathcal{I}$ of $\mathfrak{m}$-primary ideals in a regular local ring $(R,\mathfrak{m})$ of dimension $d$, the equality $$e(\mathcal{I}) = d!\text{co-vol}_d(\mathcal{C}(\mathcal{I}))$$ holds if and only if $\mathcal{I}$ contains certain subfamily of NND ideals.

Mutation and the Gabriel spectrum

2025-03-20T15:19:15Z

Mutations occur in multiple algebraic contexts, often enjoying good combinatorial properties. In this paper we study mutations of pure-injective cosilting objects in compactly generated triangulated categories from a topological point of view. We consider the topologies studied by Gabriel, Burke and Prest on the set of indecomposable injective objects in a Grothendieck abelian category, transfer them to associated cosilting subcategories, and show that, in that context, right mutation induces a homeomorphism on two complementary subspaces. We then improve this result in the context of the derived category of a commutative noetherian ring, showing that right mutation is an open bijection. We end the paper with a detailed analysis of a range of cosilting subcategories over commutative noetherian rings for which the topology is completely known. As a byproduct of this analysis, we obtain that the category of modules over a commutative noetherian ring is the unique locally noetherian Grothendieck category in its derived-equivalence class.