English
Related papers

Related papers: Cell Decomposition for semibounded p-adic sets

200 papers

Semifields are semirings in which every nonzero element has a multiplicative inverse. A rough classification uses the characteristic of the semifield, that is the isomorphism type of the semifield generated by the two neutral elements. For…

Algebraic Geometry · Mathematics 2017-09-21 Guillaume Tahar

A unitary representation of a, possibly infinite dimensional, Lie group $G$ is called semibounded if the corresponding operators $i\dd\pi(x)$ from the derived representation are uniformly bounded from above on some non-empty open subset of…

Representation Theory · Mathematics 2012-05-24 Karl-Hermann Neeb

We consider the problem of computing matrix polynomials $p(X)$, where $X$ is a large dense matrix, with as few matrix-matrix multiplications as possible. More precisely, let $\Pi_{2^{m}}^*$ represent the set of polynomials computable with…

Numerical Analysis · Mathematics 2025-08-14 Elias Jarlebring , Gustaf Lorentzon

Semialgebraic splines are functions that are piecewise polynomial with respect to a cell decomposition into sets defined by polynomial inequalities. We study bivariate semialgebraic splines, formulating spaces of semialgebraic splines in…

Commutative Algebra · Mathematics 2016-04-21 Michael DiPasquale , Frank Sottile , Lanyin Sun

Let R be an o-minimal expansion of the real field, and let L(R) be the language consisting of all nested Rolle leaves over R. We call a set nested subpfaffian over R if it is the projection of a boolean combination of definable sets and…

Differential Geometry · Mathematics 2019-12-19 Jean-Marie Lion , Patrick Speissegger

We study analogues of the notions from Lie theory of Levi subgroup and Levi decomposition, in the case of groups G definable in an o-minimal expansion of a real closed field. With suitable definitions, we prove that G has a unique maximal…

Logic · Mathematics 2011-11-11 Annalisa Conversano , Anand Pillay

The goal of this paper is to generalise Alex Rennet's proof of the non-axiomatizability of the class of pseudo-o-minimal structures. Rennet showed that if L is an expansion of the language of ordered fields and K is the class of…

Logic · Mathematics 2019-02-21 Peter Sinclair

Consider the semialgebraic structure over the real field. More generally, let an ominimal structure be over a real closed field. We show that a definable metric space X with a definable metric d is embedded into a Euclidean space so that…

Algebraic Geometry · Mathematics 2017-08-31 Masahiro Shiota

A definable set in a pair (K, k) of algebraically closed fields is co-analyzable relative to the subfield k of the pair if and only if it is almost internal to k. To prove this and some related results for tame pairs of real closed fields…

Logic · Mathematics 2017-07-13 Leonardo Angel , Lou van den Dries

Building on prior work, we analyze the decomposition of the restriction of an irreducible representation of SL_2(k), for k a p-adic field of odd residual characteristic, to a maximal compact subgroup K. The pattern of the decomposition…

Representation Theory · Mathematics 2012-06-05 Monica Nevins

We determine the decomposition numbers of the partition algebra when the characteristic of the ground field is zero or larger than the degree of the partition algebra. This will allow us to determine for which exact values of the parameter…

Representation Theory · Mathematics 2014-03-21 Armin Shalile

We study sets and groups definable in tame expansions of o-minimal structures. Let $\mathcal {\widetilde M}= \langle \mathcal M, P\rangle$ be an expansion of an o-minimal $\mathcal L$-structure $\cal M$ by a dense set $P$, such that three…

Logic · Mathematics 2019-10-02 Pantelis E. Eleftheriou , Ayhan Günaydin , Philipp Hieronymi

We propose new structures called almost o-minimal structures and $\mathfrak X$-structures. The former is a first-order expansion of a dense linear order without endpoints such that the intersection of a definable set with a bounded open…

Logic · Mathematics 2022-06-08 Masato Fujita

Given any arbitrary semi-algebraic set $X$, any two points in $X$ may be joined by a piecewise $C^2$ path $\gamma$ of shortest length. Suppose $\mathcal{A}$ is a semi-algebraic stratification of $X$ such that each component of $\gamma \cap…

Algebraic Geometry · Mathematics 2021-02-19 Chengcheng Yang

Let T be an involution of the finite dimensional complex reductive Lie algebra g and g=k+p be the associated Cartan decomposition. Denote by K the adjoint group of k. The K-module p is the union of the subsets p^{(m)}={x | dim K.x =m},…

Representation Theory · Mathematics 2010-11-24 Michael Bulois

Let $\mathfrak{g}$ be a finite-dimensional simple Lie algebra over an algebraically closed field of characteristic 0. In this paper we classify all regular decompositions of $\mathfrak{g}$ and its irreducible root system $\Delta$. A regular…

Rings and Algebras · Mathematics 2024-05-01 Stepan Maximov

We study the Potts model (defined geometrically in the cluster picture) on finite two-dimensional lattices of size L x N, with boundary conditions that are free in the L-direction and periodic in the N-direction. The decomposition of the…

Mathematical Physics · Physics 2007-08-30 Jean-Francois Richard , Jesper Lykke Jacobsen

In this note, we aim to prove the finite semi-algebraic chamber decomposition theorem for K-semi(poly)stability under the assumption of the log boundedness of K-semistable degenerations. This boundedness assumption is naturally arising from…

Algebraic Geometry · Mathematics 2025-09-22 Chuyu Zhou

The spectrum of an admissible subalgebra $\mathscr{A}(G)$ of $\mathscr{LUC}(G)$, the algebra of right uniformly continuous functions on a locally compact group $G$, constitutes a semigroup compactification $G^\mathscr{A}$ of $G$. In this…

Functional Analysis · Mathematics 2017-09-28 Mahmoud Filali , Jorge Galindo

The aim of this paper is to study the dimensions and standard part maps between the field of $p$-adic numbers ${{\mathbb Q}_p}$ and its elementary extension $K$ in the language of rings $L_r$. We show that for any $K$-definable set…

Logic · Mathematics 2020-02-25 Ningyuan Yao