<p>We investigate the “natural” locus of definition of Abel-Jacobi maps. In particular, we show that, for a proper, geometrically reduced curve <i>C</i> – not necessarily smooth – the Abel-Jacobi map from the smooth locus <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(C^{\textrm{sm}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mtext>sm</mtext> </msup> </math></EquationSource> </InlineEquation> into the Jacobian of <i>C</i> does not extend to any larger (separated, geometrically reduced) curve containing <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(C^{\textrm{sm}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mtext>sm</mtext> </msup> </math></EquationSource> </InlineEquation> except under certain particular circumstances which we describe explicitly. As a consequence, we deduce that the Abel-Jacobi map has closed image except in certain explicitly described circumstances, and that it is always a closed embedding for irreducible curves not isomorphic to <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\textbf{P}^1\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi mathvariant="bold">P</mi> <mn>1</mn> </msup> </math></EquationSource> </InlineEquation>.</p>

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

(Non-)Extendability of Abel-Jacobi Maps

  • Zev Rosengarten

摘要

We investigate the “natural” locus of definition of Abel-Jacobi maps. In particular, we show that, for a proper, geometrically reduced curve C – not necessarily smooth – the Abel-Jacobi map from the smooth locus \(C^{\textrm{sm}}\) C sm into the Jacobian of C does not extend to any larger (separated, geometrically reduced) curve containing \(C^{\textrm{sm}}\) C sm except under certain particular circumstances which we describe explicitly. As a consequence, we deduce that the Abel-Jacobi map has closed image except in certain explicitly described circumstances, and that it is always a closed embedding for irreducible curves not isomorphic to \(\textbf{P}^1\) P 1 .