Analytic and pseudo-analytic structures (a survey)

B.Zilber

2004-01-23

Abstract: The paper is an extended version of the talk in the Logic Colloquium-2000 at Paris. We discuss a series of results and problems around Hrushovski's construction of counter-examples to the Trichotomy conjecture.

Logic

What problem does this paper attempt to address?

Zilber's Trichotomy in Hausdorff Geometric Structures

Benjamin Castle,Assaf Hasson,Jinhe Ye

2024-05-04

Abstract:We give a new axiomatic treatment of the Zilber trichotomy, and use it to complete the proof of the trichotomy for relics of algebraically closed fields, i.e., reducts of the ACF-induced structure on ACF-definable sets. More precisely, we introduce a class of geometric structures equipped with a Hausdorff topology, called \textit{Hausdorff geometric structures}. Natural examples include the complex field; algebraically closed valued fields; o-minimal expansions of real closed fields; and characteristic zero Henselian fields (in particular $p$-adically closed fields). We then study the Zilber trichotomy for relics of Hausdorff geometric structures, showing that under additional assumptions, every non-locally modular strongly minimal relic on a real sort interprets a one-dimensional group. Combined with recent results, this allows us to prove the trichotomy for strongly minimal relics on the real sorts of algebraically closed valued fields.

Logic,Algebraic Geometry
Zilber's notion of logically perfect structure: Universal Covers

John T. Baldwin,Andrés Villaveces

2023-10-13

Abstract:We sketch recent interactions between model theory and a roughly 150-year old study of analytic functions involving complex analysis, algebraic topology, and number theory, centered in canonicity of universal covers. Towards this goal we discuss in a systematic and unified way several examples indicating the main ideas of the proofs and the necessary changes in method for different situations: exponential covers, modular and Shimura curves, Shimura and abelian varieties, and coherent families of smooth covers.

Logic
About Hrushovski and Loeser's work on the homotopy type of Berkovich spaces

Antoine Ducros

DOI: https://doi.org/10.48550/arXiv.1309.0340

2015-07-20

Abstract:Those are the notes of the two talks I gave in april 2013 in St-John (US Virgin Islands) during the Simons Symposium on non-Archimedean and tropical geometry. They essentially consist of a survey of Hrushovski and Loeser's work on the homotopy type of Berkovich spaces; the last section explains how the author has used their work for studying pre-image of skeleta.

Algebraic Geometry
Integral structures in smooth $\mathrm{GL}_2(\mathbf{Q}_p)$-representations and zeta integrals

Alexandros Groutides

2024-05-19

Abstract:For an odd prime $p$ and an unramified maximal torus $H $ of $\mathrm{GL}_{2/\mathbf{Q}_p}$, inspired by work of Loeffler-Skinner-Zerbes, we construct natural $H(\mathbf{Q}_p)$-stable lattices in spaces of functions on $\left(\mathrm{GL}_2\times H\right)(\mathbf{Q}_p)$ and positively answer a conjecture of Loeffler. These local lattices give rise to canonical Hecke operators in local spherical Hecke algebras, that enjoy certain integrality properties away from $p$, with respect to equivariant maps into any smooth $\mathrm{GL}_2(\mathbf{Q}_p)$-representation. In the process, we also obtain integral results on $H$-invariant periods for local unramified Whittaker type representations, and global automorphic representations attached to cuspidal Hecke eigenforms.

Number Theory,Representation Theory
La structure des courbes analytiques

Antoine Ducros

2024-05-17

Abstract:This is a work in progress, far from being in its final form whose purpose is to investigate thoroughly the structure of Berkovich analytic curves and its relation with the semi-stable reduction theorem (of which a new proof is given here, starting from the local study of Berkovich curves) through the formalism of "triangulations". It has been already on the author's webpage for years, but it seems better to make it available on a public preprint server.

Algebraic Geometry
Frobenius structure and $p$-adic zeta function

Frits Beukers,Masha Vlasenko

2023-11-15

Abstract:For differential operators of Calabi-Yau type, Candelas, de la Ossa and van Straten conjecture the appearance of $p$-adic zeta values in the matrix entries of their $p$-adic Frobenius structure expressed in the standard basis of solutions near a MUM-point. We prove that this phenomenon holds for simplicial and hyperoctahedral families of Calabi-Yau hypersurfaces in $n$ dimensions, in which case the Frobenius matrix entries are rational linear combinations of products of $\zeta_p(k)$ with $1 < k < n$.

Number Theory,Mathematical Physics,Algebraic Geometry
Construction schemes: transferring structures from $ω$ to $ω_1$

Jorge Antonio Cruz Chapital,Osvaldo Guzmán,Stevo Todorcevic

2023-04-16

Abstract:A structural analysis of construction schemes is developed. That analysis is used to give simple and new constructions of combinatorial objects which have been of interest to set theorists and topologists. We then continue the study of capturing axioms associated to construction schemes. From them, we deduce the existence of several uncountable structures which are known to be independent from the usual axioms of Set Theory. Lastly, we prove that the capturing axiom $FCA(part)$ is implied by Jensen's $\Diamond$ principle.

Logic,General Topology
A Zassenhaus conjecture and CPA-structures on simple modular Lie algebras

Dietrich Burde,Wolfgang Alexander Moens

DOI: https://doi.org/10.1016/j.jalgebra.2020.05.006

IF: 0.908

2020-10-01

Journal of Algebra

Abstract:Commutative post-Lie algebra structures on Lie algebras, in short CPA structures, have been studied over fields of characteristic zero, in particular for real and complex numbers motivated by geometry. A perfect Lie algebra in characteristic zero only admits the trivial CPA-structure. In this article we study these structures over fields of characteristic p>0. We show that every perfect modular Lie algebra in characteristic p>2 having a solvable outer derivation algebra admits only the trivial CPA-structure. This involves a conjecture by Hans Zassenhaus, saying that the outer derivation algebra Out(g) of a simple modular Lie algebra g is solvable. We try to summarize the known results on the Zassenhaus conjecture and prove some new results using the classification of simple modular Lie algebras by Premet and Strade for algebraically closed fields of characteristic p>3. As a corollary we obtain that that every central simple modular Lie algebra of characteristic p>3 admits only the trivial CPA-structure.

mathematics
Mekler's Construction and Murphy's Law for 2-Nilpotent Groups

Blaise Boissonneau,Aris Papadopoulos,Pierre Touchard

2024-03-30

Abstract:Mekler's construction is a powerful technique for building purely algebraic structures from combinatorial ones. Its power lies in the fact that it allows various model-theoretic tameness properties of the combinatorial structure to transfer to the algebraic one. In this paper, we push this ideology much further, describing a broad class of properties that transfer through Mekler's construction. This technique subsumes many well-known results and opens avenues for many more.

Combinatorics,Group Theory
A general framework for the analytic Langlands correspondence

Pavel Etingof,Edward Frenkel,David Kazhdan

2024-02-13

Abstract:We discuss a general framework for the analytic Langlands correspondence over an arbitrary local field F introduced and studied in our works <a class="link-https" data-arxiv-id="1908.09677" href="https://arxiv.org/abs/1908.09677">arXiv:1908.09677</a>, <a class="link-https" data-arxiv-id="2103.01509" href="https://arxiv.org/abs/2103.01509">arXiv:2103.01509</a> and <a class="link-https" data-arxiv-id="2106.05243" href="https://arxiv.org/abs/2106.05243">arXiv:2106.05243</a>, in particular including non-split and twisted settings. Then we specialize to the archimedean cases (F=C and F=R) and give a (mostly conjectural) description of the spectrum of the Hecke operators in various cases in terms of opers satisfying suitable reality conditions, as predicted in part in <a class="link-https" data-arxiv-id="2103.01509" href="https://arxiv.org/abs/2103.01509">arXiv:2103.01509</a>, <a class="link-https" data-arxiv-id="2106.05243" href="https://arxiv.org/abs/2106.05243">arXiv:2106.05243</a> and <a class="link-https" data-arxiv-id="2107.01732" href="https://arxiv.org/abs/2107.01732">arXiv:2107.01732</a>. We also describe an analogue of the Langlands functoriality principle in the analytic Langlands correspondence over C and show that it is compatible with the results and conjectures of <a class="link-https" data-arxiv-id="2103.01509" href="https://arxiv.org/abs/2103.01509">arXiv:2103.01509</a>. Finally, we apply the tools of the analytic Langlands correspondence over archimedean fields in genus zero to the Gaudin model and its generalizations, as well as their q-deformations.

Algebraic Geometry,High Energy Physics - Theory,Number Theory,Representation Theory,Exactly Solvable and Integrable Systems
Kleinian singularities: some geometry, combinatorics and representation theory

Lukas Bertsch,Ádám Gyenge,Balázs Szendrői

2024-10-23

Abstract:We review the relationship between discrete groups of symmetries of Euclidean three-space, constructions in algebraic geometry around Kleinian singularities including versions of Hilbert and Quot schemes, and their relationship to finite-dimensional and affine Lie algebras via the McKay correspondence. We focus on combinatorial aspects, such as the enumeration of certain types of partition-like objects, reviewing in particular a recently developed root-of-unity-substitution calculus. While the most complete results are in type A, we also develop aspects of the theory in type D, and end with some questions about the exceptional type E cases.

Algebraic Geometry,Combinatorics
All about the Grothendieck construction

Aaron Mazel-Gee

DOI: https://doi.org/10.48550/arXiv.1510.03525

2015-10-13

Abstract:We provide, among other things: (i) a Bousfield--Kan formula for colimits in $\infty$-categories (generalizing the 1-categorical formula for a colimit as a coequalizer of maps between coproducts); (ii) $\infty$-categorical generalizations of Barwick--Kan's Theorem B$_n$ and Dwyer--Kan--Smith's Theorem C$_n$ (regarding homotopy pullbacks in the Thomason model structure, which themselves vastly generalize Quillen's Theorem B); and (iii) an articulation of the simultaneous and interwoven functoriality of colimits (or dually, of limits) for natural transformations and for pullback along maps of diagram $\infty$-categories.

Algebraic Topology,Category Theory
Topologization and Functional Analytification III

Xin Tong

2024-05-23

Abstract:In this paper, we continue our study on the topologization and functional analytification in $\infty$-categorical and homotopical analytic geometry. As in our previous articles on the $\infty$-categorical extensions of certain analytic and topological contexts, we discuss the corresponding prismatic cohomological constructions after Bhatt-Lurie, Bhatt-Scholze and Drinfeld, and the corresponding Robba stacks and sheaves after Kedlaya-Liu.

Algebraic Geometry,Number Theory
Compactifications of pseudofinite and pseudo-amenable groups

Gabriel Conant,Ehud Hrushovski,Anand Pillay

2023-08-16

Abstract:We first give simplified and corrected accounts of some results in \cite{PiRCP} on compactifications of pseudofinite groups. For instance, we use a classical theorem of Turing \cite{Turing} to give a simplified proof that any definable compactification of a pseudofinite group has an abelian connected component. We then discuss the relationship between Turing's work, the Jordan-Schur Theorem, and a (relatively) more recent result of Kazhdan \cite{Kazh} on approximate homomorphisms, and we use this to widen our scope from finite groups to amenable groups. In particular, we develop a suitable continuous logic framework for dealing with definable homomorphisms from pseudo-amenable groups to compact Lie groups. Together with the stabilizer theorems of \cite{HruAG,MOS}, we obtain a uniform (but non-quantitative) analogue of Bogolyubov's Lemma for sets of positive measure in discrete amenable groups. We conclude with brief remarks on the case of amenable topological groups.

Logic,Group Theory
Universal construction in monoidal and non-monoidal settings, the Brauer envelope, and pseudocharacters

Mee Seong Im,Mikhail Khovanov,Victor Ostrik

2023-03-05

Abstract:This paper clarifies basic definitions in the universal construction of topological theories and monoidal categories. The definition of the universal construction is given for various types of monoidal categories, including rigid and symmetric. It is also explained how to set up the universal construction for non-monoidal categories. The second part of the paper explains how to associate a rigid symmetric monoidal category to a small category, a sort of the Brauer envelope of a category. The universal construction for the Brauer envelopes generalizes some earlier work of the first two authors on automata, power series and topological theories. Finally, the theory of pseudocharacters (or pseudo-representations), which is an essential tool in modern number theory, is interpreted via one-dimensional topological theories and TQFTs with defects. The notion of a pseudocharacter is studied for Brauer categories and the lifting property to characters of semisimple representations is established in characteristic 0 for Brauer categories with at most countably many objects. The paper contains a brief discussion of pseudo-holonomies, which are functions from loops in a manifold to real numbers similar to traces of the holonomies along loops of a connection on a vector bundle on the manifold. It concludes with a classification of pseudocharacters (pseudo-TQFTs) and their generating functions for the category of oriented two-dimensional cobordisms in the characteristic 0 case.

Quantum Algebra,Mathematical Physics,Category Theory,Representation Theory
Zoll Metrics, Branched Covers, and Holomorphic Disks

Claude LeBrun,L. J. Mason,L.J. Mason

DOI: https://doi.org/10.48550/arXiv.1002.2993

2010-02-16

Differential Geometry

Abstract:We strengthen our previous results regarding the moduli spaces of Zoll metrics and Zoll projective structures on S^2. In particular, we describe a concrete, open condition which suffices to guarantee that a totally real embedding of RP^2 in CP_2 arises from a unique Zoll projective structure on the 2-sphere. Our methods ultimately reflect the special role such structures play in the initial value problem for the 3-dimensional Lorentzian Einstein-Weyl equations.
Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas

Fernando Lucatelli Nunes,Matthijs Vákár

2024-05-21

Abstract:We study the categorical structure of the Grothendieck construction of an indexed category $\mathcal{L}:\mathcal{C}^{op}\to\mathbf{CAT}$ and characterise fibred limits, colimits, and monoidal structures. Next, we give sufficient conditions for the monoidal closure of the total category $\Sigma_\mathcal{C} \mathcal{L}$ of a Grothendieck construction of an indexed category $\mathcal{L}:\mathcal{C}^{op}\to\mathbf{CAT}$. Our analysis is a generalization of Gödel's Dialectica interpretation, and it relies on a novel notion of $\Sigma$-tractable monoidal structure. As we will see, $\Sigma$-tractable coproducts simultaneously generalize cocartesian coclosed structures, biproducts and extensive coproducts. We analyse when the closed structure is fibred -- usually it is not.

Category Theory,Logic in Computer Science,Programming Languages
Weak Lipschitz structures and their connections with the topological structures

Tullio Valent

2024-04-22

Abstract:Two approaches to Lipschitz structures for any set are presented, studied and compared. The first approach is similar to the one proposed in Fraser, Jr. R. B., Axiom systems for Lipschitz structures, Fundamenta Mathematicae, (1970), where Lipschitz structures are defined as families of pseudo-metrics satisfying suitable conditions. The other one, here introduced, is expressed by using weak pseudo-metrics, which (unlike the pseudo-metrics) do not necessarily vanish on the whole of the diagonal of the cartesian product of the considered set. In this case we will talk about weak Lipschitz structures. Since all topological structures are defined by a a family of weak pseudo-metrics (as we will show in Section 4) we can find some connections between topological structures and weak Lipschitz structures, and a link between continuous maps and weak Lipschitz maps.

General Topology
Quantifier elimination in quasianalytic structures via non-standard analysis

Krzysztof Jan Nowak

DOI: https://doi.org/10.48550/arXiv.1405.2840

2015-05-11

Abstract:The paper is a continuation of our earlier article where we developed a theory of active and non-active infinitesimals and intended to establish quantifier elimination in quasianalytic structures. That article, however, did not attain full generality, which refers to one of its results, namely the theorem on an active infinitesimal, playing an essential role in our non-standard analysis. The general case was covered in our subsequent preprint, which constitutes a basis for the approach presented here. We also provide a quasianalytic exposition of the results concerning rectilinearization of terms and of definable functions from our earlier research. It will be used to demonstrate a quasianalytic structure corresponding to a Denjoy-Carleman class which, unlike the classical analytic structure, does not admit quantifier elimination in the language of restricted quasianalytic functions augmented merely by the reciprocal function. More precisely, we construct a plane definable curve, which indicates both that the classical theorem by J. Denef and L. van den Dries as well as Łojasiewicz's theorem that every subanalytic curve is semianalytic are no longer true for quasianalytic structures. Besides rectilinearization of terms, our construction makes use of some theorems on power substitution for Denjoy-Carleman classes and on non-extendability of quasianalytic function germs. The last result relies on Grothendieck's factorization and open mapping theorems for (LF)-spaces. Note finally that this paper comprises our earlier preprints on the subject from May 2012.

Algebraic Geometry,Logic
Zeta-polynomials, superpolynomials, DAHA and plane curve singularities

Ivan Cherednik

2024-04-20

Abstract:We begin with modular form periods, a focal point of several Yuri Manin's works. The similarity is discussed between the corresponding zeta-polynomials and superpolynomials of algebraic links, closely related to Khovanov-Rozansky polynomials. We focus on DAHA superpolynomials and motivic ones, defined via compactified Jacobians of plane curve singularities and their counterparts in arbitrary ranks; the non-unibranch construction is new. They conjecturally coincide with the corresponding generalizations of L-functions and satisfy the Riemann Hypothesis in some sectors of the parameters. Presumably, the motivic ones an be interpreted as certain partition functions of Landau-Ginzburg models associated with plane curve singularities; RH for them is remarkably similar to the Lee-Yang circle theorem for Ising models. A q,t-deformation of the Witten index is obtained as an application. General perspectives of the motivic theory of isolated curve and surface singularities are discussed, including possible implications in number theory. Also, we introduce super-analogs of $\rho_{ab}$-invariants and discuss super-deformations of the Riemann's zeta. Among other topics: Verlinde algebras, and the topological vertex.

Quantum Algebra,Number Theory,Representation Theory

Analytic and pseudo-analytic structures (a survey)

Zilber's Trichotomy in Hausdorff Geometric Structures

Zilber's notion of logically perfect structure: Universal Covers

About Hrushovski and Loeser's work on the homotopy type of Berkovich spaces

Integral structures in smooth $\mathrm{GL}_2(\mathbf{Q}_p)$-representations and zeta integrals

La structure des courbes analytiques

Frobenius structure and $p$-adic zeta function

Construction schemes: transferring structures from $ω$ to $ω_1$

A Zassenhaus conjecture and CPA-structures on simple modular Lie algebras

Mekler's Construction and Murphy's Law for 2-Nilpotent Groups

A general framework for the analytic Langlands correspondence

Kleinian singularities: some geometry, combinatorics and representation theory

All about the Grothendieck construction

Topologization and Functional Analytification III

Compactifications of pseudofinite and pseudo-amenable groups

Universal construction in monoidal and non-monoidal settings, the Brauer envelope, and pseudocharacters

Zoll Metrics, Branched Covers, and Holomorphic Disks

Monoidal closure of Grothendieck constructions via $Σ$-tractable monoidal structures and Dialectica formulas

Weak Lipschitz structures and their connections with the topological structures

Quantifier elimination in quasianalytic structures via non-standard analysis

Zeta-polynomials, superpolynomials, DAHA and plane curve singularities