Pub Date : 2024-07-30DOI: 10.1007/s00208-024-02950-5
Baiqing Zhu
For a prime number (p>2) and a finite extension (F/mathbb {Q}_p), we explain the construction of the difference divisors on the unitary Rapoport–Zink spaces of hyperspecial level over (mathcal {O}_{breve{F}}), and the GSpin Rapoport–Zink spaces of hyperspecial level over (breve{mathbb {Z}}_{p}) associated to a minuscule cocharacter (mu ) and a basic element b. We prove the regularity of the difference divisors, find the formally smooth locus of both the special cycles and the difference divisors, by a purely deformation-theoretic approach.
{"title":"The regularity of difference divisors","authors":"Baiqing Zhu","doi":"10.1007/s00208-024-02950-5","DOIUrl":"https://doi.org/10.1007/s00208-024-02950-5","url":null,"abstract":"<p>For a prime number <span>(p>2)</span> and a finite extension <span>(F/mathbb {Q}_p)</span>, we explain the construction of the difference divisors on the unitary Rapoport–Zink spaces of hyperspecial level over <span>(mathcal {O}_{breve{F}})</span>, and the GSpin Rapoport–Zink spaces of hyperspecial level over <span>(breve{mathbb {Z}}_{p})</span> associated to a minuscule cocharacter <span>(mu )</span> and a basic element <i>b</i>. We prove the regularity of the difference divisors, find the formally smooth locus of both the special cycles and the difference divisors, by a purely deformation-theoretic approach.</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":"108 1","pages":""},"PeriodicalIF":1.4,"publicationDate":"2024-07-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141872581","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-29DOI: 10.1007/s00208-024-02949-y
Joe Kramer-Miller, James Upton
The purpose of this article is to study Newton polygons of certain abelian L-functions on curves. Let X be a smooth affine curve over a finite field (mathbb {F}_q) and let (rho :pi _1(X) rightarrow mathbb {C}_p^times ) be a finite character of order (p^n). By previous work of the first author, the Newton polygon ({{,mathrm{text {NP}},}}(rho )) lies above a ‘Hodge polygon’ ({{,mathrm{text {HP}},}}(rho )) defined using ramification invariants of (rho ). In this article we study the contact between these two polygons. We prove that ({{,mathrm{text {NP}},}}(rho )) and ({{,mathrm{text {HP}},}}(rho )) share a vertex if and only if a corresponding vertex is shared between the Newton and Hodge polygons of ‘local’ L-functions associated to each ramified point of (rho ). As a consequence, we determine a necessary and sufficient condition for the coincidence of ({{,mathrm{text {NP}},}}(rho )) and ({{,mathrm{text {HP}},}}(rho )).
{"title":"Newton polygons of sums on curves I: local-to-global theorems","authors":"Joe Kramer-Miller, James Upton","doi":"10.1007/s00208-024-02949-y","DOIUrl":"https://doi.org/10.1007/s00208-024-02949-y","url":null,"abstract":"<p>The purpose of this article is to study Newton polygons of certain abelian <i>L</i>-functions on curves. Let <i>X</i> be a smooth affine curve over a finite field <span>(mathbb {F}_q)</span> and let <span>(rho :pi _1(X) rightarrow mathbb {C}_p^times )</span> be a finite character of order <span>(p^n)</span>. By previous work of the first author, the Newton polygon <span>({{,mathrm{text {NP}},}}(rho ))</span> lies above a ‘Hodge polygon’ <span>({{,mathrm{text {HP}},}}(rho ))</span> defined using ramification invariants of <span>(rho )</span>. In this article we study the contact between these two polygons. We prove that <span>({{,mathrm{text {NP}},}}(rho ))</span> and <span>({{,mathrm{text {HP}},}}(rho ))</span> share a vertex if and only if a corresponding vertex is shared between the Newton and Hodge polygons of ‘local’ <i>L</i>-functions associated to each ramified point of <span>(rho )</span>. As a consequence, we determine a necessary and sufficient condition for the coincidence of <span>({{,mathrm{text {NP}},}}(rho ))</span> and <span>({{,mathrm{text {HP}},}}(rho ))</span>.\u0000</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":"29 1","pages":""},"PeriodicalIF":1.4,"publicationDate":"2024-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141872582","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-28DOI: 10.1007/s00208-024-02934-5
Shin-ichi Matsumura, Xiaojun Wu
In this paper, we prove that a non-projective compact Kähler three-fold with nef anti-canonical bundle is, up to a finite étale cover, one of the following: a manifold with vanishing first Chern class; the product of a K3 surface and the projective line; or a projective space bundle over a two-dimensional torus. This result extends Cao–Höring’s structure theorem for projective manifolds to compact Kähler manifolds in dimension 3. For the proof, we investigate the Minimal Model Program for compact Kähler three-folds with nef anti-canonical bundles by using the positivity of direct image sheaves, (mathbb {Q})-conic bundles, and orbifold vector bundles.
{"title":"Compact Kähler three-folds with nef anti-canonical bundle","authors":"Shin-ichi Matsumura, Xiaojun Wu","doi":"10.1007/s00208-024-02934-5","DOIUrl":"https://doi.org/10.1007/s00208-024-02934-5","url":null,"abstract":"<p>In this paper, we prove that a non-projective compact Kähler three-fold with nef anti-canonical bundle is, up to a finite étale cover, one of the following: a manifold with vanishing first Chern class; the product of a K3 surface and the projective line; or a projective space bundle over a two-dimensional torus. This result extends Cao–Höring’s structure theorem for projective manifolds to compact Kähler manifolds in dimension 3. For the proof, we investigate the Minimal Model Program for compact Kähler three-folds with nef anti-canonical bundles by using the positivity of direct image sheaves, <span>(mathbb {Q})</span>-conic bundles, and orbifold vector bundles.</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":"39 1","pages":""},"PeriodicalIF":1.4,"publicationDate":"2024-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141775636","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-23DOI: 10.1007/s00208-024-02947-0
Antonella Nastasi, Cintia Pacchiano Camacho
We prove boundedness, Hölder continuity, Harnack inequality results for local quasiminima to elliptic double phase problems of p-Laplace type in the general context of metric measure spaces. The proofs follow a variational approach and they are based on the De Giorgi method, a careful phase analysis and estimates in the intrinsic geometries.
我们证明了在一般度量空间背景下,p-拉普拉斯类型椭圆双相问题的有界性、赫尔德连续性和哈纳克不等式结果。证明采用变分法,以 De Giorgi 方法、细致的相位分析和本征几何估计为基础。
{"title":"Regularity results for quasiminima of a class of double phase problems","authors":"Antonella Nastasi, Cintia Pacchiano Camacho","doi":"10.1007/s00208-024-02947-0","DOIUrl":"https://doi.org/10.1007/s00208-024-02947-0","url":null,"abstract":"<p>We prove boundedness, Hölder continuity, Harnack inequality results for local quasiminima to elliptic double phase problems of <i>p</i>-Laplace type in the general context of metric measure spaces. The proofs follow a variational approach and they are based on the De Giorgi method, a careful phase analysis and estimates in the intrinsic geometries.</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":"18 1","pages":""},"PeriodicalIF":1.4,"publicationDate":"2024-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141775637","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-23DOI: 10.1007/s00208-024-02943-4
Charles Favre, Alexandra Kuznetsova
We consider some algebraic aspects of the dynamics of an automorphism on a family of polarized abelian varieties parameterized by the complex unit disk. When the action on the cohomology of the generic fiber has no cyclotomic factor, we prove that such a map can be made regular only if the family of abelian varieties does not degenerate. As a contrast, we show that families of translations are always regularizable. We further describe the closure of the orbits of such maps, inspired by results of Cantat and Amerik–Verbitsky.
{"title":"Families of automorphisms on abelian varieties","authors":"Charles Favre, Alexandra Kuznetsova","doi":"10.1007/s00208-024-02943-4","DOIUrl":"https://doi.org/10.1007/s00208-024-02943-4","url":null,"abstract":"<p>We consider some algebraic aspects of the dynamics of an automorphism on a family of polarized abelian varieties parameterized by the complex unit disk. When the action on the cohomology of the generic fiber has no cyclotomic factor, we prove that such a map can be made regular only if the family of abelian varieties does not degenerate. As a contrast, we show that families of translations are always regularizable. We further describe the closure of the orbits of such maps, inspired by results of Cantat and Amerik–Verbitsky.</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":"2 1","pages":""},"PeriodicalIF":1.4,"publicationDate":"2024-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141775639","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-22DOI: 10.1007/s00208-024-02931-8
Gavin Armstrong, Krzysztof Bogdan, Artur Rutkowski
We give Martin representation of nonnegative functions caloric with respect to the fractional Laplacian in Lipschitz open sets. The caloric functions are defined in terms of the mean value property for the space-time isotropic (alpha )-stable Lévy process. To derive the representation, we first establish the existence of the parabolic Martin kernel. This involves proving new boundary regularity results for both the fractional heat equation and the fractional Poisson equation with Dirichlet exterior conditions. Specifically, we demonstrate that the ratio of the solution and the Green function is Hölder continuous up to the boundary.
我们给出了在 Lipschitz open sets 中关于分数拉普拉奇的非负函数 caloric 的 Martin 表示。卡路里函数是根据时空各向同性(α )稳定莱维过程的均值属性定义的。为了推导表示,我们首先建立了抛物线马丁核的存在性。这涉及证明分数热方程和分数泊松方程的新边界正则性结果。具体来说,我们证明了解与格林函数的比值在边界上是霍尔德连续的。
{"title":"Caloric functions and boundary regularity for the fractional Laplacian in Lipschitz open sets","authors":"Gavin Armstrong, Krzysztof Bogdan, Artur Rutkowski","doi":"10.1007/s00208-024-02931-8","DOIUrl":"https://doi.org/10.1007/s00208-024-02931-8","url":null,"abstract":"<p>We give Martin representation of nonnegative functions caloric with respect to the fractional Laplacian in Lipschitz open sets. The caloric functions are defined in terms of the mean value property for the space-time isotropic <span>(alpha )</span>-stable Lévy process. To derive the representation, we first establish the existence of the parabolic Martin kernel. This involves proving new boundary regularity results for both the fractional heat equation and the fractional Poisson equation with Dirichlet exterior conditions. Specifically, we demonstrate that the ratio of the solution and the Green function is Hölder continuous up to the boundary.</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":"29 1","pages":""},"PeriodicalIF":1.4,"publicationDate":"2024-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141740679","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-21DOI: 10.1007/s00208-024-02941-6
Yuping Ruan
This paper generalizes D. Burago and S. Ivanov’s work (Duke Math J 162:1205–1248, 2013) on filling volume minimality and boundary rigidity of almost real hyperbolic metrics. We show that regions with metrics close to a negatively curved symmetric metric are strict minimal fillings and hence boundary rigid. This includes perturbations of complex, quaternionic and Cayley hyperbolic metrics.
{"title":"Filling volume minimality and boundary rigidity of metrics close to a negatively curved symmetric metric","authors":"Yuping Ruan","doi":"10.1007/s00208-024-02941-6","DOIUrl":"https://doi.org/10.1007/s00208-024-02941-6","url":null,"abstract":"<p>This paper generalizes D. Burago and S. Ivanov’s work (Duke Math J 162:1205–1248, 2013) on filling volume minimality and boundary rigidity of almost real hyperbolic metrics. We show that regions with metrics close to a negatively curved symmetric metric are strict minimal fillings and hence boundary rigid. This includes perturbations of complex, quaternionic and Cayley hyperbolic metrics.</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":"26 1","pages":""},"PeriodicalIF":1.4,"publicationDate":"2024-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141745944","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-20DOI: 10.1007/s00208-024-02946-1
Huaying Wei, Michel Zinsmeister
If U is a (C^{infty }) function with compact support in the plane, we let u be its restriction to the unit circle ({mathbb {S}}), and denote by (U_i,,U_e) the harmonic extensions of u respectively in the interior and the exterior of ({mathbb {S}}) on the Riemann sphere. About a hundred years ago, Douglas [9] has shown that
thus giving three ways to express the Dirichlet norm of u. On a rectifiable Jordan curve (Gamma ) we have obvious analogues of these three expressions, which will of course not be equal in general. The main goal of this paper is to show that these 3 (semi-)norms are equivalent if and only if (Gamma ) is a chord-arc curve.
{"title":"Dirichlet spaces over chord-arc domains","authors":"Huaying Wei, Michel Zinsmeister","doi":"10.1007/s00208-024-02946-1","DOIUrl":"https://doi.org/10.1007/s00208-024-02946-1","url":null,"abstract":"<p>If <i>U</i> is a <span>(C^{infty })</span> function with compact support in the plane, we let <i>u</i> be its restriction to the unit circle <span>({mathbb {S}})</span>, and denote by <span>(U_i,,U_e)</span> the harmonic extensions of <i>u</i> respectively in the interior and the exterior of <span>({mathbb {S}})</span> on the Riemann sphere. About a hundred years ago, Douglas [9] has shown that </p><span>$$begin{aligned} iint _{{mathbb {D}}}|nabla U_i|^2(z)dxdy&= iint _{bar{{mathbb {C}}}backslash bar{{mathbb {D}}}}|nabla U_e|^2(z)dxdy&= frac{1}{2pi }iint _{{mathbb {S}}times {mathbb {S}}} left| frac{u(z_1)-u(z_2)}{z_1-z_2}right| ^2|dz_1||dz_2|, end{aligned}$$</span><p>thus giving three ways to express the Dirichlet norm of <i>u</i>. On a rectifiable Jordan curve <span>(Gamma )</span> we have obvious analogues of these three expressions, which will of course not be equal in general. The main goal of this paper is to show that these 3 (semi-)norms are equivalent if and only if <span>(Gamma )</span> is a chord-arc curve.</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":"10 1","pages":""},"PeriodicalIF":1.4,"publicationDate":"2024-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141740973","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-20DOI: 10.1007/s00208-024-02948-z
Eyvindur Ari Palsson, Francisco Romero Acosta
In this paper we show that if a compact set (E subset {mathbb {R}}^d), (d ge 3), has Hausdorff dimension greater than (frac{(4k-1)}{4k}d+frac{1}{4}) when (3 le d<frac{k(k+3)}{(k-1)}) or (d- frac{1}{k-1}) when (frac{k(k+3)}{(k-1)} le d), then the set of congruence class of simplices with vertices in E has nonempty interior. By set of congruence class of simplices with vertices in E we mean
$$begin{aligned} Delta _{k}(E) = left{ textbf{t} = left( t_{ij} right) : |x_i-x_j|=t_{ij}; x_i,x_j in E; 0le i < j le k right} subset {mathbb {R}}^{frac{k(k+1)}{2}} end{aligned}$$
where (2 le k <d). This result improves the previous best results in the sense that we now can obtain a Hausdorff dimension threshold which allow us to guarantee that the set of congruence class of triangles formed by triples of points of E has nonempty interior when (d=3) as well as extending to all simplices. The present work can be thought of as an extension of the Mattila–Sjölin theorem which establishes a non-empty interior for the distance set instead of the set of congruence classes of simplices.
在本文中,我们证明了如果一个紧凑集(E子集{mathbb {R}}^d), (d ge 3), 的 Hausdorff 维度大于 (frac{(4k-1)}{4k}d+frac{1}{4}) when(3 le d<;或者(d- frac{1}{k-1}) when (frac{k(k+3)}{(k-1)} le d), 那么有顶点在 E 中的单纯形的全等类集合的内部是非空的。我们所说的顶点在 E 中的全等类简约集是指 $$begin{aligned} (开始{aligned})。Delta _{k}(E) = left{ textbf{t} = left( t_{ij} right) :|x_i-x_j|=t_{ij}; x_i,x_j in E; 0le i < j le k right}subset {mathbb {R}}^{frac{k(k+1)}{2}}end{aligned}$where(2 le k <d).这个结果改进了之前的最佳结果,因为我们现在可以得到一个豪斯多夫维度阈值,它允许我们保证当 (d=3) 以及扩展到所有单纯形时,由 E 的点的三元组形成的三角形全等类集合具有非空内部。本研究可以看作是马蒂拉-舍林(Mattila-Sjölin)定理的扩展,它为距离集而不是单纯形的全等类集合建立了非空内部。
{"title":"A Mattila–Sjölin theorem for simplices in low dimensions","authors":"Eyvindur Ari Palsson, Francisco Romero Acosta","doi":"10.1007/s00208-024-02948-z","DOIUrl":"https://doi.org/10.1007/s00208-024-02948-z","url":null,"abstract":"<p>In this paper we show that if a compact set <span>(E subset {mathbb {R}}^d)</span>, <span>(d ge 3)</span>, has Hausdorff dimension greater than <span>(frac{(4k-1)}{4k}d+frac{1}{4})</span> when <span>(3 le d<frac{k(k+3)}{(k-1)})</span> or <span>(d- frac{1}{k-1})</span> when <span>(frac{k(k+3)}{(k-1)} le d)</span>, then the set of congruence class of simplices with vertices in <i>E</i> has nonempty interior. By set of congruence class of simplices with vertices in <i>E</i> we mean </p><span>$$begin{aligned} Delta _{k}(E) = left{ textbf{t} = left( t_{ij} right) : |x_i-x_j|=t_{ij}; x_i,x_j in E; 0le i < j le k right} subset {mathbb {R}}^{frac{k(k+1)}{2}} end{aligned}$$</span><p>where <span>(2 le k <d)</span>. This result improves the previous best results in the sense that we now can obtain a Hausdorff dimension threshold which allow us to guarantee that the set of congruence class of triangles formed by triples of points of <i>E</i> has nonempty interior when <span>(d=3)</span> as well as extending to all simplices. The present work can be thought of as an extension of the Mattila–Sjölin theorem which establishes a non-empty interior for the distance set instead of the set of congruence classes of simplices.\u0000</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":"231 1","pages":""},"PeriodicalIF":1.4,"publicationDate":"2024-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141740678","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-07-19DOI: 10.1007/s00208-024-02944-3
Jiajun Yan
Non-compact hyperkähler spaces arise frequently in gauge theory. The 4-dimensional hyperkähler ALE spaces are a special class of complete non-compact hyperkähler spaces. They are in one-to-one correspondence with the finite subgroups of SU(2) and have interesting connections with representation theory and singularity theory, captured by the McKay Correspondence. The 4-dimensional hyperkähler ALE spaces are first classified by Peter Kronheimer via a finite-dimensional hyperkähler reduction. In this paper, we give a new gauge-theoretic construction of these spaces. More specifically, we realize each 4-dimensional hyperkähler ALE space as a moduli space of solutions to a system of equations for a pair consisting of a connection and a section of a vector bundle over an orbifold Riemann surface, modulo a gauge group action. The construction given in this paper parallels Kronheimer’s original construction and hence can also be thought of as a gauge-theoretic interpretation of Kronheimer’s construction of these spaces.
非紧凑超凯勒空间经常出现在量规理论中。4 维超卡勒 ALE 空间是一类特殊的完整非紧凑超卡勒空间。它们与 SU(2) 的有限子群一一对应,并与麦凯对应关系(McKay Correspondence)中的表示理论和奇异性理论有着有趣的联系。彼得-克朗海默(Peter Kronheimer)通过有限维超卡勒还原首次对 4 维超卡勒 ALE 空间进行了分类。在本文中,我们给出了这些空间新的规理论构造。更具体地说,我们把每个 4 维超卡勒 ALE 空间都看作是一个方程组的模空间,这个方程组是由一个连接和一个轨道黎曼面上的向量束的一个截面组成的。本文给出的构造与克朗海默的原始构造相似,因此也可以看作是克朗海默对这些空间构造的量规理论解释。
{"title":"A new gauge-theoretic construction of the 4-dimensional hyperkähler ALE spaces","authors":"Jiajun Yan","doi":"10.1007/s00208-024-02944-3","DOIUrl":"https://doi.org/10.1007/s00208-024-02944-3","url":null,"abstract":"<p>Non-compact hyperkähler spaces arise frequently in gauge theory. The 4-dimensional hyperkähler ALE spaces are a special class of complete non-compact hyperkähler spaces. They are in one-to-one correspondence with the finite subgroups of SU(2) and have interesting connections with representation theory and singularity theory, captured by the McKay Correspondence. The 4-dimensional hyperkähler ALE spaces are first classified by Peter Kronheimer via a finite-dimensional hyperkähler reduction. In this paper, we give a new gauge-theoretic construction of these spaces. More specifically, we realize each 4-dimensional hyperkähler ALE space as a moduli space of solutions to a system of equations for a pair consisting of a connection and a section of a vector bundle over an orbifold Riemann surface, modulo a gauge group action. The construction given in this paper parallels Kronheimer’s original construction and hence can also be thought of as a gauge-theoretic interpretation of Kronheimer’s construction of these spaces.</p>","PeriodicalId":18304,"journal":{"name":"Mathematische Annalen","volume":"11 1","pages":""},"PeriodicalIF":1.4,"publicationDate":"2024-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141745946","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}