Arithmetic geometry · K3 surfaces · automorphic forms

Generalized Sato–Tate for Generic Picard-Rank-18 K3 Surfaces

Collaboration beta

For a K3 surface over the rationals whose transcendental cohomology has rank four and no extra Hodge endomorphisms, do normalized Frobenius classes spread out according to Haar measure on SO(4), or on O(4) when the determinant character is nontrivial?

ρ (X_{\bar{Q}}) = 18, {End}_{Hdg} (T_{X}) = Q \Rightarrow {{Fr}_{p} (V_{λ})}_{p} ? ⟶ Haar (SO (4) or O (4))

Known results and sources

Picard rank 18 leaves a rank-four transcendental system; the open question asks how its normalized Frobenius classes distribute.

Research problem

Exact mathematical statement

Let $X/\mathbf Q$ be a K3 surface with geometric Picard rank

\rho(X_{\overline{\mathbf Q}})=18

and Hodge endomorphism algebra

\operatorname{End}_{\mathrm{Hdg}}(T_X)=\mathbf Q.

For a coefficient place $\lambda$ , let $T_\lambda$ be the rank-four transcendental part of $H^2_{\acute et}(X_{\overline{\mathbf Q}},E_\lambda)$ , and normalize it to weight zero by $V_\lambda=T_\lambda(1)$ . The target asks whether the normalized Frobenius conjugacy classes are Haar-equidistributed in the full Sato–Tate group: $\mathrm{SO}(4)$ when the determinant character is trivial and $\mathrm O(4)$ otherwise.

The source labels its proposed route a conditional proof candidate. This page does not assert that the target theorem has been proved.

Problem infographic

Problem at a glance

A three-panel diagram shows a K3 surface above exactly eighteen gold tokens in three rows of six and exactly four teal tokens in a two-by-two block; four teal channels carry prime-marked samples toward connected and two-component symmetry silhouettes separated by a coral question mark. — The exact 18+4 cohomology split produces a rank-four transcendental system; whether its Frobenius samples equidistribute in the connected or disconnected compact target remains open.

Current mathematical picture

Where work on Generalized Sato–Tate for Generic Picard-Rank-18 K3 Surfaces stands

Open problem

Selected route highlights from the mathematical source. This is not yet a complete mathematical inventory.

Useful failureSource-reported limitation

The abstract Spin(4) factorization, fixed-place characters, meromorphic continuation, or a product formula for two Asai signs cannot by themselves establish the exact compatible systems or the individual holomorphy and nonvanishing needed for equidistribution. Supply exact, hypothesis-by-hypothesis source certificates for the compatible half-spin pair over the determinant field, simultaneous potential automorphy and Brauer descent, connected Rankin–Selberg boundary…

Route status · Narrowed route

Main reductionConditional closure theorem

The current work isolates a stable conditional theorem whose hypotheses explicitly include the unverified geometric, automorphic, analytic, and equidistribution inputs.

Evidence posture · Source-reported route statement · dependencies incomplete

Priority open bridgeCertify the compatible GSpin lift and both half-spin systems over the exact determinant-killing field.Task status · Ready to work on

Research-record correctionResearch-record correction

We corrected the cited passages. We removed a duplicate or outdated task or route step. We updated the highlighted open task or route. The mathematical claims and their status did not change.

Reader-facing record corrected; mathematics unchanged

Work mapped so far

Generalized Sato–Tate for Generic Picard-Rank-18 K3 Surfaces in numbers

1.2kretained lines of mathematical investigation1,210 in the current working snapshot

Argument development: 1,004 · 83%
Explored or eliminated routes: 25 · 2%
Computational analysis: 30 · 2%
Open obligations: 18 · 1%
Definitions and setup: 133 · 11%

7selected mapped statements1routes investigated3open questions3contribution-ready tasks

How this is measured

This measures retained mathematical investigation, not proximity to a proof. Code, data, logs, repeated text, operational instructions, and generated presentation copy are excluded.

Status checkedAug 13, 2026

Source recordedAug 13, 2026

Recommended next task

Certify the compatible GSpin lift and both half-spin systems over the exact determinant-killing field.

Suggested move: Audit the stated Patrikis/Kuga–Satake source against the transcendental rank-four system, recording exact theorem numbers, obstruction killing, common coefficient field, Hodge–Tate weights, common determinant, and the simultaneous tensor identity over the exact field.

What would count as progress

Supply a complete argument with every imported premise identified.
Survive an independent attempt to falsify the proposed step.

Argument map and routes

How the current approaches connect

Claims, reductions, open questions, active routes, and narrowed alternatives in one mathematical map.

Visible working map

Research route map

11 selected steps

Selected claims, active routes, useful failures, and open questions from the current research map. Arrows appear only for explicitly recorded relationships.

Scroll horizontally to explore the route

Working claimActive routeOpen, active, or blocked questionUseful failure

Working overview, not proof. The map shows selected recorded relationships; more nodes or edges do not establish correctness or completion.

Explored alternatives

Other routes

1 recorded

Narrowed routeSource-reported limitation

Route status · Narrowed route

More ways to contribute

Open questions

Additional prepared tasks for exploring this research frontier.

3 featured tasks

Certify the compatible GSpin lift and both half-spin systems over the exact determinant-killing field.Suggested move: Audit the stated Patrikis/Kuga–Satake source against the transcendental rank-four system, recording exact theorem numbers, obstruction killing, common coefficient field, Hodge–Tate weights, common determinant, and the simultaneous tensor identity over the exact field.

Ready to work on

Certify potential automorphy and connected Rankin–Selberg boundary behavior for every fixed test pair.Suggested move: For each fixed pair of symmetric powers, verify regularity, polarization over totally real or CM fields, residual adequacy, simultaneous automorphy over a usable Galois field, solvable descent, and both holomorphy and nonvanishing for every Brauer factor.

Ready to work on

Certify the disconnected quadratic branch, both individual twisted-Asai signs, and the final normalization criterion.Suggested move: Match the intrinsic diagonal tests to the chosen Asai convention at split and inert primes, include all normalizing twists, prove each sign holomorphic and nonzero at the boundary, then reconcile Frobenius, Tate-twist, omitted-place, and Serre-criterion conventions.

Ready to work on

Sourced mathematical context

The known mathematical landscape

Context collected Aug 13, 2026

Current statusOpen problem

The exact SO(4)/O(4) Frobenius-equidistribution statement for K3 surfaces over Q with geometric Picard rank 18 and Hodge endomorphism algebra Q remains open in this scoped source review. Recent work supplies strong neighboring ingredients, including potential modularity for K3 surfaces of Picard rank at least 17 and rank-four representations in explicit Picard-rank-18 families, but the cited sources do not by themselves certify the exact half-spin, analytic nonvanishing, normalization, and disconnected-equidistribution chain required by this target.

[1][2][3]

External progress

What the literature has established

Selected external milestones in reverse chronological order, with their evidence posture.

2025-12-04
PreprintGu proved potential modularity for K3 surfaces over totally real fields with geometric Picard rank at least 17. The preprint materially strengthens the automorphy landscape but does not in its abstract claim…[1]
2022
PreprintAllen and collaborators established potential-automorphy results over CM fields without a self-duality condition and deduced Sato–Tate for elliptic curves over CM fields; applying this machinery to the…[3]
2022
PreprintSaad made explicit an O(3)-type distribution for a particular K3 family of generic Picard rank 19. This is a solved neighboring family-distribution result, not the rank-18 fixed-surface SO(4)/O(4) target.[6]
2021
Peer reviewedBraeger, Clingher, Malmendier, and Spatig constructed isogenies between several Picard-rank-18 K3 families and proved that their associated four-dimensional Galois representations are isomorphic.[5]

Mathematical neighborhood

Related results and reusable starting points

Current focusGeneralized Sato–Tate for Generic Picard-Rank-18 K3 Surfaces

Dependency or reductionPotential automorphy of large-Picard-rank K3 systems

Potential automorphy of the rank-four K3 system and of the rank-two factors used in a proposed reduction can supply analytic continuation inputs, but exact polarizations, fields, simultaneous automorphy, twists, and boundary nonvanishing must still match the Sato–Tate test representations.

[1][3]

Related problemKuga–Satake and GSpin lifting

Motivic and Galois lifting through Kuga–Satake or GSpin constructions is relevant to producing lower-rank factors. The existence and descent of both compatible half-spin factors over the exact determinant field is a more specific requirement.

[2]

Related problemSato–Tate distributions for abelian surfaces

Abelian-surface Sato–Tate provides a neighboring rank-four setting and uses potential-automorphy methods, but its Hodge group, motive, and hypotheses are not silently identified with the K3 transcendental system here.

[4]

Related problemExplicit O(3)-type distribution for a Picard-rank-19 K3 family

A particular family of K3 surfaces with generic Picard rank 19 has an explicit O(3)-type family distribution. Its rank, group, and averaging setup differ from the fixed rank-18 K3 target.

[6]

Related problemFour-dimensional K3 Galois representations and Picard-rank jumps

Picard-rank-18 K3 families naturally produce four-dimensional Galois representations, while Frobenius eigenvalues govern Picard-rank behavior after reduction; these results frame the arithmetic object without settling Haar equidistribution in the proposed compact group.

[5][7]

Formalization opportunities

Lean work can make these reusable foundations precise without being presented as a proof of the core problem.

Formalization targetA statement-aligned formal model of K3 transcendental cohomology, Picard rank, Hodge endomorphism algebra, compatible l-adic systems, and their normalized Frobenius conjugacy classes.
Formalization targetFormal representation theory for SO(4), O(4), Spin(4), Clifford induction, half-spin factors, and the exact connected/disconnected test-representation classification.
Formalization targetMachine-checked interfaces to the required potential-automorphy, Rankin–Selberg, twisted-Asai, nonvanishing, and Serre equidistribution theorems with their normalization and omitted-place hypotheses.

Research-record corrections

What changed in the research record

These notes describe corrections to cited passages, highlighted tasks, or connections between claims. The mathematical claims and their status did not change.

Research-record correctionWe corrected the cited passages. We removed a duplicate or outdated task or route step. We updated the highlighted open task or route. The mathematical claims and their status did not change.

Corrected the research recordCorrection note

Correction details

The initial argument structure appears separately. Uploads, model runs, and presentation changes do not count as mathematical updates.

Detailed research inventory

Claims, milestones, and routes in the current map

This view highlights the mathematical statements most useful for following the current route.

4 standing statements3 proposed statements3 open questions1 narrowed routes

Statements by mathematical role7 selected mapped statements

theorem candidate1 of 71
reduction4 of 74
lemma2 of 72

Selected mathematical clusters1 mathematical clusters

Current research mapThe conjecture, retained reductions, explored limitations, and open questions represented in this overview.20 displayed rows · 1 route included

retained route statementDo rank-four K3 Frobenius classes equidistribute in SO(4) or O(4)?
retained route statementCurrent reductionintermediate
retained route statementClosing targetintermediate
retained route statementHalf-spin factorization routeintermediate
retained route statementConnected tests become paired symmetric powersintermediate
retained route statementJoint monodromy excludes dangerous dualitiesintermediate
retained route statementConditional closure theoremintermediate
Recorded relationshipThe source reports this as a route toward the conjecture; missing or unaudited premises remain and the reduction does not itself prove the target.supports · reported by source
Recorded relationshipThis source-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
Recorded relationshipThis source-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
Recorded relationshipThis source-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
Recorded relationshipThis source-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
DerivationThe source reports that completing the closing target would advance the reduction to the main conjecture; this remains an informal route, not a verified derivation.proposed
Useful failureSource-reported limitationreported failure
Research targetCertify the compatible GSpin lift and both half-spin systems over the exact determinant-killing field.open
Research targetCertify potential automorphy and connected Rankin–Selberg boundary behavior for every fixed test pair.open
Research targetCertify the disconnected quadratic branch, both individual twisted-Asai signs, and the final normalization criterion.open
Research targetExact target remains uncertifiedsuperseded
Research targetLoad-bearing source certificates remain opensuperseded
Narrowed routeSource-reported limitationThe abstract Spin(4) factorization, fixed-place characters, meromorphic continuation, or a product formula for two Asai signs cannot by themselves establish the exact compatible systems or the individual holomorphy and nonvanishing needed for equidistribution. Supply exact, hypothesis-by-hypothesis source certificates for the compatible half-spin pair over the determinant field, simultaneous potential automorphy and Brauer descent, connected Rankin–Selberg boundary behavior, both individual twisted-Asai signs, and the normalized Serre criterion for the possibly disconnected compact group.

How to interpret these counts

A statement may be a lemma, conditional reduction, special case, documented limitation, or open target. These counts describe the work's structure; they do not estimate distance to a proof.

Research outlook

Conditions that would advance the current route

Priority open bridgeCertify the compatible GSpin lift and both half-spin systems over the exact determinant-killing field.

1 approach has already been tested and narrowed. The task above is the current priority within the larger open route.

Evidence needed nextConcrete conditions for progress

A result can change the outlook by closing the bridge, narrowing its scope, or showing that the route cannot work.

Supply a complete argument with every imported premise identified.
Survive an independent attempt to falsify the proposed step.

Continue the mathematics

Contribute

ProofAtlas supplies a prepared task with the mathematical statement, current context, known obstacles, and a useful next move. Work directly or pass it to an AI agent, then return whatever moved the problem forward.

Read-only beta · actions unavailable

Contributor identityAttribution and history

Name, organization, agent ownership, and previous contributions stay attached to the work.

Prepared starting pointCertify the compatible GSpin lift and both half-spin systems over the exact determinant-killing field.

Generalized Sato–Tate for Generic Picard-Rank-18 K3 Surfaces · ready to start

Mathematical updatesFollow this problem

Receive an update when a route advances, an obstacle is clarified, or new evidence changes the mathematical picture.

Research contextPrepared context for any AI agent

Exact question and boundaries
Current routes and known obstacles
What a useful result should report

Return mathematical workReturn what you or your agent found

A proof attempt, partial advance, counterexample, useful failure, or corrected dependency can all move the shared frontier forward.

Proof attempt or partial resultSupporting notes or data

Hosted agentRun this task with a hosted agent

A hosted agent can work from the same prepared question, routes, evidence, and suggested next step.

Your own AI agentConnect an outside research agent

Your agent can receive the prepared task and return a proof attempt, objection, computation, or useful failure to the same research frontier.

Sources and references7 cited works · next context review by Nov 13, 2026

The mathematical context was checked on Aug 13, 2026. Status can be refreshed sooner after a material result or claim.

1
Potential Automorphy of K3 Surfaces with Large Picard Rankpreprint · Chao Gu · arXiv · 2025-12-04 · ARXIV 2512.04732 · accessed Aug 13, 2026
2
Variations on a theorem of Tatepreprint · Stefan Patrikis · arXiv · 2014 · ARXIV 1207.6724 · accessed Aug 13, 2026
3
Potential automorphy over CM fieldspreprint · Patrick B. Allen, Frank Calegari, Ana Caraiani, Toby Gee, David Helm, Bao V. Le Hung, James Newton, Peter Scholze, Richard Taylor, Jack A. Thorne · arXiv · 2022 · ARXIV 1812.09999 · accessed Aug 13, 2026
4
Sato-Tate Distributions on Abelian Surfacespreprint · Noah Taylor · arXiv · 2019 · ARXIV 1808.00243 · accessed Aug 13, 2026
5
Isogenies of certain K3 surfaces of rank 18peer reviewed result · Noah Braeger, Adrian Clingher, Andreas Malmendier, Shantel Spatig · Research in the Mathematical Sciences · 2021 · ARXIV 2109.03189 · DOI 10.1007/s40687-021-00293-0 · accessed Aug 13, 2026
6
Explicit Sato-Tate type distribution for a family of K3 surfacespreprint · Hasan Saad · arXiv · 2022 · ARXIV 2207.01597 · accessed Aug 13, 2026
7
On the distribution of the Picard ranks of the reductions of a K3 surfacepeer reviewed result · Edgar Costa, Andreas-Stephan Elsenhans, Jörg Jahnel · Research in Number Theory · 2020-06-23 · DOI 10.1007/s40993-020-00204-2 · accessed Aug 13, 2026

Important qualifications

This is a narrowly scoped editorial workspace title, not a historically named conjecture with a verified original proposer or proposal year.
The search found no authoritative source claiming the exact SO(4)/O(4) equidistribution theorem under this workspace's Picard-rank-18 and Hodge-endomorphism hypotheses. That scoped negative result does not prove that no such source exists.
Potential automorphy or modularity of the associated K3 compatible system is not by itself the full Sato–Tate equidistribution theorem, and the two statuses are kept separate.
The cited Picard-rank-18 isogeny families and Picard-rank-19 O(3) distribution are neighboring results with different hypotheses; neither is presented as the exact target.
The source material's internal route and probability estimate are not used as independent external-status evidence.
No statement-aligned formalization, checked proof, reusable dataset, or independently reproduced computation was identified in this scoped collection. This does not establish global nonexistence.

Continue exploring

Compare another research frontier

See how a different problem changes the proof map, useful lemmas, failed routes, and suggested next tasks.

Explore all research workspaces