BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Linquan Ma contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this paper we study the connection between Herzog ideals (i.e., ideals with a squarefree Gröbner degeneration) and $F$-singularities. More precisely, we show that, in positive characteristic, homogeneous Herzog ideals define $F$-anti-nilpotent rings, and we inquire, in characteristic 0, on a surprising relationship between being Herzog ideals after a change of coordinates and defining rings of dense open $F$-pure type.
In a formally unmixed Noetherian local ring, if the colength and multiplicity of an integrally closed ideal agree, then $R$ is regular. We deduce this using the relationship between multiplicity and various ideal closure operations.
A Noetherian local ring $(R,\mathfrak{m})$ is called Buchsbaum if the difference $e(\mathfrak{q}, R)-\ell(R/\mathfrak{q})$, where $\mathfrak{q}$ is an ideal generated by a system of parameters, is a constant independent of $\mathfrak{q}$. In this article, we study the tight closure analog of this condition. We prove that in an unmixed excellent local ring $(R,\mathfrak{m})$ of prime characteristic $p>0$ and dimension at least one, the difference $e(\mathfrak{q}, R)-\ell(R/\mathfrak{q}^*)$ is independent of $\mathfrak{q}$ if and only if the parameter test ideal $τ_{\text{par}}(R)$ contains $\mathfrak{m}$. We also provide a characterization of this condition via derived category which is analogous to Schenzel's criterion for Buchsbaum rings.
We use the framework of perfectoid big Cohen-Macaulay algebras to define a class of singularities for pairs in mixed characteristic, which we call purely BCM-regular singularities, and a corresponding adjoint ideal. We prove that these satisfy adjunction and inversion of adjunction with respect to the notion of BCM-regularity and the BCM test ideal defined by the first two authors. We compare them with the existing equal characteristic PLT and purely $F$-regular singularities and adjoint ideals. As an application, we obtain a uniform version of the Briançon-Skoda theorem in mixed characteristic. We also use our theory to prove that two-dimensional KLT singularities are BCM-regular if the residue characteristic $p>5$, which implies an inversion of adjunction for three-dimensional PLT pairs of residue characteristic $p>5$. In particular, divisorial centers of PLT pairs in dimension three are normal when $p > 5$. Furthermore, in the appendix we provide a streamlined construction of perfectoid big Cohen-Macaulay algebras and show new functoriality properties for them using the perfectoidization functor of Bhatt and Scholze.
We further the classification of rational surface singularities. Suppose $(S, \mathfrak{n}, \mathcal{k})$ is a strictly Henselian regular local ring of mixed characteristic $(0, p > 5)$. We classify functions $f$ for which $S/(f)$ has an isolated rational singularity at the maximal ideal $\mathfrak{n}$. The classification of such functions are used to show that if $(R, \mathfrak{m}, \mathcal{k})$ is an excellent, strictly Henselian, Gorenstein rational singularity of dimension $2$ and mixed characteristic $(0, p > 5)$, then there exists a split finite cover of $\mbox{Spec}(R)$ by a regular scheme. We give an application of our result to the study of $2$-dimensional BCM-regular singularities in mixed characteristic.
We prove that deformation of F-injectivity holds for local rings $(R,\mathfrak{m})$ that admit secondary representations of $H^i_{\mathfrak{m}}(R)$ which are stable under the natural Frobenius action. As a consequence, F-injectivity deforms when $(R,\mathfrak{m})$ is sequentially Cohen-Macaulay (or more generally when all the local cohomology modules $H^i_{\mathfrak{m}}(R)$ have no embedded attached primes). We obtain some additional cases if $R/\mathfrak{m}$ is perfect or if $R$ is $\mathbb{N}$-graded.
The long standing Lech's conjecture in commutative algebra states that for a flat local extension $(R,\mathfrak{m})\to (S,\mathfrak{n})$ of Noetherian local rings, we have an inequality on the Hilbert--Samuel multiplicities: $e(R)\leq e(S)$. In general the conjecture is wide open when $\dim R>3$, even in equal characteristic. In this paper, we prove Lech's conjecture in all dimensions, provided $(R,\mathfrak{m})$ is a standard graded ring over a perfect field localized at the homogeneous maximal ideal. We introduce the notions of lim Ulrich and weakly lim Ulrich sequences. Roughly speaking these are sequences of finitely generated modules that are not necessarily Cohen--Macaulay, but asymptotically behave like Ulrich modules. We prove that the existence of these sequences imply Lech's conjecture. Though the existence of Ulrich modules is known in very limited cases, we construct weakly lim Ulrich sequences for all standard graded domains over perfect fields of positive characteristic.
Recently, Su and Cook proposed a dimension reduction technique called the inner envelope which can be substantially more efficient than the original envelope or existing dimension reduction techniques for multivariate regression. However, their technique relied on a linear model with normally distributed error, which may be violated in practice. In this work, we propose a semiparametric variant of the inner envelope that does not rely on the linear model nor the normality assumption. We show that our proposal leads to globally and locally efficient estimators of the inner envelope spaces. We also present a computationally tractable algorithm to estimate the inner envelope. Our simulations and real data analysis show that our method is both robust and efficient compared to existing dimension reduction methods in a diverse array of settings.
The containment problem for symbolic and ordinary powers of ideals asks for what values of $a$ and $b$ we have $I^{(a)} \subseteq I^b$. Over a regular ring, a result by Ein-Lazarsfeld-Smith, Hochster-Huneke, and Ma-Schwede partially answers this question, but the containments it provides are not always best possible. In particular, a tighter containment conjectured by Harbourne has been shown to hold for interesting classes of ideals - although it does not hold in general. In this paper, we develop a Fedder (respectively, Glassbrenner) type criterion for $F$-purity (respectively, strong $F$-regularity) for ideals of finite projective dimension over $F$-finite Gorenstein rings and use our criteria to extend the prime characteristic results of Grifo-Huneke to singular ambient rings. For ideals of infinite projective dimension, we prove that a variation of the containment still holds, in the spirit of work by Hochster-Huneke and Takagi.
This work concerns finite free complexes with finite length homology over a commutative noetherian local ring $R$. The focus is on complexes that have length $\mathrm{dim}\, R$, which is the smallest possible value, and in particular on free resolutions of modules of finite length and finite projective dimension. Lower bounds are obtained on the Euler characteristic of such short complexes when $R$ is a strict complete intersection, and also on the Dutta multiplicity, when $R$ is the localization at its maximal ideal of a standard graded algebra over a field of positive prime characteristic. The key idea in the proof is the construction of a suitable Ulrich module, or, in the latter case, a sequence of modules that have the Ulrich property asymptotically, and with good convergence properties in the rational Grothendieck group of $R$. Such a sequence is obtained by constructing an appropriate sequence of sheaves on the associated projective variety.
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)$.
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.
For a local ring $(A,\mathfrak{m})$ of dimension $n$, we study the natural map from the Koszul cohomology module $H^n(\mathfrak{m}; A)$ to the local cohomology module $H^n_\mathfrak{m}(A)$. We prove that the injectivity of this map characterizes the Cohen-Macaulay property of the ring $A$. We also answer a question of Dutta by constructing normal rings $A$ for which this map is zero.
It is well known that nice conditions on the canonical module of a local ring have a strong impact in the study of strong F-regularity and F-purity. In this note, we prove that if (R,m) is an equidimensional and S_2 local ring that admits a canonical ideal I such that R/I is F-pure, then R is F-pure. We also provide examples to show that not all Cohen-Macaulay F-pure local rings satisfy this property.
In this paper, we show that for an $F$-pure local ring $(R,\m)$, all local cohomology modules $H_{\m}^i(R)$ have finitely many Frobenius compatible submodules. This answers positively an open question raised by F.Enescu and M.Hochster. We also prove that if $(R,\m)$ is excellent and is $F$-pure on the punctured spectrum, then all local cohomology modules have finite length in the category of $R$-modules with Frobenius action. Finally, we show that the property that all $H_{\m}^(R)$ have finitely many Frobenius compatible submodules passes to localizations.
Let R be a regular ring of characteristic p. Hochster showed that the category of Lyubeznik's F-modules has enough injectives, so that every F-module has an injective resolution in this category. We show that under mild conditions on R, for example when R is essentially of finite type over an F-finite regular local ring, the category of F-modules has finite global dimension d+1 where d=dimR. We also give examples to show that for F-finite F-modules, $\Ext_{F_R}^1(M,N)$ need not be finite.