Why this work is in the frame
A frame that forgets how it found something cannot be audited. These are the routes that admitted this work.
Bibliographic record
Abstract
We verify, for each odd prime p<1000, a conjecture of W. G. McCallum and R. T. Sharifi on the surjectivity of pairings on p-units constructed out of the cup product on the first Galois cohomology group of the maximal unramified outside p extension of Q(μp) with μp-coefficients. In the course of the proof, we relate several Iwasawa-theoretic and Hida-theoretic objects. In particular, we construct a canonical isomorphism between an Eisenstein ideal modulo its square and the second graded piece in an augmentation filtration of a classical Iwasawa module over an abelian pro-p Kummer extension of the cyclotomic Zp-extension of an abelian field. This Kummer extension arises from the Galois representation on an inverse limit of ordinary parts of first cohomology groups of modular curves which was considered by M. Ohta in order to give another proof of the Iwasawa main conjecture in the spirit of that of B. Mazur and A. Wiles. In turn, we relate the Iwasawa module over the Kummer extension to the quotient of the tensor product of the classical cyclotomic Iwasawa module and the Galois group of the Kummer extension by the image of a certain reciprocity map that is constructed out of an inverse limit of cup products up the cyclotomic tower. We give an application to the structure of the Selmer groups of Ohta's modular representation taken modulo the Eisenstein ideal
Fetched live from OpenAlex and de-inverted. Abstracts are not stored in this database: the inverted indexes are 8.6 GB of the frame’s 9.3 GB of text, and the host has 13 GB free.
Full frame distilled prediction
Teacher imitationNot calibrated prevalence, not ground truth. Human validation pending. Learned from the 10,348 direct Codex labels and 10,348 direct Gemma labels. Candidate is the union of thresholded teacher heads; consensus is their intersection. These outputs are machine_predicted_unvalidated and are not human labels or direct frontier model labels.
Codex and Gemma teacher scores by category
| Category | Codex | Gemma |
|---|---|---|
| Metaresearch | 0.017 | 0.004 |
| Meta-epidemiology (narrow) | 0.000 | 0.000 |
| Meta-epidemiology (broad) | 0.000 | 0.000 |
| Bibliometrics | 0.000 | 0.000 |
| Science and technology studies | 0.000 | 0.001 |
| Scholarly communication | 0.000 | 0.000 |
| Open science | 0.000 | 0.000 |
| Research integrity | 0.000 | 0.001 |
| Insufficient payload (model declined to judge) | 0.001 | 0.000 |
Machine scores (provisional)
The two teacher heads of the student model, read on this work. A score orders the frame for review; it never asserts a category, and the validation status ships verbatim with every row.
Baseline scores from an immature model (maturity gate not passed, 7 training rounds). Scores rank; they never assert a category.
score_only:v0-immature-baseline · verbatim from the scoring run: score_only means the number may rank works, and no category label ships from it