Source author record

Salma Kuhlmann

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.AC math.AG math.RA math.FA math.OC

Catalog footprint

Research overview

26works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Definable ranks

We introduce the notion of the definable rank of an ordered field, ordered abelian group and ordered set, respectively. We study the relation between the definable rank of an ordered field and the definable rank of the value group of its natural valuation. Similarly, we compare the definable rank of an ordered abelian group to that of its value set with respect to the natural valuation. We describe the definable rank on the group-level by characterizing the definable convex subgroups. We also give a detailed comparison of field- and group-level, in particular for ordered fields with henselian natural valuation. We investigate definability of final segments in ordered sets and introduce definable condensation as a tool for further study.

preprint2024arXiv

A Refinement of Hilbert's 1888 Theorem: Separating Cones along the Veronese Variety

For $n,d\in\mathbb{N}$ , the cone $\mathcal{P}_{n+1,2d}$ of positive semi-definite (PSD) $(n+1)$ -ary $2d$ -ic forms (i.e., homogeneous polynomials with real coefficients in $n+1$ variables of degree $2d$ ) contains the cone $Σ_{n+1,2d}$ of those that are representable as finite sums of squares (SOS) of $(n+1)$ -ary $d$ -ic forms. Hilbert's 1888 Theorem states that $Σ_{n+1,2d}=\mathcal{P}_{n+1,2d}$ exactly in the Hilbert cases $(n+1,2d)$ with $n+1=2$ or $2d=2$ or $(3,4)$ . For the non-Hilbert cases, we examine in [GHK] a specific cone filtration \begin{equation} Σ_{n+1,2d}=C_0\subseteq \ldots \subseteq C_n \subseteq C_{n+1} \subseteq \ldots \subseteq C_{k(n,d)-n}=\mathcal{P}_{n+1,2d}\end{equation} along $k(n,d)+1-n$ projective varieties containing the Veronese variety via the Gram matrix method. Here, $k(n,d)+1$ is the dimension of the real vector space of $(n+1)$ -ary $d$ -ic forms. In particular, we compute the number $μ(n,d)$ of strictly separating intermediate cones (i.e., $C_i$ such that $Σ_{n+1,2d}\subsetneq C_i \subsetneq \mathcal{P}_{n+1,2d}$ ) for the cases $(3,6)$ and $(n+1,2d)_{n\geq 3,d=2,3}$ . In this paper, firstly, we generalize our findings from [GHK] to any non-Hilbert case by identifying each strict inclusion in the above cone filtration. This allows us to give a refinement of Hilbert's 1888 Theorem by computing $μ(n,d)$ . The above cone filtration thus reduces to a specific cone subfiltration \begin{equation} Σ_{n+1,2d}=C_0^\prime\subsetneq C_1^\prime \subsetneq \ldots \subsetneq C_{μ(n,d)}^\prime \subsetneq C_{μ(n,d)+1}^\prime=\mathcal{P}_{n+1,2d} \end{equation} in which each inclusion is strict. Secondly, we show that each $C_i^\prime$ , and hence each strictly separating $C_i$ , fails to be a spectrahedral shadow.

preprint2022arXiv

Definability of henselian valuations by conditions on the value group

Given a henselian valuation, we study its definability (with and without parameters) by examining conditions on the value group. We show that any henselian valuation whose value group is not closed in its divisible hull is definable in the language of rings, using one parameter. Thereby we strengthen known definability results. Moreover, we show that in this case, one parameter is optimal in the sense that one cannot obtain definability without parameters. To this end, we present a construction method for a $t$ -henselian non-henselian ordered field elementarily equivalent to a henselian field with a specified value group.

preprint2022arXiv

The automorphism group of a valued field of generalised formal power series

Let $k$ be a field, $G$ a totally ordered abelian group and $\mathbb K = k((G))$ the maximal field of generalised power series, endowed with the canonical valuation $v$ . We study the group $v \mathrm{-Aut} K$ of valuation preserving automorphisms of a subfield $k(G)\subseteq K\subseteq \mathbb K$ , where $k(G)$ is the fraction field of the group ring $k[G]$ . Under the assumption that $K$ satisfies two lifting properties we are able to generalise and refine Hofberger's decomposition of $v \mathrm{-Aut}\mathbb K$ and prove a structure theorem decomposing $v\mathrm{-Aut} K$ into a 4-factor semi-direct product of notable subgroups. We then identify a large class of Hahn fields satisfying the two aforementioned lifting properties. Next we focus on the group of strongly additive automorphisms of $K$ . We give an explicit description of the group of strongly additive internal automorphisms in terms of the groups of homomorphisms $\mathrm{Hom}(G,k^\times)$ of $G$ into $k^\times$ and $\mathrm{Hom}(G,1+I_K)$ of $G$ into the group of 1-units of the valuation ring of $K$ . Finally, we specialise our results to some relevant special cases. In particular, we extend the work of Schilling on the field of Laurent series and that of Deschamps on the field of Puiseux series.

preprint2021arXiv

On Rayner structures

In this note, we study substructures of generalised power series fields induced by families of well-ordered subsets of the group of exponents. We characterise the set-theoretic and algebraic properties of the induced substructures in terms of conditions on the families. We extend the work of Rayner by giving both \emph{necessary} and sufficient conditions to obtain truncation closed subgroups, subrings and subfields.

preprint2021arXiv

Strongly NIP almost real closed fields

The following conjecture is due to Shelah-Hasson: Any infinite strongly NIP field is either real closed, algebraically closed, or admits a non-trivial definable henselian valuation, in the language of rings. We specialise this conjecture to ordered fields in the language of ordered rings, which leads towards a systematic study of the class of strongly NIP almost real closed fields. As a result, we obtain a complete characterisation of this class.

preprint2016arXiv

The analogue of Hilbert's 1888 theorem for Even Symmetric Forms

Hilbert proved in 1888 that a positive semidefinite (psd) real form is a sum of squares (sos) of real forms if and only if $n=2$ or $d=1$ or $(n,2d)=(3,4)$ , where $n$ is the number of variables and $2d$ the degree of the form. We study the analogue for even symmetric forms. We establish that an even symmetric $n$ -ary $2d$ -ic psd form is sos if and only if $n=2$ or $d=1$ or $(n,2d)=(n,4)_{n \geq 3}$ or $(n,2d)= (3,8)$ .

preprint2015arXiv

A note on $\aleph_α$ -saturated o-minimal expansions of real closed fields

We give necessary and sufficient conditions for a polynomially bounded o-minimal expansion of a real closed field (in a language of arbitrary cardinality) to be $\aleph_α$ -saturated. The conditions are in terms of the value group, residue field, and pseudo- Cauchy sequences of the natural valuation on the real closed field. This is achieved by an analysis of types, leading to the trichotomy. Our characterization provides a construction method for saturated models, using fields of generalized power series.

preprint2015arXiv

On the Choi-Lam analogue of Hilbert's 1888 theorem for Symmetric Forms

A famous theorem of Hilbert from 1888 states that a positive semidefinite (psd) real form is a sum of squares (sos) of real forms if and only if $n=2$ or $d=1$ or $(n,2d)=(3,4)$ , where $n$ is the number of variables and $2d$ the degree of the form. In 1976, Choi and Lam proved the analogue of Hilbert's Theorem for symmetric forms by assuming the existence of psd not sos symmetric $n$ -ary quartics for $n \geq 5$ . In this paper we complete their proof by constructing explicit psd not sos symmetric $n$ -ary quartics for $n \geq 5$ .

preprint2014arXiv

Moment problem in infinitely many variables

The multivariate moment problem is investigated in the general context of the polynomial algebra $\mathbb{R}[x_i \mid i \in Ω]$ in an arbitrary number of variables $x_i$ , $i\in Ω$ . The results obtained are sharpest when the index set $Ω$ is countable. Extensions of Haviland's theorem [Amer. J. Math., 58 (1936) 164-168] and Nussbaum's theorem [Ark. Math., 6 (1965) 179-191] are proved. Lasserre's description of the support of the measure in terms of the non-negativity of the linear functional on a quadratic module of $\mathbb{R}[x_i \mid i \in Ω]$ in [Trans. Amer. Math. Soc., 365 (2013) 2489-2504] is shown to remain valid in this more general situation. The main tool used in the paper is an extension of the localization method developed by the third author.

preprint2013arXiv

A Note on Extrema of Linear Combinations of Elementary Symmetric Functions

This note provides a new approach to a result of Foregger and related earlier results by Keilson and Eberlein. Using quite different techniques, we prove a more general result from which the others follow easily. Finally, we argue that the proof given by Foregger is flawed.

preprint2013arXiv

A Note on Schanuel's Conjectures for Exponential Logarithmic Power Series Fields

In [1], J. Ax proved a transcendency theorem for certain differential fields of characteristic zero: the differential counterpart of the still open Schanuel's conjecture about the exponential function over the field of complex numbers [11, page 30]. In this article, we derive from Ax's theorem transcendency results in the context of differential valued exponential fields. In particular, we obtain results for exponential Hardy fields, Logarithmic-Exponential power series fields and Exponential-Logarithmic power series fields.

preprint2013arXiv

Towers of complements to valuation rings and truncation closed embeddings of valued fields

We study necessary and sufficient conditions for a valued field $\KF$ with value group $G$ and residue field $\kf$ (with char $\KF$ = char $\kf$) to admit a truncation closed embedding in the field of generalized power series $\kf((G, f))$ (with factor set $f$ ). We show that this is equivalent to the existence of a family ({\it tower of complements}) of $\kf$-subspaces of $\KF$ which are complements of the (possibly fractional) ideals of the valuation ring. If $\KF$ is a Henselian field of characteristic 0 or, more generally, an algebraically maximal Kaplansky field, we give an intrinsic construction of such a family which does not rely on a given truncation closed embedding. We also show that towers of complements and truncation closed embeddings can be extended from an arbitrary field to at least one of its maximal immediate extensions.

preprint2012arXiv

A valuation theoretic characterization of recursively saturated real closed fields

We give a valuation theoretic characterization for a real closed field to be recursively saturated. Our result extends the characterization of Harnik and Ressayre \cite{hr} for a divisible ordered abelian group to be recursively saturated.

preprint2012arXiv

Application of Jacobi's Representation Theorem to locally multiplicatively convex topological real Algebras

Let $A$ be a commutative unital $\mathbb{R}$ -algebra and let $ρ$ be a seminorm on $A$ which satisfies $ρ(ab)\leqρ(a)ρ(b)$ . We apply T. Jacobi's representation theorem to determine the closure of a $\sum A^{2d}$ -module $S$ of $A$ in the topology induced by $ρ$ , for any integer $d\ge1$ . We show that this closure is exactly the set of all elements $a\in A$ such that $α(a)\ge0$ for every $ρ$ -continuous $\mathbb{R}$ -algebra homomorphism $α: A \rightarrow \mathbb{R}$ with $α(S)\subseteq[0,\infty)$ , and that this result continues to hold when $ρ$ is replaced by any locally multiplicatively convex topology $τ$ on $A$ . We obtain a representation of any linear functional $L : A \rightarrow \reals$ which is continuous with respect to any such $ρ$ or $τ$ and non-negative on $S$ as integration with respect to a unique Radon measure on the space of all real valued $\reals$ -algebra homomorphisms on $A$ , and we characterize the support of the measure obtained in this way.

preprint2012arXiv

Closure of the cone of sums of 2d-powers in real topological algebras

Let $R$ be a unitary commutative real algebra and $K\subseteq Hom(R,\mathbb{R})$ , closed with respect to the product topology. We consider $R$ endowed with the topology $\mathcal{T}_K$ , induced by the family of seminorms $ρ_α(a):=|α(a)|$ , for $α\in K$ and $a\in R$ . In case $K$ is compact, we also consider the topology induced by $\|a\|_K:=\sup_{α\in K}|α(a)|$ for $a\in R$ . If $K$ is Zariski dense, then those topologies are Hausdorff. In this paper we prove that the closure of the cone of sums of 2d-powers, $\sum R^{2d}$ , with respect to those two topologies is equal to $Psd(K):=\{a\in R:α(a)\geq 0,\textrm{for all}α\in K\}$ . In particular, any continuous linear functional $L$ on the polynomial ring $R=\mathbb{R}[X_1,...,X_n]$ with $L(h^{2d})\ge0$ for each $h\in R$ is integration with respect to a positive Borel measure supported on $K$ . Finally we give necessary and sufficient conditions to ensure the continuity of a linear functional with respect to those two topologies.

preprint2012arXiv

Hardy type derivations on generalized series fields

We consider the valued field $\mathds{K}:=\mathbb{R}((Γ))$ of generalized series (with real coefficients and monomials in a totally ordered multiplicative group $Γ$ ). We investigate how to endow $\mathds{K}$ with a series derivation, that is a derivation that satisfies some natural properties such as commuting with infinite sums (strong linearity) and (an infinite version of) Leibniz rule. We characterize when such a derivation is of Hardy type, that is, when it behaves like differentiation of germs of real valued functions in a Hardy field. We provide a necessary and sufficent condition for a series derivation of Hardy type to be surjective.

preprint2012arXiv

The exponential-logarithmic equivalence classes of surreal numbers

In his monograph, H. Gonshor showed that Conway's real closed field of surreal numbers carries an exponential and logarithmic map. Subsequently, L. van den Dries and P. Ehrlich showed that it is a model of the elementary theory of the field of real numbers with the exponential function. In this paper, we give a complete description of the exponential equivalence classes in the spirit of the classical Archimedean and multiplicative equivalence classes. This description is made in terms of a recursive formula as well as a sign sequence formula for the family of representatives of minimal length of these exponential classes.

preprint2012arXiv

The Moment Problem for Continuous Positive Semidefinite Linear functionals

Let $τ$ be a locally convex topology on the countable dimensional polynomial $\reals$ -algebra $\rx:=\reals[X_1,...,X_n]$. Let $K$ be a closed subset of $\reals^n$ , and let $M:=M_{\{g_1, ... g_s\}}$ be a finitely generated quadratic module in $\rx$. We investigate the following question: When is the cone $\Pos(K)$ (of polynomials nonnegative on $K$ ) included in the closure of $M$ ? We give an interpretation of this inclusion with respect to representing continuous linear functionals by measures. We discuss several examples; we compute the closure of $M=\sos$ with respect to weighted norm- $p$ topologies. We show that this closure coincides with the cone $\Pos(K)$ where $K$ is a certain convex compact polyhedron.

preprint2011arXiv

Comparison of Exponential-Logarithmic and Logarithmic-Exponential series

We explain how the field of logarithmic-exponential series constructed in \cite{DMM1} and \cite {DMM2} embeds as an exponential field in any field of exponential-logarithmic series constructed in \cite{KK1}, \cite {K} and \cite {KS}. On the other hand, we explain why no field of exponential-logarithmic series embeds in the field of logarithmic-exponential series. This clarifies why the two constructions are intrinsically different, in the sense that they produce non-isomorphic models of Th $(\R_{an, exp})$ ; the elementary theory of the ordered field of real numbers, with the exponential function and restricted analytic functions.

preprint2011arXiv

Hardy type derivations on fields of exponential logarithmic series

We consider the valued field $\mathds{K}:=\mathbb{R}((Γ))$ of formal series (with real coefficients and monomials in a totally ordered multiplicative group $Γ>$ ). We investigate how to endow $\mathds{K}$ with a logarithm $l$ , which satisfies some natural properties such as commuting with infinite products of monomials. In the article "Hardy type derivations on generalized series fields", we study derivations on $\mathds{K}$. Here, we investigate compatibility conditions between the logarithm and the derivation, i.e. when the logarithmic derivative is the derivative of the logarithm. We analyse sufficient conditions on a given derivation to construct a compatible logarithm via integration of logarithmic derivatives. In her monograph "Ordered exponential fields", the first author described the exponential closure $\mathds{K}^{\rm{EL}}$ of $(\mathds{K},l)$. Here we show how to extend such a log-compatible derivation on $\mathds{K}$ to $\mathds{K}^{\rm{EL}}$.

preprint2011arXiv

Real closed exponential fields

In an extended abstract Ressayre considered real closed exponential fields and integer parts that respect the exponential function. He outlined a proof that every real closed exponential field has an exponential integer part. In the present paper, we give a detailed account of Ressayre's construction, which becomes canonical once we fix the real closed exponential field, a residue field section, and a well ordering of the field. The procedure is constructible over these objects; each step looks effective, but may require many steps. We produce an example of an exponential field $R$ with a residue field $k$ and a well ordering $<$ such that $D^c(R)$ is low and $k$ and $<$ are $Δ^0_3$ , and Ressayre's construction cannot be completed in $L_{ω_1^{CK}}$ .

preprint2008arXiv

Positivity in power series rings

We extend and generalize the results of Scheiderer (2006) on the representation of polynomials nonnegative on two-dimensional basic closed semialgebraic sets. Our extension covers some situations where the defining polynomials do not satisfy the transversality condition. Such situations arise naturally when one considers semialgebraic sets invariant under finite group actions.

preprint2008arXiv

Sums of squares and moment problems in equivariant situations

We begin a systematic study of positivity and moment problems in an equivariant setting. Given a reductive group $G$ over $\R$ acting on an affine $\R$ -variety $V$ , we consider the induced dual action on the coordinate ring $\R[V]$ and on the linear dual space of $\R[V]$ . In this setting, given an invariant closed semialgebraic subset $K$ of $V(\R)$ , we study the problem of representation of invariant nonnegative polynomials on $K$ by invariant sums of squares, and the closely related problem of representation of invariant linear functionals on $\R[V]$ by invariant measures supported on $K$ . To this end, we analyse the relation between quadratic modules of $\R[V]$ and associated quadratic modules of the (finitely generated) subring $\R[V]^G$ of invariant polynomials. We apply our results to investigate the finite solvability of an equivariant version of the multidimensional $K$ -moment problem. Most of our results are specific to the case where the group $G(\R)$ is compact.

preprint2007arXiv

Valuation bases for generalized algebraic series fields

We investigate valued fields which admit a valuation basis. Given a countable ordered abelian group G and a real closed, or algebraically closed field F, we give a sufficient condition for a valued subfield of the field of generalized power series F((G)) to admit a K-valuation basis. We show that the field of rational functions F(G) and the field F(G) of power series in F((G)) algebraic over F(G) satisfy this condition. It follows that for archimedean F and divisible G the real closed field F(G) admits a restricted exponential function.

preprint2001arXiv

Functional Equations for Lexicographic Products

We generalize the main result of math.RA/9608214 concerning the convex embeddings of a chain Gamma in a lexicographic power Delta^Gamma. For a fixed nonempty chain Delta, we derive necessary and sufficient conditions for the existence of nonempty solutions Gamma to each of the lexicographic functional equations (Delta^Gamma)^{<=0} simeq Gamma, (Delta^Gamma) simeq Gamma, and (Delta^Gamma)^{<0} simeq Gamma.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Salma Kuhlmann

Research overview

Is this your work?

26 publications

Definable ranks

A Refinement of Hilbert's 1888 Theorem: Separating Cones along the Veronese Variety

Definability of henselian valuations by conditions on the value group

The automorphism group of a valued field of generalised formal power series

On Rayner structures

Strongly NIP almost real closed fields

The analogue of Hilbert's 1888 theorem for Even Symmetric Forms

A note on $\aleph_α$ -saturated o-minimal expansions of real closed fields

On the Choi-Lam analogue of Hilbert's 1888 theorem for Symmetric Forms

Moment problem in infinitely many variables

A Note on Extrema of Linear Combinations of Elementary Symmetric Functions

A Note on Schanuel's Conjectures for Exponential Logarithmic Power Series Fields

Towers of complements to valuation rings and truncation closed embeddings of valued fields

A valuation theoretic characterization of recursively saturated real closed fields

Application of Jacobi's Representation Theorem to locally multiplicatively convex topological real Algebras

Closure of the cone of sums of 2d-powers in real topological algebras

Hardy type derivations on generalized series fields

The exponential-logarithmic equivalence classes of surreal numbers

The Moment Problem for Continuous Positive Semidefinite Linear functionals

Comparison of Exponential-Logarithmic and Logarithmic-Exponential series

Hardy type derivations on fields of exponential logarithmic series

Real closed exponential fields

Positivity in power series rings

Sums of squares and moment problems in equivariant situations

Valuation bases for generalized algebraic series fields

Functional Equations for Lexicographic Products

See the researcher in context

Building this map preview

Salma Kuhlmann

Research overview

Is this your work?

26 publications

Definable ranks

A Refinement of Hilbert's 1888 Theorem: Separating Cones along the Veronese Variety

Definability of henselian valuations by conditions on the value group

The automorphism group of a valued field of generalised formal power series

On Rayner structures

Strongly NIP almost real closed fields

The analogue of Hilbert's 1888 theorem for Even Symmetric Forms

A note on ℵα\aleph_αℵα​-saturated o-minimal expansions of real closed fields

On the Choi-Lam analogue of Hilbert's 1888 theorem for Symmetric Forms

Moment problem in infinitely many variables

A Note on Extrema of Linear Combinations of Elementary Symmetric Functions

A Note on Schanuel's Conjectures for Exponential Logarithmic Power Series Fields

Towers of complements to valuation rings and truncation closed embeddings of valued fields

A valuation theoretic characterization of recursively saturated real closed fields

Application of Jacobi's Representation Theorem to locally multiplicatively convex topological real Algebras

Closure of the cone of sums of 2d-powers in real topological algebras

Hardy type derivations on generalized series fields

The exponential-logarithmic equivalence classes of surreal numbers

The Moment Problem for Continuous Positive Semidefinite Linear functionals

Comparison of Exponential-Logarithmic and Logarithmic-Exponential series

Hardy type derivations on fields of exponential logarithmic series

Real closed exponential fields

Positivity in power series rings

Sums of squares and moment problems in equivariant situations

Valuation bases for generalized algebraic series fields

Functional Equations for Lexicographic Products

See the researcher in context

Building this map preview

A note on $\aleph_α$ -saturated o-minimal expansions of real closed fields