Related papers: Imaginaries, invariant types and pseudo p-adically…

Following a paper by Athanasios Angelakis and Peter Stevenhagen on the determination of imaginary quadratic fields having the same absolute Abelian Galois group A, we study this property for arbitrary number fields. We show that such a…

In this paper we construct a combinatorial algorithm of resolution of singularities for binomial ideals, over a field of arbitrary characteristic. This algorithm is applied to any binomial ideal. This means ideals generated by binomial…

Open-textured terms in written rules are typically settled through interpretive argumentation. Ongoing work has attempted to catalogue the schemes used in such interpretive argumentation. But how can the use of these schemes affect the way…

In this paper, we characterize NIP henselian valued fields modulo the theory of their residue field, both in an algebraic and in a model-theoretic way. Assuming the conjecture that every infinite NIP field is either separably closed, real…

Let $X,Y$ be two irreducible subvarieties of the projective space $\mathbb{P}^n$, and $d\geq 1$ an integer number. The main result of this paper is an algorithm to construct {\bf explicitly}, in terms of $d$ and the ideals defining $X$ and…

We give a simplified proof of elimination of imaginaries (in the geometric sorts) in ACVF, based on ideas of Hrushovski. This proof manages to avoid many of the technical issues which arose in the original proof by Haskell, Hrushovski, and…

For an additive category $\mathbf{P}$ we provide an explict construction of a category $\mathcal{Q}( \mathbf{P} )$ whose objects can be thought of as formally representing $\frac{\mathrm{im}( \gamma )}{\mathrm{im}( \rho ) \cap \mathrm{im}(…

We define a reasonably well-behaved class of ultraimaginaries, i.e.\ classes modulo invariant equivalence relations, called {\em tame}, and establish some basic simplicity-theoretic facts. We also show feeble elimination of supersimple…

We argue that the imaginary parts of the anomalous dimensions in the multiparticle sectors of heavy quark effective field theory may be removed by a suitable redefinition of the multiparticle states. The connection between the imaginary…

We give a definition of finitary type theories that subsumes many examples of dependent type theories, such as variants of Martin-L\"of type theory, simple type theories, first-order and higher-order logics, and homotopy type theory. We…

This paper is originally designed as a part of revision of the author's preprint math.AG/9908174 "P-adic Schwarzian triangle groups of Mumford type". Recently, Yves Andr'e pointed out a flaw in that preprint; more precisely, Proposition II…

For modular indecomposable representations of a cyclic group $G$ of prime order $p$ we propose a list of polynomial invariants of degree $\leq 3$ that, together with a simple invariant of degree $p$, separate generic orbits and generate the…

We study, using the example of general covariance, to what extent a would-be non-abelian extension of free field abelian gauge theory can be helped by a field redefinition; answer - not much! However, models resulting from dimensional…

We establish conditions under which the fundamental group of a graph of finite $p$-groups is necessarily residually $p$-finite. The technique of proof is independent of previously established results of this type, and the result is also…

We use cell decomposition techniques to study additive reducts of p- adic fields. We consider a very general class of fields, including fields with infinite residue fields, which we study using a multi-sorted language. The results are used…

In this article we raise some new questions about positive definite functions on free groups, and explain how these are related to more well-known questions. The article is intended as a survey of known results that also offers some new…

We give an example of an imaginary defined in certain valued fields with analytic structure which cannot be coded in the `geometric' sorts which suffice to code all imaginaries in the corresponding algebraic setting.

We propose analogs of the classical Generalized Riemann Hypothesis and the Generalized Simplicity Conjecture for the characteristic p L-series associated to function fields over a finite field. These analogs are based on the use of absolute…

Author's generalization of one-dimensional class field theory to theory of abelian totally ramified p-extensions of a complete discrete valuation field with arbitrary non-separably p-closed residue field and its applications are described.

We provide a complete system of invariants for the formal classification of complex analytic unipotent germs of diffeomorphism at $\cn{n}$ fixing the orbits of a regular vector field. We reduce the formal classification problem to solve a…