scholarly journals Unexpected imaginaries in valued fields with analytic structure

2013 ◽  
Vol 78 (2) ◽  
pp. 523-542 ◽  
Author(s):  
Deirdre Haskell ◽  
Ehud Hrushovski ◽  
Dugald Macpherson

AbstractWe give an example of an imaginary defined in certain valued fields with analytic structure which cannot be coded in the ‘geometric’ sorts which suffice to code all imaginaries in the corresponding algebraic setting.

2019 ◽  
Vol 63 (1) ◽  
pp. 249-261
Author(s):  
Pablo Cubides Kovacsics ◽  
Deirdre Haskell

AbstractWe show quantifier elimination theorems for real closed valued fields with separated analytic structure and overconvergent analytic structure in their natural one-sorted languages and deduce that such structures are weakly o-minimal. We also provide a short proof that algebraically closed valued fields with separated analytic structure (in any rank) are C-minimal.


2015 ◽  
Vol 16 (3) ◽  
pp. 447-499 ◽  
Author(s):  
Silvain Rideau

We prove field quantifier elimination for valued fields endowed with both an analytic structure that is $\unicode[STIX]{x1D70E}$-Henselian and an automorphism that is $\unicode[STIX]{x1D70E}$-Henselian. From this result we can deduce various Ax–Kochen–Eršov type results with respect to completeness and the independence property. The main example we are interested in is the field of Witt vectors on the algebraic closure of $\mathbb{F}_{p}$ endowed with its natural analytic structure and the lifting of the Frobenius. It turns out we can give a (reasonable) axiomatization of its first-order theory and that this theory does not have the independence property.


Author(s):  
Ehud Hrushovski ◽  
François Loeser

This chapter provides some background material on definable sets, definable types, orthogonality to a definable set, and stable domination, especially in the valued field context. It considers more specifically these concepts in the framework of the theory ACVF of algebraically closed valued fields and describes the definable types concentrating on a stable definable V as an ind-definable set. It also proves a key result that demonstrates definable types as integrals of stably dominated types along some definable type on the value group sort. Finally, it discusses the notion of pseudo-Galois coverings. Every nonempty definable set over an algebraically closed substructure of a model of ACVF extends to a definable type.


Author(s):  
Bernhard M¨uhlherr ◽  
Holger P. Petersson ◽  
Richard M. Weiss

This chapter proves that Bruhat-Tits buildings exist. It begins with a few definitions and simple observations about quadratic forms, including a 1-fold Pfister form, followed by a discussion of the existence part of the Structure Theorem for complete discretely valued fields due to H. Hasse and F. K. Schmidt. It then considers the generic unramified cases; the generic semi-ramified cases, the generic ramified cases, the wild unramified cases, the wild semi-ramified cases, and the wild ramified cases. These cases range from a unique unramified quadratic space to an unramified separable quadratic extension, a tamely ramified division algebra, a ramified separable quadratic extension, and a unique unramified quaternion division algebra. The chapter also describes ramified quaternion division algebras D₁, D₂, and D₃ over K containing a common subfield E such that E/K is a ramified separable extension.


2021 ◽  
Vol 2021 (3) ◽  
Author(s):  
J.M. Drummond ◽  
H. Paul

Abstract We consider α′ corrections to the one-loop four-point correlator of the stress- tensor multiplets in $$ \mathcal{N} $$ N = 4 super Yang-Mills at order 1/N4. Holographically, this is dual to string corrections of the one-loop supergravity amplitude on AdS5 × S5. While this correlator has been considered in Mellin space before, we derive the corresponding position space results, gaining new insights into the analytic structure of AdS loop amplitudes. Most notably, the presence of a transcendental weight three function involving new singularities is required, which has not appeared in the context of AdS amplitudes before. We thereby confirm the structure of string corrected one-loop Mellin amplitudes, and also provide new explicit results at orders in α′ not considered before.


2021 ◽  
pp. 147035722098482
Author(s):  
Crispin Thurlow

The analytic focus of this article is the highly fashionable ‘infinity pool’, treated here as a visual-material realization of the cultural politics of super-elite mobility. The article is organized around a three-step analytic structure. First, I demonstrate how the infinity pool is mediatized as a status marker, and thus circulated and normalized. Second, I pinpoint the semiotic and ideological ways the infinity pool emerges as a mediated practice. Third, I examines how the infinity pool is also remediated on Instagram and thereby broadcast anew. Throughout, I evidence my analysis with visual texts drawn from a range of commercial, situated and digital media sources. My primary objective is to show how the infinity pool, as a mediatized, mediated and remediated practice, feeds the global semioscape, that more informal, often banal plane of cultural circulation where images, ideas and aesthetic ideals seed themselves all over the place. In this way, and however frivolous or innocuous infinity pools may seem, they also spread a particularly privileged way of looking at, and being in, the world.


Sign in / Sign up

Export Citation Format

Share Document