Searcharxiv⌕ Search

arXiv subjects

Linquan Ma

Publications and source records attributed to Linquan Ma.

At least 37 records · Page 2Linked to original sources
arXiv2023

Uniform Lech's inequality

Let $(R,\mathfrak{m})$ be a Noetherian local ring of dimension $d\geq 2$. We prove that if $e(\widehat{R}_{red})>1$, then the classical Lech's inequality can be improved uniformly for all $\mathfrak{m}$-primary ideals, that is, there exists $\varepsilon>0$ such that $e(I)\leq d!(e(R)-\varepsilon)\ell(R/I)$ for all $\mathfrak{m}$-primary ideals $I\subseteq R$. We also obtain partial results towards improvements of Lech's inequality when we fix the number of generators of $I$.

math.AC↗
arXiv2023

Colength, multiplicity, and ideal closure operations

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.

math.AC↗
arXiv2022

Covers of rational double points in mixed characteristic

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.

math.AG↗
arXiv2022

Lim Ulrich sequences and Lech's conjecture

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.

math.AC↗
arXiv2022

A Buchsbaum theory for tight closure

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.

math.AC↗
arXiv2022

Symbolic power containments in singular rings in positive characteristic

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.

math.AC↗
arXiv2022

F-stable secondary representations and deformation of F-injectivity

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.

math.AC↗
arXiv2022

Semiparametric Efficient Dimension Reduction in multivariate regression with an Inner Envelope

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.

stat.ME↗
arXiv2022

An analog of adjoint ideals and PLT singularities in mixed characteristic

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.

math.AG↗
arXiv2021

Multiplicities and Betti numbers in local algebra via lim Ulrich points

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.

math.AC↗
arXiv2021

Maximal Cohen-Macaulay complexes and their uses: A partial survey

This work introduces a notion of complexes of maximal depth, and maximal Cohen-Macaulay complexes, over a commutative noetherian local ring. The existence of such complexes is closely tied to the Hochster's ``homological conjectures", most of which were recently settled by André. Various constructions of maximal Cohen-Macaulay complexes are described, and their existence is applied to give new proofs of some of the homological conjectures, and also of certain results in birational geometry.

math.AC↗
arXiv2021

Envelope Methods with Ignorable Missing Data

Envelope method was recently proposed as a method to reduce the dimension of responses in multivariate regressions. However, when there exists missing data, the envelope method using the complete case observations may lead to biased and inefficient results. In this paper, we generalize the envelope estimation when the predictors and/or the responses are missing at random. Specifically, we incorporate the envelope structure in the expectation-maximization (EM) algorithm. As the parameters under the envelope method are not pointwise identifiable, the EM algorithm for the envelope method was not straightforward and requires a special decomposition. Our method is guaranteed to be more efficient, or at least as efficient as, the standard EM algorithm. Moreover, our method has the potential to outperform the full data MLE. We give asymptotic properties of our method under both normal and non-normal cases. The efficiency gain over the standard EM is confirmed in simulation studies and in an application to the Chronic Renal Insufficiency Cohort (CRIC) study.

stat.ME↗
arXiv2021

Mixed Effects Envelope Models

When multiple measures are collected repeatedly over time, redundancy typically exists among responses. The envelope method was recently proposed to reduce the dimension of responses without loss of information in regression with multivariate responses. It can gain substantial efficiency over the standard least squares estimator. In this paper, we generalize the envelope method to mixed effects models for longitudinal data with possibly unbalanced design and time-varying predictors. We show that our model provides more efficient estimators than the standard estimators in mixed effects models. Improved accuracy and efficiency of the proposed method over the standard mixed effects model estimator are observed in both the simulations and the Action to Control Cardiovascular Risk in Diabetes (ACCORD) study.

stat.ME↗
arXiv2020

Singularities in mixed characteristic via perfectoid big Cohen-Macaulay algebras

We utilize recent results of André and Gabber on the existence of weakly functorial integral perfectoid big Cohen-Macaulay (BCM) algebras to study singularities of local rings in mixed characteristic. In particular, we introduce a mixed characteristic BCM-variant of rational/$F$-rational singularities, of log terminal/$F$-regular singularities and of multiplier/test ideals of divisor pairs. We prove a number of results about these objects including a restriction theorem for perfectoid BCM multiplier/test ideals and deformation statements for perfectoid BCM-regular and BCM-rational singularities. As an application, we obtain results on the behavior of $F$-regular and $F$-rational singularities in arithmetic families.

math.AC↗
arXiv2020

Koszul and local cohomology, and a question of Dutta

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.

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↗