A Constructive Proof of the Gelfand—Kolmogorov Theorem

He Wei

DOI: https://doi.org/10.1023/b:apcs.0000018250.65771.5e

2004-01-01

Applied Categorical Structures

Abstract:A construction of the Stone—Čech compactification of a locale L is presented in this paper as a quotient of the frame of radical ideals of the algebra C * ( L ). As a corollary, a constructive, localic version of the Gelfand—Kolmogorov theorem is obtained.

What problem does this paper attempt to address?

On a Proof of the Labastida-Marino-Ooguri-Vafa Conjecture

Kefeng Liu,Pan Peng

DOI: https://doi.org/10.4310/jdg/1292940692

2010-01-01

Mathematical Research Letters

Abstract:We outline a proof of a remarkable conjecture of Labastida-Mari{\~n}o-Ooguri-Vafa about certain new algebraic structures of quantum link invariants and the integrality of infinite family of new topological invariants. Our method is based on the cut-and-join analysis and a special rational ring characterizing the structure of the Chern-Simons partition function.
The constructive content of a local-global principle with an application to the structure of a finitely generated projective module

Henri Lombardi

2023-08-18

Abstract:We study the structure of an idempotent matrix $F$ over a commutative ring. We make explicit the fundamental system of orthogonal idempotents, hidden in this matrix, for each of which the matrix has a well-defined rank. Similarly we find a finite number of comaximal elements of the ring which make explicit the fact that the codomain of $F$ is locally free. Our proofs are based on the abstract local-global principle. We give two methods to recover a constructive proof of these results. The most interesting one is a constructive interpretation of a very simple version of the abstract local-global principle. We think we have made a significant step towards a constructive version of the "Hilbert programme" for abstract algebra, i.e. the automatic translation of proofs of abstract algebra into constructive proofs.

Commutative Algebra
A proof for Ando's theorem on norm-coherent coordinates via the Coleman norm operator

Hongxiang Zhao

2023-10-15

Abstract:Ando established an algebraic criterion for when a complex orientation for a Morava E-theory is an $H_\infty$-map. The criterion relates such an orientation to a specific property of the formal group associated to the E-theory, namely, a norm coherence condition on its coordinate. On the other hand, Coleman constructed a norm operator for interpolating division values in local fields, which depends on a Lubin--Tate formal group law. These formal group laws are important tools in explicit local class field theory. In this article, we give a conceptual proof for Ando's theorem using the Coleman norm operator via the bridge of formal group laws between topology and arithmetic.

Algebraic Topology
A coarse geometric approach to the generalised Green-Julg Theorem

Liejin Guo,Qin Wang

DOI: https://doi.org/10.48550/arxiv.2208.11595

2022-01-01

Abstract:In this note, we provide a proof of the generalised Green-Julg theorem by using the language of twisted localization algebras introduced by G. Yu. This proof is for those who have interests in coarse geometry but not so familiar with KK-theory or E-theory
Gorenstein-projective Modules over Short Local Algebras

Claus Michael Ringel,Pu Zhang

DOI: https://doi.org/10.1112/jlms.12577

2022-01-01

Journal of the London Mathematical Society

Abstract:Following the well-established terminology in commutative algebra, any (not necessarily commutative) finite-dimensional local algebra.. with radical.. will be said to be short provided J(3) = 0. As in the commutative case, we show: If a short local algebra.. has an indecomposable non-projective Gorenstein-projective module M, then either A is self-injective (so that all modules are Gorenstein-projective) and then, of course, vertical bar J(2)vertical bar <= 1, or else vertical bar J(2)vertical bar = vertical bar J/J(2)vertical bar - 1 and vertical bar JM vertical bar = vertical bar J(2)vertical bar vertical bar M/JM vertical bar. More generally, we focus the attention to semi-Gorensteinprojective and 8-torsionfree modules, even to Omega-paths of length 2, 3 and 4. In particular, we show that the existence of a non-projective reflexive module implies that vertical bar J(2)vertical bar < vertical bar J/J(2)vertical bar and further restrictions. In addition, we consider exact complexes of projective modules with a non-projective image. Again, as in the commutative case, we see that if such a complex exists, then.. is self-injective or satisfies the condition vertical bar J(2)vertical bar = vertical bar J/J(2)vertical bar - 1. Also, we show that any non-projective semi-Gorensteinprojective module M satisfies Ext(1)(M, M) not equal 0. In this way, we prove the Auslander-Reiten conjecture (one of the classical homological conjectures) for arbitrary short local algebras. Many arguments used in the commutative case actually work in general, but there are interesting differences and some of our results may be new also in the commutative case.
Proof of the geometric Langlands conjecture II: Kac-Moody localization and the FLE

D. Arinkin,D. Beraldo,J. Campbell,L. Chen,J. Faergeman,D. Gaitsgory,K. Lin,S. Raskin,N. Rozenblyum

2024-09-11

Abstract:This paper is the second in a series of five that together prove the geometric Langlands conjecture. Our goals are two-fold: (1) Formulate and prove the Fundamental Local Equivalence (FLE) at the critical level; (2) Study the interaction between Kac-Moody localization and the global geometric Langlands functor of ref. [GLC1]. This paper contains an extensive Appendix, whose primary goals are: (a) Development the theory of ind-coherent sheaves in infinite type; (b)Development of the formalism of factorization categories.

Algebraic Geometry
A note on Stone-Čech compactification in ZFA

Michał R. Przybyłek

2024-02-12

Abstract:Working in Zermelo-Fraenkel Set Theory with Atoms over an $\omega$-categorical $\omega$-stable structure, we show how \emph{infinite} constructions over definable sets can be encoded as \emph{finite} constructions over the Stone-Čech compactification of the sets. In particular, we show that for a definable set $X$ with its Stone-Čech compactification $\overline{X}$ the following holds: a) the powerset $\mathcal{P}(X)$ of $X$ is isomorphic to the finite-powerset $\mathcal{P}_{\textit{fin}}(\overline{X})$ of $\overline{X}$, b) the vector space $\mathcal{K}^X$ over a field $\mathcal{K}$ is the free vector space $F_{\mathcal{K}}(\overline{X})$ on $\overline{X}$ over $\mathcal{K}$, c) every measure on $X$ is tantamount to a \emph{discrete} measure on $\overline{X}$. Moreover, we prove that the Stone-Čech compactification of a definable set is still definable, which allows us to obtain some results about equivalence of certain formalizations of register machines.

Logic in Computer Science,Logic
Une factorisation de la cohomologie complétée et du système de Beilinson-Kato

Pierre Colmez,Shanwen Wang

2024-02-28

Abstract:We show that the modular symbol $(0,\infty)$, considered as an element of the dual of Emerton's completed cohomology, interpolates Kato's Euler system at classical points, and we deduce from this a factorisation of Beilinson-Kato's system as a product of two symbols $(0,\infty)$ (an algebraic analog of Rankin's method). The proof uses the $p$-adic local Langlands correspondence for ${\mathbf GL}_2({\mathbf Q}_p)$ and Emerton's factorization of the completed cohomology of the tower of modular curves for which we provide a new proof resting upon the construction of a Kirillov model for the completed cohomology, and which we refine by imposing conditions at classical points; the existence of such a refinement is a manifestation of an analyticity property for $p$-adic periods of modular forms.

Number Theory
On CM Points Away from the Torelli Locus

Ke Chen,Xin Lu,Kang Zuo

DOI: https://doi.org/10.1112/jlms.12462

2021-01-01

Abstract:In this paper we prove that certain points in the Hecke orbit of a CM point in the Siegel modular variety do not lie in the open Torelli locus under suitable conditions on the field of definition and the CM factors that arise in the corresponding CM abelian variety. The proof is a combination of properties of stable Faltings height and known cases of the Sato-Tate equidistribution, and is motivated by an analogue over function fields proved by Kukulies. We also discuss the relation of our result with questions of Ekedahl-Serre type and refine a previous result showing that certain Shimura subvarieties of unitary type in the Siegel modular variety only meet the open Torelli locus in dimension zero.
Construction of Arithmetic Teichmuller spaces II: Proof of a local prototype of Mochizuki's Corollary 3.12

Kirti Joshi

2023-03-20

Abstract:This paper deals with consequences of the existence of Arithmetic Teichmuller spaces established in <a class="link-internal link-https" href="https://arxiv.org/abs/2106.11452">https://arxiv.org/abs/2106.11452</a> and <a class="link-internal link-https" href="https://arxiv.org/abs/2210.11635">https://arxiv.org/abs/2210.11635</a>. Theorem~9.2.1 provides a proof of a local version of Mochizuki's Corollary~3.12. Local means for a fixed $p$-adic field. There are several new innovations in this paper. Some of the main results are as follows. Theorem~3.5.1 shows that one can view the Tate parameter of Tate elliptic curve as a function on the arithmetic Teichmuller space of [Joshi, 2021a], [Joshi, 2022b]. The next important point is the construction of Mochizuki's $\Theta_{gau}$-links and the set of such links, called Mochizuki's Ansatz in §6. Theorem~6.9.1 establishes valuation scaling property satisfied by points of Mochizuki's Ansatz (i.e. by my version of $\Theta_{gau}$-links). These results lead to the construction of a theta-values set (§8) which is similar to Mochizuki's Theta-values set (differences between the two are in §8.7.1). Finally Theorem~9.2.1 is established. For completeness, I provide an intrinsic proof of the existence of Mochizuki's $\log$-links (Theorem 10.9.1), $\mathfrak{log}$-links (Theorem~10.15.1) and Mochizuki's log-Kummer Indeterminacy (Theorem~10.20.1) in my theory.

Algebraic Geometry,Number Theory
Outline of the proof of the geometric Langlands conjecture for GL(2)

Dennis Gaitsgory

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

2013-02-11

Algebraic Geometry

Abstract:We outline a proof of the categorical geometric Langlands conjecture for GL(2), as formulated in reference [AG], modulo a number of more tractable statements that we call Quasi-Theorems.
Proof and Interpretation of A String Duality

J Zhou

DOI: https://doi.org/10.4310/mrl.2004.v11.n2.a6

2004-01-01

Mathematical Research Letters

Abstract:We announce the proof of a conjecture of Iqbal on the relationship between multiple covering formula in Gromov-Witten theory with Wess-ZuminoWitten theory. We interpret it in terms of localizations on moduli spaces of stable maps to the projective line, using the recently proved Mariño-Vafa formula for Hodge integrals.
On a theorem of Lafforgue

Matthew Baker,Oliver Lorscheid

2023-09-11

Abstract:We give a new proof, along with some generalizations, of a folklore theorem (attributed to Laurent Lafforgue) that a rigid matroid (i.e., a matroid with indecomposable basis polytope) has only finitely many projective equivalence classes of representations over any given field.

Combinatorics,Algebraic Geometry
Proof of the geometric Langlands conjecture I: construction of the functor

Dennis Gaitsgory,Sam Raskin

2024-09-11

Abstract:We construct the geometric Langlands functor in one direction (from the automorphic to the spectral side) in characteristic zero settings (i.e., de Rham and Betti). We prove that various forms of the conjecture (de Rham vs Betti, restricted vs. non-restricted, tempered vs. non-tempered) are equivalent. We also discuss structural properties of Hecke eigensheaves.

Algebraic Geometry
Lattices in rigid analytic representations

Andrea Conti,Emiliano Torti

2024-09-02

Abstract:For a profinite group $G$ and a rigid analytic space $X$, we study when an $\mathcal O_X(X)$-linear representation $V$ of $G$ admits a lattice, i.e. an $\mathcal O_{\mathcal X}(\mathcal X)$-linear model for a suitable formal model $\mathcal X$ of $X$ in the sense of Berthelot. We give a positive answer, under mild assumptions, when $X$ is a ``wide open'' space. As a consequence, we are able to describe explicit open rational subdomains of $X$ over which $V$ is constant after reduction modulo a power of $p$. We give applications in two different directions. First, we prove explicit results on the reduction modulo powers of $p$ of sheaves of crystalline and semistable representations of fixed weight. Second, we focus on the sheaves of Galois representations on eigenvarieties, which are important examples of wide open spaces thanks to a result of Bellaïche and Chenevier. We give an application of our main results to the pseudorepresentation carried by the Coleman--Mazur eigencurve, which can be made explicit whenever equations for a rational subdomain of the eigencurve are given.

Number Theory
A note on a result of T. Liu

Dat Pham

2024-11-07

Abstract:In this short note, we give a new proof of a recent result of Tong Liu on torsions in the graded pieces of a Nygaard filtration associated to a crystalline lattice. Our approach is inspired on the one hand by a result of Gee--Kisin on the shape of mod $p$ crystalline Breuil--Kisin modules, and on the other hand by a connection between the Deligne--Illusie theorem and the Sen operator on the diffracted Hodge complex, as observed by Drinfeld and Bhatt--Lurie.

Number Theory,Algebraic Geometry
The Unbounded Denominators Conjecture

Frank Calegari,Vesselin Dimitrov,Yunqing Tang

2024-09-17

Abstract:We prove the unbounded denominators conjecture in the theory of noncongruence modular forms for finite index subgroups of SL_2(Z). Our result includes also Mason's generalization of the original conjecture to the setting of vector-valued modular forms, thereby supplying a new path to the congruence property in rational conformal field theory. The proof involves a new arithmetic holonomicity bound of a potential-theoretic flavor, together with Nevanlinna's second main theorem, the congruence subgroup property of SL_2(Z[1/p]), and a close description of the Fuchsian uniformization D(0,1)/\Gamma_N of the Riemann surface C \setminus \mu_N.

Number Theory
The Modular Stone-von Neumann Theorem

Lucas Hall,Leonard Huang,John Quigg

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

2022-06-20

Abstract:In this paper, we use the tools of nonabelian duality to formulate and prove a far-reaching generalization of the Stone-von Neumann Theorem to modular representations of actions and coactions of locally compact groups on elementary $ C^{\ast} $-algebras. This greatly extends the Covariant Stone-von Neumann Theorem for Actions of Abelian Groups recently proven by L. Ismert and the second author. Our approach is based on a new result about Hilbert $ C^{\ast} $-modules that is simple to state yet is widely applicable and can be used to streamline many previous arguments, so it represents an improvement -- in terms of both efficiency and generality -- in a long line of results in this area of mathematical physics that goes back to J. von Neumann's proof of the classical Stone-von Neumann Theorem.

Operator Algebras,Mathematical Physics,Dynamical Systems,Functional Analysis,Representation Theory
The Stone's Representation Theorems and compactifications of a discrete space

Hussain Rashed

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

2021-12-15

General Topology

Abstract:This paper is meant to give a short exposition of the Stone's Representation Theorems. We provide three equivalent approaches to construct a Stone's space from a given Boolean algebra. Finally, we utilize the Stone's Representation Theorems to study the compactifications of a discrete space.
An analytic proof of the stable reduction theorem

Jian Song,Jacob Sturm,Xiaowei Wang

DOI: https://doi.org/10.1007/s00208-024-02848-2

2024-04-17

Mathematische Annalen

Abstract:The stable reduction theorem says that a family of curves of genus over a punctured curve can be uniquely completed (after possible base change) by inserting certain stable curves at the punctures. We give a new this result for curves defined over , using the Kähler–Einstein metrics on the fibers to obtain the limiting stable curves at the punctures.

mathematics

A Constructive Proof of the Gelfand—Kolmogorov Theorem

On a Proof of the Labastida-Marino-Ooguri-Vafa Conjecture

The constructive content of a local-global principle with an application to the structure of a finitely generated projective module

A proof for Ando's theorem on norm-coherent coordinates via the Coleman norm operator

A coarse geometric approach to the generalised Green-Julg Theorem

Gorenstein-projective Modules over Short Local Algebras

Proof of the geometric Langlands conjecture II: Kac-Moody localization and the FLE

A note on Stone-Čech compactification in ZFA

Une factorisation de la cohomologie complétée et du système de Beilinson-Kato

On CM Points Away from the Torelli Locus

Construction of Arithmetic Teichmuller spaces II: Proof of a local prototype of Mochizuki's Corollary 3.12

Outline of the proof of the geometric Langlands conjecture for GL(2)

Proof and Interpretation of A String Duality

On a theorem of Lafforgue

Proof of the geometric Langlands conjecture I: construction of the functor

Lattices in rigid analytic representations

A note on a result of T. Liu

The Unbounded Denominators Conjecture

The Modular Stone-von Neumann Theorem

The Stone's Representation Theorems and compactifications of a discrete space

An analytic proof of the stable reduction theorem