Related papers: On different notions of tameness in arithmetic geo…
We introduce a notion of tame ramification for general finite covers. When specialized to the separable case, it extends to higher dimensions the classical notion of tame ramification for Dedekind domains and curves and sits nicely in…
We extend the notion of a tame covering of a pair (X,D) where X is a regular scheme and D is a normal crossing divisor (cf. SGA1), to pairs (X,Y) where X is an arbitrary scheme and Y is a closed subset in X. We show that the abelianized…
We introduce a generalized notion of finiteness that provides a structural principle for the set of effective theories that can be consistently coupled to quantum gravity. More concretely, we propose a Tameness Conjecture that states that…
We propose a generalized finiteness principle for physical theories, in terms of the concept of tameness in mathematical logic. A tame function or space can only have a finite amount of structure, in a precise sense which we explain.…
We define the notion of inseparable coverings of schemes and we propose a ramification formalism for them, along the lines of the classical one. Using this formalism we prove a formula analogous to the classical Riemann-Hurwitz formula for…
Homological algebra of modules over posets is developed, as closely parallel as possible to that of finitely generated modules over noetherian commutative rings, in the direction of finite presentations and resolutions. Centrally at issue…
Tame geometry originated in mathematical logic and implements strong finiteness properties by defining the notion of tame sets and functions. In part I we argued that observables in a wide class of quantum field theories are tame functions…
A finite \'etale map between irreducible, normal varieties is called tame, if it is tamely ramified with respect to all partial compactifications whose boundary is the support of a strict normal crossings divisor. We prove that if the…
We develop tame topology over dp-minimal structures equipped with definable uniformities satisfying certain assumptions. Our assumptions are enough to ensure that definable sets are tame: there is a good notion of dimension on definable…
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.
Topologies on algebraic and equational theories are used to define germ determined, near-point determined, and point determined rings of smooth functions, without requiring them to be finitely generated. It is proved, that any commutative…
We prove that $\bar {\mathbb Q}_\ell$-local systems of bounded rank and ramification on a smooth variety $X$ defined over an algebraically closed field $k$ of characteristic $p\neq \ell$ are tamified outside of codimension $2$ by a finite…
A well-known and difficult problem in computational number theory and algebraic geometry is to write down equations for branched covers of algebraic curves with specified monodromy type. In this article, we present a technique for computing…
The object of this paper is the tameness conjecture which describes an arbitrary graded k-algebra homomorphism of polytopal rings. We give further evidence of this conjecture by showing supporting results concerning joins, multiples and…
For discrete subsets in ${\bf C}^n$ the notion of being "tame" was defined by Rosay and Rudin. We propose a general definition of "tameness" for arbitrary complex manifolds and show that many results classically known for ${\bf C}^n$ may be…
As is well known, the Lefschetz theorems for the \'etale fundamental group of SGA1 do not hold. We fill a small gap in the literature showing they do for tame coverings. Let $X$ be a regular projective variety over a field $k$, and let…
We combine two notions in AECs, tameness and good $\lambda$-frames, and show that they together give a very well-behaved nonforking notion in all cardinalities. This helps to fill a longstanding gap in classification theory of tame AECs and…
In this note, we introduce the notion of an unramified strongly cyclic covering for a cyclic curve, a class that has similar properties to, and contains, unramified double covers of hyperelliptic curves. We determine several of their basic…
We construct a singular homology theory on the category of schemes of finite type over a Dedekind domain and verify several basic properties. For arithmetic schemes we construct a reciprocity isomorphism between the integral singular…
In this paper, we prove a similar result to the fundamental theorem of regular surfaces in classical differential geometry, which extends the classical theorem to the entire class of singular surfaces in Euclidean 3-space known as frontals.…