Searcharxiv⌕ Search

arXiv subjects

Ilya Smirnov

Publications and source records attributed to Ilya Smirnov.

35 records · Page 2Linked to original sources
arXiv2022

Lower bounds on Hilbert--Kunz multiplicities and maximal F-signatures

Hilbert-Kunz multiplicity and F-signature are numerical invariants of commutative rings in positive characteristic that measure severity of singularities: for a regular ring both invariants are equal to one and the converse holds under mild assumptions. A natural question is for what singular rings these invariants are closest to one. For Hilbert--Kunz multiplicity this question was first considered by the last two authors and attracted significant attention. In this paper, we study this question, i.e., an upper bound, for F-signature and revisit lower bounds on Hilbert--Kunz multiplicity.

math.AC↗
arXiv2020

Stability and deformation of F-singularities

We study the problem of $\mathfrak{m}$-adic stability of F-singularities, that is, whether the property that a quotient of a local ring $(R,\mathfrak{m})$ by a non-zero divisor $x \in \mathfrak{m}$ has good F-singularities is preserved in a sufficiently small $\mathfrak{m}$-adic neighborhood of $x$. We show that $\mathfrak{m}$-adic stability holds for F-rationality in full generality, and for F-injectivity, F-purity and strong F-regularity under certain assumptions. We show that strong F-regularity and F-purity are not stable in general. Moreover, we exhibit strong connections between stability and deformation phenomena, which hold in great generality.

math.AC↗
arXiv2020

Asymptotic Lech's inequality

We explore the classical Lech's inequality relating the Hilbert--Samuel multiplicity and colength of an $\mathfrak{m}$-primary ideal in a Noetherian local ring $(R,\mathfrak{m})$. We prove optimal versions of Lech's inequality for sufficiently deep ideals in characteristic $p>0$, and we conjecture that they hold in all characteristics. Our main technical result shows that if $(R,\mathfrak{m})$ has characteristic $p>0$ and $\widehat{R}$ is reduced, equidimensional, and has an isolated singularity, then for any sufficiently deep $\mathfrak{m}$-primary ideal $I$, the colength and Hilbert--Kunz multiplicity of $I$ are sufficiently close to each other. More precisely, for all $\varepsilon>0$, there exists $N\gg0$ such that for any $I\subseteq R$ with $l(R/I)>N$, we have $(1-\varepsilon)l(R/I)\leq e_{HK}(I)\leq(1+\varepsilon)l(R/I)$.

math.AC↗
arXiv2020

Filter regular sequence under small perturbations

We answer affirmatively a question of Srinivas--Trivedi: in a Noetherian local ring $(R,\mathfrak{m})$, if $I=(f_1,\dots,f_r)$ is an ideal generated by a filter-regular sequence and $J$ is an ideal such that $I+J$ is $\mathfrak{m}$-primary, then there exists $N>0$ such that for any $\varepsilon_1,\dots,\varepsilon_r \in \mathfrak{m}^N$, we have an equality of Hilbert functions: $H(J, R/(f_1,\dots,f_r))(n)=H(J, R/(f_1+\varepsilon_1,\dots, f_r+\varepsilon_r))(n)$ for all $n\geq 0$. We also prove that the dimension of the non Cohen--Macaulay locus does not increase under small perturbations.

math.AC↗
arXiv2020

Decomposition of graded local cohomology tables

Let $R$ be a polynomial ring over a field. We describe the extremal rays and the facets of the cone of local cohomology tables of finitely generated graded $R$-modules of dimension at most two. Moreover, we show that any point inside the cone can be written as a finite linear combination, with positive rational coefficients, of points belonging to the extremal rays of the cone. We also provide algorithms to obtain decompositions in terms of extremal points and facets.

math.AC↗
arXiv2020

A transformation rule for natural multiplicities

For multiplicities arising from a family of ideals we provide a general approach to transformation rules for a ring extension étale in codimension one. Our result can be applied to bound the size of the local étale fundamental group of a singularity in terms of F-signature, recovering a recent result of Carvajal-Rojas, Schwede, and Tucker, and differential signature, providing the first characteristic-free effective bound.

math.AC↗
arXiv2020

On semicontinuity of multiplicities in families

The paper investigates the behavior of Hilbert-Samuel and Hilbert-Kunz multiplicities in families of ideals. It is shown that Hilbert-Samuel multiplicity is upper semicontinuous almost generally and that Hilbert-Kunz multiplicity is upper semicontinuous in families of finite type. Surprisingly, our machinery can be applied for families over Z and yields a partial solution to the question about characteristic zero Hilbert-Kunz multiplicity posed by Brenner, Li, and Miller. Another application is that for an affine ring the infimum in the definition of F-rational signature, an invariant defined by Hochster and Yao, is attained.

math.AC↗
arXiv2019

Continuity of Hilbert-Kunz multiplicity and F-signature

We establish the continuity of Hilbert-Kunz multiplicity and F-signature as functions from a Cohen-Macaulay local ring $(R,\m,k)$ of prime characteristic to the real numbers at reduced parameter elements with respect to the $\m$-adic topology.

math.AC↗
arXiv2019

Equimultiplicity Theory of Strongly $F$-regular rings

We explore the equimultiplicity theory of the $F$-invariants Hilbert--Kunz multiplicity, $F$-signature, Frobenius Betti numbers, and Frobenius Euler characteristic over strongly $F$-regular rings. Techniques introduced in this article provide a unified approach to the study of these $F$-invariants under localization and as measurements of singularities.

math.AC↗
arXiv2019

On generalized Hilbert-Kunz function and multiplicity

Let $(R,\mathfrak m)$ be a local ring of characteristic $p>0$ and $M$ a finitely generated $R$-module. In this note we consider the limit: $\lim_{n\to \infty} \frac{\ell(H^0_{\mathfrak m}(F^n(M)))}{p^{n\dim R}} $ where $F(-)$ is the Peskine-Szpiro functor. A consequence of our main results shows that the limit always exists when $R$ is excellent and has isolated singularity. Furthermore, if $R$ is a complete intersection, then the limit is 0 if and only if the projective dimension of $M$ is less than the Krull dimension of $R$. We exploit this fact to give a quick proof that if $R$ is a complete intersection of dimension $3$, then the Picard group of the punctured spectrum of $R$ is torsion-free. Our results work quite generally for other homological functors and can be used to prove that certain limits recently studied by Brenner exist over projective varieties.

math.AC↗
arXiv2019

Lech's inequality, the Stückrad--Vogel conjecture, and uniform behavior of Koszul homology

Let $(R,\mathfrak{m})$ be a Noetherian local ring, and let $M$ be a finitely generated $R$-module of dimension $d$. We prove that the set $\left\{\frac{l(M/IM)}{e(I, M)} \right\}_{\sqrt{I}=\mathfrak{m}}$ is bounded below by ${1}/{d!e(\overline{R})}$ where $\overline{R}=R/Ann(M)$. Moreover, when $\widehat{M}$ is equidimensional, this set is bounded above by a finite constant depending only on $M$. The lower bound extends a classical inequality of Lech, and the upper bound answers a question of Stückrad--Vogel in the affirmative. As an application, we obtain results on uniform behavior of the lengths of Koszul homology modules.

math.AC↗
arXiv2018

A generalization of an inequality of Lech relating multiplicity and colength

We study conjectured generalizations of a formula of Lech which relates the multiplicity of a finite colength ideal in an equicharacteristic local ring to its colength, and prove one of these generalizations involving the multiplicity of the maximal ideal times the finite colength ideal. We also propose a Lech-type formula that relates multiplicity and the number of generators. We prove the conjecture in dimension three and establish a weaker result in full generality.

math.AC↗
arXiv2018

The multiplicity and the number of generators of an integrally closed ideal

Let $(R, \mathfrak m)$ be a Noetherian local ring and $I$ a $\mathfrak m$-primary ideal. In this paper, we study an inequality involving the number of generators, the Loewy length and the multiplicity of $I$. There is strong evidence that the inequality holds for all integrally closed ideals of finite colength if and only if $R$ has sufficiently nice singularities. We verify the inequality for regular local rings in all dimensions, for rational singularity in dimension $2$, and cDV singularities in dimension $3$. In addition, we can classify when the inequality always hold for a Cohen-Macaulay $R$ of dimension at most two. We also discuss relations to various topics: classical results on rings with minimal multiplicity and rational singularities, the recent work on $p_g$ ideals by Okuma-Watanabe-Yoshida, multiplicity of the fiber cone, and the $h$-vector of the associated graded ring.

math.AC↗
arXiv2017

$D$-module and $F$-module length of local cohomology modules

Let $R$ be a polynomial or power series ring over a field $k$. We study the length of local cohomology modules $H^j_I(R)$ in the category of $D$-modules and $F$-modules. We show that the $D$-module length of $H^j_I(R)$ is bounded by a polynomial in the degree of the generators of $I$. In characteristic $p>0$ we obtain upper and lower bounds on the $F$-module length in terms of the dimensions of Frobenius stable parts and the number of special primes of local cohomology modules of $R/I$. The obtained upper bound is sharp if $R/I$ is an isolated singularity, and the lower bound is sharp when $R/I$ is Gorenstein and $F$-pure. We also give an example of a local cohomology module that has different $D$-module and $F$-module lengths.

math.AC↗
arXiv2011

Differential Krull dimension in differential polynomial extensions

We investigate the differential Krull dimension of differential polynomials over a differential ring. We prove a differential analogue of Jaffard's Special Chain Theorem and show that differential polynomial extensions of certain classes of differential rings have no anomaly of differential Krull dimension.

math.AC↗