Related papers: The Theory of ramification
In this paper we examine the natural interpretation of a ramified type hierarchy into Martin-L\"of type theory with an infinite sequence of universes. It is shown that under this predicative interpretation some useful special cases of…
For a rational map $\phi: X \to G$ from a normal algebraic variety $X$ to a commutative algebraic group $G$, we define the modulus of $\phi$ as an effective divisor on $X$. We study the properties of the modulus. This work generalizes the…
In this paper, we investigate the possibility of constructing isomonodromic deformations of logarithmic connections on curves by using ramified covers. We give new examples and prove a classification result.
This is a survey of various types of Floer theories (both in symplectic geometry and gauge theory) and relations among them.
In this paper, we introduce and investigate \emph{semicorings} over associative semirings and their categories of \emph{semicomodules.} Our results generalize old and recent results on corings over rings and their categories of comodules.…
We study how the adoption of an evaluation mechanism with sharing and memoization impacts the class of functions which can be computed in polynomial time. We first show how a natural cost model in which lookup for an already computed value…
Assuming a certain form of resolution of singularities, we prove a general existential Ax-Kochen/Ershov principle for tamely ramified fields in all characteristics. This specializes to well-known results in residue characteristic $0$ and…
In this work, we generalize several topological results and concepts from ring theory to the setting of monoids.
The Riemann-Roch theorem is of utmost importance in the algebraic geometric theory of compact Riemann surfaces. It tells us how many linearly independent meromorphic functions there are having certain restrictions on their poles. The aim of…
This article is devoted to studying the ramification of Galois torsors and of $\ell$-adic sheaves in characteristic $p>0$ (with $\ell\not=p$). Let $k$ be a perfect field of characteristic $p>0$, $X$ be a smooth, separated and quasi-compact…
Using the functor of Baumslag rationalization of groups we construct a functor on the category of all (non necessarily simply connected) spaces that extends the classical rationalization of simply connected spaces. We study this functor and…
In this paper, we develop the method of circle of partitions and associated statistics. As an application we prove conditionally the binary Goldbach conjecture. We develop a series of steps to prove the binary Goldbach conjecture in full.…
We prove the compatibility of pushforward along a proper morphism of an \'{e}tale constructible sheaf and the pushforward of its characteristic cycle up to $p$-torsion. This was conjectured by Takeshi Saito. For this, we revisit the…
We solve a functional equation connected to the algebraic characterization of generalized information functions. To prove the symmetry of the solution, we study a related system of functional equations, which involves two homographies.…
This paper studies compactifications of moduli spaces involving closed Riemann surfaces. The first main result identifies the homeomorphism types of these compactifications. The second main result introduces orbicell decompositions on these…
In this work we establish a theory of Calculus based on the new concept of displacement. We develop all the concepts and results necessary to go from the definition to differential equations, starting with topology and measure and moving on…
A stratified space is a topological space equipped with a \emph{stratification}, which is a decomposition or partition of the topological space satisfying certain extra conditions. More recently, the notion of poset-stratified space, i.e.,…
We investigate properties of varieties of algebras described by a novel concept of equation that we call \emph{commutator equation}. A commutator equation is a relaxation of the standard term equality obtained substituting the equality…
A basic version of Abhyankar's Lemma states that for two finite extensions $L$ and $F$ of a local field $K$, if $L|K$ is tamely ramified and if the ramification index of $L|K$ divides the ramification index of $F|K$, then the compositum…
We develop a general theory of extensions of flat functors along geometric morphisms of toposes, and apply it to the study of the class of theories whose classifying topos is equivalent to a presheaf topos. As a result, we obtain a…