Bruce W. Jordan, Kenneth A. Ribet, Anthony J. Scholl
{"title":"广义雅各布的模块曲线和内龙模型","authors":"Bruce W. Jordan, Kenneth A. Ribet, Anthony J. Scholl","doi":"10.1112/s0010437x23007662","DOIUrl":null,"url":null,"abstract":"<p>Let <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline1.png\"><span data-mathjax-type=\"texmath\"><span>$X$</span></span></img></span></span> be a smooth geometrically connected projective curve over the field of fractions of a discrete valuation ring <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$R$</span></span></img></span></span>, and <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline3.png\"><span data-mathjax-type=\"texmath\"><span>$\\mathfrak {m}$</span></span></img></span></span> a modulus on <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline4.png\"><span data-mathjax-type=\"texmath\"><span>$X$</span></span></img></span></span>, given by a closed subscheme of <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline5.png\"><span data-mathjax-type=\"texmath\"><span>$X$</span></span></img></span></span> which is geometrically reduced. The generalized Jacobian <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline6.png\"><span data-mathjax-type=\"texmath\"><span>$J_\\mathfrak {m}$</span></span></img></span></span> of <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline7.png\"><span data-mathjax-type=\"texmath\"><span>$X$</span></span></img></span></span> with respect to <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline8.png\"><span data-mathjax-type=\"texmath\"><span>$\\mathfrak {m}$</span></span></img></span></span> is then an extension of the Jacobian of <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline9.png\"><span data-mathjax-type=\"texmath\"><span>$X$</span></span></img></span></span> by a torus. We describe its Néron model, together with the character and component groups of the special fibre, in terms of a regular model of <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline10.png\"><span data-mathjax-type=\"texmath\"><span>$X$</span></span></img></span></span> over <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline11.png\"><span data-mathjax-type=\"texmath\"><span>$R$</span></span></img></span></span>. This generalizes Raynaud's well-known description for the usual Jacobian. We also give some computations for generalized Jacobians of modular curves <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline12.png\"><span data-mathjax-type=\"texmath\"><span>$X_0(N)$</span></span></img></span></span> with moduli supported on the cusps.</p>","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":"75 1","pages":""},"PeriodicalIF":1.3000,"publicationDate":"2024-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Modular curves and Néron models of generalized Jacobians\",\"authors\":\"Bruce W. Jordan, Kenneth A. Ribet, Anthony J. Scholl\",\"doi\":\"10.1112/s0010437x23007662\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>Let <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline1.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$X$</span></span></img></span></span> be a smooth geometrically connected projective curve over the field of fractions of a discrete valuation ring <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline2.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$R$</span></span></img></span></span>, and <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline3.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$\\\\mathfrak {m}$</span></span></img></span></span> a modulus on <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline4.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$X$</span></span></img></span></span>, given by a closed subscheme of <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline5.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$X$</span></span></img></span></span> which is geometrically reduced. The generalized Jacobian <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline6.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$J_\\\\mathfrak {m}$</span></span></img></span></span> of <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline7.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$X$</span></span></img></span></span> with respect to <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline8.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$\\\\mathfrak {m}$</span></span></img></span></span> is then an extension of the Jacobian of <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline9.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$X$</span></span></img></span></span> by a torus. We describe its Néron model, together with the character and component groups of the special fibre, in terms of a regular model of <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline10.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$X$</span></span></img></span></span> over <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline11.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$R$</span></span></img></span></span>. This generalizes Raynaud's well-known description for the usual Jacobian. We also give some computations for generalized Jacobians of modular curves <span><span><img data-mimesubtype=\\\"png\\\" data-type=\\\"\\\" src=\\\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240325174228573-0602:S0010437X23007662:S0010437X23007662_inline12.png\\\"><span data-mathjax-type=\\\"texmath\\\"><span>$X_0(N)$</span></span></img></span></span> with moduli supported on the cusps.</p>\",\"PeriodicalId\":55232,\"journal\":{\"name\":\"Compositio Mathematica\",\"volume\":\"75 1\",\"pages\":\"\"},\"PeriodicalIF\":1.3000,\"publicationDate\":\"2024-03-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Compositio Mathematica\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1112/s0010437x23007662\",\"RegionNum\":1,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Compositio Mathematica","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1112/s0010437x23007662","RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
Modular curves and Néron models of generalized Jacobians
Let $X$ be a smooth geometrically connected projective curve over the field of fractions of a discrete valuation ring $R$, and $\mathfrak {m}$ a modulus on $X$, given by a closed subscheme of $X$ which is geometrically reduced. The generalized Jacobian $J_\mathfrak {m}$ of $X$ with respect to $\mathfrak {m}$ is then an extension of the Jacobian of $X$ by a torus. We describe its Néron model, together with the character and component groups of the special fibre, in terms of a regular model of $X$ over $R$. This generalizes Raynaud's well-known description for the usual Jacobian. We also give some computations for generalized Jacobians of modular curves $X_0(N)$ with moduli supported on the cusps.
期刊介绍:
Compositio Mathematica is a prestigious, well-established journal publishing first-class research papers that traditionally focus on the mainstream of pure mathematics. Compositio Mathematica has a broad scope which includes the fields of algebra, number theory, topology, algebraic and differential geometry and global analysis. Papers on other topics are welcome if they are of broad interest. All contributions are required to meet high standards of quality and originality. The Journal has an international editorial board reflected in the journal content.