Related papers: A comparison between obstructions to local-global …
We study model theoretic properties of valued fields (equipped with a real-valued multiplicative valuation), viewed as metric structures in continuous first order logic. For technical reasons we prefer to consider not the valued field…
This paper gives a survey on a valuation theoretical approach to local uniformization in positive characteristic, the model theory of valued fields in positive characteristic, and their connection with the valuation theoretical phenomenon…
We prove a fixed point theorem for the action of certain local monodromy groups on \'etale covers and use it to deduce lower bounds in essential dimension. In particular, we give more geometric proofs of many (but not all) of the results of…
These notes form part of a joint research project on the logic of fields with many valuations, connected by a product formula. We define such structures and name them {\em globally valued fields} (GVFs). This text aims primarily at a proof…
A new and extensive formalism is developed for monads and galaxies in non-standard enlargements. It is shown that monads and galaxies can be manipulated using order-preserving and order-reversing set-to-set maps, and that set properties…
We consider the operation of intersecting with a locally principal Cartier divisor (i.e., a Cartier divisor which is principal on some neighborhood of its support). We describe this operation explicitly on the level of cycles and rational…
The torsor P_s=Hom(H_{\DR},H_s) under the motivic Galois group G_s=Aut H_s of the Tannakian category M_k generated by one-motives related by absolute Hodge cycles over a field k with an embedding s into the complex numbers is shown to be…
We present a quick approach to computing the $K$-theory of the category of locally compact modules over any order in a semisimple $\mathbb{Q}$-algebra. We obtain the $K$-theory by first quotienting out the compact modules and subsequently…
We present a new coherence theorem for comprehension categories, providing strict models of dependent type theory with all standard constructors, including dependent products, dependent sums, identity types, and other inductive types.…
As the theory is subject to a section condition, coordinates in double field theory do not represent physical points in an injective manner. We argue that a physical point should be rather one-to-one identified with a `gauge orbit' in the…
Doubly special relativity (DSR) is usually regarded as a low-energy limit of a quantum gravity theory with testable predictions. On the other hand, non-local quantum field theories have been presented as a solution to the inconsistencies…
A globally-adaptive curvilinear coordinate formalism is shown to be easily convertible to a class of curvilinear transformations locally optimized around atom sites by a few parameters. Parameter transferability is established for a…
We prove a few uniform versions of the Mordell-Lang Conjecture and of the Shafarevich Conjecture for curves over function fields and their rational points. The main focus is on function fields having high transcendence degree over the…
We study the trace set of the commutator subgroup of $\Gamma(2),$ a type of Local-Global problem about thin groups. We determine the local obstructions and then use the correspondence between binary quadratic forms and hyperbolic matrices…
A class of two dimensional field theories, based on (generically degenerate) Poisson structures and generalizing gravity-Yang-Mills systems, is presented. Locally, the solutions of the classical equations of motion are given. A general…
Pseudo algebraically closed, pseudo real closed, and pseudo $p$-adically closed fields are examples of unstable fields that share many similarities, but have mostly been studied separately. In this text, we propose a unified framework for…
The gauged sigma-model argument that string backgrounds related by T-dual give equivalent quantum theories is revisited, taking careful account of global considerations. The topological obstructions to gauging sigma-models give rise to…
Since the Hadamard Theorem, several metric and topological conditions have emerged in the literature to date, yielding global inversion and implicit theorems for functions in different settings. Relevant examples are the mappings between…
A treatment in a neighborhood and at a point of the equivalence principle on the basis of derivations of the tensor algebra over a manifold is given. Necessary and sufficient conditions are given for the existence of local bases, called…
In this article, written primarily for physicists and geometers, we survey several manifestations of a general localization principle for orbifold theories such as $K$-theory, index theory, motivic integration and elliptic genera.