Tangential morphisms via log arithmetic geometry

Chikara Nakayama; Makoto Matsumoto; Yuichiro Hoshi

arxiv: 2606.07993 · v1 · pith:YEQ6ILOMnew · submitted 2026-06-06 · 🧮 math.AG

Tangential morphisms via log arithmetic geometry

Yuichiro Hoshi , Makoto Matsumoto , Chikara Nakayama This is my paper

Pith reviewed 2026-06-27 19:20 UTC · model grok-4.3

classification 🧮 math.AG

keywords tangential morphismslog geometryDeligne tangential base pointarithmetic geometrylog schemesreformulation

0 comments

The pith

Tangential morphisms admit a reformulation via log arithmetic geometry.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper reformulates tangential morphisms using the language of log geometry. These morphisms generalize Deligne's tangential base point. The reformulation translates the concept into structures on log schemes. A sympathetic reader would care because the new description may allow log-geometric methods to address questions about base points and morphisms in arithmetic geometry.

Core claim

Tangential morphisms, which generalize Deligne's tangential base point, can be reformulated using log geometry.

What carries the argument

Log geometry on schemes, which supplies the structures needed to capture tangential data at points.

Load-bearing premise

The original definition and properties of tangential morphisms translate faithfully into log geometry without losing or adding essential features.

What would settle it

An explicit morphism between schemes that meets the tangential condition but fails the corresponding log-geometric condition, or the reverse.

read the original abstract

We give a reformulation of tangential morphisms (which is a generalization of Deligne's tangential base point) via log geometry.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper announces a log-geometric reformulation of tangential morphisms but supplies no construction or verification that the new version matches the original properties.

read the letter

The main point is a reformulation of tangential morphisms, which generalize Deligne's tangential base points, now expressed through log arithmetic geometry. The authors position log structures as a setting that might handle the tangential data more naturally in arithmetic contexts.

What stands out as new is the explicit link between these morphisms and log geometry. If the paper defines log schemes or log structures that encode the tangential information and then proves that the resulting morphisms recover the classical ones, that connection could be the useful piece for people already using log methods.

The paper does not show much beyond the announcement itself. The central requirement is that the log version must preserve the essential features of tangential morphisms, including compatibility with étale fundamental groupoids and basepoint actions. The abstract states that such a reformulation exists but gives no definitions, no comparison map, and no check that nothing is lost or added. This leaves the key assumption untested, which is a substantial gap rather than a minor omission.

The work targets a narrow audience already comfortable with both anabelian geometry and log schemes. A reader outside that intersection will find little to engage with, and even inside it the absence of visible details limits the value. The citation pattern cannot be checked from what is here, but any such note would need to engage the standard references on log fundamental groups to be credible.

I would not bring this to a reading group. I would not cite it. It does not deserve peer review because the claim cannot be evaluated from the available content.

Referee Report

1 major / 0 minor

Summary. The manuscript claims to provide a reformulation of tangential morphisms—a generalization of Deligne's tangential base point—using the language and structures of log arithmetic geometry.

Significance. If a faithful reformulation exists that preserves compatibility with étale fundamental groupoids, basepoint actions, and tangential data without introducing extraneous features or circularity, the result could supply new tools for arithmetic geometry by connecting classical tangential constructions to log schemes. However, the manuscript supplies no explicit construction, comparison map, or preservation proof, so the potential significance cannot be evaluated from the given text.

major comments (1)

The manuscript consists solely of the one-sentence abstract; no definitions of tangential morphisms or log-geometric structures, no comparison theorem, and no verification that essential properties (e.g., groupoid compatibility) are preserved appear anywhere in the text. This renders the central claim unverifiable and the weakest assumption—that the translation is faithful—uncheckable.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the report. The observation that the submitted text contains only the abstract is accurate, and the manuscript as posted does not contain the definitions, constructions, or proofs needed to substantiate the claim.

read point-by-point responses

Referee: The manuscript consists solely of the one-sentence abstract; no definitions of tangential morphisms or log-geometric structures, no comparison theorem, and no verification that essential properties (e.g., groupoid compatibility) are preserved appear anywhere in the text. This renders the central claim unverifiable and the weakest assumption—that the translation is faithful—uncheckable.

Authors: The referee is correct. The version under review consists only of the abstract sentence and supplies none of the required definitions, comparison maps, or preservation arguments. Because the central claim cannot be checked from the given text, the manuscript requires a complete rewrite that includes an explicit reformulation, the relevant log-geometric structures, and proofs of compatibility with étale fundamental groupoids and tangential data. revision: yes

Circularity Check

0 steps flagged

Reformulation presented without self-referential reduction or load-bearing self-citation

full rationale

The paper's central claim is the existence of a reformulation of tangential morphisms in log geometry. No equations, definitions, or derivation steps are supplied in the accessible content that reduce a claimed result to its own inputs by construction. No self-citations are invoked to justify uniqueness or to carry the main argument. The reformulation is therefore treated as an independent translation whose fidelity would be verified by direct comparison to the classical definition, not by internal circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available, so no free parameters, axioms, or invented entities are identifiable.

pith-pipeline@v0.9.1-grok · 5526 in / 957 out tokens · 19903 ms · 2026-06-27T19:20:12.261128+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

8 extracted references

[1]

Fujiwara and K

K. Fujiwara and K. Kato, Logarithmic etale topology theory, preprint, 1995

1995
[2]

Grothendieck, M

A. Grothendieck, M. Raynaud, and D. S. Rim, Revˆ etements ´ etales et groupe fondamental (SGA1), Lecture Notes in Math. 224, Springer-Verlag, 1971

1971
[3]

Hoshi, The exactness of the log homotopy sequence, Hiroshima Math

Y. Hoshi, The exactness of the log homotopy sequence, Hiroshima Math. J. 39 (1) (2009), 61–122

2009
[4]

Illusie, An overview of the work of K

L. Illusie, An overview of the work of K. Fujiwara, K. Kato, and C. Nakayama on logarithmic ´ etale cohomology. In: Cohomologiesp-adiques et applications Arithm´ etiques (II) (P. Berthelot, J. M. Fontaine, L. Illusie, K. Kato and M. Rapoport., ´ ed.), Ast´ erisque 279 (2002), 271–322

2002
[5]

Kato, Logarithmic structures of Fontaine-Illusie

K. Kato, Logarithmic structures of Fontaine-Illusie. II. — Logarithmic flat topology, Tokyo J. Math. 44 (1), (2021), 125–155

2021
[6]

Matsumoto, Galois groupG Q, singularityE 7, and moduliM 3

M. Matsumoto, Galois groupG Q, singularityE 7, and moduliM 3. In: Ge- ometric Galois Actions (Schneps, L., Lochak, P., eds.), London Mathe- matical Society Lecture Note Series, Cambridge University Press, 1997, 179–218

1997
[7]

J. Stix, Projective anabelian curves in positive characteristic and descent theory for log-´ etale covers, Dissertation (Rheinische Friedrich-Wilhelms- Universit¨ at Bonn, 2002), Bonner Math. Schriften, 354, Universit¨ at Bonn, Mathematisches Institut, 2002

2002
[8]

Vidal, Contributions ` a la cohomologie ´ etale des sch´ emas et des log- sch´ emas, Th´ ese, U

I. Vidal, Contributions ` a la cohomologie ´ etale des sch´ emas et des log- sch´ emas, Th´ ese, U. Paris-Sud, 2001. Yuichiro Hoshi Research Institute for Mathematical Sciences Kyoto University, Kyoto 606-8502 Japan yuichiro@kurims.kyoto-u.ac.jp Makoto Matsumoto 4 AMAGAERU Institute of Free Mathematics 2-37-6 Narita-Higashi, Suginami-ku, Tokyo 166-0015 Ja...

2001

[1] [1]

Fujiwara and K

K. Fujiwara and K. Kato, Logarithmic etale topology theory, preprint, 1995

1995

[2] [2]

Grothendieck, M

A. Grothendieck, M. Raynaud, and D. S. Rim, Revˆ etements ´ etales et groupe fondamental (SGA1), Lecture Notes in Math. 224, Springer-Verlag, 1971

1971

[3] [3]

Hoshi, The exactness of the log homotopy sequence, Hiroshima Math

Y. Hoshi, The exactness of the log homotopy sequence, Hiroshima Math. J. 39 (1) (2009), 61–122

2009

[4] [4]

Illusie, An overview of the work of K

L. Illusie, An overview of the work of K. Fujiwara, K. Kato, and C. Nakayama on logarithmic ´ etale cohomology. In: Cohomologiesp-adiques et applications Arithm´ etiques (II) (P. Berthelot, J. M. Fontaine, L. Illusie, K. Kato and M. Rapoport., ´ ed.), Ast´ erisque 279 (2002), 271–322

2002

[5] [5]

Kato, Logarithmic structures of Fontaine-Illusie

K. Kato, Logarithmic structures of Fontaine-Illusie. II. — Logarithmic flat topology, Tokyo J. Math. 44 (1), (2021), 125–155

2021

[6] [6]

Matsumoto, Galois groupG Q, singularityE 7, and moduliM 3

M. Matsumoto, Galois groupG Q, singularityE 7, and moduliM 3. In: Ge- ometric Galois Actions (Schneps, L., Lochak, P., eds.), London Mathe- matical Society Lecture Note Series, Cambridge University Press, 1997, 179–218

1997

[7] [7]

J. Stix, Projective anabelian curves in positive characteristic and descent theory for log-´ etale covers, Dissertation (Rheinische Friedrich-Wilhelms- Universit¨ at Bonn, 2002), Bonner Math. Schriften, 354, Universit¨ at Bonn, Mathematisches Institut, 2002

2002

[8] [8]

Vidal, Contributions ` a la cohomologie ´ etale des sch´ emas et des log- sch´ emas, Th´ ese, U

I. Vidal, Contributions ` a la cohomologie ´ etale des sch´ emas et des log- sch´ emas, Th´ ese, U. Paris-Sud, 2001. Yuichiro Hoshi Research Institute for Mathematical Sciences Kyoto University, Kyoto 606-8502 Japan yuichiro@kurims.kyoto-u.ac.jp Makoto Matsumoto 4 AMAGAERU Institute of Free Mathematics 2-37-6 Narita-Higashi, Suginami-ku, Tokyo 166-0015 Ja...

2001