Related papers: Hyperbolicity and model-complete fields
We prove that the class of partial differential fields of characteristic zero with an automorphism has a model companion. We then establish the basic model theoretic properties of this theory and prove that it satisfies the Zilber dichotomy…
Motivated by the finiteness of the set of automorphisms Aut(X) of a projective manifold X, and by Kobayashi-Ochiai's conjecture that a projective manifold dim(X)-analytically hyperbolic (also known as strongly measure hyperbolic) should be…
A model is presented that could lead to an interesting extension of the Standard Model. Like a supersymmetric gauge theory, the model is holomorphic and invariant to local superspace gauge transformations. However, the model is not…
We identify a condition that prevents a hyperbolic space from being quasi-isometric to the curve complex of any non-sporadic surface. Our result applies to several hyperbolic complexes, including arc complexes, disk complexes,…
We introduce the separating semigroup of a real algebraic curve of dividing type. The elements of this semigroup record the possible degrees of the covering maps obtained by restricting separating morphisms to the real part of the curve. We…
Let $f : X \to S$ be a family of smooth projective algebraic varieties over a smooth connected base $S$, with everything defined over $\overline{\mathbb{Q}}$. Denote by $\mathbb{V} = R^{2i} f_{*} \mathbb{Z}(i)$ the associated integral…
We construct a model of type theory enjoying parametricity from an arbitrary one. A type in the new model is a semi-cubical type in the old one, illustrating the correspondence between parametricity and cubes. Our construction works not…
In this paper we study the semiclassical limit $\hslash\to 0$ of a completely solvable model in quantum field theory: the van Hove model, describing a scalar field created and annihilated by an immovable source. Despite its simplicity, the…
Given a complex quasi-projective normal variety $X$ and a linear representation $\varrho:\pi_1(X)\to {\rm GL}_{N}(K)$ with $K$ any field of positive characteristic, we mainly establish the following results: 1. the construction of the…
We establish relative quantifier elimination for valued fields of residue characteristic zero enriched with a non-surjective valued field endomorphism, building on recent work of Dor and Halevi. In particular, we deduce relative quantifier…
We develop a systematic procedure for constructing quantum many-body problems whose spectrum can be partially or totally computed by purely algebraic means. The exactly-solvable models include rational and hyperbolic potentials related to…
Bondi-like (single-null) characteristic formulations of general relativity are used for numerical work in both asymptotically flat and anti-de Sitter spacetimes. Well-posedness of the resulting systems of partial differential equations,…
We investigate particular models which can be N-fold supersymmetric at specific values of a parameter in the Hamiltonians. The models to be investigated are a periodic potential and a parity-symmetric sextic triple-well potential. Through…
Looking at the finite \'etale congruence covers $X(p)$ of a complex algebraic variety $X$ equipped with a variation of integral polarized Hodge structures whose period map is quasi-finite, we show that both the minimal gonality among all…
We discuss the cone theorem for quasi-log schemes and the Mori hyperbolicity. In particular, we establish that the log canonical divisor of a Mori hyperbolic projective normal pair is nef if it is nef when restricted to the non-lc locus.…
The paper is a contribution to the conjecture of Kobayashi that the complement of a generic curve in the projective plane is hyperbolic, provided the degree is at least five. Previously the authors treated the cases of two quadrics and a…
We prove that each point in an almost-complex surface has a basis of complete hyperbolic neighborhoods. The problem is local, and therefore we can consider the case when our surface is ${\bf R^4}$ with an arbitrary almost-complex structure…
We prove the following boundary-theoretic characterization of relatively hyperbolic groups. Let $G$ be a finitely generated group with a finite collection $\mathcal{H}$ of finitely generated subgroups, and let $G^h$ denote the associated…
We investigate complete minimal submanifolds $f\colon M^3\to\Hy^n$ in hyperbolic space with index of relative nullity at least one at any point. The case when the ambient space is either the Euclidean space or the round sphere was already…
The theory of fields that are equipped with a countably infinite family of commuting derivations is not companionable; but if the axiom is added whereby the characteristic of the fields is zero, then the resulting theory is companionable.…