广义拉梅方程的分量几何与单值群
Componentwise Geometry and Monodromy of Generalized Lamé Equations
- National Taiwan Normal University（台湾师范大学）
- Beijing Normal University（北京师范大学）
机构由 AI 辅助整理，请以论文原文为准。
AI总结：
本研究针对带奇点的广义拉梅方程建立分量几何与单值群理论，构造非偶分量的相关结构，证明其与经典拉梅方程的单值群等价性，实现谱几何等理论的分量转移。
AI中文摘要：
我们针对椭圆曲线上在0和±p处带有奇点的广义拉梅方程，建立了分量几何与单值群理论。其无对数轨迹可典范分解为两个不可约分量，分别对应势函数的偶对称与非偶对称。基于偶分量的谱理论，我们构造了非偶分量的超椭圆谱曲线、Baker–Akhiezer函数及加法映射，并证明°σₙ,p⁽¹⁾=n(n+1)。在对合T↦-T取商后，我们证明非偶谱曲线与经典拉梅谱曲线自然同构，且与加法映射及有理函数κ兼容。因此，每个非偶广义拉梅方程都可通过显式对应B̃=T²-n(n+1)℘(p)，与同一椭圆曲线上的唯一经典拉梅方程单值群等价。固定B̃，当p变化时会产生等单值群族。该对应将谱几何、有限间隙结构、有限单值群理论，以及平坦环面上的曲率方程转移至非偶分量。结合偶分量的Painlevé VI形变，我们对广义拉梅退化给出了分量层面的解释。
英文摘要：
We develop a componentwise geometric and monodromy theory for the one-support generalized Lamé equation on an elliptic curve, with singularities at \(0\) and \(\pm p\). Its log-free curve decomposes canonically into irreducible even and non-even components, the former being governed by elliptic Painlevé~VI. For the non-even component, we construct the hyperelliptic spectral curve, Baker--Akhiezer functions, and addition map, and prove that \[ °σ_{n,p}^{(1)}=n(n+1). \] After quotienting by the involution \(T\mapsto -T\), we identify the non-even spectral curve with the classical Lamé spectral curve of weight \(n\), compatibly with the addition map and the rational function \(κ\). This identification is realized by \[ \widetilde B=T^2-n(n+1)\wp(p), \] and associates every non-even generalized Lamé equation with a unique classical Lamé equation on the same elliptic curve having equivalent period monodromy. Fixing \(\widetilde B\) yields an isomonodromic deformation with \(τ\) fixed. Together with the Painlevé-VI deformation on the even component, it gives a componentwise interpretation of the collision \(p\to0\), and yields a finite descent on the admissible completely reducible locus. The classical spectral, finite-gap, finite-monodromy, and curvature theories consequently transfer to the non-even component. Finally, within the symmetric family $\left(n_0,n_1,n_2,n_3,\frac12,\frac12\right),$ the one-support case forms an affine genus-zero hierarchy, whereas for $\left(1,1,0,0,\frac12,\frac12\right)$, the non-even normalization is generically elliptic and becomes rational on the discriminant locus, while the full compactified log-free curve retains arithmetic genus two. This first genus jump marks the boundary of the affine theory and motivates a genus-dependent componentwise geometry.
