Professional Documents
Culture Documents
Pappas Talk
Pappas Talk
George Pappas
AGQFT
May 27, 2020
1 → π1 (X̄) → π1 (X) → Gk → 1.
1 → Γ = π1 (S) → π1 (Mσ ) → Z → 1
Z
i 2
VolC (ρ) := −i Image(1) = − s∗ (Tr(A ∧ dA + A ∧ A ∧ A)).
2 M 3
T[ρ] ∼
= H 1 (Γ, Ad0 (ρ)).
Pairing:
∪ κ
H 1 (Γ, Ad0 (ρ)) × H 1 (Γ, Ad0 (ρ)) − → H 2 (Γ, C) ∼
→ H 2 (Γ, Ad0 (ρ) ⊗C Ad0 (ρ)) − =C
κ : X ⊗ Y 7→ Trace(XY )
gives T[ρ] × T[ρ] → C; this defines ω ∈ ∧2 ΩChar(Γ) = Ω2Char(Γ) .
Goldman:
ω is closed (dω = 0) and non-degenerate, so
ω defines a canonical (complex) symplectic structure on Char(Γ).
G. Pappas May 27, 2020 6 / 23
The mapping class group MCG(S) ∼
= Out+ (Γ) acts on Char(Γ) by symplectomorphisms:
σ ∗ (ω) = ω, ∀σ ∈ MCG(S).
(Pantev-Toen-Vaquié-Vezzosi:)
Char(Mσ ) has a canonical “(−1)-shifted symplectic structure”,
Roughly: The vanishing cycles of Cσ should give perverse sheaves over Char(Mσ ) whose
homology should produce Floer homology groups for M = Mσ (cf. Abouzaid-Manolescu.) .
Note: These should be SLn (C)-Floer groups (“simpler” than SU(n)). Abouzaid-Manolescu
define such Floer groups from a pair of Lagrangians obtained from a Heegaard splitting of M .
Fix a prime ` (odd), consider étale `-adic-local systems, or equivalently, `-adic representations,
i.e. continuous homomorphisms
Restrict to 2-dimensional objects: Local fields Kv , v a place of K, or the geometric curve X̄:
Consider ρ restricted to Gal(K̄v /Kv ) or, respectively, π1 (X̄).
2) For `-adic representations of Gal(Q̄` /Q` ) one can use `-adic Hodge theory
(Emerton-Gee).
continuous.
ω = d log([ρ] ∩ c) ∈ Ω2A
ω is closed,
ω is “perfect”,
ω ⊗Auni Auni /m2 ∈ ∧2 (m/m2 ) is given by Poincare duality on
such that: For each c ≥ 1 there is (c) > 0 and a rigid analytic map
with
0 0
ψ t+t = ψ t · ψ t , i.e. is a flow in t,
interpolates the Galois action σ tN , for t ∈ Z, |t|` ≤ (c).
Basic identity: dµσ = − log` (χ(σ))ω (log` : Z∗` → Z` the standard `-adic logarithm.)
If χ(σ) = 1, then dµσ = 0, so there is a rigid analytic function Vσ on DQ` with
µσ = dVσ .
M (x, σ) := Spf(O
bD ⊗
Q` ,x
ˆ Q` Q̄` )[1/u]
but q 6= 1 (!).
Idea (?) Find a symplectic potential λ, i.e. a 1-form λ with dλ = ω, which is “independent
of the curve X”.
Then log` (q)λ + µφ is closed, so
for some Vφ .
The representations of the arithmetic fundamental group give x with
maybe up to constants?