<p>Given a sequence of point and rational curve blow-ups of smooth 3-dimensional projective varieties <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(Z_{i}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>Z</mi> <mi>i</mi> </msub> </math></EquationSource> </InlineEquation> defined over an algebraically closed field <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\( k \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>k</mi> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(Z_{s}\xrightarrow {\pi _{s}} Z_{s-1}\xrightarrow {\pi _{s-1}}\cdot \cdot \cdot \xrightarrow {\pi _{2}} Z_{1}\xrightarrow {\pi _{1}} Z_{0}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>Z</mi> <mi>s</mi> </msub> <mover> <mo stretchy="false">→</mo> <msub> <mi>π</mi> <mi>s</mi> </msub> </mover> <msub> <mi>Z</mi> <mrow> <mi>s</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mover> <mo stretchy="false">→</mo> <msub> <mi>π</mi> <mrow> <mi>s</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> </mover> <mo>·</mo> <mo>·</mo> <mo>·</mo> <mover> <mo stretchy="false">→</mo> <msub> <mi>π</mi> <mn>2</mn> </msub> </mover> <msub> <mi>Z</mi> <mn>1</mn> </msub> <mover> <mo stretchy="false">→</mo> <msub> <mi>π</mi> <mn>1</mn> </msub> </mover> <msub> <mi>Z</mi> <mn>0</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>, with <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(Z_{0}\cong \mathbb {P}^{3}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>Z</mi> <mn>0</mn> </msub> <mo>≅</mo> <msup> <mrow> <mi mathvariant="double-struck">P</mi> </mrow> <mn>3</mn> </msup> </mrow> </math></EquationSource> </InlineEquation>, we give an explicit presentation of the Chow ring <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(A^{\bullet }(Z_{s})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>A</mi> <mo>∙</mo> </msup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>Z</mi> <mi>s</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of its sky. We prove that, in contrast to the case of sequences of point blow-ups, the skies of two sequences of point and rational curve blow-ups of the same length and even with the same proximity relations may have non-isomorphic Chow rings. Moreover, we explore some necessary conditions for the existence of such an isomorphism under some proximity configurations, and we apply the previous results in order to establish the allowed proximity type between two irreducible components of the exceptional divisor when both are regularly and projectively contractable.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

The Chow Ring of a Sequence of Point and Rational Curve Blow-Ups

  • Daniel Camazón Portela

摘要

Given a sequence of point and rational curve blow-ups of smooth 3-dimensional projective varieties \(Z_{i}\) Z i defined over an algebraically closed field \( k \) k , \(Z_{s}\xrightarrow {\pi _{s}} Z_{s-1}\xrightarrow {\pi _{s-1}}\cdot \cdot \cdot \xrightarrow {\pi _{2}} Z_{1}\xrightarrow {\pi _{1}} Z_{0}\) Z s π s Z s - 1 π s - 1 · · · π 2 Z 1 π 1 Z 0 , with \(Z_{0}\cong \mathbb {P}^{3}\) Z 0 P 3 , we give an explicit presentation of the Chow ring \(A^{\bullet }(Z_{s})\) A ( Z s ) of its sky. We prove that, in contrast to the case of sequences of point blow-ups, the skies of two sequences of point and rational curve blow-ups of the same length and even with the same proximity relations may have non-isomorphic Chow rings. Moreover, we explore some necessary conditions for the existence of such an isomorphism under some proximity configurations, and we apply the previous results in order to establish the allowed proximity type between two irreducible components of the exceptional divisor when both are regularly and projectively contractable.