Tran Quang Hoa, Ho Vu Ngoc Phuong
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We present algorithms for the computation of the Castelnuovo-Mumford regularity of the Rees algebra and of the fiber ring of equigenerated $\mm$-primary ideals in two variables. Applying these algorithms, we find a counter-example to a conjecture of Eisenbud and Ulrich which states that these regularities are equal.
In this article, we compute the regularity of Rees algebra of binomial edge ideals of closed graphs. We obtain a lower bound for the regularity of Rees algebra of binomial edge ideals. We also study some algebraic properties of the Rees algebra and special fiber ring of binomial edge ideals of closed graphs via algebraic properties of their initial algebra and Sagbi basis theory. We obtain an upper bound for the regularity of the special fiber ring of binomial edge ideals of closed graphs.
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…
Rees Algebras of Unit Interval Determinantal Facet Ideals
本文利用 SAGBI 基技术，为单位区间行列式面理想的 Rees 代数与特殊纤维环构造 Gröbner 基，证明其纤维型、Koszul 性及正规 Cohen-Macaulay 与有理奇点性质。
The non-$F$-rational locus of Rees algebras
本文研究 Rees 代数的非 $F$-有理轨迹，通过刻画其参数测试子模给出该轨迹的描述。
In this paper, we study the $F$-rationality of the Rees algebra and the extended Rees algebra of $\mathfrak{m}$-primary ideals in excellent local rings $(R, \mathfrak{m})$ of prime characteristic. We partially answer some conjectures and questions raised by N. Hara, K.-i. Watanabe and K.-i. Yoshida (J. Algebra, pp.153--190, vol 247, 2002).
Given two determinantal rings over a field k. We consider the Rees algebra of the diagonal ideal, the kernel of the multiplication map. The special fiber ring of the diagonal ideal is the homogeneous coordinate ring of the join variety. When the Rees algebra and the Symmetric algebra coincide, we show that the Rees algebra is Cohen-Macaulay.
We exhibit a set of minimal generators of the defining ideal of the Rees Algebra associated to the ideal of three bivariate homogeneous polynomials parametrizing a proper rational curve in projective plane, having a minimal syzygy of degree 2.
We describe a minimal set of generators of the defining ideal of the Rees Algebra associated to a proper parametrization of any monoid hypersurface. In the case of plane curves, we recover a known description for rational parametrizations having a syzygy of minimal degree (μ=1). We also show that our approach can be applied to parametrizations of rational surfaces having a Hilbert-Burch resolution with μ_1=μ_2=1.
We determine the defining equations of the Rees algebra and of the special fiber ring of the ideal of maximal minors of a $2\times n$ sparse matrix. We prove that their initial algebras are ladder determinantal rings. This allows us to show that the Rees algebra and the special fiber ring are Cohen-Macaulay domains, they are Koszul, they have rational singularities in characteristic zero and are F-rational in positive characteristic.
There is a natural epimorphism from the symmetric algebra to the Rees algebra of an ideal. When this epimorphism is an isomorphism, we say that the ideal is of linear type. Given two determinantal rings over a field, we consider the diagonal ideal, the kernel of the multiplication map. We prove that the diagonal ideal is of linear type and recover the defining ideal of the Rees algebra in some special cases. The special fiber ring of the diagonal ideal is the homogeneous coordinate ring of the join variety.
Test Modules of Extended Rees Algebras
该研究给出既约局部环上正高度理想对应的扩展Rees代数的测试模分解，将非主理想测试模计算简化为主理想情形，并应用于推广F-有理性结果、简化F-跳跃数性质证明等。
On Rees algebras of 2-determinantal ideals
本文证明了2×n线性形式矩阵子式理想的Rees代数及其特殊纤维环具有Cohen-Macaulay和Koszul性质，通过分析Hilbert概形分层并结合Groebner退化揭示了其二次代数特征。
In this paper we show that there is a close relationship between the invariants characterizing the homogeneous vanishing of the local cohomology of the Rees algebra and the associated graded ring for the good filtrations case. We obtain relationships between the Castelnuovo-Mumford regularity of the fiber cone, associated graded ring, Rees algebra and reduction number for the good filtrations case.
We compute a minimal bigraded resolution of the Rees Algebra associated to a proper rational parametrization of a monomial plane curve. We describe explicitly both the bigraded Betti numbers and the maps of the resolution in terms of a generalized version of the Euclidean Algorithm. We also explore the relation between pencils of adjoints of the monomial plane curve and elements in a suitable piece of the defining ideal of the Rees Algebra.
The Proj of the Rees algebra of a graded family of ideals
研究Rees代数的渐进代数的Proj在Noetherian局部环中为Noetherian的条件，探讨高维情形下该性质不成立的例子及纤维锥的极小素理想有限性。
Rees Algebras and the reduced fiber cone of divisorial filtrations on two dimensional normal local rings
本研究针对二维正规优局部环上的除子滤过，显式刻画其Rees代数的Proj概型与约化例外纤维结构，给出F. Russo定理的新证明，并明确解析展延不同取值对应的纤维性质。
Consider a height two ideal, $I$, which is minimally generated by $m$ homogeneous forms of degree $d$ in the polynomial ring $R=k[x,y]$. Suppose that one column in the homogeneous presenting matrix $\f$ of $I$ has entries of degree $n$ and all of the other entries of $\f$ are linear. We identify an explicit generating set for the ideal $\Cal A$ which defines the Rees algebra $\Cal R=R[It]$; so $\Cal R=S/\Cal A$ for the polynomial ring $S=R[T_1,...,T_m]$. We resolve $\Cal R$ as an $S$-module and $I^s$ as an $R$-module, for all powers $s$. The proof uses the homogeneous coordinate ring, $A=S/H$,…
We prove that the multi-Rees algebra $\mathcal{R}(I_1 \oplus \cdots \oplus I_r)$ of a collection of strongly stable ideals $I_1, \ldots, I_r$ is of fiber type. In particular, we provide a Gröbner basis for its defining ideal as a union of a Gröbner basis for its special fiber and binomial syzygies. We also study the Koszulness of $\mathcal{R}(I_1 \oplus \cdots \oplus I_r)$ based on parameters associated to the collection. Furthermore, we establish a quadratic Gröbner basis of the defining ideal of $\mathcal{R}(I_1 \oplus I_2)$ where each of the strongly stable ideals has two quadric Borel gene…
On the Rees algebras of $t$-path ideals of cycles
本文研究$n$-圈的$t$-路理想$I_t(C_n)$的里斯代数性质，重点分析该理想为纤维型的情形。
Finite generation of the symbolic Rees ring of a space monomial prime ideal of a 3-dimensional weighted polynomial ring is a very interesting problem. Negative curves play important roles in finite generation of these rings. We are interested in the structure of the negative curve. We shall prove that negative curves are rational in many cases. We also see that the Cox ring of the blow-up of a toric variety at the point (1,1,...,1) coincides with the extended symbolic Rees ring of an ideal of a polynomial ring. For example, Roberts' second counterexample to Cowsik's question (and Hilbert's 14t…
In this article we study the defining ideal of Rees algebras of ideals of star configurations. We characterize when these ideals are of linear type and provide sufficient conditions for them to be of fiber type. In the case of star configurations of height two, we give a full description of the defining ideal of the Rees algebra, by explicitly identifying a minimal generating set.
A tame ideal is an ideal $I$ such that the blowup of the affine space $\mathbb{A}_k^n$ along $I$ is regular. In this paper, we give a combinatorial characterization of tame squarefree monomial ideals. More precisely, we show that a square free monomial ideal is tame if and only if the corresponding clutter is a union of some isolated vertices and a complete $d$-partite $d$-uniform clutter. It turns out that a squarefree monomial ideal is tame, if and only if the facets of its Stanley-Reisner complex have mutually disjoint complements. Also, we characterize all monomial ideals generated in degr…
In this paper we describe the defining equations of the Rees algebra and the special fiber ring of a truncation I of a complete intersection ideal in a polynomial ring over a field with homogeneous maximal ideal m. To describe explicitly the Rees algebra R(I) in terms of generators and relations we map another Rees ring R(M) onto it, where M is the direct sum of powers of m. We compute a Groebner basis of the ideal defining R(M). It turns out that the normal domain R(M) is a Koszul algebra and from this we deduce that in many instances R(I) is a Koszul algebra as well.
Multiplier Modules of extended Rees algebras
本文通过证明分解定理，给出了计算扩展Rees代数和Rees代数乘子模的方法，并利用分解理解具有有理奇点的相关环之间的关系。
Rees algebras of ideals submaximally generated by quadrics
本文研究由二次型次极大生成的 $\mathfrak{m}$-准素 Gorenstein 理想，证明其 Rees 代数为纤维型，并刻画特殊纤维环的定义理想。
Let $M$ and $N$ be two monomials of the same degree, and let $I$ be the smallest Borel ideal containing $M$ and $N$. We show that the toric ring of $I$ is Koszul by constructing a quadratic Gröbner basis for the associated toric ideal. Our proofs use the construction of graphs corresponding to fibers of the toric map. As a consequence, we conclude that the Rees algebra is also Koszul.
We study the defining equations of the Rees algebra of ideals arising from curve parametrizations in the plane and in rational normal scrolls, inspired by the work of Madsen and Kustin, Polini and Ulrich. The curves are related by work of Bernardi, Gimigliano and Ida, and we use this framework to relate the defining equations.
A new approach is established to computing the image of a rational map, whereby the use of approximation complexes is complemented with a detailed analysis of the torsion of the symmetric algebra in certain degrees. In the case the map is everywhere defined this analysis provides free resolutions of graded parts of the Rees algebra of the base ideal in degrees where it does not coincide with the corresponding symmetric algebra. A surprising fact is that the torsion in those degrees only contributes to the first free module in the resolution of the symmetric algebra modulo torsion. An additiona…
Equations of the multi-Rees algebra of fattened coordinate subspaces
本文研究了由 $x_1,\dots,x_n$ 子集生成理想的多重 Rees 代数定义方程，证明了无平方首项二项式在字典序下构成 Gröbner 基，并证明该理想族属于多重纤维型。
We investigate the Rees algebra and the toric ring of the squarefree monomial ideal associated to the three-dimensional Ferrers diagram. Under the projection property condition, we describe explicitly the presentation ideals of the Rees algebra and the toric ring. We show that the toric ring is a Koszul Cohen--Macaulay normal domain, while the Rees algebra is Koszul and the defining ideal is of fiber type.
We determine the equations of the blowup of $\mathbb{P}^n$ along a $d$-fold rational normal scroll $S$, and we prove that the Rees ring and special fiber ring of $S \subseteq \mathbb{P}^n$ are Koszul algebras.
We introduce the class of rational plane curves parameterizable by conics as an extension of the family of curves parameterizable by lines (also known as monoid curves). We show that they are the image of monoid curves via suitable quadratic transformations in projective plane. We also describe all the possible proper parameterizations of them, and a set of minimal generators of the Rees Algebra associated to these parameterizations, extending well-known results for curves parameterizable by lines.
We contribute a new algebraic method for computing the orthogonal projections of a point onto a rational algebraic surface embedded in the three dimensional projective space. This problem is first turned into the computation of the finite fibers of a generically finite dominant rational map: a congruence of normal lines to the rational surface. Then, an in-depth study of certain syzygy modules associated to such a congruence is presented and applied to build elimination matrices that provide universal representations of its finite fibers, under some genericity assumptions. These matrices depen…
One proves a far-reaching upper bound for the degree of a generically finite rational map between projective varieties over a base field of arbitrary characteristic. The bound is expressed as a product of certain degrees that appear naturally by considering the Rees algebra (blowup) of the base ideal defining the map. Several special cases are obtained as consequences, some of which cover and extend previous results in the literature.
It is shown that the Orlik-Terao algebra is graded isomorphic to the special fiber of the ideal $I$ generated by the $(n-1)$-fold products of the members of a central arrangement of size $n$. This momentum is carried over to the Rees algebra (blowup) of $I$ and it is shown that this algebra is of fiber-type and Cohen-Macaulay. It follows by a result of Simis-Vasconcelos that the special fiber of $I$ is Cohen-Macaulay, thus giving another proof of a result of Proudfoot-Speyer about the Cohen-Macauleyness of the Orlik-Terao algebra.
Let $(R, {\mathfrak m})$ be a Noetherian local ring and let $I$ be an $R$-ideal. Inspired by the work of Hübl and Huneke, we look for conditions that guarantee the Cohen-Macaulayness of the special fiber ring ${\mathcal F}={\mathcal R}/{\mathfrak m}{\mathcal R}$ of $I$, where ${\mathcal R}$ denotes the Rees algebra of $I$. Our key idea is to require `good' intersection properties as well as `few' homogeneous generating relations in low degrees. In particular, if $I$ is a strongly Cohen-Macaulay $R$-ideal with $G_{\ell}$ and the expected reduction number, we conclude that ${\mathcal F}$ is alwa…
A rational map $ϕ: \mathbb{P}_k^m \dashrightarrow \mathbb{P}_k^n$ is defined by homogeneous polynomials of a common degree $d$. We establish a linear bound in terms of $d$ for the number of $(m-1)$-dimensional fibers of $ϕ$, by using ideals of minors of the Jacobian matrix. In particular, we answer affirmatively Question~11 in arXiv:1511.02933v2.
In this short paper, we show that the fiber cones of rational normal scrolls are Cohen-Macaulay. As an application, we compute their Castelnuovo-Mumford regularities and $\mathbf{a}$-invariants, as well as the reduction number of the defining ideals of the rational normal scrolls. We also characterize the Gorensteinness of the fiber cone.
Given a parametrization of a rational plane algebraic curve C, some explicit adjoint pencils on C are described in terms of determinants. Moreover, some generators of the Rees algebra associated to this parametrization are presented. The main ingredient developed in this paper is a detailed study of the elimination ideal of two homogeneous polynomials in two homogeneous variables that form a regular sequence.
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…
We give formulas and effective sharp bounds for the degree of multi-graded rational maps and provide some effective and computable criteria for birationality in terms of their algebraic and geometric properties. We also extend the Jacobian dual criterion to the multi-graded setting. Our approach is based on the study of blow-up algebras, including syzygies, of the ideal generated by the defining polynomials of the rational map. A key ingredient is a new algebra that we call the "saturated special fiber ring", which turns out to be a fundamental tool to analyze the degree of a rational map. We …
Parameterized algebraic curves and surfaces are widely used in geometric modeling and their manipulation is an important task in the processing of geometric models. In particular, the determination of the intersection loci between points, pieces of parameterized algebraic curves and pieces of algebraic surfaces is a key problem in this context. In this paper, we survey recent methods based on syzygies and blowup algebras for computing the image and the finite fibers of a curve or surface parameterization, more generally of a rational map. Conceptually, the main idea is to use elimination matri…
Given a monomial $m$ in a polynomial ring and a subset $L$ of the variables of the polynomial ring, the principal $L$-Borel ideal generated by $m$ is the ideal generated by all monomials which can be obtained from $m$ by successively replacing variables of $m$ by those which are in $L$ and have smaller index. Given a collection $\mathcal{I}=\{I_1,\ldots,I_r\}$ where $I_i$ is $L_i$-Borel for $i=1,\ldots,r$ (where the subsets $L_1,\ldots,L_r$ may be different for each ideal), we prove in essence that if the bipartite incidence graph among the subsets $L_1,\ldots,L_r$ is chordal bipartite, then t…
In this paper, we investigate some topics around the closed image $S$ of a rational map $λ$ given by some homogeneous elements $f_1,...,f_n$ of the same degree in a graded algebra $A$. We first compute the degree of this closed image in case $λ$ is generically finite and $f_1,...,f_n$ define isolated base points in $\Proj(A)$. We then relate the definition ideal of $S$ to the symmetric and the Rees algebras of the ideal $I=(f_1,...,f_n) \subset A$, and prove some new acyclicity criteria for the associated approximation complexes. Finally, we use these results to obtain the implicit equation of…
Blow-up rings and $F$-rationality
本文研究正规 Rees 代数的 $F$-有理性，通过测试理想条件、分次局部上同调底座次数及几何 Proj 条件，给出多个充分判据并应用于二次超曲面与三维局部环。
Special fibers of coordinate sections of Hankel Matrices
本文研究Hankel矩阵坐标截面的特殊纤维，揭示其定义方程的结构特征，并证明其Cohen-Macaulay性质及极小生成元的次数增长规律。
In this paper, we are mainly concerned with the blow-up algebras of the secant varieties of balanced rational normal scrolls. In the first part, we give implicit defining equations of their associated Rees algebras and fiber cones. Consequently, we can tell that the fiber cones are Cohen--Macaulay normal domains. Meanwhile, these fiber cones have rational singularities in characteristic zero, and are $F$-rational in positive characteristic. The Gorensteinness of the fiber cones can also be characterized. In the second part, we compute the Castelnuovo--Mumford regularities and $\mathbf{a}$-inva…
Rees algebras of filtrations of covering polyhedra and integral closure of powers of monomial ideals
本文利用组合优化与整数规划研究覆盖多面体滤过的Rees代数，计算Waldschmidt常数与ic-回归，给出图覆盖理想和边理想的下界，并分类牛顿多面体为不可约多面体的条件。
In this article we analyze the implicitization problem of the image of a rational map $ϕ: X --> P^n$, with $T$ a toric variety of dimension $n-1$ defined by its Cox ring $R$. Let $I:=(f_0,...,f_n)$ be $n+1$ homogeneous elements of $R$. We blow-up the base locus of $ϕ$, $V(I)$, and we approximate the Rees algebra $Rees_R(I)$ of this blow-up by the symmetric algebra $Sym_R(I)$. We provide under suitable assumptions, resolutions $\Z.$ for $Sym_R(I)$ graded by the torus-invariant divisor group of $X$, $Cl(X)$, such that the determinant of a graded strand, $\det((\Z.)_μ)$, gives a multiple of the i…
Rational powers, invariant ideals, and the summation formula
本文利用多面体和格点描述了几类不变理想的 rational powers 和 Rees valuations，证明了 Mustaţă-Takagi 求和公式对这些理想成立，并对 normal domains 中任意理想证明了其在充分大有理数下成立的较弱版本。
We find the defining equations of Rees rings of linearly presented height three Gorenstein ideals. To prove our main theorem we use local cohomology techniques to bound the maximum generator degree of the torsion submodule of symmetric powers in order to conclude that the defining equations of the Rees algebra and the special fiber ring have the same image in the symmetric algebra. We show that this image is the unmixed part of the ideal generated by the maximal minors of a matrix of linear forms which is annihilated by a vector of indeterminates, and otherwise has maximal possible grade. An i…
Adjoint test modules along Cohen--Macaulay morphisms
研究Cohen-Macaulay映射下的对偶测试模块变换规则，基于F-理性几何纤维的上升性质，扩展Enescu定理的有效版本。
Flat morphisms with regular fibers do not preserve $F$-rationality
本文构造了特征为 $p$ 的域上的标准分次 $F$-有理环 $R$，证明其在代数闭包或张量积下不再保持 $F$-有理性，从而说明具有正则纤维的平坦态射不保持 $F$-有理性。
Consider the rational map $ϕ: \mathbb{P}^{n-1}_{\mathbf k} \stackrel{[f_0:\cdots: f_n]}{\longrightarrow} \mathbb{P}^{n}_{\mathbf k}$ defined by homogeneous polynomials $f_0,\dots,f_n$ of the same degree $d$ in a polynomial ring $R=\mathbf k [x_1,\dots,x_n]$ over a field $\mathbf k$. Suppose $I=(f_0,\dots,f_n)$ is a height two perfect ideal satisfying $μ(I_p)\leq\dim R_p$ for $p\in \operatorname{Spec} (R) \setminus V(x_1,\dots, x_n)$. We study the equations defining the graph of $ϕ$ whose coordinate ring is the Rees algebra $R[It]$. We provide new methods to construct these equations using work…
Blowup algebras of determinantal modules
本文研究由阶梯矩阵极大子式或单位区间行列式理想生成的模的爆破代数，确定其多重Rees代数及特殊纤维环的Gröbner基，并证明所得代数为Koszul Cohen–Macaulay正规整环，且在特征零时具有有理奇点、正特征时为F-有理。
Blowup Algebras of $n$--dimensional Ferrers Diagrams
本文研究 n 维 Ferrers 图对应的多 Rees 代数与特殊纤维，证明满足强 ℓ-交换性质的理想直和具有纤维型，给出表示理想的 Gröbner 基，并证明这些爆破代数为 Koszul Cohen–Macaulay 正规整环且分类其奇点。
Consider a rational projective plane curve C parameterized by three homogeneous forms h1,h2,h3 of the same degree d in the polynomial ring R=k[x,y] over the field k. Extracting a common factor, we may harmlessly assume that the ideal I=(h1,h2,h3)R has height two. Let phi be a homogeneous minimal Hilbert-Burch matrix for the row vector [h1,h2,h3]. So, phi is a 3 by 2 matrix of homogeneous forms from R; the entries in column m have degree dm, with d1 \le d2 and d1+d2=d. The Rees algebra $cal R$ of I is the subring k[h1t,h2t,h3t] of the polynomial ring k[t]. The bi-projective spectrum of $cal R$ …
Our purpose is to study the cohomological properties of the Rees algebras of a class of ideals generated by quadrics. For all such ideals $I\subset R = K[x,y,z]$ we give the precise value of depth $R[It]$ and decide whether the corresponding rational maps are birational. In the case of dimension $d \geq 3$, when $K=\mathbb{R}$, we give structure theorems for all ideals of codimension $d$ minimally generated by ${{d+1}\choose{2}}-1$ quadrics. For arbitrary fields $K$, we prove a polarized version.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。