Pub Date : 2024-02-03DOI: 10.1007/s00029-023-00910-6
Abstract
We prove that (under appropriate orientation conditions, depending on R) a Hamiltonian isotopy (psi ^1) of a symplectic manifold ((M, omega )) fixing a relatively exact Lagrangian L setwise must act trivially on (R_*(L)), where (R_*) is some generalised homology theory. We use a strategy inspired by that of Hu et al. (Geom Topol 15:1617–1650, 2011), who proved an analogous result over ({mathbb {Z}}/2) and over ({mathbb {Z}}) under stronger orientation assumptions. However the differences in our approaches let us deduce that if L is a homotopy sphere, (psi ^1|_L) is homotopic to the identity. Our technical set-up differs from both theirs and that of Cohen et al. (in: Algebraic topology, Springer, Berlin, 2019) and Cohen (in: The Floer memorial volume, Birkhäuser, Basel). We also prove (under similar conditions) that (psi ^1|_L) acts trivially on (R_*({mathcal {L}}L)), where ({mathcal {L}}L) is the free loop space of L. From this we deduce that when L is a surface or a (K(pi , 1)), (psi ^1|_L) is homotopic to the identity. Using methods of Lalonde and McDuff (Topology 42:309–347, 2003), we also show that given a family of Lagrangians all of which are Hamiltonian isotopic to L over a sphere or a torus, the associated fibre bundle cohomologically splits over ({mathbb {Z}}/2).
{"title":"Families of relatively exact Lagrangians, free loop spaces and generalised homology","authors":"","doi":"10.1007/s00029-023-00910-6","DOIUrl":"https://doi.org/10.1007/s00029-023-00910-6","url":null,"abstract":"<h3>Abstract</h3> <p>We prove that (under appropriate orientation conditions, depending on <em>R</em>) a Hamiltonian isotopy <span> <span>(psi ^1)</span> </span> of a symplectic manifold <span> <span>((M, omega ))</span> </span> fixing a relatively exact Lagrangian <em>L</em> setwise must act trivially on <span> <span>(R_*(L))</span> </span>, where <span> <span>(R_*)</span> </span> is some generalised homology theory. We use a strategy inspired by that of Hu et al. (Geom Topol 15:1617–1650, 2011), who proved an analogous result over <span> <span>({mathbb {Z}}/2)</span> </span> and over <span> <span>({mathbb {Z}})</span> </span> under stronger orientation assumptions. However the differences in our approaches let us deduce that if <em>L</em> is a homotopy sphere, <span> <span>(psi ^1|_L)</span> </span> is homotopic to the identity. Our technical set-up differs from both theirs and that of Cohen et al. (in: Algebraic topology, Springer, Berlin, 2019) and Cohen (in: The Floer memorial volume, Birkhäuser, Basel). We also prove (under similar conditions) that <span> <span>(psi ^1|_L)</span> </span> acts trivially on <span> <span>(R_*({mathcal {L}}L))</span> </span>, where <span> <span>({mathcal {L}}L)</span> </span> is the free loop space of <em>L</em>. From this we deduce that when <em>L</em> is a surface or a <span> <span>(K(pi , 1))</span> </span>, <span> <span>(psi ^1|_L)</span> </span> is homotopic to the identity. Using methods of Lalonde and McDuff (Topology 42:309–347, 2003), we also show that given a family of Lagrangians all of which are Hamiltonian isotopic to <em>L</em> over a sphere or a torus, the associated fibre bundle cohomologically splits over <span> <span>({mathbb {Z}}/2)</span> </span>.</p>","PeriodicalId":501600,"journal":{"name":"Selecta Mathematica","volume":"98 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-02-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139678557","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-27DOI: 10.1007/s00029-023-00906-2
Abstract
We provide a relation between the geometric framework for q-Painlevé equations and cluster Poisson varieties by using toric models of rational surfaces associated with q-Painlevé equations. We introduce the notion of seeds of q-Painlevé type by the negative semi-definiteness of symmetric bilinear forms associated with seeds, and classify the mutation equivalence classes of these seeds. This classification coincides with the classification of q-Painlevé equations given by Sakai. We realize q-Painlevé systems as automorphisms on cluster Poisson varieties associated with seeds of q-Painlevé type.
{"title":"q-Painlevé equations on cluster Poisson varieties via toric geometry","authors":"","doi":"10.1007/s00029-023-00906-2","DOIUrl":"https://doi.org/10.1007/s00029-023-00906-2","url":null,"abstract":"<h3>Abstract</h3> <p>We provide a relation between the geometric framework for <em>q</em>-Painlevé equations and cluster Poisson varieties by using toric models of rational surfaces associated with <em>q</em>-Painlevé equations. We introduce the notion of seeds of <em>q</em>-Painlevé type by the negative semi-definiteness of symmetric bilinear forms associated with seeds, and classify the mutation equivalence classes of these seeds. This classification coincides with the classification of <em>q</em>-Painlevé equations given by Sakai. We realize <em>q</em>-Painlevé systems as automorphisms on cluster Poisson varieties associated with seeds of <em>q</em>-Painlevé type.</p>","PeriodicalId":501600,"journal":{"name":"Selecta Mathematica","volume":"218 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-01-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139584540","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-27DOI: 10.1007/s00029-023-00914-2
Tamás Hausel, Emmanuel Letellier, Fernando Rodriguez-Villegas
In this paper we investigate locally free representations of a quiver Q over a commutative Frobenius algebra (textrm{R}) by arithmetic Fourier transform. When the base field is finite we prove that the number of isomorphism classes of absolutely indecomposable locally free representations of fixed rank is independent of the orientation of Q. We also prove that the number of isomorphism classes of locally free absolutely indecomposable representations of the preprojective algebra of Q over (textrm{R}) equals the number of isomorphism classes of locally free absolutely indecomposable representations of Q over (textrm{R}[t]/(t^2)). Using these results together with results of Geiss, Leclerc and Schröer we give, when (textrm{k}) is algebraically closed, a classification of pairs ((Q,textrm{R})) such that the set of isomorphism classes of indecomposable locally free representations of Q over (textrm{R}) is finite. Finally when the representation is free of rank 1 at each vertex of Q, we study the function that counts the number of isomorphism classes of absolutely indecomposable locally free representations of Q over the Frobenius algebra (mathbb {F}_q[t]/(t^r)). We prove that they are polynomial in q and their generating function is rational and satisfies a functional equation.
{"title":"Locally free representations of quivers over commutative Frobenius algebras","authors":"Tamás Hausel, Emmanuel Letellier, Fernando Rodriguez-Villegas","doi":"10.1007/s00029-023-00914-2","DOIUrl":"https://doi.org/10.1007/s00029-023-00914-2","url":null,"abstract":"<p>In this paper we investigate locally free representations of a quiver <i>Q</i> over a commutative Frobenius algebra <span>(textrm{R})</span> by arithmetic Fourier transform. When the base field is finite we prove that the number of isomorphism classes of absolutely indecomposable locally free representations of fixed rank is independent of the orientation of <i>Q</i>. We also prove that the number of isomorphism classes of locally free absolutely indecomposable representations of the preprojective algebra of <i>Q</i> over <span>(textrm{R})</span> equals the number of isomorphism classes of locally free absolutely indecomposable representations of <i>Q</i> over <span>(textrm{R}[t]/(t^2))</span>. Using these results together with results of Geiss, Leclerc and Schröer we give, when <span>(textrm{k})</span> is algebraically closed, a classification of pairs <span>((Q,textrm{R}))</span> such that the set of isomorphism classes of indecomposable locally free representations of <i>Q</i> over <span>(textrm{R})</span> is finite. Finally when the representation is free of rank 1 at each vertex of <i>Q</i>, we study the function that counts the number of isomorphism classes of absolutely indecomposable locally free representations of <i>Q</i> over the Frobenius algebra <span>(mathbb {F}_q[t]/(t^r))</span>. We prove that they are polynomial in <i>q</i> and their generating function is rational and satisfies a functional equation.\u0000</p>","PeriodicalId":501600,"journal":{"name":"Selecta Mathematica","volume":"32 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-01-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139584648","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-26DOI: 10.1007/s00029-023-00908-0
Davide Lombardo, Matteo Verzobio
Let (ell ) be a prime number. We classify the subgroups G of ({text {Sp}}_4({mathbb {F}}_ell )) and ({text {GSp}}_4({mathbb {F}}_ell )) that act irreducibly on ({mathbb {F}}_ell ^4), but such that every element of G fixes an ({mathbb {F}}_ell )-vector subspace of dimension 1. We use this classification to prove that a local-global principle for isogenies of degree (ell ) between abelian surfaces over number fields holds in many cases—in particular, whenever the abelian surface has non-trivial endomorphisms and (ell ) is large enough with respect to the field of definition. Finally, we prove that there exist arbitrarily large primes (ell ) for which some abelian surface (A/{mathbb {Q}}) fails the local-global principle for isogenies of degree (ell ).
{"title":"On the local-global principle for isogenies of abelian surfaces","authors":"Davide Lombardo, Matteo Verzobio","doi":"10.1007/s00029-023-00908-0","DOIUrl":"https://doi.org/10.1007/s00029-023-00908-0","url":null,"abstract":"<p>Let <span>(ell )</span> be a prime number. We classify the subgroups <i>G</i> of <span>({text {Sp}}_4({mathbb {F}}_ell ))</span> and <span>({text {GSp}}_4({mathbb {F}}_ell ))</span> that act irreducibly on <span>({mathbb {F}}_ell ^4)</span>, but such that every element of <i>G</i> fixes an <span>({mathbb {F}}_ell )</span>-vector subspace of dimension 1. We use this classification to prove that a local-global principle for isogenies of degree <span>(ell )</span> between abelian surfaces over number fields holds in many cases—in particular, whenever the abelian surface has non-trivial endomorphisms and <span>(ell )</span> is large enough with respect to the field of definition. Finally, we prove that there exist arbitrarily large primes <span>(ell )</span> for which some abelian surface <span>(A/{mathbb {Q}})</span> fails the local-global principle for isogenies of degree <span>(ell )</span>.\u0000</p>","PeriodicalId":501600,"journal":{"name":"Selecta Mathematica","volume":"33 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-01-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139584746","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-19DOI: 10.1007/s00029-023-00905-3
Robin Bartlett
We consider closed subschemes in the affine grassmannian obtained by degenerating e-fold products of flag varieties, embedded via a tuple of dominant cocharacters. For (G= {text {GL}}_2), and cocharacters small relative to the characteristic, we relate the cycles of these degenerations to the representation theory of G. We then show that these degenerations smoothly model the geometry of (the special fibre of) low weight crystalline subspaces inside the Emerton–Gee stack classifying p-adic representations of the Galois group of a finite extension of ({mathbb {Q}}_p). As an application we prove new cases of the Breuil–Mézard conjecture in dimension two.
我们考虑了仿射草曼中的封闭子结构,这些封闭子结构是通过嵌入显性共色的元组,对旗变的 e 折积进行退化而得到的。对于 (G= {text {GL}}_2),以及相对于特征较小的共变,我们将这些退化的周期与 G 的表示理论联系起来。我们接着证明,这些退化平滑地模拟了埃默顿-吉堆栈内部的(特殊纤维的)低权重结晶子空间的几何,该堆栈分类了 ({mathbb {Q}}_p) 的有限扩展的伽罗瓦群的 p-adic 表示。作为应用,我们证明了二维中布雷伊-梅扎德猜想的新情况。
{"title":"Degenerating products of flag varieties and applications to the Breuil–Mézard conjecture","authors":"Robin Bartlett","doi":"10.1007/s00029-023-00905-3","DOIUrl":"https://doi.org/10.1007/s00029-023-00905-3","url":null,"abstract":"<p>We consider closed subschemes in the affine grassmannian obtained by degenerating <i>e</i>-fold products of flag varieties, embedded via a tuple of dominant cocharacters. For <span>(G= {text {GL}}_2)</span>, and cocharacters small relative to the characteristic, we relate the cycles of these degenerations to the representation theory of <i>G</i>. We then show that these degenerations smoothly model the geometry of (the special fibre of) low weight crystalline subspaces inside the Emerton–Gee stack classifying <i>p</i>-adic representations of the Galois group of a finite extension of <span>({mathbb {Q}}_p)</span>. As an application we prove new cases of the Breuil–Mézard conjecture in dimension two.</p>","PeriodicalId":501600,"journal":{"name":"Selecta Mathematica","volume":"49 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139507251","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-18DOI: 10.1007/s00029-023-00897-0
Nathan Chen, David Stapleton
We show that the degrees of rational endomorphisms of very general complex Fano and Calabi–Yau hypersurfaces satisfy certain congruence conditions by specializing to characteristic p. As a corollary we show that very general n-dimensional hypersurfaces of degree (dge lceil 5(n+3)/6rceil ) are not birational to Jacobian fibrations of dimension one. A key part of the argument is to resolve singularities of general (mu _{p})-covers in mixed characteristic p.
作为推论,我们证明了度数为 (dge lceil 5(n+3)/6rceil )的非常一般的 n 维超曲面与一维雅各布纤维不是双向的。论证的一个关键部分是解决混合特征 p 中一般 (mu _{p})- 盖的奇异性。
{"title":"Rational endomorphisms of Fano hypersurfaces","authors":"Nathan Chen, David Stapleton","doi":"10.1007/s00029-023-00897-0","DOIUrl":"https://doi.org/10.1007/s00029-023-00897-0","url":null,"abstract":"<p>We show that the degrees of rational endomorphisms of very general complex Fano and Calabi–Yau hypersurfaces satisfy certain congruence conditions by specializing to characteristic p. As a corollary we show that very general <i>n</i>-dimensional hypersurfaces of degree <span>(dge lceil 5(n+3)/6rceil )</span> are not birational to Jacobian fibrations of dimension one. A key part of the argument is to resolve singularities of general <span>(mu _{p})</span>-covers in mixed characteristic p.</p>","PeriodicalId":501600,"journal":{"name":"Selecta Mathematica","volume":"29 24 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-01-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139506844","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-13DOI: 10.1007/s00029-023-00903-5
Amichai Lampert, Tamar Ziegler
Let ( {{textbf{k}}}) be a field and (Qin {{textbf{k}}}[x_1, ldots , x_s]) a form (homogeneous polynomial) of degree (d>1.) The ({{textbf{k}}})-Schmidt rank (text {rk}_{{textbf{k}}}(Q)) of Q is the minimal r such that (Q= sum _{i=1}^r R_iS_i) with (R_i, S_i in {{textbf{k}}}[x_1, ldots , x_s]) forms of degree (<d). When ( {{textbf{k}}}) is algebraically closed and ( text {char}({{textbf{k}}})) doesn’t divide d, this rank is closely related to ( text {codim}_{{mathbb {A}}^s} (nabla Q(x) = 0)) - also known as the Birch rank of Q. When ( {{textbf{k}}}) is a number field, a finite field or a function field, we give polynomial bounds for ( text {rk}_{{textbf{k}}}(Q) ) in terms of ( text {rk}_{{bar{{{textbf{k}}}}}} (Q) ) where ( {bar{{{textbf{k}}}}} ) is the algebraic closure of ( {{textbf{k}}}. ) Prior to this work no such bound (even ineffective) was known for (d>4). This result has immediate consequences for counting integer points (when ( {{textbf{k}}}) is a number field) or prime points (when ( {{textbf{k}}}= {mathbb {Q}})) of the variety ( (Q=0) ) assuming ( text {rk}_{{{textbf{k}}}} (Q) ) is large.
让 ( {{textbf{k}}}) 是一个域,并且 (Qin {{textbf{k}}}[x_1, ldots , x_s]) 是阶数为(d>1)的形式(同次多项式)。Q 的施密特秩({{textbf{k}}})是最小的 r,使得 (Q= sum _{i=1}^r R_iS_i) with (R_i、S_i 在 {{textbf{k}}}[x_1,ldots,x_s]中)的形式的度(<;d).当 ( {{textbf{k}}} 是代数封闭的,并且 ( text {char}({{textbf{k}})) 不除以 d 时,这个秩与 ( text {codim}_{{mathbb {A}}^s} (nabla Q(x) = 0)) 密切相关。)- 也称为 Q 的 Birch 秩。当 ( {{textbf{k}}}) 是一个数域、有限域或函数域时、我们用 ( text {rk}_{{textbf{k}}(Q) ) 给出了 ( text {rk}_{{bar{{{textbf{k}}}}}} (Q) ) 的多项式边界,其中 ( {bar{{textbf{k}}}}} ) 是 ( {{textbf{k}} 的代数闭包。在这项工作之前,人们还不知道有这样一个约束(甚至是无效的)来表示 (d>4)。假设 ( text {rk}_{{textbf{k}}}}} (Q) )很大,那么这个结果对于计算(Q=0) )的整数点(当 ( {{textbf{k}} 是一个数域)或素数点(当 ( {{textbf{k}}= {mathbb {Q}})) 有直接的影响。
{"title":"On rank in algebraic closure","authors":"Amichai Lampert, Tamar Ziegler","doi":"10.1007/s00029-023-00903-5","DOIUrl":"https://doi.org/10.1007/s00029-023-00903-5","url":null,"abstract":"<p>Let <span>( {{textbf{k}}})</span> be a field and <span>(Qin {{textbf{k}}}[x_1, ldots , x_s])</span> a form (homogeneous polynomial) of degree <span>(d>1.)</span> The <span>({{textbf{k}}})</span>-Schmidt rank <span>(text {rk}_{{textbf{k}}}(Q))</span> of <i>Q</i> is the minimal <i>r</i> such that <span>(Q= sum _{i=1}^r R_iS_i)</span> with <span>(R_i, S_i in {{textbf{k}}}[x_1, ldots , x_s])</span> forms of degree <span>(<d)</span>. When <span>( {{textbf{k}}})</span> is algebraically closed and <span>( text {char}({{textbf{k}}}))</span> doesn’t divide <i>d</i>, this rank is closely related to <span>( text {codim}_{{mathbb {A}}^s} (nabla Q(x) = 0))</span> - also known as the Birch rank of <i>Q</i>. When <span>( {{textbf{k}}})</span> is a number field, a finite field or a function field, we give polynomial bounds for <span>( text {rk}_{{textbf{k}}}(Q) )</span> in terms of <span>( text {rk}_{{bar{{{textbf{k}}}}}} (Q) )</span> where <span>( {bar{{{textbf{k}}}}} )</span> is the algebraic closure of <span>( {{textbf{k}}}. )</span> Prior to this work no such bound (even ineffective) was known for <span>(d>4)</span>. This result has immediate consequences for counting integer points (when <span>( {{textbf{k}}})</span> is a number field) or prime points (when <span>( {{textbf{k}}}= {mathbb {Q}})</span>) of the variety <span>( (Q=0) )</span> assuming <span>( text {rk}_{{{textbf{k}}}} (Q) )</span> is large.\u0000</p>","PeriodicalId":501600,"journal":{"name":"Selecta Mathematica","volume":"99 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-01-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139463906","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-12DOI: 10.1007/s00029-023-00901-7
Yevgeny Liokumovich, Bruno Staffa
We prove that for a Baire-generic Riemannian metric on a closed smooth manifold, the union of the images of all stationary geodesic nets forms a dense set.
我们证明,对于闭合光滑流形上的拜尔广义黎曼度量,所有静止测地网的图像的联合构成一个密集集。
{"title":"Generic density of geodesic nets","authors":"Yevgeny Liokumovich, Bruno Staffa","doi":"10.1007/s00029-023-00901-7","DOIUrl":"https://doi.org/10.1007/s00029-023-00901-7","url":null,"abstract":"<p>We prove that for a Baire-generic Riemannian metric on a closed smooth manifold, the union of the images of all stationary geodesic nets forms a dense set.</p>","PeriodicalId":501600,"journal":{"name":"Selecta Mathematica","volume":"8 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-01-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139464097","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-11DOI: 10.1007/s00029-023-00904-4
Tinhinane A. Azzouz
{"title":"Spectrum of p-adic linear differential equations I: the shape of the spectrum","authors":"Tinhinane A. Azzouz","doi":"10.1007/s00029-023-00904-4","DOIUrl":"https://doi.org/10.1007/s00029-023-00904-4","url":null,"abstract":"","PeriodicalId":501600,"journal":{"name":"Selecta Mathematica","volume":"10 10","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-01-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139438272","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2023-12-27DOI: 10.1007/s00029-023-00899-y
Yong Suk Moon
Let k be a perfect field of characteristic (p ge 3), and let K be a finite totally ramified extension of (K_0 = W(k)[p^{-1}]). Let (L_0) be a complete discrete valuation field over (K_0) whose residue field has a finite p-basis, and let (L = L_0otimes _{K_0} K). For (0 le r le p-2), we classify (textbf{Z}_p)-lattices of semistable representations of (textrm{Gal}(overline{L}/L)) with Hodge–Tate weights in [0, r] by strongly divisible lattices. This generalizes the result of Liu (Compos Math 144:61–88, 2008). Moreover, if (mathcal {X}) is a proper smooth formal scheme over (mathcal {O}_L), we give a cohomological description of the strongly divisible lattice associated to (H^i_{acute{text {e}}text {t}}(mathcal {X}_{overline{L}}, textbf{Z}_p)) for (i le p-2), under the assumption that the crystalline cohomology of the special fiber of (mathcal {X}) is torsion-free in degrees i and (i+1). This generalizes a result in Cais and Liu (Trans Am Math Soc 371:1199–1230, 2019).
让k是特性为(pge 3)的完全域,让K是(K_0 = W(k)[p^{-1}])的有限完全斜伸。让(L_0)是(K_0)上的一个完整的离散估值域,它的残差域有一个有限的p基,让(L = L_0otimes _{K_0} K).对于 (0 le r le p-2),我们用强可分网格来分类 (textbf{Z}_p)-lattices of semistable representations of (textrm{Gal}(overline{L}/L)) with Hodge-Tate weights in [0, r] by strongly divisible lattices.这概括了 Liu 的结果 (Compos Math 144:61-88, 2008)。此外,如果 (mathcal {X}) 是一个在 (mathcal {O}_L) 上的适当的光滑形式方案,我们给出了与(H^i_{acute{text {e}}text {t}}(mathcal {X}_{overline{L}}.) 相关的强可分网格的同调描述、的特殊纤维的结晶同调在度数 i 和 (i+1) 中是无扭的。这概括了 Cais 和 Liu (Trans Am Math Soc 371:1199-1230, 2019) 的一个结果。
{"title":"Strongly divisible lattices and crystalline cohomology in the imperfect residue field case","authors":"Yong Suk Moon","doi":"10.1007/s00029-023-00899-y","DOIUrl":"https://doi.org/10.1007/s00029-023-00899-y","url":null,"abstract":"<p>Let <i>k</i> be a perfect field of characteristic <span>(p ge 3)</span>, and let <i>K</i> be a finite totally ramified extension of <span>(K_0 = W(k)[p^{-1}])</span>. Let <span>(L_0)</span> be a complete discrete valuation field over <span>(K_0)</span> whose residue field has a finite <i>p</i>-basis, and let <span>(L = L_0otimes _{K_0} K)</span>. For <span>(0 le r le p-2)</span>, we classify <span>(textbf{Z}_p)</span>-lattices of semistable representations of <span>(textrm{Gal}(overline{L}/L))</span> with Hodge–Tate weights in [0, <i>r</i>] by strongly divisible lattices. This generalizes the result of Liu (Compos Math 144:61–88, 2008). Moreover, if <span>(mathcal {X})</span> is a proper smooth formal scheme over <span>(mathcal {O}_L)</span>, we give a cohomological description of the strongly divisible lattice associated to <span>(H^i_{acute{text {e}}text {t}}(mathcal {X}_{overline{L}}, textbf{Z}_p))</span> for <span>(i le p-2)</span>, under the assumption that the crystalline cohomology of the special fiber of <span>(mathcal {X})</span> is torsion-free in degrees <i>i</i> and <span>(i+1)</span>. This generalizes a result in Cais and Liu (Trans Am Math Soc 371:1199–1230, 2019).</p>","PeriodicalId":501600,"journal":{"name":"Selecta Mathematica","volume":"10 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-12-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139052245","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}