policy_visibility: public

allowed_tools: SageMath or SymPy for Schubert-calculus coefficient extraction

allowed_tools: certified numerical algebraic geometry followed by exact verification

conjecture: There exists a smooth complex cubic sevenfold X in P^8 whose Fano scheme F_3(X) is finite of length 321489, reduced except at exactly one 3-plane Lambda, where the completed local ring is C[[t]]/(t^2). Consequently the geometric monodromy of the 321489 three-planes on a general cubic sevenfold is the full symmetric group S_321489.

definitions: F_3(X) is the zero scheme on Gr(4,9) of the section of Sym^3(S dual) induced by the cubic equation. An ordinary double plane is an isolated point Lambda whose completed local Fano algebra is C[[t]]/(t^2). The universal incidence over the open locus of finite reduced Fano schemes is a degree-321489 finite etale cover, and its geometric monodromy acts on those planes.

instruction: Attempt to prove or refute the stated conjecture for “A single simple branch among 321,489 planes”. A valid submission may instead complete one or more scored milestones. Every theorem, computation, and literature claim must be labeled as proved, reproduced, inferred, or conjectural. Do not convert a heuristic, dimension count, numerical approximation, or known special case into a claim about the full conjecture. Return all reproducible code, exact inputs, and machine-checkable outputs used.

required_deliverables: claim_status: proved, disproved, partial, or inconclusive

required_deliverables: a precise main result with hypotheses and quantifiers

required_deliverables: a complete proof or reproducible computation for each claimed milestone

required_deliverables: an adversarial check or counterexample search

required_deliverables: a list of unresolved gaps and dependencies

required_deliverables: a literature boundary that distinguishes known input from new work

split: eval


allowed_tools: Borel-Weil-Bott and Jacobian-ring calculations

conjecture: Let Y be a general line-regular Picard-rank-one smooth complex Fano threefold with Pic(Y)=Z[A], A a very ample primitive generator, and -K_Y=iota A. For all sufficiently large d, every component of the Noether-Lefschetz locus of smooth surfaces in |dA| has codimension at least d-iota+1, and equality occurs exactly for the loci of surfaces containing a line from an irreducible component of the Hilbert scheme of A-lines.

definitions: The Noether-Lefschetz locus consists of smooth S in |dA| for which Pic(Y)->Pic(S) is not surjective. An A-line is a smooth rational curve ell with A.ell=1. Line-regular means that the line Hilbert scheme is nonempty, generically reduced, pure of the expected dimension iota, and has an unobstructed general member in each component.

instruction: Attempt to prove or refute the stated conjecture for “Lines as the largest Noether-Lefschetz loci on Fano threefolds”. A valid submission may instead complete one or more scored milestones. Every theorem, computation, and literature claim must be labeled as proved, reproduced, inferred, or conjectural. Do not convert a heuristic, dimension count, numerical approximation, or known special case into a claim about the full conjecture. Return all reproducible code, exact inputs, and machine-checkable outputs used.

required_deliverables: claim_status: proved, disproved, partial, or inconclusive

required_deliverables: a precise main result with hypotheses and quantifiers

required_deliverables: a complete proof or reproducible computation for each claimed milestone

required_deliverables: an adversarial check or counterexample search

required_deliverables: a list of unresolved gaps and dependencies

required_deliverables: a literature boundary that distinguishes known input from new work


allowed_tools: exact random specialization over finite fields

conjecture: Fix a nonempty irreducible characteristic-zero parameter family of clean tree arrangements X=union X_v in projective space, with fixed tree, Hilbert polynomials, span dimensions, and incidence data, such that every component X_v and every edge overlap D_e is a variety of minimal degree in its span. For a general member, every signed restriction map Phi_q from the direct sum of the degree-(q+1) pieces of Tor_q of the vertex coordinate rings to the corresponding direct sum for the edge coordinate rings has maximal rank.

definitions: A clean tree arrangement has scheme-theoretic pairwise intersections exactly along the edges of a tree, no triple intersections, and a leaf ordering in which each new component meets the previous union only in its parent overlap and the two relevant linear spans intersect in the span of that overlap. The map Phi_q is induced by the two quotient maps R_v -> R_e at every edge, with opposite signs. Maximal rank means rank equal to the minimum of the total source and target dimensions.

instruction: Attempt to prove or refute the stated conjecture for “Generic maximal-rank edge maps for tree-glued varieties of minimal degree”. A valid submission may instead complete one or more scored milestones. Every theorem, computation, and literature claim must be labeled as proved, reproduced, inferred, or conjectural. Do not convert a heuristic, dimension count, numerical approximation, or known special case into a claim about the full conjecture. Return all reproducible code, exact inputs, and machine-checkable outputs used.

required_deliverables: claim_status: proved, disproved, partial, or inconclusive

required_deliverables: a precise main result with hypotheses and quantifiers

required_deliverables: a complete proof or reproducible computation for each claimed milestone

required_deliverables: an adversarial check or counterexample search

required_deliverables: a list of unresolved gaps and dependencies

required_deliverables: a literature boundary that distinguishes known input from new work


allowed_tools:
SageMath
Normaliz
polymake
Macaulay2
exact numerical-semigroup code

conjecture: Let X be a smooth projective toric Fano variety of dimension n over an algebraically closed characteristic-zero field. Let M_X be the monoid of integral numerical curve classes nonnegative on every effective divisor, let g_X be the gcd of the positive anticanonical degrees -K_X.beta for beta in M_X, and normalize those degrees by g_X. The conductor c_X of the resulting numerical semigroup satisfies c_X <= floor((n+1)^2/4). Equivalently, every normalized integer at least floor((n+1)^2/4) is the anticanonical degree of a free morphism P1 -> X.

definitions: N_1(X)_Z is the numerical curve lattice. M_X=N_1(X)_Z intersect Eff^1(X)^dual consists of integral classes beta with D.beta>=0 for every effective divisor D. Gamma_X is {0} union {(-K_X.beta)/g_X: nonzero beta in M_X}, where g_X is the gcd of all positive degrees. Its conductor is the least c such that every integer m>=c lies in Gamma_X. A map f:P1->X is free when f^*T_X is globally generated; multiple covers are allowed.

instruction: Attempt to prove or refute the stated conjecture for “A conductor bound for free anticanonical degrees on toric Fano varieties”. A valid submission may instead complete one or more scored milestones. Every theorem, computation, and literature claim must be labeled as proved, reproduced, inferred, or conjectural. Do not convert a heuristic, dimension count, numerical approximation, or known special case into a claim about the full conjecture. Return all reproducible code, exact inputs, and machine-checkable outputs used.

required_deliverables: claim_status: proved, disproved, partial, or inconclusive

required_deliverables: a precise main result with hypotheses and quantifiers

required_deliverables: a complete proof or reproducible computation for each claimed milestone

required_deliverables: an adversarial check or counterexample search

required_deliverables: a list of unresolved gaps and dependencies

required_deliverables: a literature boundary that distinguishes known input from new work


allowed_tools:
SageMath lattice computations
Magma
symbolic intersection calculations
finite congruence-image computation

conjecture: Let Z be a smooth simply connected complex projective variety of dimension n+1 at least 2 and A an ample line bundle. For d sufficiently large, let U_d be the smooth-divisor locus in |A^d| and let Lambda_d be the saturated orthogonal complement of the ambient middle cohomology inside the torsion-free H^n of a smooth divisor, with its intersection form Q_d. Then the image of pi_1(U_d) in Aut(Lambda_d,Q_d) has finite index.

definitions: The integral vanishing lattice Lambda_d is (i^*H^n(Z,Z)_free)^{perp,sat} inside H^n(Y,Z)_free for a smooth Y in |A^d|. Its pairing is alternating for odd n and symmetric for even n. Finite index permits the monodromy to preserve a spin, quadratic, characteristic, or other finite refinement, so the conjecture does not predict surjectivity.

instruction: Attempt to prove or refute the stated conjecture for “Arithmeticity of vanishing cohomology in high-power linear systems”. A valid submission may instead complete one or more scored milestones. Every theorem, computation, and literature claim must be labeled as proved, reproduced, inferred, or conjectural. Do not convert a heuristic, dimension count, numerical approximation, or known special case into a claim about the full conjecture. Return all reproducible code, exact inputs, and machine-checkable outputs used.

required_deliverables: claim_status: proved, disproved, partial, or inconclusive

required_deliverables: a precise main result with hypotheses and quantifiers

required_deliverables: a complete proof or reproducible computation for each claimed milestone

required_deliverables: an adversarial check or counterexample search

required_deliverables: a list of unresolved gaps and dependencies

required_deliverables: a literature boundary that distinguishes known input from new work


allowed_tools:
SageMath
configuration-space chain complexes
spectral-sequence bookkeeping code
computer algebra for Cox presentations

conjecture: Let C be a fixed smooth projective complex curve of genus g and X a smooth projective toric variety. For every i there is B(i,g,Sigma) such that, if a curve class beta satisfies beta.D_rho >= B for every invariant prime divisor, then the inclusion of the based algebraic mapping space Mor^*_beta(C,X) into the corresponding based continuous mapping-space component induces an isomorphism on integral homology in every degree at most i.

definitions: Mor^*_beta(C,X) consists of algebraic maps f:C->X taking a fixed c_0 to a fixed dense-torus point x_0 and representing beta, with its complex-analytic topology. Map^*_beta is the corresponding component of the based continuous mapping space. Componentwise positivity means that every d_rho=beta.D_rho tends to infinity, not merely one chosen ample degree.

instruction: Attempt to prove or refute the stated conjecture for “An integral Segal theorem for toric targets”. A valid submission may instead complete one or more scored milestones. Every theorem, computation, and literature claim must be labeled as proved, reproduced, inferred, or conjectural. Do not convert a heuristic, dimension count, numerical approximation, or known special case into a claim about the full conjecture. Return all reproducible code, exact inputs, and machine-checkable outputs used.

required_deliverables: claim_status: proved, disproved, partial, or inconclusive

required_deliverables: a precise main result with hypotheses and quantifiers

required_deliverables: a complete proof or reproducible computation for each claimed milestone

required_deliverables: an adversarial check or counterexample search

required_deliverables: a list of unresolved gaps and dependencies

required_deliverables: a literature boundary that distinguishes known input from new work


conjecture: Let X be a d-dimensional projective homogeneous variety under a semisimple algebraic group over a field k, and let p be a prime. In Chow motives with F_p coefficients, the ideal I_X,p of endomorphisms of M(X) that vanish after base change to an algebraic closure satisfies I_X,p^((d+1)!)=0.

definitions: I_X,p is the kernel of End(M(X))->End(M(X_bar)) in the category of Chow motives with F_p coefficients. Its elements are degree-zero correspondences in CH^d(X times X;F_p), and ideal multiplication is composition of correspondences. Strong Rost nilpotence asks that one exponent kill every mixed product in this ideal, not only powers of each individual element.

instruction: Attempt to prove or refute the stated conjecture for “A factorial bound for Rost nilpotence”. A valid submission may instead complete one or more scored milestones. Every theorem, computation, and literature claim must be labeled as proved, reproduced, inferred, or conjectural. Do not convert a heuristic, dimension count, numerical approximation, or known special case into a claim about the full conjecture. Return all reproducible code, exact inputs, and machine-checkable outputs used.

required_deliverables: claim_status: proved, disproved, partial, or inconclusive

required_deliverables: a precise main result with hypotheses and quantifiers

required_deliverables: a complete proof or reproducible computation for each claimed milestone

required_deliverables: an adversarial check or counterexample search

required_deliverables: a list of unresolved gaps and dependencies

required_deliverables: a literature boundary that distinguishes known input from new work


allowed_tools: equivariant K-theory software where available

allowed_tools: symbolic finite-group character calculations

conjecture: For a labelled rigid genus-zero tropical type tau in a projective log-smooth simple-normal-crossings degeneration over characteristic zero, let B_tau be the derived fiber product of the vertex stable-map moduli along evaluation diagonals, let M_tau be the moduli of basic logarithmic maps of that type, and let mu_tau forget the logarithmic root choices. If A_tau is the torsion cokernel of the tropical integral matching map and G_tau is its Cartier dual, then mu_tau is canonically a G_tau-torsor after rigidification, the obstruction theory of M_tau is the finite-etale pullback of the virtual diagonal-gluing theory, and R mu_(tau,*) O^vir_(M_tau) = F_tau tensor mu_(tau,*) O_(M_tau) in G_tau-equivariant G-theory. Etale-locally the second factor is the regular representation, so every character occurs once; forgetting characters recovers only the usual scalar tropical multiplicity |A_tau|.

definitions: The vertex moduli M_v parametrize relative or expanded stable maps associated with the vertices of the labelled genus-zero tree tau. Their derived fiber product B_tau is formed by matching evaluations for every bounded edge, and F_tau is the K-theoretic virtual pullback of the external product of their virtual structure sheaves along those diagonals. The integral matching map Phi_tau records the edge and vertex matching equations; A_tau=tors(coker Phi_tau), and G_tau=D(A_tau) is its finite diagonalizable Cartier dual. For the independent-edge benchmark with contact orders m_e, G_tau is the product of the groups mu_(m_e). Rigidification means quotienting the labelled type stack by the explicitly specified residual automorphism inertia before asserting that mu_tau is a torsor.

instruction: Attempt to prove or refute the stated conjecture for “A character-valued logarithmic gluing formula”. A valid submission may instead complete one or more scored milestones. Every theorem, computation, and literature claim must be labeled as proved, reproduced, inferred, or conjectural. Do not convert a heuristic, dimension count, numerical approximation, or known special case into a claim about the full conjecture. Return all reproducible code, exact inputs, and machine-checkable outputs used.

required_deliverables: claim_status: proved, disproved, partial, or inconclusive

required_deliverables: a precise main result with hypotheses and quantifiers

required_deliverables: a complete proof or reproducible computation for each claimed milestone

required_deliverables: an adversarial check or counterexample search

required_deliverables: a list of unresolved gaps and dependencies

required_deliverables: a literature boundary that distinguishes known input from new work


allowed_tools: computer algebra for complete intersections

conjecture: Let p be odd, let p not divide 2d, and let M be the moduli stack of primitively polarized K3 surfaces of degree 2d over F_p. The degree -2 cyclotomic homotopy object of THH globalizes to a base-change-compatible V-complete Cartier sheaf for the universal K3 family. For h=1,...,10, its successive V-adic Frobenius obstructions are sections a_h of the Hodge line lambda^(p^h-1), and the recursive derived zero locus obtained by imposing a_1,...,a_h has classical truncation equal to the natural scheme-theoretic height-at-least-(h+1) stratum, with height at least 11 interpreted as the supersingular locus. On the finite-height locus the successive inclusions are regular Cartier divisors, while the tenth obstruction recovers the natural multiplicity-two supersingular cycle.

definitions: For a K3 surface X over a perfect field, C(X)=pi_{-2}^{cyc} THH(X) is a derived V-complete p-typical Cartier module. Antieau-Nikolaus identify it with H^2(X,W O_X). Finite V-quotients recover finite Witt cohomology, and van der Geer-Katsura characterize the formal Brauer height as the least Witt level at which Frobenius is nonzero. A relative cyclotomic Cartier sheaf is a sheafified family of these objects with strong base change. After lower Frobenius components vanish, the next semilinear coefficient defines a higher Hasse section in lambda^(p^h-1).

instruction: Attempt to prove or refute the stated conjecture for “A cyclotomic Hasse tower for K3 moduli”. A valid submission may instead complete one or more scored milestones. Every theorem, computation, and literature claim must be labeled as proved, reproduced, inferred, or conjectural. Do not convert a heuristic, dimension count, numerical approximation, or known special case into a claim about the full conjecture. Return all reproducible code, exact inputs, and machine-checkable outputs used.

required_deliverables: claim_status: proved, disproved, partial, or inconclusive

required_deliverables: a precise main result with hypotheses and quantifiers

required_deliverables: a complete proof or reproducible computation for each claimed milestone

required_deliverables: an adversarial check or counterexample search

required_deliverables: a list of unresolved gaps and dependencies

required_deliverables: a literature boundary that distinguishes known input from new work


allowed_tools:
spectral-sequence computation
derived log-cotangent calculations
group cohomology software
exact Kummer-extension arithmetic

conjecture: Let L/K be a finite Galois extension of p-adic local fields with group G, and give their valuation rings the divisorial log structures. The p-completed log-TP descent map TP^log(O_K;Z_p) -> TP^log(O_L;Z_p)^{hG} is an equivalence if and only if L/K is tamely ramified. For a totally ramified Kummer extension pi_K=pi_L^e with p dividing e, the module O_L/e O_L generated by dlog(pi_L) is the first wild class in the Hodge-Tate linearization and survives in the filtered descent defect.

definitions: TP^log(O_K;Z_p) is the circle Tate construction on p-completed cyclotomic logarithmic THH of the divisorial pre-log ring (O_K,M_K). The descent defect D_TP^log(L/K) is the fiber of the map from the base log-TP spectrum to G-homotopy fixed points of the extension spectrum. Tame means that the ramification index is prime to p; residue extensions of p-adic local fields are automatically separable.

instruction: Attempt to prove or refute the stated conjecture for “Logarithmic TP as a tame-ramification detector”. A valid submission may instead complete one or more scored milestones. Every theorem, computation, and literature claim must be labeled as proved, reproduced, inferred, or conjectural. Do not convert a heuristic, dimension count, numerical approximation, or known special case into a claim about the full conjecture. Return all reproducible code, exact inputs, and machine-checkable outputs used.

required_deliverables: claim_status: proved, disproved, partial, or inconclusive

required_deliverables: a precise main result with hypotheses and quantifiers

required_deliverables: a complete proof or reproducible computation for each claimed milestone

required_deliverables: an adversarial check or counterexample search

required_deliverables: a list of unresolved gaps and dependencies

required_deliverables: a literature boundary that distinguishes known input from new work