Pub Date : 2024-05-21DOI: 10.1112/s0010437x24007024
Ben Heuer
For any smooth proper rigid space $X$ over a complete algebraically closed extension $K$ of $mathbb {Q}_p$ we give a geometrisation of the $p$-adic Simpson correspondence of rank one in terms of analytic moduli spaces: the $p$-adic character variety is canonically an étale twist of the moduli space of topologically torsion Higgs line bundles over the Hitchin base. This also eliminates the choice of an exponential. The key idea is to relate both sides to moduli spaces of $v$-line bundles. As an application, we study a major open question in $p$-adic non-abelian Hodge theory raised by Faltings, namely which Higgs bundles correspond to continuous representations under the $p$-adic Simpson correspondence. We answer this question in rank one by describing the
{"title":"A geometric p-adic Simpson correspondence in rank one","authors":"Ben Heuer","doi":"10.1112/s0010437x24007024","DOIUrl":"https://doi.org/10.1112/s0010437x24007024","url":null,"abstract":"<p>For any smooth proper rigid space <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240520155950870-0374:S0010437X24007024:S0010437X24007024_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$X$</span></span></img></span></span> over a complete algebraically closed extension <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240520155950870-0374:S0010437X24007024:S0010437X24007024_inline3.png\"><span data-mathjax-type=\"texmath\"><span>$K$</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:20240520155950870-0374:S0010437X24007024:S0010437X24007024_inline4.png\"><span data-mathjax-type=\"texmath\"><span>$mathbb {Q}_p$</span></span></img></span></span> we give a geometrisation of the <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240520155950870-0374:S0010437X24007024:S0010437X24007024_inline5.png\"><span data-mathjax-type=\"texmath\"><span>$p$</span></span></img></span></span>-adic Simpson correspondence of rank one in terms of analytic moduli spaces: the <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240520155950870-0374:S0010437X24007024:S0010437X24007024_inline6.png\"><span data-mathjax-type=\"texmath\"><span>$p$</span></span></img></span></span>-adic character variety is canonically an étale twist of the moduli space of topologically torsion Higgs line bundles over the Hitchin base. This also eliminates the choice of an exponential. The key idea is to relate both sides to moduli spaces of <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240520155950870-0374:S0010437X24007024:S0010437X24007024_inline7.png\"><span data-mathjax-type=\"texmath\"><span>$v$</span></span></img></span></span>-line bundles. As an application, we study a major open question in <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240520155950870-0374:S0010437X24007024:S0010437X24007024_inline8.png\"><span data-mathjax-type=\"texmath\"><span>$p$</span></span></img></span></span>-adic non-abelian Hodge theory raised by Faltings, namely which Higgs bundles correspond to continuous representations under the <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240520155950870-0374:S0010437X24007024:S0010437X24007024_inline9.png\"><span data-mathjax-type=\"texmath\"><span>$p$</span></span></img></span></span>-adic Simpson correspondence. We answer this question in rank one by describing the ","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":null,"pages":null},"PeriodicalIF":1.8,"publicationDate":"2024-05-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141153115","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-05-20DOI: 10.1112/s0010437x24007152
Artem Kotelskiy, Liam Watson, Claudius Zibrowius
When restricted to alternating links, both Heegaard Floer and Khovanov homology concentrate along a single diagonal $delta$-grading. This leads to the broader class of thin links that one would like to characterize without reference to the invariant in question. We provide a relative version of thinness for tangles and use this to characterize thinness via tangle decompositions along Conway spheres. These results bear a strong resemblance to the L-space gluing theorem for three-manifolds with torus boundary. Our results are based on certain immersed curve invariants for Conway tangles, namely the Heegaard Floer invariant $operatorname {HFT}$ and the Khovanov invariant $widetilde {operatorname {Kh}}$ that were developed by the authors in previous works.
{"title":"Thin links and Conway spheres","authors":"Artem Kotelskiy, Liam Watson, Claudius Zibrowius","doi":"10.1112/s0010437x24007152","DOIUrl":"https://doi.org/10.1112/s0010437x24007152","url":null,"abstract":"<p>When restricted to alternating links, both Heegaard Floer and Khovanov homology concentrate along a single diagonal <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240517100304785-0216:S0010437X24007152:S0010437X24007152_inline1.png\"><span data-mathjax-type=\"texmath\"><span>$delta$</span></span></img></span></span>-grading. This leads to the broader class of thin links that one would like to characterize without reference to the invariant in question. We provide a relative version of thinness for tangles and use this to characterize thinness via tangle decompositions along Conway spheres. These results bear a strong resemblance to the L-space gluing theorem for three-manifolds with torus boundary. Our results are based on certain immersed curve invariants for Conway tangles, namely the Heegaard Floer invariant <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240517100304785-0216:S0010437X24007152:S0010437X24007152_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$operatorname {HFT}$</span></span></img></span></span> and the Khovanov invariant <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240517100304785-0216:S0010437X24007152:S0010437X24007152_inline3.png\"><span data-mathjax-type=\"texmath\"><span>$widetilde {operatorname {Kh}}$</span></span></img></span></span> that were developed by the authors in previous works.</p>","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":null,"pages":null},"PeriodicalIF":1.8,"publicationDate":"2024-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141153114","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-05-13DOI: 10.1112/s0010437x24007139
Ruotao Yang
Let $G$ be a reductive group, and let $check {G}$ be its Langlands dual group. Arkhipov and Bezrukavnikov proved that the Whittaker category on the affine flags ${operatorname {Fl}}_G$ is equivalent to the category of $check {G}$-equivariant quasi-coherent sheaves on the Springer resolution of the nilpotent cone. This paper proves this theorem in the quantum case. We show that the twisted Whittaker category on ${operatorname {Fl}}_G$ and the category of representations of the mixed quantum group are equivalent. In particular, we prove that the quantum category $mathsf {O}$ is equivalent to the twisted Whittaker category on ${operatorname {Fl}}_G$ in the generic case. The strong version of our main theorem claims a motivic equivalence between the Whittaker category on ${operatorname {Fl}}_
{"title":"Twisted Whittaker category on affine flags and the category of representations of the mixed quantum group","authors":"Ruotao Yang","doi":"10.1112/s0010437x24007139","DOIUrl":"https://doi.org/10.1112/s0010437x24007139","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:20240510094943940-0685:S0010437X24007139:S0010437X24007139_inline1.png\"><span data-mathjax-type=\"texmath\"><span>$G$</span></span></img></span></span> be a reductive group, and let <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240510094943940-0685:S0010437X24007139:S0010437X24007139_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$check {G}$</span></span></img></span></span> be its Langlands dual group. Arkhipov and Bezrukavnikov proved that the Whittaker category on the affine flags <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240510094943940-0685:S0010437X24007139:S0010437X24007139_inline3.png\"><span data-mathjax-type=\"texmath\"><span>${operatorname {Fl}}_G$</span></span></img></span></span> is equivalent to the category of <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240510094943940-0685:S0010437X24007139:S0010437X24007139_inline4.png\"><span data-mathjax-type=\"texmath\"><span>$check {G}$</span></span></img></span></span>-equivariant quasi-coherent sheaves on the Springer resolution of the nilpotent cone. This paper proves this theorem in the quantum case. We show that the twisted Whittaker category on <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240510094943940-0685:S0010437X24007139:S0010437X24007139_inline5.png\"><span data-mathjax-type=\"texmath\"><span>${operatorname {Fl}}_G$</span></span></img></span></span> and the category of representations of the mixed quantum group are equivalent. In particular, we prove that the quantum category <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240510094943940-0685:S0010437X24007139:S0010437X24007139_inline6.png\"><span data-mathjax-type=\"texmath\"><span>$mathsf {O}$</span></span></img></span></span> is equivalent to the twisted Whittaker category on <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240510094943940-0685:S0010437X24007139:S0010437X24007139_inline7.png\"><span data-mathjax-type=\"texmath\"><span>${operatorname {Fl}}_G$</span></span></img></span></span> in the generic case. The strong version of our main theorem claims a motivic equivalence between the Whittaker category on <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240510094943940-0685:S0010437X24007139:S0010437X24007139_inline8.png\"><span data-mathjax-type=\"texmath\"><span>${operatorname {Fl}}_","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":null,"pages":null},"PeriodicalIF":1.8,"publicationDate":"2024-05-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140937655","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-05-10DOI: 10.1112/s0010437x24007140
Cédric Pilatte
A set $Ssubset {mathbb {N}}$ is a Sidon set if all pairwise sums $s_1+s_2$ (for $s_1, s_2in S$, $s_1leqslant s_2$) are distinct. A set $Ssubset {mathbb {N}}$ is an asymptotic basis of order 3 if every sufficiently large integer $n$ can be written as the sum of three elements of $S$. In 1993, Erdős, Sárközy and Sós asked whether there exists a set $S$ with both properties. We answer this question in the affirmative. Our proof relies on a deep result of Sawin on the $mathbb {F}_q[t]$<
{"title":"A solution to the Erdős–Sárközy–Sós problem on asymptotic Sidon bases of order 3","authors":"Cédric Pilatte","doi":"10.1112/s0010437x24007140","DOIUrl":"https://doi.org/10.1112/s0010437x24007140","url":null,"abstract":"<p>A set <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240509195826895-0930:S0010437X24007140:S0010437X24007140_inline1.png\"><span data-mathjax-type=\"texmath\"><span>$Ssubset {mathbb {N}}$</span></span></img></span></span> is a <span>Sidon set</span> if all pairwise sums <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240509195826895-0930:S0010437X24007140:S0010437X24007140_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$s_1+s_2$</span></span></img></span></span> (for <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240509195826895-0930:S0010437X24007140:S0010437X24007140_inline3.png\"><span data-mathjax-type=\"texmath\"><span>$s_1, s_2in S$</span></span></img></span></span>, <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240509195826895-0930:S0010437X24007140:S0010437X24007140_inline4.png\"><span data-mathjax-type=\"texmath\"><span>$s_1leqslant s_2$</span></span></img></span></span>) are distinct. A set <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240509195826895-0930:S0010437X24007140:S0010437X24007140_inline5.png\"><span data-mathjax-type=\"texmath\"><span>$Ssubset {mathbb {N}}$</span></span></img></span></span> is an <span>asymptotic basis of order 3</span> if every sufficiently large integer <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240509195826895-0930:S0010437X24007140:S0010437X24007140_inline6.png\"><span data-mathjax-type=\"texmath\"><span>$n$</span></span></img></span></span> can be written as the sum of three elements of <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240509195826895-0930:S0010437X24007140:S0010437X24007140_inline7.png\"><span data-mathjax-type=\"texmath\"><span>$S$</span></span></img></span></span>. In 1993, Erdős, Sárközy and Sós asked whether there exists a set <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240509195826895-0930:S0010437X24007140:S0010437X24007140_inline8.png\"><span data-mathjax-type=\"texmath\"><span>$S$</span></span></img></span></span> with both properties. We answer this question in the affirmative. Our proof relies on a deep result of Sawin on the <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240509195826895-0930:S0010437X24007140:S0010437X24007140_inline9.png\"><span data-mathjax-type=\"texmath\"><span>$mathbb {F}_q[t]$</span><","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":null,"pages":null},"PeriodicalIF":1.8,"publicationDate":"2024-05-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140937654","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-05-07DOI: 10.1112/s0010437x24007048
Eyal Markman
Let $X$ and $Y$ be compact hyper-Kähler manifolds deformation equivalent to the Hilbert scheme of length $n$ subschemes of a $K3$ surface. A class in $H^{p,p}(Xtimes Y,{mathbb {Q}})$ is an analytic correspondence, if it belongs to the subring generated by Chern classes of coherent analytic sheaves. Let $f:H^2(X,{mathbb {Q}})rightarrow H^2(Y,{mathbb {Q}})$ be a rational Hodge isometry with respect to the Beauville–Bogomolov–Fujiki pairings. We prove that $f$ is induced by an analytic correspondence. We furthermore lift $f$ to an analytic correspondence
{"title":"Rational Hodge isometries of hyper-Kähler varieties of type are algebraic","authors":"Eyal Markman","doi":"10.1112/s0010437x24007048","DOIUrl":"https://doi.org/10.1112/s0010437x24007048","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:20240506135739299-0180:S0010437X24007048:S0010437X24007048_inline1.png\"><span data-mathjax-type=\"texmath\"><span>$X$</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:20240506135739299-0180:S0010437X24007048:S0010437X24007048_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$Y$</span></span></img></span></span> be compact hyper-Kähler manifolds deformation equivalent to the Hilbert scheme of length <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240506135739299-0180:S0010437X24007048:S0010437X24007048_inline3.png\"><span data-mathjax-type=\"texmath\"><span>$n$</span></span></img></span></span> subschemes of a <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240506135739299-0180:S0010437X24007048:S0010437X24007048_inline4.png\"><span data-mathjax-type=\"texmath\"><span>$K3$</span></span></img></span></span> surface. A class in <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240506135739299-0180:S0010437X24007048:S0010437X24007048_inline5.png\"><span data-mathjax-type=\"texmath\"><span>$H^{p,p}(Xtimes Y,{mathbb {Q}})$</span></span></img></span></span> is an <span>analytic correspondence</span>, if it belongs to the subring generated by Chern classes of coherent analytic sheaves. Let <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240506135739299-0180:S0010437X24007048:S0010437X24007048_inline6.png\"><span data-mathjax-type=\"texmath\"><span>$f:H^2(X,{mathbb {Q}})rightarrow H^2(Y,{mathbb {Q}})$</span></span></img></span></span> be a rational Hodge isometry with respect to the Beauville–Bogomolov–Fujiki pairings. We prove that <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240506135739299-0180:S0010437X24007048:S0010437X24007048_inline7.png\"><span data-mathjax-type=\"texmath\"><span>$f$</span></span></img></span></span> is induced by an analytic correspondence. We furthermore lift <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240506135739299-0180:S0010437X24007048:S0010437X24007048_inline8.png\"><span data-mathjax-type=\"texmath\"><span>$f$</span></span></img></span></span> to an analytic correspondence <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240506135739299-0180:S0010437X24007048:S0010437X24007048_in","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":null,"pages":null},"PeriodicalIF":1.8,"publicationDate":"2024-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140881504","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-05-06DOI: 10.1112/s0010437x24007103
P. Koymans, N. Rome
For any abelian group $A$, we prove an asymptotic formula for the number of $A$-extensions $K/mathbb {Q}$ of bounded discriminant such that the associated norm one torus $R_{K/mathbb {Q}}^1 mathbb {G}_m$ satisfies weak approximation. We are also able to produce new results on the Hasse norm principle and to provide new explicit values for the leading constant in some instances of Malle's conjecture.
{"title":"Weak approximation on the norm one torus","authors":"P. Koymans, N. Rome","doi":"10.1112/s0010437x24007103","DOIUrl":"https://doi.org/10.1112/s0010437x24007103","url":null,"abstract":"<p>For any abelian group <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240503095838219-0161:S0010437X24007103:S0010437X24007103_inline1.png\"><span data-mathjax-type=\"texmath\"><span>$A$</span></span></img></span></span>, we prove an asymptotic formula for the number of <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240503095838219-0161:S0010437X24007103:S0010437X24007103_inline2.png\"><span data-mathjax-type=\"texmath\"><span>$A$</span></span></img></span></span>-extensions <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240503095838219-0161:S0010437X24007103:S0010437X24007103_inline3.png\"><span data-mathjax-type=\"texmath\"><span>$K/mathbb {Q}$</span></span></img></span></span> of bounded discriminant such that the associated norm one torus <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240503095838219-0161:S0010437X24007103:S0010437X24007103_inline4.png\"><span data-mathjax-type=\"texmath\"><span>$R_{K/mathbb {Q}}^1 mathbb {G}_m$</span></span></img></span></span> satisfies weak approximation. We are also able to produce new results on the Hasse norm principle and to provide new explicit values for the leading constant in some instances of Malle's conjecture.</p>","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":null,"pages":null},"PeriodicalIF":1.8,"publicationDate":"2024-05-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140881459","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-05-06DOI: 10.1112/s0010437x24007127
Yifei Zhao
We prove the geometric Satake equivalence for étale metaplectic covers of reductive group schemes and extend the Langlands parametrization of V. Lafforgue to genuine cusp forms defined on their associated covering groups.
{"title":"Spectral decomposition of genuine cusp forms over global function fields","authors":"Yifei Zhao","doi":"10.1112/s0010437x24007127","DOIUrl":"https://doi.org/10.1112/s0010437x24007127","url":null,"abstract":"<p>We prove the geometric Satake equivalence for étale metaplectic covers of reductive group schemes and extend the Langlands parametrization of V. Lafforgue to genuine cusp forms defined on their associated covering groups.</p>","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":null,"pages":null},"PeriodicalIF":1.8,"publicationDate":"2024-05-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140881767","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-05-02DOI: 10.1112/s0010437x24007115
Christopher P. Bendel, Daniel K. Nakano, Cornelius Pillen, Paul Sobaje
In this paper we produce infinite families of counterexamples to Jantzen's question posed in 1980 on the existence of Weyl $p$-filtrations for Weyl modules for an algebraic group and Donkin's tilting module conjecture formulated in 1990. New techniques to exhibit explicit examples are provided along with methods to produce counterexamples in large rank from counterexamples in small rank. Counterexamples can be produced via our methods for all groups other than when the root system is of type ${rm A}_{n}$ or ${rm B}_{2}$.
{"title":"On Donkin's tilting module conjecture II: counterexamples","authors":"Christopher P. Bendel, Daniel K. Nakano, Cornelius Pillen, Paul Sobaje","doi":"10.1112/s0010437x24007115","DOIUrl":"https://doi.org/10.1112/s0010437x24007115","url":null,"abstract":"<p>In this paper we produce infinite families of counterexamples to Jantzen's question posed in 1980 on the existence of Weyl <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240430183825590-0689:S0010437X24007115:S0010437X24007115_inline1.png\"><span data-mathjax-type=\"texmath\"><span>$p$</span></span></img></span></span>-filtrations for Weyl modules for an algebraic group and Donkin's tilting module conjecture formulated in 1990. New techniques to exhibit explicit examples are provided along with methods to produce counterexamples in large rank from counterexamples in small rank. Counterexamples can be produced via our methods for all groups other than when the root system is of type <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240430183825590-0689:S0010437X24007115:S0010437X24007115_inline2.png\"><span data-mathjax-type=\"texmath\"><span>${rm A}_{n}$</span></span></img></span></span> or <span><span><img data-mimesubtype=\"png\" data-type=\"\" src=\"https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20240430183825590-0689:S0010437X24007115:S0010437X24007115_inline3.png\"><span data-mathjax-type=\"texmath\"><span>${rm B}_{2}$</span></span></img></span></span>.</p>","PeriodicalId":55232,"journal":{"name":"Compositio Mathematica","volume":null,"pages":null},"PeriodicalIF":1.8,"publicationDate":"2024-05-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140835390","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}