Iman Bahmani Jafarloo, Grzegorz Malara
In this paper we study ideals of points lying on rational normal curves defined in projective plane and projective $ 3 $-space. We give an explicit formula for the value of Castelnuovo-Mumford regularity for their ordinary powers. Moreover, we compare the $ m $-th symbolic and ordinary powers for such ideals in order to show whenever the $ m $-th symbolic defect is non-zero.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We study the regularity of small symbolic powers and integral closure of small powers of edge ideals. We also prove that the regularity of integral closure of powers of edge ideals of graphs with at most two odd cycles is the same as the regularity of their powers.
Take $(R, \mathfrak{m})$ any normal Noetherian domain, either local or $\mathbb{N}$-graded over a field. We study the question of when $R$ satisfies the uniform symbolic topology property (USTP) of Huneke, Katz, and Validashti: namely, that there exists an integer $D>0$ such that for all prime ideals $P \subseteq R$, the symbolic power $P^{(Da)} \subseteq P^a$ for all $a >0$. Reinterpreting results of Lipman, we deduce that when $R$ is a two-dimensional rational singularity, then it satisfies the USTP. Emphasizing the non-regular setting, we produce explicit, effective multipliers $D$, working…
In this paper we study the asymptotic behavior of the regularity of symbolic powers of ideals of points in a weighted projective plane. By a result of Cutkosky, Ein and Lazarsfeld, regularity of such powers behaves asymptotically like a linear function. We study the difference between regularity of such powers and this linear function. Under some conditions, we prove that this difference is bounded, or eventually periodic. As a corollary we show that, if there exists a negative curve, then the regularity of symbolic powers of a monomial space curve is eventually a periodic linear function. We …
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…
Castelnuovo-Mumford Regularity and Splitting Criteria for Logarithmic Bundles over Rational Normal Scroll Surfaces
本文在有理正规涡卷面上引入Castelnuovo-Mumford正则性，证明凝聚层分裂判据与Ulrich丛刻画，并研究直线和有理曲线配置的对数丛。
Fermat ideals define planar point configurations that are closely related to the intersection locus of the members of a specific pencil of curves. These ideals have gained recent popularity as counterexamples to some proposed containments between symbolic and ordinary powers. We give a systematic treatment of the family of Fermat ideals, describing explicitly the minimal generators and the minimal free resolutions of all their ordinary powers as well as many symbolic powers. We use these to study the ordinary and the symbolic Rees algebra of Fermat ideals. Specifically, we show that the symbol…
In this article we establish bounds for the Castelnuovo-Mumford regularity of projective schemes in terms of the degrees of their defining equations. The main new ingredient in our proof is to show that generic residual intersections of complete intersection rational singularities again have rational singularities. When applied to the theory of residual intersections this circle of ideas also sheds new light on some known classes of free resolutions of residual ideals.
Let $\mathscr{I}$ be an ideal sheaf on $P^n$. In the first part of this paper, we bound the asymptotic regularity of powers of $\mathscr{I}$ as $ps-3\leq \reg \mathscr{I}^p\leq ps+e$, where $e$ is a constant and $s$ is the $s$-invariant of $\mathscr{I}$. We also give the same upper bound for the asymptotic regularity of symbolic powers of $\mathscr{I}$ under some conditions. In the second part, by using multiplier ideal sheaves, we give a vanishing theorem of powers of $\mathscr{I}$ when it defines a local complete intersection subvariety with log canonical singularities.
The purpose of this paper is to establish a Castelnuovo-Mumford regularity bound for threefolds with mild singularities. Let $X$ be a non-degenerate normal projective threefold in $\mathbb{P}^r$ of degree $d$ and codimension $e$. We prove that if $X$ has rational singularities, then $\text{reg}(X) \leq d-e+2$. Our bound is very close to a sharp bound conjectured by Eisenbud-Goto. When $e=2$ and $X$ has Cohen-Macaulay Du Bois singularities, we obtain the conjectured bound $\text{reg}(X) \leq d-1$, and we also classify the extremal cases. To achieve these results, we bound the regularity of fibe…
We prove the regularity conjecture, namely Eisenbud-Goto conjecture, for a normal surface with rational, Gorenstein elliptic and log canonical singularities. Along the way, we bound the regularity for a dimension zero scheme by its Loewy length and for a curve allowing embedded or isolated point components by its arithmetic degree.
Motivated by recent work in the mathematics and engineering literature, we study integrability and non-tangential regularity on the two-torus for rational functions that are holomorphic on the bidisk. One way to study such rational functions is to fix the denominator and look at the ideal of polynomials in the numerator such that the rational function is square integrable. A concrete list of generators is given for this ideal as well as a precise count of the dimension of the subspace of numerators with a specified bound on bidegree. The dimension count is accomplished by constructing a natura…
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$-re…
We give a complete factorization of the invariant factors of resultant matrices built from birational parameterizations of rational plane curves in terms of the singular points of the curve and their multiplicity graph. This allows us to prove the validity of some conjectures about these invariants stated by Chen, Wang and Liu in [J. Symbolic Comput. 43(2):92-117, 2008]. As a byproduct, we also give a complete factorization of the D-resultant for rational functions in terms of the similar data extracted from the multiplicities.
Symbolic powers of the generic linkage of maximal minors
本文研究了最大余子式生成的理想J的符号幂与普通幂相等性，通过格罗布纳退化描述生成元的首项，并证明关联格雷德环的格雷索斯性质及正特征下的Rees代数F-理性性。
Let $I$ and $J$ be nonzero ideals in two Noetherian algebras $A$ and $B$ over a field $k$. Let $I+J$ denote the ideal generated by $I$ and $J$ in $A\otimes_k B$. We prove the following expansion for the symbolic powers: $$(I+J)^{(n)} = \sum_{i+j = n} I^{(i)} J^{(j)}.$$ If $A$ and $B$ are polynomial rings and if chara$(k) = 0$ or if $I$ and $J$ are monomial ideals, we give exact formulas for the depth and the Castelnuovo-Mumford regularity of $(I+J)^{(n)}$, which depend on the interplay between the symbolic powers of $I$ and $J$. The proof involves a result of independent interest which states …
Duality for asymptotic invariants of graded families
本文研究了渐进族的对偶性，通过交换子加性和超加性序列并反转其渐近增长常数，揭示了其在代数几何中的应用，包括Macaulay-Matlis对偶性和jet分离序列的对偶关系。
Symbolic Hamburger-Noether expressions of plane curves and construction of AG codes
本文提出基于符号Hamburger-Noether表达式的算法，计算有理除子空间基和Weierstrass半群，用于代数几何码的构造与译码。
Given a symbolic power of a homogeneous ideal in a polynomial ring, we study the problem of determining which powers of the ideal contain it. For ideals defining 0-dimensional subschemes of projective space, as an immediate corollary of our previous paper (arXiv:0706.3707) we give a complete solution in terms of the least degrees of nonzero elements of the symbolic powers, under the condition that the ideal is generated in a single degree and such that that degree is the regularity of the ideal (see Corollary 1.2). Using geometric methods, we also give complete solutions for ideals of points i…
Computation of symmetries of rational surfaces
本文提出基于 Gauss 曲率与平均曲率的有理曲面通用符号算法，并针对直纹曲面利用腰曲线归约为有理空间曲线问题，给出高效专用算法及 Maple 公开实现。
We discuss a particular problem of enumerating rational curves on a Grassmannian from several perspectives, including systems theory, real enumerative geometry, and symbolic computation. We also present a new transversality result, showing this problem is enumerative in all characteristics. While it is well-known how this enumerative problem arose in mathematical physics and also its importance to the development of quantum cohomology, it is less known how it arose independently in mathematical systems theory. We describe this second story.
Given two rational, properly parametrized space curves ${\mathcal C}_1$ and ${\mathcal C}_2$, where $\CCC_2$ is contained in some plane $Π$, we provide an algorithm to check whether or not there exist perspective or parallel projections mapping $\CCC_1$ onto $\CCC_2$, i.e. to recognize $\CCC_2$ as the projection of $\CCC_1$. In the affirmative case, the algorithm provides the eye point(s) of the perspective transformation(s), or the direction(s) of the parallel projection(s). The problem is mainly discussed from a symbolic point of view, but an approximate algorithm is also included.
We study projective surfaces $X \subset \mathbb{P}^r$ (with $r \geq 5$) of maximal sectional regularity and degree $d > r$, hence surfaces for which the Castelnuovo-Mumford regularity $\reg(C)$ of a general hyperplane section curve $C = X \cap \mathbb{P}^{r-1}$ takes the maximally possible value $d-r+3$. We show that each of these surfaces is either a cone over a curve $C \subset \mathbb{P}^{r-1}$ of maximal regularity or else a birational outer linear projection of a smooth rational surface scroll $\widetilde{X} \subset \mathbb{P}^{d+1}$. We prove that the Castelnuovo-Mumford regularity of th…
Motivated by questions in interpolation theory and on linear systems of rational varieties, one is interested in upper bounds for the Castelnuovo-Mumford regularity of arbitrary subschemes of fat points. An optimal upper bound, named after Segre, was conjectured by Trung and, independently, by Fattabi and Lorenzini. It is shown that this conjecture is true. Furthermore, an alternate regularity bound is established that improves the Segre bound in some cases. Among the arguments is a new partition result for matroids.
We study projective varieties $X \subset \mathbb{P}^r$ of dimension $n \geq 2$, of codimension $c \geq 3$ and of degree $d \geq c + 3$ that are of maximal sectional regularity, i.e. varieties for which the Castelnuovo-Mumford regularity $\reg (\mathcal{C})$ of a general linear curve section is equal to $d -c+1$, the maximal possible value (see \cite{GruLPe}). As one of the main results we classify all varieties of maximal sectional regularity. If $X$ is a variety of maximal sectional regularity, then either (a) it is a divisor on a rational normal $(n+1)$-fold scroll $Y \subset \mathbb{P}^{n+3…
We study projective surfaces $X \subset \mathbb{P}^r$ (with $r \geq 5$) of maximal sectional regularity and degree $d > r$, hence surfaces for which the Castelnuovo-Mumford regularity $\reg(\mathcal{C})$ of a general hyperplane section curve $\mathcal{C} = X \cap \mathbb{P}^{r-1}$ takes the maximally possible value $d-r+3$. We use the classification of varieties of maximal sectional regularity of \cite{BLPS1} to see that these surfaces are either particular divisors on a smooth rational $3$-fold scroll $S(1,1,1)\subset \mathbb{P}^5$, or else admit a plane $\mathbb{F} = \mathbb{P}^2 \subset \ma…
We derive new bounds for the Castelnuovo-Mumford regularity of the ideal sheaf of a complex projective manifold of any dimension. They depend linearly on the coefficients of the Hilbert polynomial, and are optimal for rational scrolls, but most likely not for other varieties. Our proof is based on an observation of Lazarsfeld in his approach for surfaces and does not require the (full) projection step. We obtain a bound for each partial linear projection of the given variety, as long as a certain vanishing condition on the fibers of a general projection holds.
Since Dumnicki, Szemberg and Tutaj-Gasińska gave in 2013 in [9] the first example of a set of points in the complex projective plane such that for its homogeneous ideal I the containment of the third symbolic power in the second ordinary power fails, there has been considerable interest in searching for further examples with this property and investigating into the nature of such examples. Many examples, defined over various fields, have been found but so far there has been essentially just one example found of 19 points defined over the rationals, see [16, Theorem A, Problem 1]. In [12, Probl…
If the $\ell$-adic cohomology of a projective smooth variety, defined over a local field $K$ with finite residue field $k$, is supported in codimension $\ge 1$, then every model over the ring of integers of $K$ has a $k$-rational point. For $K$ a $p$-adic field, this is math/0405318, Theorem 1.1. If the model $\sX$ is regular, one has a congruence $|\sX(k)|\equiv 1 $ modulo $|k|$ for the number of $k$-rational points 0704.1273, Theorem 1.1. The congruence is violated if one drops the regularity assumption.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。