Mixed Hodge Structures on Alexander Modules

IF 2 4区 数学 Q1 MATHEMATICS Memoirs of the American Mathematical Society Pub Date : 2024-04-01 DOI:10.1090/memo/1479
Eva Elduque, C. Geske, Moisés Herradón Cueto, L. Maxim, Botong Wang
{"title":"Mixed Hodge Structures on Alexander Modules","authors":"Eva Elduque, C. Geske, Moisés Herradón Cueto, L. Maxim, Botong Wang","doi":"10.1090/memo/1479","DOIUrl":null,"url":null,"abstract":"<p>Motivated by the limit mixed Hodge structure on the Milnor fiber of a hypersurface singularity germ, we construct a natural mixed Hodge structure on the torsion part of the Alexander modules of a smooth connected complex algebraic variety. More precisely, let <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper U\">\n <mml:semantics>\n <mml:mi>U</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">U</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> be a smooth connected complex algebraic variety and let <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"f colon upper U right-arrow double-struck upper C Superscript asterisk\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>f</mml:mi>\n <mml:mo>:<!-- : --></mml:mo>\n <mml:mi>U</mml:mi>\n <mml:mo stretchy=\"false\">→<!-- → --></mml:mo>\n <mml:msup>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">C</mml:mi>\n </mml:mrow>\n <mml:mo>∗<!-- ∗ --></mml:mo>\n </mml:msup>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">f\\colon U\\to \\mathbb {C}^*</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> be an algebraic map inducing an epimorphism in fundamental groups. The pullback of the universal cover of <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper C Superscript asterisk\">\n <mml:semantics>\n <mml:msup>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">C</mml:mi>\n </mml:mrow>\n <mml:mo>∗<!-- ∗ --></mml:mo>\n </mml:msup>\n <mml:annotation encoding=\"application/x-tex\">\\mathbb {C}^*</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> by <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"f\">\n <mml:semantics>\n <mml:mi>f</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">f</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> gives rise to an infinite cyclic cover <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper U Superscript f\">\n <mml:semantics>\n <mml:msup>\n <mml:mi>U</mml:mi>\n <mml:mi>f</mml:mi>\n </mml:msup>\n <mml:annotation encoding=\"application/x-tex\">U^f</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> of <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper U\">\n <mml:semantics>\n <mml:mi>U</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">U</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. The action of the deck group <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper Z\">\n <mml:semantics>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">Z</mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\mathbb {Z}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> on <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper U Superscript f\">\n <mml:semantics>\n <mml:msup>\n <mml:mi>U</mml:mi>\n <mml:mi>f</mml:mi>\n </mml:msup>\n <mml:annotation encoding=\"application/x-tex\">U^f</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> induces a <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper Q left-bracket t Superscript plus-or-minus 1 Baseline right-bracket\">\n <mml:semantics>\n <mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">Q</mml:mi>\n </mml:mrow>\n <mml:mo stretchy=\"false\">[</mml:mo>\n <mml:msup>\n <mml:mi>t</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mo>±<!-- ± --></mml:mo>\n <mml:mn>1</mml:mn>\n </mml:mrow>\n </mml:msup>\n <mml:mo stretchy=\"false\">]</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\mathbb {Q}[t^{\\pm 1}]</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>-module structure on <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper H Subscript asterisk Baseline left-parenthesis upper U Superscript f Baseline semicolon double-struck upper Q right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:msub>\n <mml:mi>H</mml:mi>\n <mml:mo>∗<!-- ∗ --></mml:mo>\n </mml:msub>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:msup>\n <mml:mi>U</mml:mi>\n <mml:mi>f</mml:mi>\n </mml:msup>\n <mml:mo>;</mml:mo>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">Q</mml:mi>\n </mml:mrow>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">H_*(U^f;\\mathbb {Q})</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. We show that the torsion parts <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper A Subscript asterisk Baseline left-parenthesis upper U Superscript f Baseline semicolon double-struck upper Q right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:msub>\n <mml:mi>A</mml:mi>\n <mml:mo>∗<!-- ∗ --></mml:mo>\n </mml:msub>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:msup>\n <mml:mi>U</mml:mi>\n <mml:mi>f</mml:mi>\n </mml:msup>\n <mml:mo>;</mml:mo>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">Q</mml:mi>\n </mml:mrow>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">A_*(U^f;\\mathbb {Q})</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> of the Alexander modules <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper H Subscript asterisk Baseline left-parenthesis upper U Superscript f Baseline semicolon double-struck upper Q right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:msub>\n <mml:mi>H</mml:mi>\n <mml:mo>∗<!-- ∗ --></mml:mo>\n </mml:msub>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:msup>\n <mml:mi>U</mml:mi>\n <mml:mi>f</mml:mi>\n </mml:msup>\n <mml:mo>;</mml:mo>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">Q</mml:mi>\n </mml:mrow>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">H_*(U^f;\\mathbb {Q})</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> carry canonical <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper Q\">\n <mml:semantics>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">Q</mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\mathbb {Q}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>-mixed Hodge structures. We also prove that the covering map <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper U Superscript f Baseline right-arrow upper U\">\n <mml:semantics>\n <mml:mrow>\n <mml:msup>\n <mml:mi>U</mml:mi>\n <mml:mi>f</mml:mi>\n </mml:msup>\n <mml:mo stretchy=\"false\">→<!-- → --></mml:mo>\n <mml:mi>U</mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">U^f \\to U</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> induces a mixed Hodge structure morphism on the torsion parts of the Alexander modules. As applications, we investigate the semisimplicity of <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper A Subscript asterisk Baseline left-parenthesis upper U Superscript f Baseline semicolon double-struck upper Q right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:msub>\n <mml:mi>A</mml:mi>\n <mml:mo>∗<!-- ∗ --></mml:mo>\n </mml:msub>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:msup>\n <mml:mi>U</mml:mi>\n <mml:mi>f</mml:mi>\n </mml:msup>\n <mml:mo>;</mml:mo>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">Q</mml:mi>\n </mml:mrow>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">A_*(U^f;\\mathbb {Q})</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, as well as possible weights of the constructed mixed Hodge structures. Finally, in the case when <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"f colon upper U right-arrow double-struck upper C Superscript asterisk\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>f</mml:mi>\n <mml:mo>:<!-- : --></mml:mo>\n <mml:mi>U</mml:mi>\n <mml:mo stretchy=\"false\">→<!-- → --></mml:mo>\n <mml:msup>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">C</mml:mi>\n </mml:mrow>\n <mml:mo>∗<!-- ∗ --></mml:mo>\n </mml:msup>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">f\\colon U\\to \\mathbb {C}^*</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> is proper, we prove the semisimplicity and purity of <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper A Subscript asterisk Baseline left-parenthesis upper U Superscript f Baseline semi","PeriodicalId":49828,"journal":{"name":"Memoirs of the American Mathematical Society","volume":null,"pages":null},"PeriodicalIF":2.0000,"publicationDate":"2024-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Memoirs of the American Mathematical Society","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1090/memo/1479","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0

Abstract

Motivated by the limit mixed Hodge structure on the Milnor fiber of a hypersurface singularity germ, we construct a natural mixed Hodge structure on the torsion part of the Alexander modules of a smooth connected complex algebraic variety. More precisely, let U U be a smooth connected complex algebraic variety and let f : U C f\colon U\to \mathbb {C}^* be an algebraic map inducing an epimorphism in fundamental groups. The pullback of the universal cover of C \mathbb {C}^* by f f gives rise to an infinite cyclic cover U f U^f of U U . The action of the deck group Z \mathbb {Z} on U f U^f induces a Q [ t ± 1 ] \mathbb {Q}[t^{\pm 1}] -module structure on H ( U f ; Q ) H_*(U^f;\mathbb {Q}) . We show that the torsion parts A ( U f ; Q ) A_*(U^f;\mathbb {Q}) of the Alexander modules H ( U f ; Q ) H_*(U^f;\mathbb {Q}) carry canonical Q \mathbb {Q} -mixed Hodge structures. We also prove that the covering map U f U U^f \to U induces a mixed Hodge structure morphism on the torsion parts of the Alexander modules. As applications, we investigate the semisimplicity of A ( U f ; Q ) A_*(U^f;\mathbb {Q}) , as well as possible weights of the constructed mixed Hodge structures. Finally, in the case when f : U C f\colon U\to \mathbb {C}^* is proper, we prove the semisimplicity and purity of 查看原文

分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
亚历山大模块上的混合霍奇结构
受超曲面奇点胚芽的米尔诺纤维上的极限混合霍奇结构的启发,我们在光滑连通复代数簇的亚历山大模块的扭转部分上构造了一个自然的混合霍奇结构。更确切地说,设 U U 是光滑连通复代数簇,设 f : U → C ∗ fcolon U\to \mathbb {C}^* 是基本群中诱导外变形的代数映射。通过 f f 对 C ∗ \mathbb {C}^* 的普遍盖的拉回,可以得到 U U 的无限循环盖 U f U^f。甲板群 Z 在 U f U^f 上的作用在 H ∗ ( U f ; Q ) H_*(U^f;\mathbb {Q}) 上诱导出一个 Q [ t ± 1 ] \mathbb {Q}[t^{\pm 1}] 模块结构。我们证明亚历山大模块 H ∗ ( U f ; Q ) H_*(U^f;\mathbb {Q}) 的扭转部分 A ∗ ( U f ; Q ) A_*(U^f;\mathbb {Q}) 带有典型的 Q \mathbb {Q} -mixed Hodge 结构。 -混合霍奇结构。我们还证明了覆盖映射 U f → U U^f \to U 在亚历山大模块的扭转部分上诱导了混合霍奇结构变形。作为应用,我们研究了 A ∗ ( U f ; Q ) A_*(U^f;\mathbb {Q}) 的半简单性,以及所构造的混合霍奇结构的可能权重。最后,在 f : U → C ∗ f\colon U\to \mathbb {C}^* 是适当的情况下,我们证明了 本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
CiteScore
3.50
自引率
5.30%
发文量
39
审稿时长
>12 weeks
期刊介绍: Memoirs of the American Mathematical Society is devoted to the publication of research in all areas of pure and applied mathematics. The Memoirs is designed particularly to publish long papers or groups of cognate papers in book form, and is under the supervision of the Editorial Committee of the AMS journal Transactions of the AMS. To be accepted by the editorial board, manuscripts must be correct, new, and significant. Further, they must be well written and of interest to a substantial number of mathematicians.
期刊最新文献
Unipotent Representations, Theta Correspondences, and Quantum Induction On 𝑝-adic 𝐿-functions for Hilbert modular forms Cubical Models of (∞,1)-Categories Simple Supercuspidal 𝐿-Packets of Quasi-Split Classical Groups A Plethora of Cluster Structures on 𝐺𝐿_{𝑛}
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1