Webstructure X → S so that if dimS = 2, then there exists a free divisor on S with small self-intersection number. This solves the second issue. The second one is a more detailed estimate on the lower bound µ(2,ǫ) (Theorem 3.1), which solves the first issue. We significantly improve the WebIntersection theory of nef b-divisor classes Nguyen-Bac Dang, Charles Favre July 20, 2024 Abstract We prove that any nef b-divisor class on a projective variety defined over an alge-braically closed field of characteristic 0 is a …
arXiv:2304.04064v1 [math.AG] 8 Apr 2024
WebSep 5, 2024 · Intersection theory of nef b-divisor classes - Volume 158 Issue 7. Skip to main content Accessibility help We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings. WebTaking the intersection of two varieties is an obvious geometric notion. It gives rise to a bilinear multiplication map on algebraic cycles up to linear or algebraic equivalence. ... If D is a divisor on a surface X and DE=0, where E is the hyperplane section, then D 2 ≤0. Proof. イエベ春 唇 紫
X arXiv:2104.01608v1 [math.AG] 4 Apr 2024
WebThe canonical class is the divisor class of a Cartier divisor K on V giving rise to the canonical bundle — it is an equivalence class for linear equivalence on V, and any divisor in it may be called a canonical divisor. An anticanonical divisor is any divisor −K with K canonical. The anticanonical bundle is the corresponding inverse bundle ... WebFeb 22, 2024 · An intersection divisor is a divisor that contains information on the points of intersection of two curves. 4. This is consistent with the definition of AG codes. The two divisors should have no points in common. 5. These are randomly chosen places such that the difference between their degrees is 1 and G does not intersect W. 6. WebLet $X$ be the smooth projective plane cubic curve defined by $y^2z=x^3-xz^2.$ Compute the intersection divisors of the lines defined by $x=0,y=0,$ and $z=0$ with $X$. otorge definition