The Torelli map restricted to the hyperelliptic locus

Transactions of the American Mathematical Society, Series B Pub Date : 2019-11-05 DOI:10.1090/BTRAN/64

Aaron Landesman

{"title":"The Torelli map restricted to the hyperelliptic locus","authors":"Aaron Landesman","doi":"10.1090/BTRAN/64","DOIUrl":null,"url":null,"abstract":"<p>Let <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"g greater-than-or-equal-to 2\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>g</mml:mi>\n <mml:mo>≥</mml:mo>\n <mml:mn>2</mml:mn>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">g \\geq 2</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> and let the Torelli map denote the map sending a genus <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"g\">\n <mml:semantics>\n <mml:mi>g</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">g</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> curve to its principally polarized Jacobian. We show that the restriction of the Torelli map to the hyperelliptic locus is an immersion in characteristic not <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"2\">\n <mml:semantics>\n <mml:mn>2</mml:mn>\n <mml:annotation encoding=\"application/x-tex\">2</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. In characteristic <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"2\">\n <mml:semantics>\n <mml:mn>2</mml:mn>\n <mml:annotation encoding=\"application/x-tex\">2</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, we show the Torelli map restricted to the hyperelliptic locus fails to be an immersion because it is generically inseparable; moreover, the induced map on tangent spaces has kernel of dimension <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"g minus 2\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>g</mml:mi>\n <mml:mo>−</mml:mo>\n <mml:mn>2</mml:mn>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">g-2</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> at every point.</p>","PeriodicalId":377306,"journal":{"name":"Transactions of the American Mathematical Society, Series B","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Transactions of the American Mathematical Society, Series B","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1090/BTRAN/64","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 7

Abstract

Let g ≥ 2 g \geq 2 and let the Torelli map denote the map sending a genus g g curve to its principally polarized Jacobian. We show that the restriction of the Torelli map to the hyperelliptic locus is an immersion in characteristic not 2 2 . In characteristic 2 2 , we show the Torelli map restricted to the hyperelliptic locus fails to be an immersion because it is generically inseparable; moreover, the induced map on tangent spaces has kernel of dimension g − 2 g-2 at every point.

查看原文本刊更多论文

托雷利图局限于超椭圆轨迹

设g≥2g \geq 2，并设Torelli映射表示将g属曲线发送到其主极化雅可比矩阵的映射。我们证明了Torelli映射对超椭圆轨迹的限制是对特征非22的浸没。在特征22中，我们证明了局限于超椭圆轨迹的Torelli映射不能成为浸没，因为它是一般不可分的;此外，切空间上的诱导映射在每一点上都具有g−2 g-2维核。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Transactions of the American Mathematical Society, Series B

CiteScore

1.70

自引率

0.00%

发文量