Related papers: Cell Decomposition for semibounded p-adic sets

A finite-dimensional Lie algebra $L$ over a field $F$ is called an $A$-algebra if all of its nilpotent subalgebras are abelian. This is analogous to the concept of an $A$-group: a finite group with the property that all of its Sylow…

It is known from Grzegorczyk's paper \cite{grze-1951} that the lattice of real semi-algebraic closed subsets of ${\mathbb R}^n$ is undecidable for every integer $n\geq 2$. More generally, if $X$ is any definable set over a real or…

Let P be an elementary closed semi-algebraic set in R^d, i.e., there exist real polynomials p_1,...,p_s such that P= \{x \in R^d : p_1(x) \ge 0, >..., p_s(x) \ge 0 \}; in this case p_1,...,p_s are said to represent P. Denote by $n$ the…

We develop a general ring theory in the o-minimal setting culminating in a description of all the definable rings in an arbitrary o-minimal structure. We show that every definably connected ring with non-trivial multiplication defines an…

Fix a prime $p$. We prove that the set of sentences true in all but finitely many finite extensions of $\mathbb{Q}_p$ is undecidable in the language of valued fields with a cross-section. The proof goes via reduction to characteristic $p$,…

In the late 1980s, A. Premet conjectured that the variety of nilpotent elements of any finite dimensional restricted Lie algebra over an algebraically closed field of characteristic $p>0$ is irreducible. This conjecture remains open, but it…

Given a Lie group G whose Lie algebra is endowed with a nondegenerate invariant symmetric bilinear form, we construct a Poisson algebra of continuous functions on a certain open subspace R of the space of representations in G of the…

In ring theory, the lifting idempotent property (LIP) is related to some important classes of rings: clean rings, exchange rings, local and semilocal rings, Gelfand rings,maximal rings, etc. Inspired by LIP, there were defined lifting…

We introduce the notion of "quasi-symmetric" polynomials, which is a generalization of the notion of symmetry, and is particularly suited to the setting of polynomial rings over finite fields. The properties of this new class of functions…

Using appropriate notation systems for proofs, cut-reduction can often be rendered feasible on these notations, and explicit bounds can be given. Developing a suitable notation system for Bounded Arithmetic, and applying these bounds, all…

We construct $p$-adic analogs of operator colligations and their characteristic functions. Consider a $p$-adic group $G=GL(\alpha+k\infty, Q_p)$, its subgroup $L=O(k\infty,Z_p)$, and the subgroup $K=O(\infty,Z_p)$ embedded to $L$…

We develop the theory of algebraic groups over real closed fields and apply the results to construct a geometric object $\mathcal{B}$ and to prove that $\mathcal{B}$ is an affine $\Lambda$-building. We use a model theoretic transfer…

We introduce the concept of multiplicatively closed subsets of a commutative ring $R$ which split an $R$-module $M$ and study factorization properties of elements of $M$ with respect to such a set. Also we demonstrate how one can utilize…

Semiclassical limits of generic multiparameter quantized coordinate rings A = O_q(k^n) of affine spaces are constructed and related to A, for k an algebraically closed field of characteristic zero and q a multiplicatively antisymmetric…

The decomposition of a two dimensional complex germ with non-isolated singularity into semi-algebraic sets is given. This decomposition consists of four classes: Riemannian cones defined over a Seifert fibered manifold, a topological cone…

Let $k$ be a field. In this paper, we define the notion of semi-fiber products of commutative $k$-algebras and show that the class of such rings contains several classes of commutative rings, including that of the fiber products of local…

Let A be an excellent integral henselian local noetherian ring, k its residue field of characteristic p>0 and K its fraction field. Using an algebraization technique introduced by the first named author, and the one-dimension case already…

The set splittability problem is the following: given a finite collection of finite sets, does there exits a single set that contains exactly half the elements from each set in the collection? (If a set has odd size, we allow the floor or…

Parallel to the very rich theory of Kazhdan-Lusztig cells in characteristic $0$, we try to build a similar theory in positive characteristic. We study cells with respect to the $p$-canonical basis of the Hecke algebra of a crystallographic…

Let R=K[M] be a normal affine monoid algbera over a field K.Up to isomorphism the conic ideals are exactly the direct summands ofthe extension R^{1/n} of R. We show that the classes of the conic divisorial ideals can be identified with the…