𝐺-modules with a convex base

In the theory of Banach spaces over valued fields developed, for example, in the classical book of van Rooij, <bold>Non-archimedean Functional Analysis</bold> , the group <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper G"> <mml:semantics> <mml:mi>G</mml:mi> <mml:annotation encoding="application/x-tex">G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> of a valuation on a field <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper K"> <mml:semantics> <mml:mi>K</mml:mi> <mml:annotation encoding="application/x-tex">K</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is a subgroup of the multiplicative subgroup ( <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="double-struck upper R Superscript plus Baseline comma dot"> <mml:semantics> <mml:mrow> <mml:msup> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="double-struck">R</mml:mi> </mml:mrow> <mml:mo>+</mml:mo> </mml:msup> <mml:mo>,</mml:mo> <mml:mo> ⋅ </mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathbb {R}^+, \cdot</mml:annotation> </mml:semantics> </mml:math> </inline-formula> ). Also, if <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper E"> <mml:semantics> <mml:mi>E</mml:mi> <mml:annotation encoding="application/x-tex">E</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is a <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper K"> <mml:semantics> <mml:mi>K</mml:mi> <mml:annotation encoding="application/x-tex">K</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -vector space, the set of norms of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper E"> <mml:semantics> <mml:mi>E</mml:mi> <mml:annotation encoding="application/x-tex">E</mml:annotation> </mml:semantics> </mml:math> </inline-formula> is a subset of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="left-bracket 0 comma normal infinity right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mo stretchy="false">[</mml:mo> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mi mathvariant="normal"> ∞ </mml:mi> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">[0, \infty )</mml:annotation> </mml:semantics> </mml:math> </inline-formula> . Yet this theory can be subsumed in a larger one, by allowing <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper G"> <mml:semantics> <mml:mi>G</mml:mi> <mml:annotation encoding="application/x-tex">G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> to be any linearly ordered multiplicative group, and considering the norms of the space as elements of a new structure, a <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper G"> <mml:semantics> <mml:mi>G</mml:mi> <mml:annotation encoding="application/x-tex">G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -module. Such a setting includes infinite dimensional spaces, where a bilinear form defines a (non-archimedean) norm, the space is complete in the induced topology and the Projection Theorem holds. Time and time again it has turned out that the structure of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper G"> <mml:semantics> <mml:mi>G</mml:mi> <mml:annotation encoding="application/x-tex">G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -modules has a strong say in the features of non-archimedean spaces over fields with valuations of arbitrary rank. This paper, that continues a line which started with the work of W. Schikhof and E. Olivos, is the starting point in the study of a particular class of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper G"> <mml:semantics> <mml:mi>G</mml:mi> <mml:annotation encoding="application/x-tex">G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -modules, those in which an independent generating set is a convex interval in the order of the <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper G"> <mml:semantics> <mml:mi>G</mml:mi> <mml:annotation encoding="application/x-tex">G</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -module. The authors could not forget to thank Wim Schikhof. It was during his stays in Temuco that this line of research started.

Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.