Pub Date : 2024-07-01DOI: 10.1016/j.indag.2024.01.007
Matthias Schütt
We give a complete classification of -cohomology projective planes with isolated ADE-singularities and numerically trivial canonical bundle in odd characteristic. This leads to a beautiful relation with certain Enriques surfaces which parallels the situation in characteristic zero, yet displays intriguing subtleties.
{"title":"Qℓ-cohomology projective planes from Enriques surfaces in odd characteristic","authors":"Matthias Schütt","doi":"10.1016/j.indag.2024.01.007","DOIUrl":"10.1016/j.indag.2024.01.007","url":null,"abstract":"<div><p>We give a complete classification of <span><math><msub><mrow><mi>Q</mi></mrow><mrow><mi>ℓ</mi></mrow></msub></math></span>-cohomology projective planes with isolated ADE-singularities and numerically trivial canonical bundle in odd characteristic. This leads to a beautiful relation with certain Enriques surfaces which parallels the situation in characteristic zero, yet displays intriguing subtleties.</p></div>","PeriodicalId":56126,"journal":{"name":"Indagationes Mathematicae-New Series","volume":"35 4","pages":"Pages 744-767"},"PeriodicalIF":0.5,"publicationDate":"2024-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0019357724000077/pdfft?md5=3c3aaaef3ddd511c727a0f394e98674a&pid=1-s2.0-S0019357724000077-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139763532","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-01DOI: 10.1016/j.indag.2024.01.004
Hershy Kisilevsky , Masato Kuwata
For an elliptic curve we show that there are infinitely many cyclic sextic extensions such that the Mordell–Weil group has rank greater than the subgroup of generated by all the for the proper subfields . For certain curves we show that the number of such fields of conductor less than is .
对于椭圆曲线 E/Q,我们证明有无限多的循环六元延伸 K/Q,使得莫德尔-韦尔群 E(K) 的秩大于由所有适当子域 F⊂K 的 E(F) 生成的 E(K) 子群。对于某些曲线 E/Q,我们证明导数小于 X 的此类场 K 的数目为 ≫X。
{"title":"Ranks of elliptic curves in cyclic sextic extensions of Q","authors":"Hershy Kisilevsky , Masato Kuwata","doi":"10.1016/j.indag.2024.01.004","DOIUrl":"10.1016/j.indag.2024.01.004","url":null,"abstract":"<div><p><span>For an elliptic curve </span><span><math><mrow><mi>E</mi><mo>/</mo><mi>Q</mi></mrow></math></span> we show that there are infinitely many cyclic sextic extensions <span><math><mrow><mi>K</mi><mo>/</mo><mi>Q</mi></mrow></math></span> such that the Mordell–Weil group <span><math><mrow><mi>E</mi><mrow><mo>(</mo><mi>K</mi><mo>)</mo></mrow></mrow></math></span> has rank greater than the subgroup of <span><math><mrow><mi>E</mi><mrow><mo>(</mo><mi>K</mi><mo>)</mo></mrow></mrow></math></span> generated by all the <span><math><mrow><mi>E</mi><mrow><mo>(</mo><mi>F</mi><mo>)</mo></mrow></mrow></math></span> for the proper subfields <span><math><mrow><mi>F</mi><mo>⊂</mo><mi>K</mi></mrow></math></span>. For certain curves <span><math><mrow><mi>E</mi><mo>/</mo><mi>Q</mi></mrow></math></span> we show that the number of such fields <span><math><mi>K</mi></math></span> of conductor less than <span><math><mi>X</mi></math></span> is <span><math><mrow><mo>≫</mo><msqrt><mrow><mi>X</mi></mrow></msqrt></mrow></math></span>.</p></div>","PeriodicalId":56126,"journal":{"name":"Indagationes Mathematicae-New Series","volume":"35 4","pages":"Pages 728-743"},"PeriodicalIF":0.5,"publicationDate":"2024-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139551961","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-01DOI: 10.1016/j.indag.2024.01.002
Irene I. Bouw, Duc Khoi Do, Stefan Wewers
We study the Weil representation of a curve over a -adic field with potential reduction of compact type. We show that can be reconstructed from its stable reduction. For superelliptic curves of the form at primes whose residue characteristic is prime to the exponent we make this explicit.
我们研究了 p-adic 场上曲线的 Weil 表示 ρ,它具有紧凑型的势还原。我们证明了 ρ 可以从它的稳定还原中重建。对于在素数 p 上形式为 yn=f(x) 的超椭圆曲线,其残差特征为指数 n 的素数,我们明确了这一点。
{"title":"Computing the Weil representation of a superelliptic curve","authors":"Irene I. Bouw, Duc Khoi Do, Stefan Wewers","doi":"10.1016/j.indag.2024.01.002","DOIUrl":"10.1016/j.indag.2024.01.002","url":null,"abstract":"<div><p>We study the Weil representation <span><math><mi>ρ</mi></math></span> of a curve over a <span><math><mi>p</mi></math></span>-adic field with potential reduction of compact type. We show that <span><math><mi>ρ</mi></math></span> can be reconstructed from its stable reduction. For superelliptic curves of the form <span><math><mrow><msup><mrow><mi>y</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>=</mo><mi>f</mi><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow></mrow></math></span> at primes <span><math><mi>p</mi></math></span> whose residue characteristic is prime to the exponent <span><math><mi>n</mi></math></span> we make this explicit.</p></div>","PeriodicalId":56126,"journal":{"name":"Indagationes Mathematicae-New Series","volume":"35 4","pages":"Pages 708-727"},"PeriodicalIF":0.5,"publicationDate":"2024-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0019357724000028/pdfft?md5=a98632bbf32b4580b4c64c774c1f6a96&pid=1-s2.0-S0019357724000028-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139506875","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-01DOI: 10.1016/j.indag.2023.12.001
Simone Muselli
Let be a complete discretely valued field of residue characteristic not 2 and its ring of integers. We explicitly construct a regular model over with strict normal crossings of any hyperelliptic curve . For this purpose, we introduce the new notion of MacLane cluster picture, that aims to be a link between clusters and MacLane valuations.
设 K 是残差特征不为 2 的完整离散值域,OK 是其整数环。我们明确地在 OK 上构造了一个具有严格法交叉的任何超椭圆曲线 C/K:y2=f(x) 的正则模型。为此,我们引入了新的麦克莱恩簇图象概念,旨在成为簇与麦克莱恩估值之间的联系。
{"title":"Regular models of hyperelliptic curves","authors":"Simone Muselli","doi":"10.1016/j.indag.2023.12.001","DOIUrl":"10.1016/j.indag.2023.12.001","url":null,"abstract":"<div><p>Let <span><math><mi>K</mi></math></span> be a complete discretely valued field of residue characteristic not 2 and <span><math><msub><mrow><mi>O</mi></mrow><mrow><mi>K</mi></mrow></msub></math></span> its ring of integers. We explicitly construct a regular model over <span><math><msub><mrow><mi>O</mi></mrow><mrow><mi>K</mi></mrow></msub></math></span> with strict normal crossings of any hyperelliptic curve <span><math><mrow><mi>C</mi><mo>/</mo><mi>K</mi><mo>:</mo><msup><mrow><mi>y</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>=</mo><mi>f</mi><mrow><mo>(</mo><mi>x</mi><mo>)</mo></mrow></mrow></math></span>. For this purpose, we introduce the new notion of <em>MacLane cluster picture</em>, that aims to be a link between clusters and MacLane valuations.</p></div>","PeriodicalId":56126,"journal":{"name":"Indagationes Mathematicae-New Series","volume":"35 4","pages":"Pages 646-697"},"PeriodicalIF":0.5,"publicationDate":"2024-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0019357723001040/pdfft?md5=04ca296b6016027d47af6c7c64f21d09&pid=1-s2.0-S0019357723001040-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138555115","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-01DOI: 10.1016/j.indag.2023.08.007
Elisa Lorenzo García , Michaël Vullers
In this paper we inspect from closer the local and global points of the twists of the Klein quartic. For the local ones we use geometric arguments, while for the global ones we strongly use the modular interpretation of the twists. The main result is providing families with (conjecturally infinitely many) twists of the Klein quartic that are counterexamples to the Hasse Principle.
{"title":"Counterexamples to the Hasse Principle among the twists of the Klein quartic","authors":"Elisa Lorenzo García , Michaël Vullers","doi":"10.1016/j.indag.2023.08.007","DOIUrl":"10.1016/j.indag.2023.08.007","url":null,"abstract":"<div><p>In this paper we inspect from closer the local and global points of the twists of the Klein quartic. For the local ones we use geometric arguments, while for the global ones we strongly use the modular interpretation of the twists. The main result is providing families with (conjecturally infinitely many) twists of the Klein quartic that are counterexamples to the Hasse Principle.</p></div>","PeriodicalId":56126,"journal":{"name":"Indagationes Mathematicae-New Series","volume":"35 4","pages":"Pages 638-645"},"PeriodicalIF":0.5,"publicationDate":"2024-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0019357723000848/pdfft?md5=03e46a5dbb56004e38e7926d976cb7c3&pid=1-s2.0-S0019357723000848-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135944511","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-01DOI: 10.1016/j.indag.2023.08.004
Wim Nijgh, Ronald van Luijk
Let denote a K3 surface over an arbitrary field . Let denote a separable closure of and let denote the base change of to . Let and denote the group of isometries of the lattices and , respectively. Let denote the Galois invariant part of the Weyl group of . One can show that each element in can be restricted to an element of . The following question arises: Is the image of the restriction mapa normal subgroup offor every K3 surface? We show that the answer is negative by giving counterexamples over .
让 X 表示任意域 k 上的 K3 曲面,让 ks 表示 k 的可分离闭包,让 Xs 表示 X 到 ks 的基变。让 O(PicX) 和 O(PicXs) 分别表示网格 PicX 和 PicXs 的等距群。让 RX 表示 PicXs 的韦尔群的伽罗瓦不变部分。我们可以证明,RX 中的每个元素都可以限制为 O(PicX)的一个元素。下面是一个问题:对于每个 K3 曲面 X,限制映射 RX→O(PicX) 的映像是 O(PicX) 的法线子群吗?我们通过给出 k=Q 上的反例来证明答案是否定的。
{"title":"On the Galois-invariant part of the Weyl group of the Picard lattice of a K3 surface","authors":"Wim Nijgh, Ronald van Luijk","doi":"10.1016/j.indag.2023.08.004","DOIUrl":"10.1016/j.indag.2023.08.004","url":null,"abstract":"<div><p>Let <span><math><mi>X</mi></math></span> denote a K3 surface over an arbitrary field <span><math><mi>k</mi></math></span>. Let <span><math><msup><mrow><mi>k</mi></mrow><mrow><mtext>s</mtext></mrow></msup></math></span> denote a separable closure of <span><math><mi>k</mi></math></span> and let <span><math><msup><mrow><mi>X</mi></mrow><mrow><mtext>s</mtext></mrow></msup></math></span> denote the base change of <span><math><mi>X</mi></math></span> to <span><math><msup><mrow><mi>k</mi></mrow><mrow><mtext>s</mtext></mrow></msup></math></span>. Let <span><math><mrow><mo>O</mo><mrow><mo>(</mo><mo>Pic</mo><mi>X</mi><mo>)</mo></mrow></mrow></math></span> and <span><math><mrow><mo>O</mo><mrow><mo>(</mo><mo>Pic</mo><msup><mrow><mi>X</mi></mrow><mrow><mtext>s</mtext></mrow></msup><mo>)</mo></mrow></mrow></math></span> denote the group of isometries of the lattices <span><math><mrow><mo>Pic</mo><mi>X</mi></mrow></math></span> and <span><math><mrow><mo>Pic</mo><msup><mrow><mi>X</mi></mrow><mrow><mtext>s</mtext></mrow></msup></mrow></math></span>, respectively. Let <span><math><msub><mrow><mi>R</mi></mrow><mrow><mi>X</mi></mrow></msub></math></span> denote the Galois invariant part of the Weyl group of <span><math><mrow><mo>Pic</mo><msup><mrow><mi>X</mi></mrow><mrow><mtext>s</mtext></mrow></msup></mrow></math></span>. One can show that each element in <span><math><msub><mrow><mi>R</mi></mrow><mrow><mi>X</mi></mrow></msub></math></span> can be restricted to an element of <span><math><mrow><mo>O</mo><mrow><mo>(</mo><mo>Pic</mo><mi>X</mi><mo>)</mo></mrow></mrow></math></span>. The following question arises: <em>Is the image of the restriction map</em> <span><math><mrow><msub><mrow><mi>R</mi></mrow><mrow><mi>X</mi></mrow></msub><mo>→</mo><mo>O</mo><mrow><mo>(</mo><mo>Pic</mo><mi>X</mi><mo>)</mo></mrow></mrow></math></span> <em>a normal subgroup of</em> <span><math><mrow><mo>O</mo><mrow><mo>(</mo><mo>Pic</mo><mi>X</mi><mo>)</mo></mrow></mrow></math></span> <em>for every K3 surface</em> <span><math><mi>X</mi></math></span><em>?</em> We show that the answer is negative by giving counterexamples over <span><math><mrow><mi>k</mi><mo>=</mo><mi>Q</mi></mrow></math></span>.</p></div>","PeriodicalId":56126,"journal":{"name":"Indagationes Mathematicae-New Series","volume":"35 4","pages":"Pages 610-621"},"PeriodicalIF":0.5,"publicationDate":"2024-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0019357723000812/pdfft?md5=6dd74732aaf671c0aaa5195ba03e905f&pid=1-s2.0-S0019357723000812-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41575279","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-01DOI: 10.1016/j.indag.2023.08.005
Maciej Ulas
Let be given and consider the set of terms of geometric progression with 0th term equal to and the quotient . Let and be the set of finite values of . We consider the problem of existence of such that . In the first part of the paper we describe certain classes of rational functions for which our problem has a positive solution. In the second, experimental, part of the paper we study the stated problem for the rational function . We relate the problem to the existence of rational points on certain elliptic curves and present interesting numerical observations which allow us to state several questions and conjectures.
设 a,Q∈Q,并考虑第 0 项等于 a 的几何级数的项集 G(a,Q)={aQi:i∈N},以及商 Q。设 f∈Q(x,y),Vf 为 f 的有限值集。在论文的第一部分,我们描述了我们的问题有正解的几类有理函数。在论文的第二部分,即实验部分,我们研究了有理函数 f(x,y)=(y2-x3)/x 的既定问题。我们将这一问题与某些椭圆曲线上有理点的存在联系起来,并提出了有趣的数值观察结果,从而提出了几个问题和猜想。
{"title":"Geometric progressions in the sets of values of rational functions","authors":"Maciej Ulas","doi":"10.1016/j.indag.2023.08.005","DOIUrl":"10.1016/j.indag.2023.08.005","url":null,"abstract":"<div><p>Let <span><math><mrow><mi>a</mi><mo>,</mo><mi>Q</mi><mo>∈</mo><mi>Q</mi></mrow></math></span> be given and consider the set <span><math><mrow><mi>G</mi><mrow><mo>(</mo><mi>a</mi><mo>,</mo><mi>Q</mi><mo>)</mo></mrow><mo>=</mo><mrow><mo>{</mo><mi>a</mi><msup><mrow><mi>Q</mi></mrow><mrow><mi>i</mi></mrow></msup><mo>:</mo><mspace></mspace><mi>i</mi><mo>∈</mo><mi>N</mi><mo>}</mo></mrow></mrow></math></span> of terms of geometric progression with 0th term equal to <span><math><mi>a</mi></math></span> and the quotient <span><math><mi>Q</mi></math></span>. Let <span><math><mrow><mi>f</mi><mo>∈</mo><mi>Q</mi><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>)</mo></mrow></mrow></math></span> and <span><math><msub><mrow><mi>V</mi></mrow><mrow><mi>f</mi></mrow></msub></math></span> be the set of finite values of <span><math><mi>f</mi></math></span>. We consider the problem of existence of <span><math><mrow><mi>a</mi><mo>,</mo><mi>Q</mi><mo>∈</mo><mi>Q</mi></mrow></math></span> such that <span><math><mrow><mi>G</mi><mrow><mo>(</mo><mi>a</mi><mo>,</mo><mi>Q</mi><mo>)</mo></mrow><mo>⊂</mo><msub><mrow><mi>V</mi></mrow><mrow><mi>f</mi></mrow></msub></mrow></math></span>. In the first part of the paper we describe certain classes of rational functions for which our problem has a positive solution. In the second, experimental, part of the paper we study the stated problem for the rational function <span><math><mrow><mi>f</mi><mrow><mo>(</mo><mi>x</mi><mo>,</mo><mi>y</mi><mo>)</mo></mrow><mo>=</mo><mrow><mo>(</mo><msup><mrow><mi>y</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>−</mo><msup><mrow><mi>x</mi></mrow><mrow><mn>3</mn></mrow></msup><mo>)</mo></mrow><mo>/</mo><mi>x</mi></mrow></math></span>. We relate the problem to the existence of rational points on certain elliptic curves and present interesting numerical observations which allow us to state several questions and conjectures.</p></div>","PeriodicalId":56126,"journal":{"name":"Indagationes Mathematicae-New Series","volume":"35 4","pages":"Pages 622-637"},"PeriodicalIF":0.5,"publicationDate":"2024-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0019357723000824/pdfft?md5=6a0ec32c7eb19c5b691f6b150a52a65c&pid=1-s2.0-S0019357723000824-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46926096","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-01DOI: 10.1016/j.indag.2023.12.003
Frits Beukers
Many interesting combinatorial sequences, such as Apéry numbers and Franel numbers, enjoy the so-called Lucas property modulo almost all primes . Modulo prime powers such sequences have a more complicated behaviour which can be described by matrix versions of the Lucas property called -linear schemes. They are generalizations of finite -automata. In this paper we construct such -linear schemes and give upper bounds for the number of states which, for fixed , do not depend on .
{"title":"p-linear schemes for sequences modulo pr","authors":"Frits Beukers","doi":"10.1016/j.indag.2023.12.003","DOIUrl":"10.1016/j.indag.2023.12.003","url":null,"abstract":"<div><p>Many interesting combinatorial sequences, such as Apéry numbers and Franel numbers, enjoy the so-called Lucas property modulo almost all primes <span><math><mi>p</mi></math></span>. Modulo prime powers <span><math><msup><mrow><mi>p</mi></mrow><mrow><mi>r</mi></mrow></msup></math></span> such sequences have a more complicated behaviour which can be described by matrix versions of the Lucas property called <span><math><mi>p</mi></math></span>-linear schemes. They are generalizations of finite <span><math><mi>p</mi></math></span>-automata. In this paper we construct such <span><math><mi>p</mi></math></span>-linear schemes and give upper bounds for the number of states which, for fixed <span><math><mi>r</mi></math></span>, do not depend on <span><math><mi>p</mi></math></span>.</p></div>","PeriodicalId":56126,"journal":{"name":"Indagationes Mathematicae-New Series","volume":"35 4","pages":"Pages 698-707"},"PeriodicalIF":0.5,"publicationDate":"2024-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0019357723001064/pdfft?md5=ea710133f3e4e343c282392434c744c9&pid=1-s2.0-S0019357723001064-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138629792","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-05-01DOI: 10.1016/j.indag.2024.03.004
Alireza Ahmadi
Although structural maps such as subductions and inductions appear naturally in diffeology, one of the challenges is providing suitable analogues for submersions, immersions, and étale maps (i.e., local diffeomorphisms) consistent with the classical versions of these maps between manifolds. In this paper, we consider diffeological or plotwise versions of submersions, immersions, and étale maps as an adaptation of these maps to diffeology by a nonlinear approach. We study their diffeological properties from different aspects in a systematic fashion with respect to the germs of plots.
In order to characterize the considered maps from their linear behaviors, we introduce a class of diffeological spaces, so-called diffeological étale manifolds, which not only contains the usual manifolds but also includes irrational tori. We state and prove versions of the rank and implicit function theorems, as well as the fundamental theorem on flows in this class. As an application, we use the results of this work to facilitate the computations of the internal tangent spaces and diffeological dimensions in a few interesting cases.
{"title":"Submersions, immersions, and étale maps in diffeology","authors":"Alireza Ahmadi","doi":"10.1016/j.indag.2024.03.004","DOIUrl":"10.1016/j.indag.2024.03.004","url":null,"abstract":"<div><p>Although structural maps such as subductions and inductions appear naturally in diffeology, one of the challenges is providing suitable analogues for submersions, immersions, and étale maps (i.e., local diffeomorphisms) consistent with the classical versions of these maps between manifolds. In this paper, we consider diffeological or plotwise versions of submersions, immersions, and étale maps as an adaptation of these maps to diffeology by a nonlinear approach. We study their diffeological properties from different aspects in a systematic fashion with respect to the germs of plots.</p><p>In order to characterize the considered maps from their linear behaviors, we introduce a class of diffeological spaces, so-called diffeological étale manifolds, which not only contains the usual manifolds but also includes irrational tori. We state and prove versions of the rank and implicit function theorems, as well as the fundamental theorem on flows in this class. As an application, we use the results of this work to facilitate the computations of the internal tangent spaces and diffeological dimensions in a few interesting cases.</p></div>","PeriodicalId":56126,"journal":{"name":"Indagationes Mathematicae-New Series","volume":"35 3","pages":"Pages 459-499"},"PeriodicalIF":0.6,"publicationDate":"2024-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140203436","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}