Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userDemaillys conjecture on Waldschmidt constants for sufficiently many very general points in $mathbb{P}^n$
102
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
Let $Z$ be a finite set of $s$ points in the projective space $mathbb{P}^n$ over an algebraically closed field $F$. For each positive integer $m$, let $alpha(mZ)$ denote the smallest degree of nonzero homogeneous polynomials in $F[x_0,ldots,x_n]$ that vanish to order at least $m$ at every point of $Z$. The Waldschmidt constant $widehat{alpha}(Z)$ of $Z$ is defined by the limit [ widehat{alpha}(Z)=lim_{m to infty}frac{alpha(mZ)}{m}. ] Demailly conjectured that [ widehat{alpha}(Z)geqfrac{alpha(mZ)+n-1}{m+n-1}. ] Recently, Malara, Szemberg, and Szpond established Demaillys conjecture when $Z$ is very general and [ lfloorsqrt[n]{s}rfloor-2geq m-1. ] Here we improve their result and show that Demaillys conjecture holds if $Z$ is very general and [ lfloorsqrt[n]{s}rfloor-2ge frac{2varepsilon}{n-1}(m-1), ] where $0le varepsilon<1$ is the fractional part of $sqrt[n]{s}$. In particular, for $s$ very general points where $sqrt[n]{s}inmathbb{N}$ (namely $varepsilon=0$), Demaillys conjecture holds for all $minmathbb{N}$. We also show that Demaillys conjecture holds if $Z$ is very general and [ sgemax{n+7,2^n}, ] assuming the Nagata-Iarrobino conjecture $widehat{alpha}(Z)gesqrt[n]{s}$.
rate research
Read More
We propose a new theory of (non-split) P^n-functors. These are F: A -> B for which the adjunction monad RF is a repeated extension of Id_A by powers of an autoequivalence H and three conditions are satisfied: the monad condition, the adjoints condition, and the highest degree term condition. This unifies and extends the two earlier notions of spherical functors and split P^n-functors. We construct the P-twist of such F and prove it to be an autoequivalence. We then give a criterion for F to be a P^n-functor which is stronger than the definition but much easier to check in practice. It involves only two conditions: the strong monad condition and the weak adjoints condition. For split P^n-functors, we prove Segals conjecture on their relation to spherical functors. Finally, we give four examples of non-split P^n-functors: spherical functors, extensions by zero, cyclic covers, and family P-twists. For the latter, we show the P-twist to be the derived monodromy of associated Mukai flop, the so-called `flop-flop = twist formula.
This is an appendix to the recent paper of Favacchio and Guardo. In these notes we describe explicitly a minimal bigraded free resolution and the bigraded Hilbert function of a set of 3 fat points whose support is an almost complete intersection (ACI) in $mathbb{P}^1timesmathbb{P}^1.$ This solve the interpolation problem for three points with an ACI support.
Mustac{t}u{a} has given a conjecture for the graded Betti numbers in the minimal free resolution of the ideal of a general set of points on an irreducible projective algebraic variety. For surfaces in $mathbb P^3$ this conjecture has been proven for points on quadric surfaces and on general cubic surfaces. In the latter case, Gorenstein liaison was the main tool. Here we prove the conjecture for general quartic surfaces. Gorenstein liaison continues to be a central tool, but to prove the existence of our links we make use of certain dimension computations. We also discuss the higher degree case, but now the dimension count does not force the existence of our links.
We compute the $GL_{r+1}$-equivariant Chow class of the $GL_{r+1}$-orbit closure of any point $(x_1, ldots, x_n) in (mathbb{P}^r)^n$ in terms of the rank polytope of the matroid represented by $x_1, ldots, x_n in mathbb{P}^r$. Using these classes and generalizations involving point configurations in higher dimensional projective spaces, we define for each $dtimes n$ matrix $M$ an $n$-ary operation $[M]_hbar$ on the small equivariant quantum cohomology ring of $mathbb{P}^r$, which is the $n$-ary quantum product when $M$ is an invertible matrix. We prove that $M mapsto [M]_hbar$ is a valuative matroid polytope association. Like the quantum product, these operations satisfy recursive properties encoding solutions to enumerative problems involving point configurations of given moduli in a relative setting. As an application, we compute the number of line sections with given moduli of a general degree $2r+1$ hypersurface in $mathbb{P}^r$, generalizing the known case of quintic plane curves.
A projectively normal Calabi-Yau threefold $X subseteq mathbb{P}^n$ has an ideal $I_X$ which is arithmetically Gorenstein, of Castelnuovo-Mumford regularity four. Such ideals have been intensively studied when $I_X$ is a complete intersection, as well as in the case where $X$ is codimension three. In the latter case, the Buchsbaum-Eisenbud theorem shows that $I_X$ is given by the Pfaffians of a skew-symmetric matrix. A number of recent papers study the situation when $I_X$ has codimension four. We prove there are 16 possible betti tables for an arithmetically Gorenstein ideal $I$ with $mathrm{codim}(I)=4=mathrm{reg}(I)$, and that exactly 8 of these occur for smooth irreducible nondegenerate threefolds. We investigate the situation in codimension five or more, obtaining examples of $X$ with $h^{p,q}(X)$ not among those appearing for $I_X$ of lower codimension or as complete intersections in toric Fano varieties. A key tool in our approach is the use of inverse systems to identify possible betti tables for $X$.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
