Related papers: Tameness Properties in Multiplicative Valued Diffe…
We establish a relative Bertini type theorem for multiplier ideal sheaves. Then we prove a relative version of the Koll\'ar--Nadel type vanishing theorem as an application.
Elimination of quantifiers is shown to fail dramatically for a group of well-known mathematical theories (classically enjoying the property) against a wide range of relevant logical backgrounds. Furthermore, it is suggested that only by…
Let $p$ be a prime number. Motivated by the local lifting problem for $(\mathbb{Z}/p\mathbb{Z})^n$ with $n>1$, we prove several new results on certain $\mathbb{F}_p$-vector spaces of logarithmic differential forms on the projective line in…
The model of kappa-deformed space is an interesting example of a noncommutative space, since it allows a deformed symmetry. In this paper we present new results concerning different sets of derivatives on the coordinate algebra of…
We determine the coefficients of the terms multiplying the gauge fields, gravitational field and cosmological term in a scheme whereby properties are characterized by $N$ anticommuting scalar Grassmann variables. We do this for general $N$,…
We prove elimination of field quantifiers for strongly dependent henselian fields in the Denef-Pas language. This is achieved by proving the result for a class of fields generalizing algebraically maximal Kaplansky fields. We deduce that if…
We prove finiteness results on integral points on complements of large divisors in projective varieties over finitely generated fields of characteristic zero. To do so, we prove a function field analogue of arithmetic finiteness results of…
NTP2 is a large class of first-order theories defined by Shelah and generalizing simple and NIP theories. Algebraic examples of NTP2 structures are given by ultra-products of p-adics and certain valued difference fields (such as a…
In this paper we prove that both complete and vertical lifts of a Poisson vector field from a Poisson manifold $(M, \pi)$ to its tangent bundle $(TM, \pi_{TM})$ are also Poisson. We use this fact to describe the infinitesimal deformations…
Let $F$ be an infinite field, and let $M_{n}(F)$ be the algebra of $n\times n$ matrices over $F$. Suppose that this algebra is equipped with an elementary grading whose neutral component coincides with the main diagonal. In this paper, we…
The lattice definition of the two-dimensional topological quantum field theory [Fukuma, {\em et al}, Commun.~Math.~Phys.\ {\bf 161}, 157 (1994)] is generalized to arbitrary (not necessarily orientable) compact surfaces. It is shown that…
If $T$ has dependent dividing, then the burden agrees with the dp-rank witnessed by NIP formulas. We use this observation to prove that if $T$ has dependent dividing, then the burden is sub-additive. We also state a connection between the…
Consider $v$ a Lipschitz unit vector field on $R^n$ and $K$ its Lipschitz constant. We show that the maps $S_s:S_s(X) = X + sv(X)$ are invertible for $0\leq |s|<1/K$ and define nonsingular point transformations. We use these properties to…
Numerous results on self-reciprocal polynomials over finite fields have been studied. In this paper we generalize some of these to a-self reciprocal polynomials defined in [4]. We consider some properties of the divisibility of a-reciprocal…
We give category-theoretic reformulations of stability, NIP, NTP, and non-dividing by observing that their characterisations in terms of indiscernible sequences are naturally expressed as Quillen lifting properties %(negation) of certain…
We consider the restriction of interval exchange transformations to algebraic number fields, which leads to maps on lattices. We characterize renormalizability arithmetically, and study its relationships with a geometrical quantity that we…
We investigate distality and existence of distal expansions in valued fields and related structures. In particular, we characterize distality in a large class of ordered abelian groups, provide an AKE-style characterization for henselian…
In an earlier work, the authors have determined all possible weights $n$ for which there exists a vanishing sum $\zeta_1+\cdots +\zeta_n=0$ of $m$th roots of unity $\zeta_i$ in characteristic 0. In this paper, the same problem is studied in…
We use multiplication maps to give a characteristic-free approach to vanishing theorems on toric varieties. Our approach is very elementary but is enough powerful to prove vanishing theorems.
We show quantifier elimination theorems for real closed valued fields with separated analytic structure and overconvergent analytic structure in their natural one-sorted languages and deduce that such structures are weakly o-minimal. We…