Jooyoun Hong
We deal with classes of prime ideals whose associated graded ring is isomorphic to the Rees algebra of the conormal module in order to describe the divisor class group of the Rees algebra and to examine the normality of the conormal module.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Relating the Exterior Algebra of the Conormal Module to the Tor Algebra
在局部诺特环中，当理想I的余法模有自由直和项时，研究人员运用dg代数技术，证明了∧F到Tor*^R(R/I,R/I)的自然映射可作为代数分裂，还明确了余法模自由直和项与相对同伦李代数中心元素的对应关系。
This paper shows that mixed multiplicities and the multiplicity of Rees modules of good filtrations and that of their reductions are the same. As an application of this result, we obtain interesting results on mixed multiplicities and the multiplicity of Rees modules.
We provide the sufficient conditions for Rees algebras of modules to be Cohen-Macaulay, which has been proven in the case of Rees algebras of ideals by Johnson-Ulrich and Goto-Nakamura-Nishida. As it turns out the generalization from ideals to modules is not just a routine generalization, but requires a great deal of technical development. We use the technique of generic Bourbaki ideals introduced by Simis, Ulrich and Vasconcelos to obtain the Cohen-Macaulayness of Rees Algebras of modules.
The acquisition of the defining equations of Rees algebras is a natural way to study these algebras and allows certain invariants and properties to be deduced. In this paper, we consider Rees algebras of codimension 2 perfect ideals of hypersurface rings and produce a minimal generating set for their defining ideals. Then, using generic Bourbaki ideals, we study Rees algebras of modules with projective dimension one over hypersurface rings. We describe the defining ideal of such algebras and determine Cohen-Macaulayness and other invariants.
Formulas are obtained in terms of complete reductions for the bigraded components of local cohomology modules of bigraded Rees algebras of 0-dimensional ideals in 2-dimensional Cohen-Macaulay local rings. As a consequence, cohomological expressions for the coefficients of the Bhattacharya polynomial of such ideals are obtained.
For any ideal $I$ of finite projective dimension in a commutative noetherian local ring $R$, we prove that if the conormal module $I/I^2$ has finite projective dimension over $R/I$, then $I$ must be generated by a regular sequence. This resolves a conjecture of Vasconcelos. We prove a similar result for the first Koszul homology module of $I$. When $R$ is a localisation of a polynomial ring over a field $K$ of characteristic zero, Vasconcelos conjectured that $R/I$ is a reduced complete intersection if the module $Ω_{(R/I)/K}$ of differentials has finite projective dimension; we prove this con…
Generic Bourbaki ideals were introduced by Simis, Ulrich and Vasconcelos to study the Cohen-Macaulay property of Rees algebras of modules. In this article we prove that the same technique can sometimes be used to investigate the Cohen-Macaulay property of fiber cones of modules and to study the defining ideal of Rees algebras. This is possible as long as the Rees algebra of a given module $E$ is a deformation of the Rees algebra of a generic Bourbaki ideal $I$ of $E$. Our main technical result provides a deformation condition that in fact extends the applicability of generic Bourbaki ideals to…
Let $R$ be an algebra essentially of finite type over a field $k$ and let $Ω_k(R)$ be its module of Kähler differentials over $k$. If $R$ is a homogeneous complete intersection and $\mathrm{char}(k)=0$, we prove that $Ω_k(R)$ is of linear type whenever its Rees algebra is Cohen-Macaulay and locally at every homogeneous prime $\mathfrak{p}$ the embedding dimension of $R_{\mathfrak{p}}$ is at most twice its dimension.
Existence of unimodular element in a projective module over symbolic Rees algebras
本文证明在维数为d的符号Rees代数上，秩至少为d的有限生成投射模必含幺模元素，从而将Serre经典结果推广到这类不必诺特的代数。
Let R be a commutative ring and let G be a free R-module with positive rank e. For any R-submodule E of G we may consider the image of the symmetric algebra of E by the natural map to the symmetric algebra of G, and then the graded components E_n of the image, that we call the n-th Rees powers of E. In this work we prove some asymptotic properties of the modules E_n, which extend well known similar ones for the case of ideals, among them Burch's inequality for the analytic spread.
The main object of this note is to study the conormal module $M$ and the computation of the second symbolic power $\bar I^{(2)}$ of an ideal $\bar I$ in the residue ring $R/H$ of a polynomial ring $R$ over a field of characteristic zero. The torsion part $T(M)$ of $M$ and the torsion free module $M/T(M)$ are expressed by the primitive ideal of $I$ relative to $H$. Two characterizations for $M/T(M)$ to be free are proved. Some immediate applications are worked out.
In this paper, we consider a finite, torsion-free module $E$ over a Gorenstein local ring. We provide sufficient conditions for $E$ to be of linear type and for the Rees algebra $\mathcal{R}(E)$ of $E$ to be Cohen-Macaulay. Our results are obtained by constructing a generic Bourbaki $I$ ideal of $E$ and exploiting properties of the residual intersections of $I$.
On injective dimension of the conormal module
本文研究 Gorenstein 局部环中余模模有限内射维数迫使理想由正则序列生成的条件，覆盖链结类、正则环数值条件、正规域商及分次情形，并给出 Kunz 定理的逆命题。
In the present paper we investigate a question stemming from a long-standing conjecture of Vasconcelos: given a generically a complete intersection perfect ideal I in a regular local ring R, is it true that if I/I^2 (or R/I^2) is Cohen-Macaulay then R/I is Gorenstein? Huneke and Ulrich, Minh and Trung, Trung and Tuan and - very recently - Rinaldo Terai and Yoshida, already considered this question and gave a positive answer for special classes of ideals. We give a positive answer for some classes of ideals, however, we also exhibit prime ideals in regular local rings and homogeneous level idea…
We show that several properties of the theory of Rees algebras of modules become more transparent using the category of coherent functors rather than working directly with modules. In particular, we show that the Rees algebra is induced by a canonical map of coherent functors.
We study Gorenstein ideals of codimension $4$ derived from generic doublings of almost complete intersection perfect ideals of codimension $3$. We also investigate spinor coordinates of such Gorenstein ideals with $8$ and $9$ generators. For an ideal $J$ of commutative ring $R$, the $R/J$ module $J/J^2$ is called conormal module and $R/J$-dual of $J/J^2$ is called normal module. We study properties of conormal and normal modules of almost complete intersection perfect ideals of codimension $3$.
We compute the canonical class of certain Rees algebras. Our formula generalizes that of Herzog and Vasconcelos. Its proof relies on the fact that the formation of the canonical module commutes with subintersections in important cases. As an application we treat the classical determinantal ideals and the corresponding algebras of minors.
Sifted degrees of the equations of the Rees module and their connection with the Artin-Rees numbers
本文引入 Rees 模的筛型与中等 Artin-Rees 数，建立两者间的紧密联系，并通过实例阐明其意义与相互关联，为度量 Rees 模复杂度提供新工具。
This paper concerns a generalization of the Rees algebra of ideals due to Eisenbud, Huneke and Ulrich that works for any finitely generated module over a noetherian ring. Their definition is in terms of maps to free modules. We give an intrinsic definition using divided powers.
In this paper we show that the Rees algebra can be made into a functor on modules over a ring in a way that extends its classical definition for ideals. The Rees algebra of a module M may be computed in terms of a "maximal" map f from M to a free module. It is the image of the map induced by f on symmetric algebras. We show that the analytic spread and reductions of M can be determined from any embedding of M into a free module, and in characteristic 0--but not in positive characteristic!--the Rees algebra itself can be computed from any such embedding.
We provide a class of commutative Noetherian domains $R$ of dimension $d$ such that every finitely generated projective $R$-module $P$ of rank $d$ splits off a free summand of rank one. On this class, we also show that $P$ is cancellative. At the end we give some applications to the number of generators of a module over the Rees algebras.
Cohen-Macaulay higher conormal and Kähler differential modules of squarefree monomial ideals
本文研究平方自由单项式理想的余法向商与符号商的 Cohen-Macaulay 性，证明除 (1,2) 外所有窗口的 Cohen-Macaulay 性等价于完全交或拟阵条件，并揭示例外情形下符号平方与普通平方相等。
Counterexamples to Minkowski-type inequalities and the Rees converse for modules via mixed Buchsbaum-Rim Multiplicities
本文构造混合Buchsbaum-Rim重数，证明其系数乘积公式，给出Minkowski型不等式等失效的反例，明确一维情形下Rees逆命题不成立，仅在特定条件下成立，并提出高维逆命题问题。
Let $(R,m)$ be a local Noetherian ring, let $M$ be a finitely generated $R$-module and let $(F_{\bullet},\partial_{\bullet})$ be a free resolution of $M$. We find a uniform bound $h$ such that the Artin-Rees containment $I^n F_i\cap Im \, \partial_{i+1} \subseteq I^{n-h} Im \, \partial_{i+1}$ holds for all integers $i\ge d$, for all integers $n\ge h$, and for all ideals $I$ of $R$. In fact, we show that a considerably stronger statement holds. The uniform bound $h$ holds for all ideals and all resolutions of $d$th syzygy modules. In order to prove our statements, we introduce the concept of Ko…
We find conditions on the local cohomology modules of multi-Rees algebras of admissible filtrations which enable us to predict joint reduction numbers. As a consequence we are able to prove a generalisation of a result of Reid-Roberts-Vitulli in the setting of analytically unramified local rings for completeness of power products of complete ideals.
Test Modules of Extended Rees Algebras
该研究给出既约局部环上正高度理想对应的扩展Rees代数的测试模分解，将非主理想测试模计算简化为主理想情形，并应用于推广F-有理性结果、简化F-跳跃数性质证明等。
Characteristic modules over a local ring
本文定义了有限生成模M的特征模T_M和余特征模E_M，利用它们给出了Cohen-Macaulay环和Gorenstein环的刻画，并证明了若几乎完全交环上余法模的内射维数有限，则该环是完全交环。
In \cite{rees} Rees gave a characterization for the normal joint reduction number zero of two $\m$-primary ideals in an analytically unramified Cohen-Macaulay local ring of dimension two. Rees' result is a generalization of Zariski's product theorem for complete ideals in a regular local ring of dimension two. The aim of this paper is to extend Rees' theorem for the ordinary powers of $\m$-primary ideals $I$ and $J$ in a Cohen-Macaulay local ring of dimension two. Following Rees' approach, we define the modified Koszul homology modules $M^1_{r,s}(a^k,b^k)$ for a joint reduction $(a,b)$ of $I$ …
In this paper, we introduce the notion of Ratliff-Rush closure of modules and explore whether the condition of the Ratliff-Rush closure coincides with the integral closure. The main result characterizes the condition in terms of the normality of the projective scheme of the Rees algebra, which generalizes the result of S. Goto and N. Matsuoka. In conclusion, we shall give a criterion for the Buchsbaum Rees algebras.
Let $I \subset R = \mathbb{F}[x_1,x_2]$ be a height two ideal minimally generated by three homogeneous polynomials of the same degree $d$, where $\mathbb{F}$ is a field of characteristic zero. We use the theory of $D$-modules to deduce information about the defining equations of the Rees algebra of $I$. Let $\mathcal{K}$ be the kernel of the canonical map $α: \text{Sym}(I) \rightarrow \text{Rees}(I)$ from the symmetric algebra of $I$ onto the Rees algebra of $I$. We prove that $\mathcal{K}$ can be described as the solution set of a system of differential equations, that the whole bigraded stru…
Quasi-Gorenstein extended Rees algebras associated with filtrations
本文研究诺特局部环上Hilbert滤链对应的扩张Rees代数的拟Gorenstein性质，利用局部上同调模的Matlis对偶的Cohen-Macaulay性给出变形条件，并借助局部上同调长度给出拟Gorenstein性质的刻画。
The Sally module of a Rees algebra $\BB$ relative to one of its Rees subalgebras $Å$ is a construct that can be used as a mediator for the trade-off of cohomological (e.g. depth) information between $\BB$ and the corresponding associated graded ring for several types of filtrations. While originally devised to deal with filtrations of finite colength, here we treat aspects of these developments for filtrations in higher dimensions as well.
Multiplier Modules of extended Rees algebras
本文通过证明分解定理，给出了计算扩展Rees代数和Rees代数乘子模的方法，并利用分解理解具有有理奇点的相关环之间的关系。
Duality and the equations of Rees rings and tangent algebras
本文利用对称代数与其定义理想之间的对偶性，研究Noetherian环上投射维数为一的模的Rees环，并应用于由二次型定义的完全交环的Kähler微分模及其切代数。
Let $k$ be a field of characteristic zero, and $R=k[x_1, \ldots, x_d]$ with $d \geq 3$ be a polynomial ring in $d$ variables. Let $\m=(x_1, \ldots, x_d)$ be the homogeneous maximal ideal of $R$. Let $\mathcal{K}$ be the kernel of the canonical map $α: \sym(I) \rightarrow \R(I)$, where $\sym(I)$ (resp. $\R(I)$) denotes the symmetric algebra (resp. the Rees algebra) of an ideal $I$ in $R$. We study $\mathcal{K}$ when $I$ is a height two perfect ideal minimally generated by $d+1$ homogeneous elements of same degree and satisfies $G_d$, that is, the minimal number of generators of the ideal $I_{\m…
Projective modules over Rees-like algebras and its monoid extensions
针对Rees-like代数$A$及其幺半群扩张$A[N]$，证明了不同秩条件下投射模的幺模元素存在性及特殊群作用的传递性，改进了Serre和Bass的经典结果。
Let (A, m) be a Noetherian local ring and N a parameter module in F=A^r and M=N:_F m the socle module of N. In this paper, we shall prove that the module M=N:_F m has a reduction number at most one and hence its Rees algebra R(M) is Cohen-Macaulay, if the base ring A is Cohen-Macaulay of dimension two and the rank of N is greater than or equal to two. This result gives numerous examples of Cohen-Macaulay Rees algebras of modules, which are not integrally closed and not a parameter module.
The Grothendieck-Serre formula for the difference between the Hilbert function and Hilbert polynomial of a graded algebra is generalized for bigraded standard algebras. This is used to get a similar formula for the difference between the Bhattacharya function and Bhattacharya polynomial of two m-primary ideals I and J in a local ring (A,m) in terms of local cohomology modules of Rees algebras of I and J. The cohomology of a variation of the Kirby-Mehran complex for bigraded Rees algebras is studied which is used to characterize the Cohen-Macaulay property of bigraded Rees algebra of I and J fo…
On Rees algebras of ideals and modules with weak residual conditions
本文研究了在弱生成条件下（仅至余维数 $s-1$ 成立）模的 Rees 环 $\mathcal{R}(E)$，利用逐次逼近法提供了定义该代数的理想生成集，并在 $\mathrm{rank} \\, E=1$ 时恢复并扩展了关于 grade 二完美理想的 Rees 代数的已知结果。
For an ideal I in a regular local ring (R,m)$ with residue class field K = R/m or a standard graded K-algebra R we show that for k >> 0 --> the Artin--Rees number of the syzygy modules of I^k as submodules of the free modules from a free resolution is constant, and thereby present the Artin-Rees number as a proper replacement of regularity in the local situation, --> the ring R/I^k is Golod, its Poincer{é}-Betti series is rational and the Betti numbers of the free resolution of K over R/I^k are polynomials in k of a specific degree. The first result is an extension of work of Kodiyalam and Cut…
Let S be a standard N^r-graded algebra over a local ring A, and let M be a finitely generated Z^r-graded S-module. We characterize the Cohen-Macaulayness of M in terms of the vanishing of certain sheaf cohomology modules. As a consequence, we apply our result to study the Cohen-Macaulayness of multi-Rees modules (also called Rees modification). Our work extends previous studies on the Cohen-Macaulayness of multi-Rees algebras.
A special class of algebras which are intermediate between the symmetric and the Rees algebras of an ideal was introduced by P. Aluffi in 2004 to define characteristic cycle of a hypersurface parallel to conormal cycle in intersection theory. These algebras are recently investigated by A. Nasrollah Nejad and A. Simis who named them Aluffi algebras. For a pair of ideals $J\subseteq I$ of a commutative ring $R$, the Aluffi algebra of $I/J$ is called Aluffi torsion-free if it is isomorphic to the Rees algebra of $I/J$. In this paper, ideals generated by 2-minors of a $2\times n$ matrix of linear …
Some characterizations of Gorenstein Rees Algebras
本文利用扩展Rees代数的分次典范模，在不假设基环为Cohen-Macaulay的条件下刻画了Rees代数的Gorenstein性质，并应用于Kawasaki算术Cohen-Macaulay化。
Let $I$ be an ideal whose symbolic Rees algebra is Noetherian. For $m \geq 1$, the $m$-th symbolic defect, sdefect$(I,m)$, of $I$ is defined to be the minimal number of generators of the module $\frac{I^{(m)}}{I^m}$. We prove that sdefect$(I,m)$ is eventually quasi-polynomial as a function in $m$. We compute the symbolic defect explicitly for certain monomial ideals arising from graphs, termed cover ideals. We go on to give a formula for the Waldschmidt constant, an asymptotic invariant measuring the growth of the degrees of generators of symbolic powers, for ideals whose symbolic Rees algebra…
In a previous paper we exhibited the somewhat surprising property that most direct links of prime ideals in Gorenstein rings are equimultiple ideals with reduction number $1$. This led to the construction of large families of Cohen--Macaulay Rees algebras. The first goal of this paper is to extend this result to arbitrary Cohen--Macaulay rings. The means of the proof are changed since one cannot depend so heavily on linkage theory. We then study the structure of the Rees algebra of these links, more specifically we describe their canonical module in sufficient detail to be able to characterize…
In this paper we study graded Bourbaki ideals. It is a well-known fact that for torsionfree modules over Noetherian normal domains, Bourbaki sequences exist. We give criteria in terms of certain attached matrices for a homomorphism of modules to induce a Bourbaki sequence. Special attention is given to graded Bourbaki sequences. In the second part of the paper, we apply these results to the Koszul cycles of the residue class field and determine particular Bourbaki ideals explicitly. We also obtain in a special case the relationship between the structure of the Rees algebra of a Koszul cycle an…
In this thesis we are interested in studying algebraic properties of monomial algebras, that can be linked to combinatorial structures, such as graphs and clutters, and to optimization problems. A goal here is to establish bridges between commutative algebra, combinatorics and optimization. We study the normality and the Gorenstein property-as well as the canonical module and the a-invariant-of Rees algebras and subrings arising from linear optimization problems. In particular, we study algebraic properties of edge ideals and algebras associated to uniform clutters with the max-flow min-cut pr…
On Rees algebras of linearly presented ideals and modules
本文在更弱的局部生成元数目条件下，确定了线性呈现的完美高度二理想的 Rees 代数的定义理想，并利用 Bourbaki 理想将结果推广到投影维数为一的线性呈现模。
Mixed multiplicity and Converse of Rees' theorem for modules
本文研究模的 Rees 混合重数定理逆命题，在高度、根及局部 Buchsbaum-Rim 重数相等等条件下证明元素组构成联合约化，并建立相关性质。
Let $A$ be a Cohen-Macaulay local ring with $\operatorname{dim} A = d\ge 3$, possessing the canonical module ${\mathrm K}_A$. Let $a_1, a_2, \ldots, a_r$ $(3 \le r \le d)$ be a subsystem of parameters of $A$ and set $Q= (a_1, a_2, \ldots, a_r)$. It is shown that if the Rees algebra ${\mathcal R}(Q)$ of $Q$ is an almost Gorenstein graded ring, then $A$ is a regular local ring and $a_1, a_2, \ldots, a_r$ is a part of a regular system of parameters of $A$.
The aim of this work is to study the ring-theoretic properties of the diagonals of a Rees algebra, which from a geometric point of view are the homogeneous coordinate rings of embeddings of blow-ups of projective varieties along a subvariety. In Chapter 1 we extend the definitions and results about the biprojective scheme and the Hilbert polynomial of finitely generated bigraded modules defined over standard bigraded k-algebras to finitely generated bigraded S-modules, for S=k[X_1,..., X_n,Y_1,...,Y_r] the polynomial ring bigraded by deg X_i=(1,0), deg Y_j=(d_j,1), d_j \geq 0. We also relate t…
In this paper, we obtain a generalization, in dimension $3$, of a theorem of David Rees about joint reductions of the bigraded filtration $\{ \overline{I^rJ^s}\}$ of complete ${\mathfrak m}$-primary ideals and vanishing of the second normal Hilbert coefficient $\overline{e}_2(IJ)$ where $R$ is a two-dimensional Cohen-Macaulay analytically unramified local ring with maximal ideal $\mathfrak m.$ This generalization is obtained as a consequence of a formula for the third local cohomology module of the extended Rees algebras of the $\mathbb Z^3$-graded filtration $\{\overline{I^rJ^sK^t}\}$ with su…
The aim of this paper is to study integer rounding properties of various systems of linear inequalities to gain insight about the algebraic properties of Rees algebras of monomial ideals and monomial subrings. We study the normality and Gorenstein property--as well as the canonical module and the a-invariant--of Rees algebras and subrings arising from systems with the integer rounding property. We relate the algebraic properties of Rees algebras and monomial subrings with integer rounding properties and present a duality theorem.
We prove that the Hilbert-Kunz function of the ideal $(I,It)$ of the Rees algebra $\mathcal{R}(I)$, where $I$ is an $\mathfrak{m}$-primary ideal of a $1$-dimensional local ring $(R,\mathfrak{m})$, is a quasi-polynomial in $e$, for large $e.$ For $s \in \mathbb{N}$, we calculate the Hilbert-Samuel function of the $R$-module $I^{[s]}$ and obtain an explicit description of the generalized Hilbert-Kunz function of the ideal $(I,It)\mathcal{R}(I)$ when $I$ is a parameter ideal in a Cohen-Macaulay local ring of dimension $d \geq 2$, proving that the generalized Hilbert-Kunz function is a piecewise p…
We consider a rational map $ϕ: \mathbb{P}_k^{m} \dashrightarrow \mathbb{P}_k^n$ that is a parameterization of an $m$-dimensional variety. Our main goal is to study the $(m-1)$-dimensional fibers of $ϕ$ in relation to the $m$-th local cohomology modules of the Rees algebra of its base ideal.
Recently, Peeva and the second author constructed irreducible projective varieties with regularity much larger than their degree, yielding counterexamples to the Eisenbud-Goto Conjecture. Their construction involved two new ideas: Rees-like algebras and step-by-step homogenization. Yet, all of these varieties are singular and the nature of the geometry of these projective varieties was left open. The purpose of this paper is to study the singularities inherent in this process. We compute the codimension of the singular locus of an arbitrary Rees-like algebra over a polynomial ring. We then sho…
In this article, we give a condition on the vanishing of finitely many homogeneous components which must imply the asymptotic vanishing for multigraded modules. We apply our result to multi-Rees algebras of ideals. As a consequence, we obtain a result on normality of monomial ideals, which extends and improves the results of Reid-Roberts-Vitulli, Singla, and Sarkar-Verma.
Normality of Ideals and Modules
研究积分封闭理想或模的Rees代数正则性条件，证明在特定条件下其为Cohen-Macaulay正常域。
André-Quillen homology of Rees algebras and extended Rees algebras
本文研究Rees代数与扩张Rees代数的André-Quillen同调，证明了Proj R(I)为完全交的等价条件，给出扩张Rees代数的对应结论，并计算了Cohen-Macaulay整环情形下H₁(J)的秩与自由轨迹。
Let A be a Noetherian local domain, N be a finitely generated torsion- free module, and M a proper submodule that is generically equal to N. Let A[N] be an arbitrary graded overdomain of A generated as an A-algebra by N placed in degree 1. Let A[M] be the subalgebra generated by M. Set C:=Proj(A[M]) and r:=dim C. Form the (closed) subset W of Spec(A) of primes p where A[N]_p is not a finitely generated module over A[M]_p, and denote the preimage of W in C by E. We prove this: (1) dim E=r-1 if either (a) N is free and A[N] is the symmetric algebra, or (b) W is nonempty and A is universally cate…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。