Tangential morphisms via log arithmetic geometry

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

• The paper introduces a log-geometric reformulation of tangential morphisms that simplifies definitions and clarifies connections to tame fundamental groups.
• It uses fs log schemes and Kummer étale covering techniques to establish canonical isomorphisms between profinite étale and log fundamental groups.
• The work provides a robust framework with compositional and GAGA comparison properties, paving the way for advances in anabelian and arithmetic geometry.

Reformulation of Tangential Morphisms in Log Arithmetic Geometry

Overview

The paper "Tangential morphisms via log arithmetic geometry" (2606.07993) by Hoshi, Matsumoto, and Nakayama provides a succinct and rigorous reformulation of tangential morphisms—a generalization of Deligne’s tangential base points—in the language of log schemes and log arithmetic geometry. By leveraging the modern formalism of log structures, the authors achieve a conceptual simplification of the definition and foundational properties of tangential morphisms. The paper also clarifies their connections with tame fundamental groups, homotopy, composition, and GAGA-type comparison results.

Tangential Morphisms and Log Fundamental Groups

Tangential morphisms, as generalized by Matsumoto, facilitate understanding base points at singular loci or boundary components on schemes. The authors redefine these morphisms through the framework of fs (fine and saturated) log schemes, constructing a canonical pro-fs log scheme $\tilde Z$ associated to an ordinary scheme $Z$ mapping tangentially into a log scheme $V^*$. The main construction assigns to the tuple of divisors $(D_1, \ldots, D_l)$ a log structure on $V^*$ and on $U$ (the relevant open subscheme), allowing for charts defined by local equations $t_i$.

A central technical result is that the sequence of canonical morphisms

$$Z \to \tilde Z^{\mathrm{cl}} \leftarrow \tilde Z \to V^*$$

yields an isomorphism between the profinite étale fundamental group $\pi_1(Z)$ and the log fundamental group $\pi_1^{\log}(\tilde Z)$. The argument utilizes the fact that the closed nil-immersion $Z$0 induces an isomorphism on the underlying fundamental group, and that any Kummer étale covering of $Z$1 is strictly étale by local desingularization results in log geometry. Consequently, the morphisms give rise to a well-behaved functor from the étale $Z$2 of $Z$3 to the tame fundamental group of $Z$4.

The authors demonstrate that their morphism coincides with the original construction in [mat] and is canonical with respect to the chart and structure, depending only on the choice of basis for the normal cotangent bundle.

Homotopical Properties

The log-geometric framework clarifies the dependence of tangential morphisms on choices: an infinitesimal homotopy between two morphisms $Z$5 induces a canonical isomorphism between the corresponding pro-fs log schemes and hence a homotopy of functors on the étale fundamental groups. The essential point is that if the defining parameters $Z$6 for two charts differ multiplicatively by units congruent to $Z$7 modulo the ideal of $Z$8 in $Z$9, then the associated log structures are canonically isomorphic. Therefore, tangential morphisms (and the base point functors they induce) are, up to canonical isomorphism, independent of specific log chart choices, agreeing with the intuition behind Deligne’s original tangential base point construction.

Compositional Structure

The compatibility of the tangential morphism formalism with composition is encoded via a commutative diagram of log schemes constructed from nested tangential situations. The resulting pro-fs schemes and log structures enable a canonical homotopy between the composed functors and the functor associated to the composed morphism, in precise concordance with the compositional properties outlined in [mat]. This confirms that the log-geometric formalism fully retains the expected categorical structure.

GAGA Comparison

The authors construct a GAGA-type correspondence relating algebraic tangential points to their analytic analogues by considering the associated analytic log schemes and their universal log covers. By analyzing the functor of points on these spaces (using global sections over the universal covering torus $V^*$0), they show that the induced homomorphism on log topological and étale fundamental groups is an isomorphism after profinite completion—recovering the expected comparison between algebraic and analytic monodromy (as in SGA1), now extended to tangential and log settings.

Significance and Implications

The log-geometric reformulation provided in this paper furnishes an axiomatic and transparent approach to tangential base points and morphisms, facilitating computation and clarifying their functorial and homotopical properties. The construction immediately identifies the connection to tame fundamental groups and Kummer étale covers, and signals that the functoriality is robust with respect to all log-geometric base changes and compositions.

The paper’s explicit treatment fills a gap in the literature by writing down details understood in the folklore, thus supporting precise communication and further development within the anabelian geometry and log geometry communities. The methods may influence future work on moduli spaces, wild ramification, and the study of fundamental groupoids in logarithmic and non-archimedean settings, since explicit log interpretations frequently allow finer control over ramification phenomena and base points at infinity.

There is a plausible trajectory for extending these results to higher stacks, logarithmic motifs, and p-adic cohomological contexts. The compatibility with GAGA suggests applications in comparisons between arithmetic and complex geometric fundamental groups, with potential implications for the theory of periods, fundamental group actions, and non-abelian Hodge-theoretic phenomena.

Conclusion

This study offers a concise, conceptually clear reformulation of tangential morphisms within log arithmetic geometry, rigorously detailing their properties, functoriality, homotopical invariance, and compatibility with composition and GAGA correspondences. The log-geometric approach not only simplifies definitions but also ensures that all necessary categorical and topological compatibility conditions are met transparently. This work establishes a foundation for further research at the intersection of anabelian geometry, log schemes, and arithmetic fundamental groups.