algebra / Algebraic geometry

Integral Local Invariant Cycles in Degree One

For a semistable one-parameter family of complex projective varieties with smooth nearby fiber $X_t$ and monodromy $T$, is the map $H^1(X, \mathbb{Z}) \to H^1(X_t, \mathbb{Z})^T$ surjective? True in degree one, although the integral statement fails in higher degree.

5Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

algebraMay 17, 2026Significance 5/100Registry: expert verified

Integral Local Invariant Cycles in Degree One

Prior state unknownproved

For a semistable one-parameter family of complex projective varieties with smooth nearby fiber $X_t$ and monodromy $T$, is the map $H^1(X, \mathbb{Z}) \to H^1(X_t, \mathbb{Z})^T$ surjective? True in degree one, although the integral statement fails in higher degree.

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

For a semistable one-parameter family of complex projective varieties with smooth nearby fiber $X_t$ and monodromy $T$, is the map $H^1(X, \mathbb{Z}) \to H^1(X_t, \mathbb{Z})^T$ surjective? True in degree one, although the integral statement fails in higher degree.

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.