BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Hailong Dao

Hailong Dao appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.ACmath.RTmath.AGmath.COmath.RAmath.CTmath.KTmath.LO

Catalog footprint

What is connected

27works
8topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

27 published item(s)

preprint2025arXiv

Quasipolynomial behavior via constructibility in multigraded algebra

Piecewise quasipolynomial growth of Presburger counting functions combines with tame persistent homology module theory to conclude piecewise quasipolynomial behavior of constructible families of finely graded modules over constructible commutative semigroup rings. Functorial preservation of constructibility for families under local cohomology, $\operatorname{Tor}$, and $\operatorname{Ext}$ yield piecewise quasipolynomial, quasilinear, or quasiconstant growth statements for length of local cohomology, $a$-invariants, regularity, depth; length of $\operatorname{Tor}$ and Betti numbers; length of $\operatorname{Ext}$ and Bass numbers; associated primes via $v$-invariants; and extended degrees, including the usual degree, Hilbert-Samuel multiplicity, arithmetic degree, and homological degree.

0 citations0 reviewsNo code linkedOpen access
preprint2023arXiv

Elias Ideals

Let $(R, \mathfrak m)$ be a one dimensional local Cohen-Macaulay ring. An $\mathfrak m$-primary ideal $I$ of $R$ is Elias if the types of $I$ and of $R/I$ are equal. Canonical and principal ideals are Elias, and Elias ideals are closed under inclusion. We give multiple characterizations of Elias ideals and concrete criteria to identify them. We connect Elias ideals to other well-studied definitions: Ulrich, $\mathfrak m$-full, integrally closed, trace ideals, etc. Applications are given regarding canonical ideals, conductors and the Auslander index.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Linearity of Free Resolutions of Monomial Ideals

We study monomial ideals with linear presentation or partially linear resolution. We give combinatorial characterizations of linear presentation for square-free ideals of degree 3, and for primary ideals whose resolutions are linear except for the last step (the "almost linear" case). We also give sharp bounds on Castelnuovo-Mumford regularity and numbers of generators in some cases. It is a basic observation that linearity properties are inherited by the restriction of an ideal to a subset of variables, and we study when the converse holds. We construct fractal examples of almost linear primary ideals with relatively few generators related to the Sierpiński triangle. Our results also lead to classes of highly connected simplicial complexes $Δ$ that can not be extended to the complete $\dim Δ$-skeleton of the simplex on the same variables by shelling.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Cohomological support and the geometric join

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Finite F-type and F-abundant modules

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Gorenstein modifications and $\mathbb{Q}$-Gorenstein rings

Let $R$ be a Cohen--Macaulay normal domain with a canonical module $ω_R$. It is proved that if $R$ admits a noncommutative crepant resolution (NCCR), then necessarily it is $\mathbb{Q}$-Gorenstein. Writing $S$ for a Zariski local canonical cover of $R$, then a tight relationship between the existence of noncommutative (crepant) resolutions on $R$ and $S$ is given. A weaker notion of Gorenstein modification is developed, and a similar tight relationship is given. There are three applications: non-Gorenstein quotient singularities by connected reductive groups cannot admit an NCCR, the centre of any NCCR is log-terminal, and the Auslander--Esnault classification of two-dimensional CM-finite algebras can be deduced from Buchweitz--Greuel--Schreyer.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

On the associated primes of local cohomology

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Representation schemes and rigid maximal Cohen-Macaulay modules

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The dimension of a subcategory of modules

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Boundary and shape of Cohen-Macaulay cone

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)$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Noncommutative (crepant) desingularizations and the global spectrum of commutative rings

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Bounding the Projective Dimension of a Square-Free Monomial Ideal via Domination in Clutters

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Non-commutative resolutions and Grothendieck groups

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The radius of a subcategory of modules

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Hochster's theta pairing and numerical equivalence

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Bounds on the regularity and projective dimension of ideals associated to graphs

In this paper we give new upper bounds on the regularity of edge ideals whose resolutions are k-steps linear; surprisingly, the bounds are logarithmic in the number of variables. We also give various bounds for the projective dimension of such ideals, generalizing other recent results. By Alexander duality, our results also apply to unmixed square-free monomial ideals of codimension two. We also discuss and connect these results to more classical topics in commutative algebra.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Decent intersection and Tor-rigidity for modules over local hypersurfaces

We study two properties of modules over a local hypersurface $R$: decency and rigidity. We show that the vanishing of Hochster's function $θ^R(M,N)$, known to imply decent intersection, also implies rigidity. We investigate the vanishing of $θ^R(M,N)$ to obtain new results about decency and rigidity over hypersurfaces. We employ a mixture of techniques from Commutative Algebra and Intersection Theory of algebraic cycles.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Necessary conditions for the depth formula over Cohen-Macaulay local rings

Let $R$ be a Cohen-Macaulay local ring and let $M$ and $N$ be non-zero finitely generated $R$-modules. We investigate necessary conditions for the depth formula $\depth(M)+\depth(N)=\depth(R)+\depth(M\otimes_{R}N)$ to hold. We show that, under certain conditions, $M$ and $N$ satisfy the depth formula if and only if $\Tor_{i}^{R}(M,N)$ vanishes for all $i\geq 1$. We also examine the relationship between good depth of $M\otimes_RN$ and the vanishing of $\Ext$ modules, with various applications.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Projective Dimension, Graph Domination Parameters, and Independence Complex Homology

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Asymptotic Behavior of Ext functors for modules of finite complete intersection dimension

Let $R$ be a local ring, and let $M$ and $N$ be finitely generated $R$-modules such that $M$ has finite complete intersection dimension. In this paper we define and study, under certain conditions, a pairing using the modules $\Ext_R^i(M,N)$ which generalizes Buchweitz's notion of the Herbrand diference. We exploit this pairing to examine the number of consecutive vanishing of $\Ext_R^i(M,N)$ needed to ensure that $\Ext_R^i(M,N)=0$ for all $i\gg 0$. Our results recover and improve on most of the known bounds in the literature, especially when $R$ has dimension at most two.

0 citations0 reviewsNo code linkedOpen access