O-minimal fields with standard part map

Jana Maříková

Displaying similar documents to “O-minimal fields with standard part map”

Zero-set property of o-minimal indefinitely Peano differentiable functions

Andreas Fischer (2008)

Annales Polonici Mathematici

Similarity:

Given an o-minimal expansion ℳ of a real closed field R which is not polynomially bounded. Let $^{\infty}$ denote the definable indefinitely Peano differentiable functions. If we further assume that ℳ admits $^{\infty}$ cell decomposition, each definable closed subset A of Rⁿ is the zero-set of a $^{\infty}$ function f:Rⁿ → R. This implies $^{\infty}$ approximation of definable continuous functions and gluing of $^{\infty}$ functions defined on closed definable sets.

On some properties of three-dimensional minimal sets in $ℝ^{4}$

Tien Duc Luu (2013)

Annales de la faculté des sciences de Toulouse Mathématiques

Similarity:

We prove in this paper the Hölder regularity of Almgren minimal sets of dimension 3 in $ℝ^{4}$ around a $𝕐$ -point and the existence of a point of particular type of a Mumford-Shah minimal set in $ℝ^{4}$ , which is very close to a $𝕋$ . This will give a local description of minimal sets of dimension 3 in $ℝ^{4}$ around a singular point and a property of Mumford-Shah minimal sets in $ℝ^{4}$ .

Definable stratification satisfying the Whitney property with exponent 1

Beata Kocel-Cynk (2007)

Annales Polonici Mathematici

Similarity:

We prove that for a finite collection of sets $A ₁, . . ., A_{s} \subset ℝ^{k + n}$ definable in an o-minimal structure there exists a compatible definable stratification such that for any stratum the fibers of its projection onto $ℝ^{k}$ satisfy the Whitney property with exponent 1.

Product property for capacities in $ℂ^{N}$

Mirosław Baran, Leokadia Bialas-Ciez (2012)

Annales Polonici Mathematici

Similarity:

The paper deals with logarithmic capacities, an important tool in pluripotential theory. We show that a class of capacities, which contains the L-capacity, has the following product property: $C_{ν} (E ₁ \times E ₂) = m i n (C_{ν ₁} (E ₁), C_{ν ₂} (E ₂))$ , where $E_{j}$ and $ν_{j}$ are respectively a compact set and a norm in $ℂ^{N_{j}}$ (j = 1,2), and ν is a norm in $ℂ^{N ₁ + N ₂}$ , ν = ν₁⊕ₚ ν₂ with some 1 ≤ p ≤ ∞. For a convex subset E of $ℂ^{N}$ , denote by C(E) the standard L-capacity and by $ω_{E}$ the minimal width of E, that is, the minimal Euclidean distance between two supporting hyperplanes...

On the strongly ambiguous classes of some biquadratic number fields

Abdelmalek Azizi, Abdelkader Zekhnini, Mohammed Taous (2016)

Mathematica Bohemica

Similarity:

We study the capitulation of $2$ -ideal classes of an infinite family of imaginary bicyclic biquadratic number fields consisting of fields $𝕜 = ℚ (\sqrt{2 p q}, i)$ , where $i = \sqrt{- 1}$ and $p \equiv - q \equiv 1 (mod 4)$ are different primes. For each of the three quadratic extensions $𝕂 / 𝕜$ inside the absolute genus field $𝕜^{(*)}$ of $𝕜$ , we determine a fundamental system of units and then compute the capitulation kernel of $𝕂 / 𝕜$ . The generators of the groups ${Am}_{s} (𝕜 / F)$ and $Am (𝕜 / F)$ are also determined from which we deduce that $𝕜^{(*)}$ is smaller than the relative genus field ${(𝕜 / ℚ (i))}^{*}$ . Then we prove...

The distribution of second $p$ -class groups on coclass graphs

Daniel C. Mayer (2013)

Journal de Théorie des Nombres de Bordeaux

Similarity:

General concepts and strategies are developed for identifying the isomorphism type of the second $p$ -class group $G = Gal (F_{p}^{2} (K) | K)$ , that is the Galois group of the second Hilbert $p$ -class field $F_{p}^{2} (K)$ , of a number field $K$ , for a prime $p$ . The isomorphism type determines the position of $G$ on one of the coclass graphs $𝒢 (p, r)$ , $r \geq 0$ , in the sense of Eick, Leedham-Green, and Newman. It is shown that, for special types of the base field $K$ and of its $p$ -class group ${Cl}_{p} (K)$ , the position of $G$ is restricted to certain admissible branches...

A $C^{*}$ -Algebra Approach to Field Theory

D. Kastler (1968)

Recherche Coopérative sur Programme n°25

Similarity:

Renormings of $c_{0}$ and the minimal displacement problem

Łukasz Piasecki (2014)

Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica

Similarity:

The aim of this paper is to show that for every Banach space $(X, ∥ \cdot ∥)$ containing asymptotically isometric copy of the space $c_{0}$ there is a bounded, closed and convex set $C \subset X$ with the Chebyshev radius $r (C) = 1$ such that for every $k \geq 1$ there exists a $k$ -contractive mapping $T : C \to C$ with $∥ x - T x ∥ > 1 - 1 / k$ for any $x \in C$ .

On a magnetic characterization of spectral minimal partitions

Bernard Helffer, Thomas Hoffmann-Ostenhof (2013)

Journal of the European Mathematical Society

Similarity:

Given a bounded open set $Ω$ in $ℝ^{n}$ (or in a Riemannian manifold) and a partition of $Ω$ by $k$ open sets $D_{j}$ , we consider the quantity ${𝚖𝚊𝚡}_{j} λ (D_{j})$ where $λ (D_{j})$ is the ground state energy of the Dirichlet realization of the Laplacian in $D_{j}$ . If we denote by $ℒ_{k} (Ω)$ the infimum over all the $k$ -partitions of ${𝚖𝚊𝚡}_{j} λ (D_{j})$ , a minimal $k$ -partition is then a partition which realizes the infimum. When $k = 2$ , we find the two nodal domains of a second eigenfunction, but the analysis of higher $k$ ’s is non trivial and quite interesting. In this...

On a problem concerning quasianalytic local rings

Hassan Sfouli (2014)

Annales Polonici Mathematici

Similarity:

Let (ₙ)ₙ be a quasianalytic differentiable system. Let m ∈ ℕ. We consider the following problem: let $f \in_{m}$ and f̂ be its Taylor series at $0 \in ℝ^{m}$ . Split the set $ℕ^{m}$ of exponents into two disjoint subsets A and B, $ℕ^{m} = A \cup B$ , and decompose the formal series f̂ into the sum of two formal series G and H, supported by A and B, respectively. Do there exist $g, h \in_{m}$ with Taylor series at zero G and H, respectively? The main result of this paper is the following: if we have a positive answer to the above problem for some...

The centralizer of a classical group and Bruhat-Tits buildings

Daniel Skodlerack (2013)

Annales de l’institut Fourier

Similarity:

Let $G$ be a unitary group defined over a non-Archimedean local field of odd residue characteristic and let $H$ be the centralizer of a semisimple rational Lie algebra element of $G .$ We prove that the Bruhat-Tits building $𝔅^{1} (H)$ of $H$ can be affinely and $G$ -equivariantly embedded in the Bruhat-Tits building $𝔅^{1} (G)$ of $G$ so that the Moy-Prasad filtrations are preserved. The latter property forces uniqueness in the following way. Let $j$ and $j^{'}$ be maps from $𝔅^{1} (H)$ to $𝔅^{1} (G)$ which preserve the Moy–Prasad filtrations....

Principalization algorithm via class group structure

Daniel C. Mayer (2014)

Journal de Théorie des Nombres de Bordeaux

Similarity:

For an algebraic number field $K$ with $3$ -class group ${Cl}_{3} (K)$ of type $(3, 3)$ , the structure of the $3$ -class groups ${Cl}_{3} (N_{i})$ of the four unramified cyclic cubic extension fields $N_{i}$ , $1 \leq i \leq 4$ , of $K$ is calculated with the aid of presentations for the metabelian Galois group $G_{3}^{2} (K) = Gal (F_{3}^{2} (K) | K)$ of the second Hilbert $3$ -class field $F_{3}^{2} (K)$ of $K$ . In the case of a quadratic base field $K = ℚ (\sqrt{D})$ it is shown that the structure of the $3$ -class groups of the four $S_{3}$ -fields $N_{1}, ..., N_{4}$ frequently determines the type of principalization of the $3$ -class group of $K$ in $N_{1}, ..., N_{4}$ . This...

Operations between sets in geometry

Richard J. Gardner, Daniel Hug, Wolfgang Weil (2013)

Journal of the European Mathematical Society

Similarity:

An investigation is launched into the fundamental characteristics of operations on and between sets, with a focus on compact convex sets and star sets (compact sets star-shaped with respect to the origin) in $n$ -dimensional Euclidean space $ℝ^{n}$ . It is proved that if $n \geq 2$ , with three trivial exceptions, an operation between origin-symmetric compact convex sets is continuous in the Hausdorff metric, $G L (n)$ covariant, and associative if and only if it is $L_{p}$ addition for some $1 \leq p \leq \infty$ . It is also demonstrated...

Unit vector fields on antipodally punctured spheres: big index, big volume

Fabiano G. B. Brito, Pablo M. Chacón, David L. Johnson (2008)

Bulletin de la Société Mathématique de France

Similarity:

We establish in this paper a lower bound for the volume of a unit vector field $\vec{v}$ defined on $𝐒^{n} ∖ {\pm x}$ , $n = 2, 3$ . This lower bound is related to the sum of the absolute values of the indices of $\vec{v}$ at $x$ and $- x$ .

Extending piecewise polynomial functions in two variables

Andreas Fischer, Murray Marshall (2013)

Annales de la faculté des sciences de Toulouse Mathématiques

Similarity:

We study the extensibility of piecewise polynomial functions defined on closed subsets of $ℝ^{2}$ to all of $ℝ^{2}$ . The compact subsets of $ℝ^{2}$ on which every piecewise polynomial function is extensible to $ℝ^{2}$ can be characterized in terms of local quasi-convexity if they are definable in an o-minimal expansion of $ℝ$ . Even the noncompact closed definable subsets can be characterized if semialgebraic function germs at infinity are dense in the Hardy field of definable germs. We also present a piecewise...

On sentences provable in impredicative extensions of theories

Zygmunt Ratajczyk

Similarity:

CONTENTS0. Introduction.......................................................................... 51. Preliminaries............................................................................... 72. Basic facts to be used in the sequel....................................... 113. Predicates OD(.,.) and CL(.,.).................................................... 174. Predicate Sels............................................................................. 185. Strong $\sum_{n}^{1}$ -collection...........................................................

An effective proof of the hyperelliptic Shafarevich conjecture

Rafael von Känel (2014)

Journal de Théorie des Nombres de Bordeaux

Similarity:

Let $C$ be a hyperelliptic curve of genus $g \geq 1$ over a number field $K$ with good reduction outside a finite set of places $S$ of $K$ . We prove that $C$ has a Weierstrass model over the ring of integers of $K$ with height effectively bounded only in terms of $g$ , $S$ and $K$ . In particular, we obtain that for any given number field $K$ , finite set of places $S$ of $K$ and integer $g \geq 1$ one can in principle determine the set of $K$ -isomorphism classes of hyperelliptic curves over $K$ of genus $g$ with good reduction outside...

On critical values of twisted Artin $L$ -functions

Peng-Jie Wong (2017)

Czechoslovak Mathematical Journal

Similarity:

We give a simple proof that critical values of any Artin $L$ -function attached to a representation $ρ$ with character $χ_{ρ}$ are stable under twisting by a totally even character $χ$ , up to the $dim ρ$ -th power of the Gauss sum related to $χ$ and an element in the field generated by the values of $χ_{ρ}$ and $χ$ over $ℚ$ . This extends a result of Coates and Lichtenbaum as well as the previous work of Ward.