SearcharxivSearch

arXiv subjects

Florian Enescu

Publications and source records attributed to Florian Enescu.

At least 19 recordsLinked to original sources

Strong test ideals associated to Cartier algebras

In this note, we use the theory of test ideals and Cartier algebras to examine the interplay between the tight and integral closures in a local ring of positive characteristic. Using work of Schwede, we prove the abundance of strong test ideals, recovering some older fundamental results, and use this approach in concrete computations. In the second part of the paper, the case of Stanley-Reisner rings is fully examined.

math.AC

The Frobenius exponent of Cartier subalgebras

Let $R$ be a standard graded finitely generated algebra over an $F$-finite field of prime characteristic, localized at its maximal homogeneous ideal. In this note, we prove that that Frobenius complexity of $R$ is finite. Moreover, we extend this result to Cartier subalgebras of $R$.

math.AC

Computing The Invariants of Intersection Algebras of Principal Monomial Ideals

We continue the study of intersection algebras $\mathcal B = \mathcal B_R(I, J)$ of two ideals $I, J$ in a commutative Noetherian ring $R$. In particular, we exploit the semigroup ring and toric structures in order to calculate various invariants of the intersection algebra when $R$ is a polynomial ring over a field and $I,J$ are principal monomial ideals. Specifically, we calculate the $F$-signature, divisor class group, and Hilbert-Samuel and Hilbert-Kunz multiplicities, sometimes restricting to certain cases in order to obtain explicit formulæ. This provides a new class of rings where formulæ for the $F$-signature and Hilbert-Kunz multiplicity, dependent on families of parameters, are provided.

math.AC

Test ideals in rings with finitely generated anti-canonical algebras

Many results are known about test ideals and $F$-singularities for ${\bf Q}$-Gorenstein rings. In this paper we generalize many of these results to the case when the symbolic Rees algebra $O_X \oplus O_X(-K_X) \oplus O_X(-2K_X) \oplus ...$ is finitely generated (or more generally, in the log setting for $-K_X - Δ$). In particular, we show that the $F$-jumping numbers of $τ(X, a^t)$ are discrete and rational. We show that test ideals $τ(X)$ can be described by alterations as in Blickle-Schwede-Tucker (and hence show that splinters are strongly $F$-regular in this setting -- recovering a result of Singh). We demonstrate that multiplier ideals reduce to test ideals under reduction modulo $p$ when the symbolic Rees algebra is finitely generated. We prove that Hartshorne-Speiser-Lyubeznik-Gabber type stabilization still holds. We also show that test ideals satisfy global generation properties in this setting.

math.AG

On the Frobenius complexity of determinantal rings

We compute the Frobenius complexity for the determinantal ring of prime characteristic $p$ obtained by modding out the $2 \times 2$ minors of an $m \times n$ matrix of indeterminates, where $m > n \ge 2$. We also show that, as $p \to \infty$, the Frobenius complexity approaches $m-1$.

math.AC

The Frobenius Complexity of a Local Ring of Prime Characteristic

We introduce a new invariant for local rings of prime characteristic, called Frobenius complexity, that measures the abundance of Frobenius actions on the injective hull of the residue field of a local ring. We present an important case where the Frobenius complexity is finite, and prove that complete, normal rings of dimension two or less have Frobenius complexity less than or equal to zero. Moreover, we compute the Frobenius complexity for the determinantal ring obtained by modding out the $2 \times 2$ minors of a $2 \times 3$ matrix of indeterminates, showing that this number can be positive, irrational and depends upon the characteristic. We also settle a conjecture of Katzman, Schwede, Singh and Zhang on the infinite generation of the ring of Frobenius operators of a local normal complete $\mathbb{Q}$-Gorenstein ring.

math.AC

Intersection algebras for principal monomial ideals in polynomial rings

The properties of the intersection algebra of two principal monomial ideals in a polynomial ring are investigated in detail. Results are obtained regarding the Hilbert series and the canonical ideal of the intersection algebra using methods from the theory of diophantine linear equations with integer coefficients.

math.AC

New estimates of Hilbert-Kunz multiplicities for local rings of fixed dimension

We present results on the Watanabe-Yoshida conjecture for the Hilbert-Kunz multiplicity of a local ring of positive characteristic. By improving on a "volume estimate" giving a lower bound for Hilbert-Kunz multiplicity, we obtain the conjecture when the ring either has Hilbert-Samuel multiplicity less than or equal to five, or dimension less than or equal to six. For non-regular rings with fixed dimension, a new lower bound for the Hilbert-Kunz multiplicity is obtained.

math.AC

Local cohomology and F-stability

We study the relationship between the Frobenius stability of an Artinian module over an F-injective ring and its stable part.

math.AC

The Frobenius Structure of Local Cohomology

Given a local ring of positive prime characteristic there is a natural Frobenius action on its local cohomology modules with support at its maximal ideal. In this paper we study the local rings for which the local cohomology modules have only finitely many submodules invariant under the Frobenius action. In particular we prove that F-pure Gorenstein local rings as well as the face ring of a finite simplicial complex localized or completed at its homogeneous maximal ideal have this property. We also introduce the notion of an anti-nilpotent Frobenius action on an Artinian module over a local ring and use it to study those rings for which the lattice of submodules of the local cohomology that are invariant under Frobenius satisfies the Ascending Chain Condition.

math.AC

Lower bounds for Hilbert-Kunz multiplicities in local rings of fixed dimension

Let $(R,\m)$ be a formally unmixed local ring of positive prime characteristic and dimension $d$. We examine the implications of having small Hilbert-Kunz multiplicity (i.e., close to 1). In particular, we show that if $R$ is not regular, there exists a lower bound, strictly greater than one, depending only on $d$, for its Hilbert-Kunz multiplicity.

math.AC

Asymptotic growth of powers of ideals

Let A be a locally analytically unramified local ring and let J_1,...,J_k,I be ideals in A. If C=C(J_1,...,J_k;I) is the cone generated by the (k+1)-tuples (m_1,...,m_k,n) such that J_1^{m_1}...J_k^{m_k} is contained in I^n, we prove that the topological closure of C is a rational polyhedral cone. This generalizes results by Samuel, Nagata and Rees.

math.AC

When does the F-signature exist?

We show that the F-signature of an F-finite local ring R of characteristic p >0 exists when R is either the localization of an $\mathbf{N}$-graded ring at its irrelevant ideal or $\mathbf{Q}$-Gorenstein on its punctured spectrum. This extends results by Huneke, Leuschke, Yao and Singh and proves the existence of the F-signature in the cases where weak F-regularity is known to be equivalent to strong F-regularity.

math.AC

On the upper semi-continuity of the Hilbert-Kunz multiplicity

We show that the Hilbert-Kunz multiplicity of a $d$-dimensional nonregular complete intersection over the algebraic closure of $F_p$, $p>2$ prime, is bounded by below by the Hilbert-Kunz multiplicity of the hypersurface $\sum _{i=0}^{d} x_i^2=0$, answering positively a conjecture of Watanabe and Yoshida in the case of complete intersections.

math.AC

The Structure of F-Pure Rings

For a reduced F-finite ring R of characteristic p >0 and q=p^e one can write R^{1/q} = R^{a_q} \oplus M_q, where M_q has no free direct summands over R. We investigate the structure of F-finite, F-pure rings R by studying how the numbers a_q grow with respect to q. This growth is quantified by the splitting dimension and the splitting ratios of R which we study in detail. We also prove the existence of a special prime ideal P(R) of R, called the splitting prime, that has the property that R/P(R) is strongly F-regular. We show that this ideal captures significant information with regard to the F-purity of R.

math.AC