arXiv subjects
Publications and source records attributed to Hailong Dao.
Given a noether algebra with a noncommutative resolution, a general construction of new noncommutative resolutions is given. As an application, it is proved that any finite length module over a regular local or polynomial ring gives rise, via suitable syzygies, to a noncommutative resolution.
Let $M,N$ be finitely generated modules over a local complete intersection $R$. Assume that for each $i>0$, $\mathrm{Tor}^R_i(M,N)=0$. We prove that the cohomological support of $M\otimes_R N$ (in the sense of Avramov-Buchweitz) is equal to the geometric join of the cohomological supports of $M,N$. Such result gives a new connection between two active areas or research, and immediately produces several surprising corollaries. Naturally, it also raises many intriguing new questions about the homological properties of modules over a complete intersection, some of those are investigated in the second half of this note.
In this note we introduce and study basic properties of two types of modules over a commutative noetherian ring $R$ of positive prime characteristic. The first is the category of modules of finite $F$-type. These objects include reflexive ideals representing torsion elements in the divisor class group of $R$. The second class is what we call $F$-abundant modules. These include, for example, the ring $R$ itself and the canonical module when $R$ has positive splitting dimension. We prove various facts about these two categories and how they are related, for example that $\mathrm{Hom}_R(M,N)$ is maximal Cohen-Macaulay when $M$ is of finite $F$-type and $N$ is $F$-abundant, plus some extra (but necessary) conditions. Our methods allow us to extend previous results by Patakfalvi-Schwede, Yao and Watanabe. They also afford a deeper understanding of these objects, including complete classifications in many cases of interest, such as complete intersections and invariant subrings.
Let $R$ be a commutative Noetherian ring of prime characteristic $p$. In this paper we give a short proof using filter regular sequences that the set of associated prime ideals of $H^t_I(R)$ is finite for any ideal $I$ and for any $t \ge 0$ when $R$ has finite $F$-representation type or finite singular locus. This extends a previous result by Takagi-Takahashi and gives affirmative answers for a problem of Huneke in many new classes of rings in positive characteristic. We also give a criterion about the singularities of $R$ (in any characteristic) to guarantee that the set of associated primes of $H^2_I(R)$ is always finite.
Let k be an algebraically closed field and A be a finitely generated, centrally finite, non- negatively graded (not necessarily commutative) k-algebra. In this note we construct a representation scheme for graded maximal Cohen-Macaulay A modules. Our main application asserts that when A is commutative with an isolated singularity, for a fixed multiplicity, there are only finitely many indecomposable rigid (i.e, with no nontrivial self-extensions) MCM modules up to shifting and isomorphism. We appeal to a result by Keller, Murfet, and Van den Bergh to prove a similar result for rings that are completion of graded rings. Finally, we discuss how finiteness results for rigid MCM modules are related to recent work by Iyama and Wemyss on maximal modifying modules over compound Du Val singularities.
Let R be a commutative noetherian local ring. As an analogue of the notion of the dimension of a triangulated category defined by Rouquier, the notion of the dimension of a subcategory of finitely generated R-modules is introduced in this paper. We found evidence that certain categories over nice singularities have small dimensions. When R is Cohen-Macaulay, under a mild assumption it is proved that finiteness of the dimension of the full subcategory consisting of maximal Cohen-Macaulay modules which are locally free on the punctured spectrum is equivalent to saying that R is an isolated singularity. As an application, the celebrated theorem of Auslander, Huneke, Leuschke and Wiegand is not only recovered but also improved. The dimensions of stable categories of maximal Cohen-Macaulay modules as triangulated categories are also investigated in the case where R is Gorenstein, and special cases of the recent results of Aihara and Takahashi, and Oppermann and Stovicek are recovered and improved. Our key technique involves a careful study of annihilators and supports of Tor, Ext and \underline{Hom} between two subcategories.
Let $(S, m)$ be an $n$-dimensional regular local ring essentially of finite type over a field and let $I$ be an ideal of $S$. We prove that if $\text{depth} S/I \ge 3$, then the cohomological dimension $\mathrm{cd}(S, I)$ of $I$ is less than or equal to $n-3$. We also show, under the assumption that $S$ has an algebraically closed residue field of characteristic zero, that if $\text{depth} S/I \ge 4$, then $\mathrm{cd}(S, I) \le n-4$ if and only if the local Picard group of the completion $\widehat{S/I}$ is torsion. We give a number of applications, including sharp bounds on cohomological dimension of ideals whose quotients satisfy good depth conditions such as Serre's conditions $(S_i)$.
Let $R$ be a local ring of characteristic $p>0$ which is $F$-finite and has perfect residue field. We compute the generalized Hilbert-Kunz invariant for certain modules over several classes of rings: hypersurfaces of finite representation type, toric rings, $F$-regular rings.
Let $R$ be a Cohen-Macaulay local domain. In this paper we study the cone of Cohen-Macaulay modules inside the Grothendieck group of finitely generated $R$-modules modulo numerical equivalences, introduced in \cite{CK}. We prove a result about the boundary of this cone for Cohen-Macaulay domain admitting de Jong's alterations, and use it to derive some corollaries on finiteness of isomorphism classes of maximal Cohen-Macaulay ideals. Finally, we explicitly compute the Cohen-Macaulay cone for certain isolated hypersurface singularities defined by $ξη- f(x_1, \ldots, x_n)$.
In this paper we study endomorphism rings of finite global dimension over not necessarily normal commutative rings. These objects have recently attracted attention as noncommutative (crepant) resolutions, or NC(C)Rs, of singularities. We propose a notion of a NCCR over any commutative ring that appears weaker but subsumes all previous notions. Our results yield strong necessary and sufficient conditions for the existence of such objects in many cases of interest. We also give new examples of NCRs of curve singularities, regular local rings and normal crossing singularities. Moreover, we introduce and study the global spectrum of a ring $R$, that is, the set of all possible finite global dimensions of endomorphism rings of MCM $R$-modules. Finally, we use a variety of methods to compute global dimension for many endomorphism rings.
Let $R$ be a noetherian normal domain. We investigate when $R$ admits a faithful module whose endomorphism ring has finite global dimension. This can be viewed as a non-commutative desingularization of $\Spec(R)$. We show that the existence of such modules forces stringent conditions on the Grothendieck group of finitely generated modules over $R$. In some cases those conditions are enough to imply that $\Spec(R)$ has only rational singularities.
We introduce a new invariant for subcategories X of finitely generated modules over a local ring R which we call the radius of X. We show that if R is a complete intersection and X is resolving, then finiteness of the radius forces X to contain only maximal Cohen-Macaulay modules. We also show that the category of maximal Cohen-Macaulay modules has finite radius when R is a Cohen-Macaulay complete local ring with perfect coefficient field. We link the radius to many well-studied notions such as the dimension of the stable category of maximal Cohen-Macaulay modules, finite/countable Cohen-Macaulay representation type and the uniform Auslander condition.
We classify certain resolving subcategories of finitely generated modules over a commutative noetherian ring R by using integer-valued functions on Spec R. As an application we give a complete classification of resolving subcategories when R is a locally hypersurface ring. Our results also recover a "missing theorem" by Auslander.
We introduce the concept of edgewise domination in clutters, and use it to provide an upper bound for the projective dimension of any squarefree monomial ideal. We then use a simple recursion to recover a formula for the projective dimension of a monomial ideal associated to a chordal clutter, as defined by Woodroofe in \cite{russ}. We also study a family of clutters associated to graphs, and show that these clutters are chordal if and only if the associated graph is. Finally, we compute domination parameters for certain classes of these clutters.
We study homological properties of test modules that are, in principle, modules that detect finite homological dimensions. The main outcome of our results is a generalization of a classical theorem of Auslander and Bridger: we prove that, if a commutative Noetherian complete local ring R admits a test module of finite Gorenstein dimension, then R is Gorenstein.
Let $(A,\m)$ be a local hypersurface with isolated singularity. We show that Hochster's theta pairing vanishes on elements that are {numerically equivalent to zero} in the Grothendieck group of $A$ under the mild assumption that $\spec A$ admits a resolution of singularity. We also prove that when $\dim A =3$, the Hochster's theta pairing is positive semidefinite. These results combine to show that the counter-example of Dutta-Hochster-McLaughlin to general vanishing of Serre's intersection multiplicity exists for any three dimensional isolated hypersurface singularity that is not a UFD and has a desingularization. Our method involves showing that theta gives a bivariant class for the morphism $\spec A/\m \to \spec A$. It also follows that if $A$ is three dimensional isolated hypersurface singularity that has a desingularization, the divisor class group of $A$ is finitely generated torsion-free.
This paper gives upper bounds for the dimension of the singularity category of a Cohen-Macaulay local ring with an isolated singularity. One of them recovers an upper bound given by Ballard, Favero and Katzarkov in the case of a hypersurface.
We construct several pairwise-incomparable bounds on the projective dimensions of edge ideals. Our bounds use combinatorial properties of the associated graphs; in particular we draw heavily from the topic of dominating sets. Through Hochster's Formula, these bounds recover and strengthen existing results on the homological connectivity of graph independence complexes.