Related papers: Relative Quantifier Elimination for Separable-Alge…

Fix a finite ordinal n>2. We show that there exists an atomic, simple and countable representable CA_n, such that its minimal completion is outside SNr_nCA_{n+3}. Hence, for any finite k\geq 3, the variety SNr_nCA_{n+k} is not…

The aim of this work is to complete our program on the quantization of connections on arbitrary principal U(1)-bundles over globally hyperbolic Lorentzian manifolds. In particular, we show that one can assign via a covariant functor to any…

We classify group schemes in terms of their Cartier modules. We also prove the equivalence of different definitions of the tangent space and the dimension for these group schemes; in particular, the minimal dimension of a formal group law…

We extend Kostant's result on annihilator ideals of non-singular simple Whittaker modules over Lie algebras to (possibly singular) simple Whittaker modules over Lie superalgebras. We describe these annihilator ideals in terms of certain…

If $E$ is a graph and $K$ is a field, we consider an ideal $I$ of the Leavitt path algebra $L_K(E)$ of $E$ over $K$. We describe the admissible pair corresponding to the smallest graded ideal which contains $I$ where the grading in question…

Let $K/\mathbb{Q}$ be a real cyclic extension of degree divisible by $p$. We analyze the {\it statement} of the "Real Abelian Main Conjecture", for the $p$-class group $\mathcal{H}_K$ of $K$, in this non semi-simple case. The classical {\it…

Let $(K, v)$ be a Henselian discrete valued field with a quasifinite residue field. This paper proves the existence of an algebraic extension $E/K$ satisfying the following: (i) $E$ has dimension dim$(E) \le 1$, i.e. the Brauer group Br$(E…

Let $K$ be a finite extension of the $p$-adic numbers $\mathbb Q_p$ with ring of integers $\mathcal O_K$, $\mathcal X$ a regular scheme, proper, flat, and geometrically irreducible over $\mathcal O_K$ of dimension $d$, and $\mathcal X_K$…

The set of linear, differential operators preserving the vector space of couples of polynomials of degrees n and n-2 in one real variable leads to an abstract associative graded algebra A(2). The irreducible, finite dimensional…

An algebra of germs of real functions is generalised quasianalytic if to each element of the algebra we can associate, injectively, a power series with nonnegative real exponents. We prove a quantifier elimination and a rectilinearisation…

We introduce a unital associative algebra ${\mathcal{SV}ir\!}_{q,k}$, having $q$ and $k$ as complex parameters, generated by the elements $K^\pm_m$ ($\pm m\geq 0$), $T_m$ ($m\in \mathbb{Z}$), and $G^\pm_m$ ($m\in \mathbb{Z}+{1\over 2}$ in…

We show that the Cappell-Shaneson version of Pick's theorem for simple lattice polytopes is a consequence of a general relation between characteristic numbers of virtual submanifolds dual to the characteristic classes of a stably almost…

In this article we prove that for a basic classical Lie superalgebra the annihilator of a strongly typical Verma module is a centrally generated ideal. For a basic classical Lie superalgebra of type I we prove that the localization of the…

In this article we extend to generic $p$-energy minimizing maps between Riemannian manifolds a regularity result which is known to hold in the case $p=2$. We first show that the set of singular points of such a map can be quantitatively…

In this work we present the concept of amenable $C$-semianalytic subset of a real analytic manifold $M$ and study the main properties of this type of sets. Amenable $C$-semianalytic sets can be understood as globally defined semianalytic…

In the present paper we develop a small cancellation theory for associative algebras with a basis of invertible elements. Namely, we study quotients of a group algebra of a free group and introduce three axioms for the corresponding…

We show that the first order structure whose underlying universe is $\mathbb C$ and whose basic relations are all algebraic subset of $\mathbb C^2$ does not have quantifier elimination. Since an algebraic subset of $\mathbb C ^2$ needs…

We show that finite quasisimple groups of Lie type in characteristic $p$ with an irreducible representation of prime degree $r$ over a finite field of characteristic $p$ have orders bounded above by a function of $r$, independent of $p$. We…

Let k be an infinite perfect field of positive characteristic p and assume that strong resolution of singularities holds over k. We prove that, if X is a d-dimensional noetherian scheme whose underlying reduced scheme is essentially of…

Let $A$ be a unital simple separable exact C$^*$-algebra which is approximately divisible and of real rank zero. We prove that the set of positive elements in $A$ with a fixed non-compact Cuntz class has vanishing homotopy groups. Combined…