2018 adic space

adic space

• [Scholze] Peter Scholze’s lectures on p-adic geometry
• [Wedhorn] Adic Spaces

[Wedhorn]では、adic spaceの基礎について詳しい記述がある。

• totally ordered groupに対して、
  
  • convex subgroupの概念(Def1.7)
  • convex subgroupsの数としてのheightの定義(Def1.13)
  • cofinalの概念(Def1.16)
• valuation ringに対して、
  
  • value group $\Gamma$ のconvex subgroupとvaluation ringの対応(Prop2.14)
• ring $A$に対して、
  
  • valuation spectrum $Spv A$の定義(Def4.1)
  • $Spv A \rightarrow Spec A$の定義(Rem4.6)
• valuation $v$に対して、
  
  • supp(v)の定義
  • $A(v)\subset K(v)=Frac(A/(supp(v)))$の定義(Def4.12)
  • vertical specialization,generalizationの定義(Def4.12)
  • vertical generalizationとconvex subgroupの対応(Rem4.12)
  • characteristic subgroup $c\Gamma_{v}$の定義(Def4.13)
  • horizontal specialization,generalizationの定義(Def4.16)
  • horizontal specializationとv-convex prime idealsの対応(Prop4.18)
  • vのspecializationがvertical or horizaontalで特徴づけできること(Prpo4.21)
• valuationによって定まるtopology
  
  • ring Aのvaluation v によるtopologyの定義(Def5.39)
  • 2つのvaluationのindependent,dependentの定義(Def5.43)
  • microbialの定義(Def5.46)
• Huber ring(or f-adic ring)の定義(Def6.1)
  
  • topologically of finite typeの定義(Def6.28,6.29)
• A:ring I:an idealに対して、
  
  • $c\Gamma_{v}(I)$の定義(Def7.3)
  • Spv(A,I)の定義(7.4.1)
  • continuous valuations Cont(A)の定義(Def7.7)
  • Cont(A)の特徴づけ(Th7.10)またspectral spaceになること(Cor7.12)
• affinoid ring(Huber pair)の定義(Def7.14)
• adic spectrum Spa Aの定義(Def7.23)
  
  • rational subsetsの定義(Def7.29)
  • Spa Aの性質(Th7.35)
  • analytic pointsの定義(Def7.39)
• 完備化に対する対応(lem7.47,Prop7.48)
• adic spaceの定義(Def8.20,8.21)
  
  • f-adic ringがsheafyの定義(Def8.25)
  • adic spaceのfiber productの定義(条件付き)(Th8.55)
  • non archimedian field上のschemeからadic spaceを構成する手続き(Def8.63)

etale topology

• [Huber] Étale Cohomology of Rigid Analytic Varieties and Adic Spaces

疑問

• adic spaceでの分岐理論
• value groupと分岐filtrationの関係
• Stokes filtrationとvalue groupの関係

Written with StackEdit.

2017 K(\pi, 1)

Faltings流のp-adic Hodge

• [Ols] Faltings’ method of almost ́etale extensions

[Ols]では、Faltings流のp-adic Hodgeについて、

• almost etale extention
• K($\pi$, 1)
• Faltings topos

を用いた説明をしている。
ここでのmain theoremはTh6.16。
elementary fibrationを用いてgeometric generic fiberがK($\pi$, 1) となるZariski neiborhoodが取れることはTh5.4で示されている。

比較同型

• [A] The Comparison Isomorphisms Ccris
• [AI] Comparison Isomorphisms for Smooth Formal Schemes

[A]では、Poincare dualityを使わない方法を説明している。
そのmotivationとして、3 The complex caseで複素数体上の比較同型定理について、普遍被覆空間を取って群のcohomologyの比較による方法を説明している。正則関数の層の代わりになるのがperiod sheavesとなる。
4 The p-adic caseで、Abbesによるperiod sheavesのFaltings siteでの振る舞いについての指摘があり、局所定数層のetale cohomologyとFaltings cohomologyでの比較はProp4.6に記載されている。
(perfectoidにおいては、pro-etale siteとして幾何学的に自然なsiteにより話が簡略化される)

K($\pi$, 1)

• [Achinger1] $K(π, 1)$-neighborhoods and comparison theorems
• [Achinger2] Wild ramification and K(pi, 1) spaces

[Achinger2]では、

• connected affine $F_{p}$-schemeはK($\pi$, 1)(Th1.1.1)

が示されている。
(tiltingによって、標数0と標数pを行き来するということは、topologicalな情報をすべて基本群に押し込める、ということになる。)

Written with StackEdit.

2017 almost mathematics

妄想

• 絶対Galois群を押しつぶしたらブラックホールになるのか?
  
  • ブラックホールには毛がない。Galois群の毛は何か?商群が観察結果と思えるか?
  • ブラックホールの事象の地平線に相当するものは何か?
  • ブラックホールの内側を開部分群とみなすと、deeply ramified extentionに相当する部分群を事象の地平線と思えばよいか?
• そもそも幾何の距離に相当するものは何か?
  
  • p-adic HodgeがKahler性を仮定せずに成立するのはformal modelの存在([Bhatt2]p6)
  • admissible blow-upの逆操作がRicci-flowによるblow-downに対応すると思えるか?

• AdS/CFT対応のperfectoid版は存在するか?

  • Berkovich空間としての上半平面と離散AdS空間の類似

  rigid analytic geometry

• [Conrad1] Several approaches to non-archimedean geometry

[Conrad1] の解説によると、

• Tate algebraの定義(Def1.1.2,Def2.1.2)
• affinoid algebraの定義(Def1.2.1)
• Laurent domain,Weierstrass domain,rational domainの定義、universalityの性質(lem2,1,8)
• affinoid subdomainの定義(Def2.2.1)
• fiber productとしてのcompleted tensor product(Exercise2.2.3)
• Gerritzen-Grauert theorem(Th2.2.5)i.e. affinoid subdomainはrational domainのfinite union
• admissible open,adomissible coverの定義(Def2.2.6)
• Tate topologyの定義(Def2.3.1)
• Tate’s Acyclicity theorem(Th2.3.3)
• affinoid spaceの定義(Def2.3.5)i.e.affinoid algebraから定まる局所環付き空間
• rigid analytic spaceの定義(Def2.4.1)i.e.局所的にaffinoid spaceを貼り合わせて得られる局所環付き空間
• quasi-compact,quasi-separatedの概念の定義(Exercise2.4.8,Def3.1.6)
• properの定義(Def3.2.3)
• rigid spaceにおけるcoherent sheavesのcohomologyの性質(Th3.2.2)

almost mathematics

指数定理では、Fredholm作用素のように有限と無限の間の概念が有用だった。環論において、有限性と無限性をつなぐ概念として、almost mathematicsがある。(almost projective module of finite rankはFredholm作用素に近いように思える。)

• [Bhatt1] MATH 679: PERFECTOID SPACES
• [Scholze1] Perfectoid spaces

[Bhatt1]の解説によると、

• almost mathematicsは、$j:U \hookrightarrow X$,$i:Z=X-U\hookrightarrow X$に対するadjoint pairs $(i_{*},i^{!})$,$(i^{*},i_{*})$,$(j_{!},j^{*})$,$(j^{*},j_{*})$の構成に対応する(§5.1)
  
  • $i_{*}:Mod_{R}\rightarrow Mod_{R/I}$に対して、$Mod_{R}^{a}$を定義して、adjoint pairsを構成する(Prop5.2,Th6.1)
  • almost flat,almost projective,almost finitely generated,almost finitely presented,uniformly almost finitely generatedの概念が定義される(Def6.6)
  • almost finite etaleの概念が定義される(Def7.3)
  • weakly etaleの概念が定義される(Def7.11)
  • finitely presentedの場合はweakly etaleとetaleは同じだが、一般にはetale mapのinductive limitになる(Fact7.12,Fact8.4)
• almost mathematicsの設定で閉集合を除くことの類似として、Zariski-Nagataの純性定理の類似定理が存在し、almost purityと呼ばれる(§13.1)
  
  • generic fiberがfinite etaleならspecial fiberまで込めてalmost finite etaleという形の定理
  • 標数pの設定でのalmost purity theoremは、perfect ring上のalmost setupの場合に成立する(Prop7.6,Th8.1)
  • almost zeroを示すのによく使われる論法は$t^{n}f=0\Rightarrow t^{n}f^{p^{m}}=0\Rightarrow t^{n/p^{m}}f=0\Rightarrow$fはalmost zero(Claim7.7)
  • 標数0の設定でのalmost purity theoremは、perfectoid algebraの条件の場合に、tiltingを用いることにより標数pの場合に帰着できる(§13,Th13.2)
  • perfectoid algebraの定義(Def9.12,Def10.1)
  • Non-Archimedian Banach algebraの議論(Th9.7)
  • Witt vector(deformation)の議論を用いてperfectoid algebraはinteresting deformationを持たないことを示す(Th11.1,Th11.8,Prop12.3,Th12.6)
• perfectoid affinoid K-algebra$(R,R^{+})$の場合のalmost purity theorem(Th25.10)
  
  • adic spaceの場合のTate algebraはcoupe of definitionによって定まる(Def13.5)
  • bounded set,power bounded,uniformの定義(§14.1)
  • affinoid Tate ringの定義(Def14.10),対応するadic spectrumの定義,rational domainの定義(Def14.14)
  • Berkovich spaceと比較してrankが1より大きいvaluationも入るが、special fiber内に収まる(Prop15.10,Rem15.11)
  • spectral spaceの定義(Def16.4),非構成的な特徴づけ(Th16.5)
  • affinoid Tate ringに対応するadic spectrumの性質(Th16.9,Th17.1)
  • rational open subsetに対応するaffinoid Tate algebraの普遍性(Th17.5)
  • affinoid Tate ringのstructure presheafの定義、sheafyの定義(Def19.5)
  • adic spaceの定義(Def19.11)
  • perfectoid affinoid algebraの定義(Def19.12,Def20.1),tiltによる圏同値(Prop19.14)
  • $X=Spa(R,R^{+})\rightarrow X^{\flat}$のrational subsetsを保つhomeo(Th20.3)
  • perfectoid affinoid algebraに対応するSpaのTate acyclicity(Th23.1)
  • affinoid perfectoid space,perfectoid spaceの定義(Def25.2)
  • almost purity theoremの証明(Claim26.7)

p-adic Hodge

• [Bhatt2] The Hodge-Tate decomposition via perfectoid spaces
  
• [Scholze2] p-adic Hodge theory for rigid-analytic varieties

Written with StackEdit.

2017 標数pの基礎事項

Cartier descent

• [Katz] Nilpotent connections and the monodromy theorems

[Katz]では、

• 標数0の体$k$上、$\Delta=Spec(k[[t]])$において、一対一対応がある(Prop8.9)
  
  • $(M,\nabla)$、可積分接続
  • $(M^{\nabla}\otimes_{k} \Delta,1\otimes d)$、horizontal elemetntsとidentical connection
  • これは、Taylor展開による無限小平行移動を書き換えたもの
• 標数pの体$k$上では、p冪の部分で相違が出てくる(Th5.1)
  
  • $(\cal{E},\nabla)$、p-curvatureが0の可積分接続
  • $\Delta^{(1)}=\Delta\otimes_{k,Frobenius}k$上のquasi-coherent sheaves
• p-curvatureはrestricted p-structureに関するobstruction
• p-curvatureはp-linear(Prop5.2)
• $\nabla(D),\nabla(D^p),\psi(D)$は$End(\cal{E})$の元として可換(5.2.1)
• $\psi(D),\psi(D')$は可換(5.2.2)

formal geometry

• [BD] QUANTIZATION OF HITCHIN’S INTEGRABLE SYSTEM AND HECKE EIGENSHEAVES

[BD]においては、以下の説明がある。

• Harish-Chandra pair$(\frak{g},\it{K})$に対するlocal quantization condition(1.2)
  
  • Poisson代数と$U\frak{g}$から定まる代数のgraded代数の同型
  • symbolのなす代数の同型と思える
  • differential operatorとしてのcompatibilityがglobal quantization condition(1.2.3(15))
• Harish-Chandra modulesの圏と左D加群の圏同値(1.2.4)
  
  • $\Delta:M(\frak{g},\it{K})\rightarrow M^{l}(\cal{Y})$
  • $\Gamma:M^{l}(\cal{Y})\rightarrow \Delta:M(\frak{g},\it{K})$
• (直線束による)twisted version(1.2.5)
• affine version(1.2.6,1.2.7)
• Beauville-Laszloの同型対応(Th2.3.4,Th2.3.5)
• $\cal{D}_{\it{X}}$-scheme(2.6)
  
  • $\cal{D}_{\it{X}}$-algebraに対して$\cal{O}_{\it{X}}$-algebraを対応させるfunctor(2.6.2)
  • algebraが可換な場合はhorizontal global sectionsのなす代数
• 可換な場合のadjoint functor$\cal{J}$(2.6.3)
  
  • $\infty$-jets of sectionsのなす代数
  • schemesの対応の場合、ind-schemeとして定義される
• formal coordinate systems(Example2.6.5)
• global Hitch fibrationの定義(2.2.3)
  
  • $p:T^{*}Bun_{G}\rightarrow\rm{Hitch}(\it{X})$
  • pはLagrangian fibrationでcomplete integrable systemをなす
  • $h_{X}^{cl}:\frak{z}^{cl}(\it{X}) \rightarrow \Gamma(Bun_{G},P)$
  • pの量子化が[BD]の目的
• local Hitchin fibrationの定義(2.4)
  
  • $\rm{Spec}(\frak{z}_{\rm{x}}^{cl}) \rightarrow \rm{Hitch_{x}}$ (2.4.1)
• $h^{cl}$の量子化に対応する$h$の定義(2.8.1)
• formal coordinate systemsを用いてcanonical connectionsを定義(2.8.2)

affine Springer fibers

• [Yun] Lectures on Springer theories and orbital integrals
  [Yun]では、affine Springer fubersとHitchin fibrationsの関係が述べられている。

• affine Grassmannianの定義(2.1.2)

• affine Grassmannian内のaffine Springer fibers$\cal{X_{\gamma}}$の定義(2.2.1)
• paraholic version、Iwahori subgroupに対するaffine Springer fiber$\cal_{Y_{\gamma}}$の定義(2.2.9)
• Springer’s W-actionのaffine版(Th2.6.2)
• affine Springer fiberのset theoretic version と軌道積分との関係(3.2.6,lem3.3.1)
• affine Springer fiberのglobal versionとしてのHitchin fibration(§4)
  
  • 曲線上のベクトル束のmoduli stack(4.1.2)
  • Higgs bundlesの定義とtwisted-Higgs bundlesのmodul stackの定義(4.1.7)
  • derived global sectionを見ることによりHitchin moduli stackとベクトル束のmoduli stackのcotangent bundleとのopen stacksの対応(4.1.10)
  • Hitchin fibrationの定義(4.2.1)
  • spectral curve, Hitchin fibersのPicard stackとしての解釈(4.3.1)
• Hitchin fibersとaffine Springer fibersをつなぐProduct formula(Th4.4.2)

crystalline differential operators,Lie代数の中心

• [BB] Localization of modules for a semisimple Lie algebra in prime characteristic

[BB]では、crystalline differential operatorsについて、以下のまとめがある。

• $X/k$(kは標数pの代数閉体)において、Frobenius写像$Fr_{X}:X\rightarrow X^{(1)}$が関数環のp乗写像として定まる。ただし、Frobenius twist $X^{(1)}$は、k-structureを修正することで定まる。(1.1.1)
• YをXのsubschemeとする時、Frobenius neighborhood $\underline{X}_{Y}=(Fr_{X})^{-1}Y^{(1)}$が定まる。(1.1.2)
• $\beta:V\rightarrow W$がp-linear mapであることと、対応する$V^{(1)}\rightarrow W$がlinear mapであることは同値。(1.1.3)
• Xがsmoothの時、$D_{X}=U_{O_{X}}(T_{X})$をthe sheaf of crystalline differential operatorsと呼ぶ(1.1.4) 基底を取って記述することが出来る。
• $\mathbb{D}_{X}\subset End_{k}(O_{X})$に対して$D_{X}$からの写像はあるがinjectiveではない。
• $D_{X}$には、Poincare-Birkhoff-Witt filtration$D_{X,\leq n}$が入り、$gr(D_{X})=O_{T^{*}X}$、$D_{X,p-1}\subset End(O_{X})$となる。(lem1.2.1)
• (p-linearに付随するlinear mapとしてみた)p-curvature map $\iota:T_{X}^{(1)}\rightarrow D_{X}$の像は$Z(D_{X})$に含まれ、$\frak{Z}_\it{X}:=O_{T^{*}X^{(1)}/X^{(1)}}$と$Z(D_{X})$の同型に延長される。(lem1.3.2)
• $Y\subset T^{*}X$に対して、$D_{X}$の$Y^{(1)}$へのcentral restriction、$D_{X,Y}=D_{X}\otimes_{\frak{Z}_{\it{X}}}O_{Y^{(1)}/X^{(1)}}$を定義する。(1.4)
• Yとして、zero-sectionをとった$D_{X,0}$は$\iota \partial = 0$で定まり、$D_{X}$の$\mathbb D_{X}$への像に一致する。(1.4.2)
• $A_{X}:=Z_{D_{X}}(O_{X})$は$O_{X} \cdot \frak{Z}_{\it X}$に一致する。(lem2,1,1)
• cotangent vectorに対するcentral reductionが定まり、matrix algebraとなる。(lem2.2.1)
• $D_{X}$は$T^{*}X^{(1)}$上のAzumaya algebra(Th2.2.3)
• $D_{X}$は$X^{(1)}$上で$Fr_{X*}O_{X}$をsplitting bundleとしてsplitする。(2.2.5)

operと量子化

• [BK] Fedosov quantization in positive characteristic
• [BCTZ] Quantization of Hitchin integrable system via positive characteristic
• [CFT] Fedosov connections on jet bundles and deformation quantization

Virasoro代数は無限次元で、共形場理論が無限自由度を持つことの基礎となっていた。
標数pでVirasoro代数の代替物を見ようとすると、modulo Frobeniusで有限自由度となる。

Higgs bundle

• 実解析的な対応
• 標数pで実解析的に対応するのは、Frobenius写像

標数pでのNon abelian Hodge theory

• [CZ] Non-abelian Hodge theory for algebraic curves in characteristic p
• [LSZ] Nonabelian Hodge theory in positive characterstic via exponential twisting
• [OV] Nonabelian Hodge Theory in Characteristic p
• [Xu] Lifting the Cartier transform of Ogus-Vologodsky modulo $p^n$

p進でのSimpson対応

• [LZ] Rigidity and a Riemann-Hilbert correspondence for p-adic local systems

• $(B_e,B_{dR})$のBeauville-Laszlo型の解釈

Written with StackEdit.

2017 指数定理

疑問

• 指数定理
  
  • Thom同型
  • 管状近傍
  • deformation to the normal cone
• virtual fundamental class
  
  • intrinsic normal cone
  • perfect obstruction theory
  • cotangent complex
• 標数pでの量子化
• Kahler-Einstein計量
  
  • GIT
  • K-安定性
  • Kahler-Ricci flow
• 標数pでの分岐指数とblow-upの操作をRicci-flowの観点で解釈できるか?

指数定理

• [足立] Atiyah-Singer 指数定理 ノート
• [本間] 局所指数定理

virtual fundamental class

• [BF] The intrinsic normal cone
• [Shen] Construction of the Virtual Fundamental Class and Applications
  
• [Wise] Obstruction theories and virtual fundamental classes

標数pでの量子化

• [BK] Fedosov quantization in positive characteristic

Kahler-Ricci flow

• [T] KAWA lecture notes on the Kähler-Ricci flow

Higgs-de Rham flow

• [LSY] An inverse Cartier transform via exponential in positive characteristic
• [LSYZ] Uniformization of $p$-adic curves via Higgs-de Rham flows
  

Written with StackEdit.

2017 stable envelope

モース理論

• [Gi1] Geometric Methods in Representation Theory of Hecke Algebras and Quantum Groups
• [Gi2] Lectures on Nakajima’s Quiver Varieties
• [Nak1] More lectures on Hilbert schemes of points on surfaces

deformation

• [CG] [Representation Theory and Complex Geometry]
• [M] Quantum Cohomology and Symplectic Resolutions

モース理論の量子化をFloer理論あるいはGromov-Witten理論と思うこととすると、Springer resolutionやNakajima varietyの量子cohomologyがどうなるか気になる。
この場合には、かなりの部分を統一的視点で捉えることが出来る。

• stable mapのmoduli spaceを定義できる(§2.2)
• virtual fundamental classが定義できて、smooth proper familyに対するdeformation invariantsになる(§2.3)
• equivariant symplectic resolutionの場合には、symplectic formに対するスカラー倍の対称性を付加して考える(§3.1)
• 例としてSpringer resolutionの場合がある(Th3.4)
  
  • [CG] Th3.4.1,Claim7.3.6における変形の話をGW不変量のdeformation invariantsの話に置き換えた
  • Steinberg correspondenceにgenus 0のstable mapが集中する
• equivariant cohomology(§4.2)
  
  • Atiyah-Bott localization(Th4.3)
• stable envelope(§4.3)
  
  • $S^{1}$-actionによるMorse theory、Bialynicki-Birula decompositionに対応する分割を用いる
  • torus$A$の$X$への作用において、$X^{A}$の各連結成分に対してpartial orderを入れることが出来る(Def4.5)
  • Lagrangian correspondenceを定義できる(Th4.6)
  • Stab(γ) is good for translating geometric operators on $X$ to geometric operators on $X^{A}$(Prop4.11)

Yangian

• [N] [場の理論における Yangian 対称性]

Yangianについて[N]では、

• 量子群はR-matrixを持つnon-commutativeなHopf代数
• Yangian　Y(g)はU(g)を部分Hopf代数に持つ最小の量子群
• Yangianの有限次元既約表現はDrinfeld多項式の組と対応する

という記述がある。

Quiver varietyと代数

• [MO] Quantum Groups and Quantum Cohomology
• [Nak2] Lectures on perverse sheaves on instanton moduli spaces
• [O1] Enumerative geometry and geometric representation theory
• [O2] Lectures on K-theoretic computations in enumerative geometry

Written with StackEdit.

2017 局所Fourier変換

気になる動き

• [AFO] Quantum q-Langlands Correspondence
• [Fu1] l-adic realization of some aspect of Landau-Ginzburg B-models
• [KS] Airy structures and symplectic geometry of topological recursion

[AFO]では、頂点関数をquasi-mapの数え上げで定義し、(q,t)の2変数変形共形ブロックを定義している。
[KS]では、変形量子化の観点から、topological recursionを見直していて、Giventalの量子化とtopological rucursionの関係の説明を与えようとしている。
数体の絶対Galois群は、dessin d’enfantを通じて、Riemann面の分割、KZ方程式と関係づくが、より深いところで、上記の量子化と関係があるはず。
そのため、l進層およびp進層に対して、数え上げ、topological recursionとの関係、があるか、が問題になる。
が、現状、数え上げるべき対象が明確でないため、Frobenius多様体とモノドロミー保存変形の関係をl進層の言葉に移そうとしているのが[Fu1]で、GKZ幾何関数のモノドロミーをl進層上に定義し、LG模型を構築しようとしている。

局所Fourier変換の大まかな流れ

• [Sabbah1] FOURIER TRANSFORMATION AND STOKES STRUCTURES

• D加群とl進層に対して直線上Fourier変換が定義できる

  • l進層の場合はFourier-Deligne変換
  • D加群の場合はFourier-Laprace変換、確定特異点のみの場合は、変換後は、 0で確定特異点を持ち、無限遠点で不確定特異点を持ちうる。
  • D加群のR-emann-Hilbert対応では確定特異点型と偏屈層が対応し、偏屈層側ではspecializationとmicrolocalizationを入れ替えるFourier-Sato変換がある。複素多様体ではnearby-cycle,vanishing-cycleが対応する。
• 局所Fourier変換
  
  • l進層の場合は、vanishing-cycleを用いて直接的に局所Fourier変換が定義できる
  • D加群の場合は局所的に擬微分作用素、formal miclolocalizationを定義して、局所Fourier変換を定義できる(2.2)
  • Levelt-Turritin(Th3)
  • stationary phase formula(Th4)
• purity
  
  • l進層とくにl進偏屈層においてFourier変換はpurityと重みを保つ(3.1.Th1)
  • Griffith-Schmidの定理から、通常のHodge構造の変形ではD加群のFourier変換を捉えきれない(3.2.Th2)
  • D加群の場合は、twistor構造を見ることでpurityを捉えることが出来る(3.3.th6)
  • V-filtration、moderate nearby and vanishing cycleの定義(4.1.b)
  • 局所Fourier変換とmoderate nearby cycleとの関係(4.3.a,4.3.b.Prop1,Cor3,Cor4)
• 1次元の場合のRiemann-Hilbert対応
  
  • regular holonomic D加群と偏屈層の対応
  • Fourier変換をRH対応で捉えるためには、Stokes-perverse sheafの概念が必要
  • germs of meromorphic coonectionsと円周上のStokes-filtered local systemsの間の圏同値が存在する(6.1.Th2)
  • holonomic D加群とStokes-perverse sheavesの圏同値が存在する(6.4.Th13)
• 高次元の場合
  
  • 高次元の場合には、projective morphismによりgood structureへの持ち上げを行うことが最初に必要になる
  • real blow-up、holomorphic functions with moderate growthの定義(7.2)
  • moderate de Rham complexとそのコホモロジー(7.2. Th4)
  • RH対応(7.3.c.Th8)
• topological Laplace変換(8.2.a)

素朴な計算

• [Fang] Calculation of local Fourier transforms for formal connections
• [Fu2] Calculation of l-adic local Fourier transformations

まずは、exponential factorを具体的に記述することを、
Legendre変換を用いて行っている。
[Fang]では、D加群の場合にTh1で対応を与えている。
[Fu2]では、標数pの体上、l進層の場合に、Th0.1で対応を与えている。

Stokes filtration

• [HS] The local Laplace transform of an elementary irregular meromorphic connection
• [Sabbah2] An explicit stationary phase formula for the local formal Fourier-Laplace transform

上記、素朴な計算に関わる部分を、blow-upを用いて幾何的に説明しているのが[Sabbah2]。

• refined Turritin-Levelt(Cor3.3)
• ramificationの挙動(Prop3.8)
• elementaryの場合(Th5.1)
  
  • Katz extensionによる代数化
  • singular supportの計算
  • $e:(v,\eta)\rightarrow (v\eta,\eta)$によるblow-up(Figure1)
  • 個別の計算(lem5.5)

さらに、形式的な部分から、Stokes構造込みの対応を記述しているのが、[HS]。

• $\cal{F}^{(0, \infty)}M$に対応する円周$S^{1}_{\tau=0}$上の局所系を$\hat{\cal{L}}$。そのKatz extensionを$\hat{\cal{F}}$(3.2)
• $\hat{\cal{F}}$の表示(3.2.2)、stalkの表示(Prop3.2.3)
• divisor$D_{0},D_{\infty},D_{\hat{\infty}}$(3.3)
• projective modificationによるgood structure(Prop3.3.4)
• 高次cohomologyの消失(Th3.3.5)
• 具体的な表示(Cor3.3.6)
• Stokes filtrationの定義(Def3.3.7,3.3.8)
• 局所Fourier変換に対するStokes filtered local systemの対応(Th3.3.11)
• elementary meromorphic connectionの場合
  
  • ramification、exponential factorの対応(3.5.1)
  • blow-up(3.5.4)
  • 具体的な表示 ベクトル空間、同型、fitrationの記述(Cor4.2.1, Th4.3.3)
• standard filtration(6.1)
  
  • topological model(Def6.2.4)
  • Th1.3.6, Prop1.4.13

Ramification filtration

• [AS] Local Fourier transform and epsilon factors

疑問

• [AS]におけるramificationの議論と、real blow-upの議論を対応させること
• p進層の場合に、twistor構造に対応するにはFargues-Fontaine曲線を用いたGalois群の作用が必要になるはず。p進層の局所Fourier変換をtopologicalに理解すること

Written with StackEdit.