Related papers: On different notions of tameness in arithmetic geo…
The aim of this paper to prove that the ramified Prym map restricted to the locus of coverings of quintic plane curves ramified in 2 points is generically injective.
We are interested in shapes of real algebraic curves in the plane and regions surrounded by them: they are named refined algebraic domains by the author. As characteristic finite sets, we consider points contained in two curves and the sets…
Higher-dimensional category theory is the study of n-categories, operads, braided monoidal categories, and other such exotic structures. Although it can be treated purely as an algebraic subject, it is inherently topological in nature: the…
We show that any of a large class of schemes receives a universal homeomorphism from a reduced scheme that in turn receives no nontrivial universal homeomorphism from any other reduced scheme. This construction serves as a categorical input…
Framed combinatorial topology is a recent approach to tame geometry which expresses higher-dimensional stratified spaces via tractable combinatorial data. The resulting theory of spaces is well-behaved and computable. In this paper we…
An investigation of morphisms that coincide topologically is used to generalize to all characteristics and partly reprove Tamagawa's theorem on the Grothendieck conjecture in anabelian geometry for affine hyperbolic curves. The theorem now…
It has long been known that to a complex cubic surface or threefold one can canonically associate a principally polarized abelian variety. We give a construction which works for cubics over an arithmetic base. This answers, away from the…
We introduce the notion of a higher covering diagram in a base $\infty$-category $\mathcal{C}$. The theory of higher covering diagrams in $\mathcal{C}$ will be shown to recover various descent conditions known from the $\infty$-categorical…
We introduce and study tame homeomorphisms of surfaces of infinite type. These are maps for which curves under iterations do not accumulate onto geodesic laminations with non-proper leaves, but rather just a union of possibly intersecting…
In topology, the notions of the fundamental group and the universal cover are closely intertwined. By importing usual notions from topology into the algebraic and arithmetic setting, we construct a fundamental group family from a universal…
On the basis of the covariant description of the canonical formalism for quantization, we present the basic elements of the symplectic geometry for a restricted class of topological defects propagating on a curved background spacetime. We…
In this paper, we provide an upgrade of Deligne's geometric class field theory for tamely ramified Galois groups using logarithmic geometry. In particular, we define a framed logarithmic Picard space, and show that a logarithmic…
We prove a characterization of profinite algebras, i.e., topological algebras that are isomorphic to a projective limit of finite discrete algebras. In general profiniteness concerns both the topological and algebraic characteristics of a…
We prove a conjecture of Griffiths on simultaneous normalization of all periods which asserts that the image of the lifted period map on the universal cover lies in a bounded domain in a complex Euclidean space. As an application we prove…
We discuss two elementary constructions for covers with fixed ramification in positive characteristic. As an application, we compute the number of certain classes of covers between projective lines branched at 4 points and obtain…
We study stable reduction of curves in the case where a tamely ramified base extension is sufficient. If X is a smooth curve defined over the fraction field of a strictly henselian discrete valuation ring, there is a criterion, due to T.…
The fundamental groupoid of a space becomes enriched over the category of topological spaces when the hom-sets are endowed with topologies intimately related to universal constructions of topological groups. This paper is devoted to a…
One fundamental consequence of a scheme $X$ being proper is that the functor classifying maps from $X$ to any other suitably nice scheme or algebraic stack is representable by an algebraic stack. This result has been generalized by…
Since the time when the first optical instruments have been invented, an idea that the visible image of an object under observation depends on tools of observation became commonly assumed in physics. A way to formalize it in mathematics is…
When the Seiberg-Witten curve of a four-dimensional $\mathcal{N}=2$ supersymmetric gauge theory wraps a Riemann surface as a multi-sheeted cover, a topological constraint requires that in general the curve should develop ramification…