Showing 1–50 of 82 results for author: Nikolaev, I

Addendum to "Measured foliations and Hilbert 12th problem"

Authors: Igor V. Nikolaev

Abstract: We study numerical examples of the abelian extensions of the real quadratic number fields based on the results in Acta Mathematica Vietnamica 48 (2023), 271-281 (arXiv:0804.0057) We study numerical examples of the abelian extensions of the real quadratic number fields based on the results in Acta Mathematica Vietnamica 48 (2023), 271-281 (arXiv:0804.0057) △ Less

Submitted 28 May, 2025; originally announced May 2025.

Comments: 4 pages, 1 table

MSC Class: 11G45; 46L85

K-theory of Minkowski question-mark function

Authors: Igor V. Nikolaev

Abstract: It is proved that the Minkowski question-mark function comes from the K-theory of Cuntz-Pimsner algebras. We apply this result to calculate the action of Frobenius endomorphism at the infinite prime. Such a problem was raised by Serre and Deninger in the theory of local factors of zeta functions of projective varieties. It is proved that the Minkowski question-mark function comes from the K-theory of Cuntz-Pimsner algebras. We apply this result to calculate the action of Frobenius endomorphism at the infinite prime. Such a problem was raised by Serre and Deninger in the theory of local factors of zeta functions of projective varieties. △ Less

Submitted 31 March, 2025; originally announced April 2025.

Comments: 10 pages, 2 figures

MSC Class: 11J70; 14G10; 46L85

Quantum arithmetic

Authors: Igor V. Nikolaev

Abstract: We formalize the quantum arithmetic, i.e. a relationship between number theory and operator algebras. Namely, it is proved that rational projective varieties are dual to the $C^*$-algebras with real multiplication. Our construction fits all axioms of the quantum arithmetic conjectured by Manin and others. Applications to elliptic curves, Shafarevich-Tate groups of abelian varieties and height func… ▽ More We formalize the quantum arithmetic, i.e. a relationship between number theory and operator algebras. Namely, it is proved that rational projective varieties are dual to the $C^*$-algebras with real multiplication. Our construction fits all axioms of the quantum arithmetic conjectured by Manin and others. Applications to elliptic curves, Shafarevich-Tate groups of abelian varieties and height functions are reviewed. △ Less

Submitted 12 December, 2024; originally announced December 2024.

Comments: 10 pages

MSC Class: 11M55; 46L85

Remark on height functions

Authors: Igor V. Nikolaev

Abstract: Let $k$ be a number field and $V(k)$ an $n$-dimensional projective variety over $k$. We use the $K$-theory of a $C^*$-algebra $A_V$ associated to $V(k)$ to define a height of points of $V(k)$. The corresponding counting function is calculated and we show that it coincides with the known formulas for $n=1$. As an application, it is proved that the set $V(k)$ is finite, whenever the sum of the odd B… ▽ More Let $k$ be a number field and $V(k)$ an $n$-dimensional projective variety over $k$. We use the $K$-theory of a $C^*$-algebra $A_V$ associated to $V(k)$ to define a height of points of $V(k)$. The corresponding counting function is calculated and we show that it coincides with the known formulas for $n=1$. As an application, it is proved that the set $V(k)$ is finite, whenever the sum of the odd Betti numbers of $V(k)$ exceeds $n+1$. Our construction depends on the $n$-dimensional Minkowski question-mark function studied by Panti and others. △ Less

Submitted 21 August, 2024; originally announced August 2024.

Comments: 12 pages

MSC Class: 11G50; 46L85

Arakelov geometry of Cuntz-Pimsner algebras

Authors: Igor V. Nikolaev

Abstract: We use $K$-theory of the $C^*$-algebras to study the Arakelov geometry, i.e. a compactification of the arithmetic schemes $V\to Spec ~\mathbf{Z}$. In particular, it is proved that the Picard group of $V$ is isomorphic to the $K_0$-group of a Cuntz-Pimsner algebra associated to $V$. We apply the result to the finiteness problem for the algebraic varieties over number fields. We use $K$-theory of the $C^*$-algebras to study the Arakelov geometry, i.e. a compactification of the arithmetic schemes $V\to Spec ~\mathbf{Z}$. In particular, it is proved that the Picard group of $V$ is isomorphic to the $K_0$-group of a Cuntz-Pimsner algebra associated to $V$. We apply the result to the finiteness problem for the algebraic varieties over number fields. △ Less

Submitted 24 June, 2024; originally announced June 2024.

Comments: 7 pages. arXiv admin note: text overlap with arXiv:2404.12179

MSC Class: 11M55; 14G40; 46L85

Local factors and Cuntz-Pimsner algebras

Authors: Igor V. Nikolaev

Abstract: We recast the local factors of the Hasse-Weil zeta function at infinity in terms of the Cuntz-Pimsner algebras. The nature of such factors is an open problem studied by Deninger and Serre. We recast the local factors of the Hasse-Weil zeta function at infinity in terms of the Cuntz-Pimsner algebras. The nature of such factors is an open problem studied by Deninger and Serre. △ Less

Submitted 18 April, 2024; originally announced April 2024.

Comments: 8 pages

MSC Class: 11M55; 46L85

Artin $L$-functions and noncommutative tori

Authors: Igor V. Nikolaev

Abstract: Using the ideas of Deninger, we prove that the Artin $L$-functions coincide with such of the noncommutative tori. This result can be viewed as the Langlands reciprocity for noncommutative tori. Using the ideas of Deninger, we prove that the Artin $L$-functions coincide with such of the noncommutative tori. This result can be viewed as the Langlands reciprocity for noncommutative tori. △ Less

Submitted 29 December, 2023; originally announced December 2023.

Comments: 9 pages. arXiv admin note: text overlap with arXiv:2309.05779

Non-abelian class field theory and higher dimensional noncommutative tori

Authors: Igor V. Nikolaev

Abstract: We study a relation between the Drinfeld modules and the even dimensional noncommutative tori. A non-abelian class field theory is developed based on this relation. Explicit generators of the Galois extensions are constructed. We study a relation between the Drinfeld modules and the even dimensional noncommutative tori. A non-abelian class field theory is developed based on this relation. Explicit generators of the Galois extensions are constructed. △ Less

Submitted 11 September, 2023; originally announced September 2023.

Comments: 13 pages, 1 figure. arXiv admin note: text overlap with arXiv:2306.06416

MSC Class: 11G09; 46L85

Drinfeld modules as noncommutative tori

Authors: Igor V. Nikolaev

Abstract: The Drinfeld module is a tool of the explicit class field theory for the function fields. We first observe a similarity of such modules with the noncommutative tori, and then use it to develop an explicit class field theory for the number fields. The case of the imaginary quadratic number fields is treated in detail. The Drinfeld module is a tool of the explicit class field theory for the function fields. We first observe a similarity of such modules with the noncommutative tori, and then use it to develop an explicit class field theory for the number fields. The case of the imaginary quadratic number fields is treated in detail. △ Less

Submitted 28 January, 2024; v1 submitted 10 June, 2023; originally announced June 2023.

Comments: 12 pages, an update

Remark on function field analogy

Authors: Igor V. Nikolaev

Abstract: We study the analogy between number fields and function fields in one variable over finite fields. The main result is an isomorphism between the Hilbert class fields of class number one and a family of the function fields $\mathbf{F}_q(C)$ over a desingularized algebraic curve $C$. Our proof is based on the K-theory of the Serre $C^*$-algebras and birational geometry of the curve $C$. We apply the… ▽ More We study the analogy between number fields and function fields in one variable over finite fields. The main result is an isomorphism between the Hilbert class fields of class number one and a family of the function fields $\mathbf{F}_q(C)$ over a desingularized algebraic curve $C$. Our proof is based on the K-theory of the Serre $C^*$-algebras and birational geometry of the curve $C$. We apply the isomorphism to construct explicit generators of the Hilbert class fields coming from the torsion submodules of the Drinfeld module. △ Less

Submitted 24 February, 2023; originally announced February 2023.

Comments: 9 pages, 1 figure

MSC Class: 11R58; 46L85

Birational geometry of quaternions

Authors: Igor V. Nikolaev

Abstract: The Hilbert class field of the quaternion algebra $B$ is an algebra $\mathscr{H}(B)$ such that every two-sided ideal of $B$ is principal in $\mathscr{H}(B)$. We study the avatars of $B$ and $\mathscr{H}(B)$, i.e. algebraic surfaces attached to the quaternion algebras. It is proved that the avatar of $\mathscr{H}(B)$ is obtained from the avatar of $B$ by a birational map. We apply this result to th… ▽ More The Hilbert class field of the quaternion algebra $B$ is an algebra $\mathscr{H}(B)$ such that every two-sided ideal of $B$ is principal in $\mathscr{H}(B)$. We study the avatars of $B$ and $\mathscr{H}(B)$, i.e. algebraic surfaces attached to the quaternion algebras. It is proved that the avatar of $\mathscr{H}(B)$ is obtained from the avatar of $B$ by a birational map. We apply this result to the function field analogy. △ Less

Submitted 6 May, 2025; v1 submitted 13 December, 2022; originally announced December 2022.

Comments: to appear in Annali dell'Universitá di Ferrara. Sezione VII. Scienze Matematiche

MSC Class: 12E15; 32J15; 46L85

Geometry of division rings

Authors: Igor Nikolaev

Abstract: We prove an analog of Belyi's theorem for the algebraic surfaces. Namely, any non-singular algebraic surface can be defined over a number field if and only it covers the complex projective plane with ramification at three knotted two-dimensional spheres. We prove an analog of Belyi's theorem for the algebraic surfaces. Namely, any non-singular algebraic surface can be defined over a number field if and only it covers the complex projective plane with ramification at three knotted two-dimensional spheres. △ Less

Submitted 13 September, 2022; originally announced September 2022.

Comments: 11pages, 5 figures

MSC Class: 12E15; 32J15; 46L85

Remark on ordered braid groups

Authors: Igor Nikolaev

Abstract: We recover the Dehornoy order on the braid group $B_{2g+n}$ from the tracial state on a cluster $C^*$-algebra $\mathbb{A}(S_{g,n})$ associated to the surface $S_{g,n}$ of genus $g$ with $n$ boundary components. It is proved that the space of left-ordering of the fundamental group $π_1(S_{g,n})$ is a totally disconnected dense subspace of the projective Teichmüller space… ▽ More We recover the Dehornoy order on the braid group $B_{2g+n}$ from the tracial state on a cluster $C^*$-algebra $\mathbb{A}(S_{g,n})$ associated to the surface $S_{g,n}$ of genus $g$ with $n$ boundary components. It is proved that the space of left-ordering of the fundamental group $π_1(S_{g,n})$ is a totally disconnected dense subspace of the projective Teichmüller space $\mathbb{P}T_{g,n}\cong \mathbf{R}^{6g-7+2n}$. In particular, each left-ordering of $π_1(S_{g,n})$ defines the orbit of a Riemann surface $S_{g,n}$ under the geodesic flow on the space $T_{g,n}$. △ Less

Submitted 11 May, 2023; v1 submitted 16 June, 2022; originally announced June 2022.

Comments: to appear Journal of Topology and Analysis

MSC Class: 20F36; 20F60; 46L85

Journal ref: J. Topol. Anal. 17 (2025), 905-917

Comments on a note by M. Waldschmidt

Authors: Igor Nikolaev

Abstract: This note is the follow up to a paper by M. Waldschmidt. This note is the follow up to a paper by M. Waldschmidt. △ Less

Submitted 26 March, 2022; originally announced March 2022.

Comments: 2 pages

MSC Class: 11J81; 11R35

Journal ref: Section 6.3.3, De Gruyter Studies in Mathematics 66, Second Edition, De Gruyter, Berlin, 2022. xii+380 pp. ISBN: 9783110788600

Quantum arithmetic dynamics

Authors: Igor Nikolaev

Abstract: We study dynamics of the Lattès maps in the complex plane in terms of the Cuntz-Krieger algebras associated to the endomorphisms of the non-commutative tori. In particular, it is shown that iterations of the Lattès maps can be reduced to the dynamics of the subshifts of finite type. Using such a reduction, we calculate the zeta function of the Lattès maps. We study dynamics of the Lattès maps in the complex plane in terms of the Cuntz-Krieger algebras associated to the endomorphisms of the non-commutative tori. In particular, it is shown that iterations of the Lattès maps can be reduced to the dynamics of the subshifts of finite type. Using such a reduction, we calculate the zeta function of the Lattès maps. △ Less

Submitted 21 December, 2021; originally announced December 2021.

Comments: 10 pages, 1 figure. arXiv admin note: text overlap with arXiv:1503.05411

K-theory of Jones polynomials

Authors: Andrey Glubokov, Igor Nikolaev

Abstract: We recover the Jones polynomials of knots and links from the K-theory of a cluster C*-algebra of the sphere with two cusps. In particular, an interplay between the Chebyshev and Jones polynomials is studied. We recover the Jones polynomials of knots and links from the K-theory of a cluster C*-algebra of the sphere with two cusps. In particular, an interplay between the Chebyshev and Jones polynomials is studied. △ Less

Submitted 19 September, 2022; v1 submitted 11 October, 2021; originally announced October 2021.

Comments: to appear Journal of Geometry and Physics

Journal ref: J. Geom. Phys. 182 (2022), Paper No. 104678, 7 pp

Class field towers and minimal models

Authors: Igor V. Nikolaev

Abstract: We use the notion of an Etesi $C^*$-algebra to prove that the real class field towers are always finite. We use the notion of an Etesi $C^*$-algebra to prove that the real class field towers are always finite. △ Less

Submitted 24 December, 2024; v1 submitted 30 August, 2021; originally announced August 2021.

Comments: 8 pages, an update

MSC Class: 11R04; 57M25; 46L85

Noncommutative geometry of elliptic surfaces

Authors: Igor Nikolaev

Abstract: We recast elliptic surfaces over the projective line in terms of the non-commutative tori and one-parameter families of the periodic continued fractions. The correspondence is used to study the Picard numbers, the ranks and the minimal models of such surfaces. As an example, we calculate the Picard numbers of elliptic surfaces with fibers having complex multiplication. We recast elliptic surfaces over the projective line in terms of the non-commutative tori and one-parameter families of the periodic continued fractions. The correspondence is used to study the Picard numbers, the ranks and the minimal models of such surfaces. As an example, we calculate the Picard numbers of elliptic surfaces with fibers having complex multiplication. △ Less

Submitted 26 April, 2024; v1 submitted 21 June, 2021; originally announced June 2021.

Comments: an update

MSC Class: 11G05; 46L85

K-theory of Etesi C*-algebras

Authors: Igor V. Nikolaev

Abstract: We study the $C^*$-algebra $\mathbb{E}_{\mathscr{M}}$ of a smooth 4-dimensional manifold $\mathscr{M}$ introduced by Gábor Etesi. It is proved that the $\mathbb{E}_{\mathscr{M}}$ is a stationary AF-algebra. We calculate the topological and smooth invariants of $\mathscr{M}$ in terms of the K-theory of the $C^*$-algebra $\mathbb{E}_{\mathscr{M}}$. Using Gompf's Stable Diffeomorphism Theorem, it is… ▽ More We study the $C^*$-algebra $\mathbb{E}_{\mathscr{M}}$ of a smooth 4-dimensional manifold $\mathscr{M}$ introduced by Gábor Etesi. It is proved that the $\mathbb{E}_{\mathscr{M}}$ is a stationary AF-algebra. We calculate the topological and smooth invariants of $\mathscr{M}$ in terms of the K-theory of the $C^*$-algebra $\mathbb{E}_{\mathscr{M}}$. Using Gompf's Stable Diffeomorphism Theorem, it is shown that all smoothings of $\mathscr{M}$ form a torsion abelian group. The latter is isomorphic to the Brauer group of a number field associated to the K-theory of $\mathbb{E}_{\mathscr{M}}$. △ Less

Submitted 9 April, 2025; v1 submitted 15 December, 2020; originally announced December 2020.

Comments: 10 pages; an update

MSC Class: 46L85; 57K4

Remark on Faltings theorem

Authors: Igor Nikolaev

Abstract: We prove Faltings Finiteness Theorem using Rieffel's classification of the noncommutative tori. We prove Faltings Finiteness Theorem using Rieffel's classification of the noncommutative tori. △ Less

Submitted 18 August, 2021; v1 submitted 2 September, 2020; originally announced September 2020.

Comments: 9 pages; new title

MSC Class: 11G35; 14A22; 46L85

Shafarevich-Tate groups of abelian varieties

Authors: Igor V. Nikolaev

Abstract: The Shafarevich-Tate group $W (\mathscr{A})$ measures the failure of the Hasse principle for an abelian variety $\mathscr{A}$. Using a correspondence between the abelian varieties and the higher dimensional non-commutative tori, we prove that $W (\mathscr{A})\cong Cl~(Λ)\oplus Cl~(Λ)$ or… ▽ More The Shafarevich-Tate group $W (\mathscr{A})$ measures the failure of the Hasse principle for an abelian variety $\mathscr{A}$. Using a correspondence between the abelian varieties and the higher dimensional non-commutative tori, we prove that $W (\mathscr{A})\cong Cl~(Λ)\oplus Cl~(Λ)$ or $W (\mathscr{A})\cong \left(\mathbf{Z}/2^k\mathbf{Z}\right) \oplus Cl_{~\mathbf{odd}}~(Λ)\oplus Cl_{~\mathbf{odd}}~(Λ)$, where $Cl~(Λ)$ is the ideal class group of a ring $Λ$ associated to the K-theory of the non-commutative tori and $2^k $ divides the order of $Cl~(Λ)$. The case of elliptic curves with complex multiplication is considered in detail. △ Less

Submitted 14 May, 2024; v1 submitted 20 May, 2020; originally announced May 2020.

Comments: 12 pages

MSC Class: 11G10; 46L85

Journal ref: Contemp. Math. 798 (2024), 229-239

Arithmetic complexity revisited

Authors: Igor Nikolaev

Abstract: The arithmetic complexity counts the number of algebraically independent entries in the periodic continued fraction $θ=[b_1,\dots, b_N, \overline{a_1,\dots,a_k}]$. If $\mathscr{A}_θ$ is a noncommutative torus corresponding to the rational elliptic curve $\mathscr{E}(K)$, then the rank of $\mathscr{E}(K)$ is given by a simple formula $r(\mathscr{E}(K))= c(\mathscr{A}_θ)-1$, where… ▽ More The arithmetic complexity counts the number of algebraically independent entries in the periodic continued fraction $θ=[b_1,\dots, b_N, \overline{a_1,\dots,a_k}]$. If $\mathscr{A}_θ$ is a noncommutative torus corresponding to the rational elliptic curve $\mathscr{E}(K)$, then the rank of $\mathscr{E}(K)$ is given by a simple formula $r(\mathscr{E}(K))= c(\mathscr{A}_θ)-1$, where $c(\mathscr{A}_θ)$ is the arithmetic complexity of $θ$. We prove that $c(\mathscr{A}_θ)$ is equal to the dimension of the Brock-Elkies-Jordan variety of $θ$ introduced in [1]. Following Zagier and Lemmermeyer, we evaluate the Shafarevich-Tate group of $\mathscr{E}(K)$. △ Less

Submitted 17 January, 2023; v1 submitted 25 February, 2020; originally announced February 2020.

Comments: to appear in the Journal of Analysis

MSC Class: 11G05; 46L85

Journal ref: J. Anal. 31 (2023), 2115-2126

Dynamical ideals of non-commutative rings

Authors: Igor Nikolaev

Abstract: A dynamical analog of the prime ideals for simple non-commutative rings is introduced. We prove a factorization theorem for the dynamical ideals. The result is used to classify the surface knots and links in the smooth 4-dimensional manifolds. A dynamical analog of the prime ideals for simple non-commutative rings is introduced. We prove a factorization theorem for the dynamical ideals. The result is used to classify the surface knots and links in the smooth 4-dimensional manifolds. △ Less

Submitted 29 January, 2022; v1 submitted 5 December, 2019; originally announced December 2019.

Comments: to appear in Journal of Algebra and its Applications

MSC Class: 16D25; 57N13

Journal ref: J. Algebra Appl. 22 (2023), no. 6, 2350126, 12 pp

Untying knots in 4D and Wedderburn's Theorem

Authors: Igor Nikolaev

Abstract: It is proved that the Wedderburn Theorem on finite division rings implies that all knots and links in the smooth 4-dimensional manifolds are trivial. It is proved that the Wedderburn Theorem on finite division rings implies that all knots and links in the smooth 4-dimensional manifolds are trivial. △ Less

Submitted 7 April, 2021; v1 submitted 1 August, 2019; originally announced August 2019.

Comments: 4 pages; to appear Communications in Algebra

MSC Class: 16P10; 57Q45

Journal ref: Comm. Algebra 49 (2021), 4133-4135

Arithmetic topology of 4-manifolds

Authors: Igor Nikolaev

Abstract: We construct a functor from the smooth 4-dimensional manifolds to the hyper-algebraic number fields, i.e. fields with non-commutative multiplication. It is proved that that the simply connected 4-manifolds correspond to the abelian extensions. We recover the Rokhlin and Donaldson's Theorems from the Galois theory of the non-commutative fields. We construct a functor from the smooth 4-dimensional manifolds to the hyper-algebraic number fields, i.e. fields with non-commutative multiplication. It is proved that that the simply connected 4-manifolds correspond to the abelian extensions. We recover the Rokhlin and Donaldson's Theorems from the Galois theory of the non-commutative fields. △ Less

Submitted 10 August, 2021; v1 submitted 8 July, 2019; originally announced July 2019.

Comments: 10 pages, an update

MSC Class: 11R32; 16W20; 57N13

Subfactors and Hecke groups

Authors: Andrey Glubokov, Igor Nikolaev

Abstract: We study a relation between the Hecke groups and the index of subfactors in a von Neumann algebra. Such a problem was raised by V. F. R. Jones. We solve the problem using the notion of a cluster C*-algebra. We study a relation between the Hecke groups and the index of subfactors in a von Neumann algebra. Such a problem was raised by V. F. R. Jones. We solve the problem using the notion of a cluster C*-algebra. △ Less

Submitted 7 February, 2019; originally announced February 2019.

Comments: 5 pages, 1 figure

MSC Class: 46L37; 20H10

Journal ref: 9th Intern. Conf. Topological Algebras and Their Applications (ICTAA-2015), May 18-22, 2015 in Holon, Israel; in memory of A. Mallios; Academic Services Proc. in Pure and Appl. Mathematics (2020), 159-164

Profinite mapping class groups

Authors: Igor Nikolaev

Abstract: It is proved that the profinite completion of the mapping class group Mod (g,n) of a surface of genus g with n boundary components is isomorphic to such of the arithmetic group GL(6g-6+2n, Z). We establish a relation between the normal subgroups of Mod (g,n) and the absolute Galois group G(K) of a number field K. Using the Tits alternative, we prove the Shafarevich Conjecture saying that the group… ▽ More It is proved that the profinite completion of the mapping class group Mod (g,n) of a surface of genus g with n boundary components is isomorphic to such of the arithmetic group GL(6g-6+2n, Z). We establish a relation between the normal subgroups of Mod (g,n) and the absolute Galois group G(K) of a number field K. Using the Tits alternative, we prove the Shafarevich Conjecture saying that the group G(Q^ab) of the maximal abelian extension of the field of rationals is isomorphic to a free profinite group. △ Less

Submitted 8 April, 2020; v1 submitted 13 December, 2018; originally announced December 2018.

Comments: 10 pages; remark 4.5 is added

MSC Class: 12A55; 32G15

Quantum dynamics of elliptic curves

Authors: Igor V. Nikolaev

Abstract: We calculate K-theory of a crossed product $C^*$-algebra of the noncommutative torus with real multiplication by elliptic curve $\mathscr{E}(K)$ over a number field $K$. This result is used to evaluate the rank and the Shafarevich-Tate group of $\mathscr{E}(K)$. We calculate K-theory of a crossed product $C^*$-algebra of the noncommutative torus with real multiplication by elliptic curve $\mathscr{E}(K)$ over a number field $K$. This result is used to evaluate the rank and the Shafarevich-Tate group of $\mathscr{E}(K)$. △ Less

Submitted 29 April, 2025; v1 submitted 10 August, 2018; originally announced August 2018.

Comments: to appear in Aequationes Mathematicae

MSC Class: 11G05; 46L85

Geometry of integers revisited

Authors: Igor Nikolaev

Abstract: We study geometry of the ring of integers $O_K$ of a number field $K$. Namely, it is proved that the inclusion $\mathbf{Z}\subset O_K$ defines a covering of the Riemann sphere $\mathbf{C}P^1$ ramified over the points $\{0,1,\infty\}$. Our approach is based on the notion of a Serre $C^*$-algebra. As an application, a new proof of the Belyi Theorem is given. We study geometry of the ring of integers $O_K$ of a number field $K$. Namely, it is proved that the inclusion $\mathbf{Z}\subset O_K$ defines a covering of the Riemann sphere $\mathbf{C}P^1$ ramified over the points $\{0,1,\infty\}$. Our approach is based on the notion of a Serre $C^*$-algebra. As an application, a new proof of the Belyi Theorem is given. △ Less

Submitted 16 December, 2022; v1 submitted 5 April, 2018; originally announced April 2018.

Comments: to appear Journal of Fixed Point Theory and Applications

MSC Class: 11R04; 14H55; 46L85

Journal ref: J. Fixed Point Theory Appl. 25 (2023), Paper No. 27

Jones Index Theorem revisited

Authors: Andrey Yu. Glubokov, Igor V. Nikolaev

Abstract: We prove the Jones Index Theorem using the K-theory of a cluster $C^*$-algebra of the Riemann sphere with two boundary components. We prove the Jones Index Theorem using the K-theory of a cluster $C^*$-algebra of the Riemann sphere with two boundary components. △ Less

Submitted 3 June, 2025; v1 submitted 16 January, 2018; originally announced January 2018.

Comments: to appear in Journal of Pure and Applied Algebra

MSC Class: 13F60; 46L37

Remark on Galois cohomology

Authors: Igor Nikolaev

Abstract: We recast the Galois cohomology of the variety $V$ over a number field $k$ in terms of the K-theory of a $C^*$-algebra $\mathscr{A}_V$ connected to $V$. It is proved that $V$ is isomorphic to $V'$ over $k$ (algebraic closure of $k$, resp.) if and only if $\mathscr{A}_V$ is isomorphic (Morita equivalent, resp.) to $\mathscr{A}_{V'}$. In particular, the Morita equivalent $C^*$-algebras… ▽ More We recast the Galois cohomology of the variety $V$ over a number field $k$ in terms of the K-theory of a $C^*$-algebra $\mathscr{A}_V$ connected to $V$. It is proved that $V$ is isomorphic to $V'$ over $k$ (algebraic closure of $k$, resp.) if and only if $\mathscr{A}_V$ is isomorphic (Morita equivalent, resp.) to $\mathscr{A}_{V'}$. In particular, the Morita equivalent $C^*$-algebras $\mathscr{A}_V$ parametrize twists of the variety $V$. The case of rational elliptic curves is considered in detail. △ Less

Submitted 16 October, 2022; v1 submitted 20 December, 2017; originally announced December 2017.

Comments: 7 pages; an update

MSC Class: 11G35; 14A22; 46L85

K-theory of rational quadratic forms

Authors: Igor Nikolaev

Abstract: We compute the genus of a rational quadratic form in terms of the K-theory of a C*-algebra attached to the adelic orthogonal group of the form. As a corollary, one gets a higher composition law for the rational quadratic forms. As an illustration, we consider the Gauss composition of the binary quadratic forms. We compute the genus of a rational quadratic form in terms of the K-theory of a C*-algebra attached to the adelic orthogonal group of the form. As a corollary, one gets a higher composition law for the rational quadratic forms. As an illustration, we consider the Gauss composition of the binary quadratic forms. △ Less

Submitted 8 October, 2019; v1 submitted 2 November, 2017; originally announced November 2017.

Comments: 8 pages, 2 figures; an update

MSC Class: 11E16; 46L85

Remark on arithmetic topology

Authors: Igor Nikolaev

Abstract: We formalize the arithmetic topology, i.e. a relationship between knots and primes. Namely, using the notion of a cluster C*-algebra we construct a functor from the category of 3-dimensional manifolds M to a category of algebraic number fields K, such that the prime ideals (ideals, resp.) in the ring of integers of K correspond to knots (links, resp.) in M. It is proved that the functor realizes a… ▽ More We formalize the arithmetic topology, i.e. a relationship between knots and primes. Namely, using the notion of a cluster C*-algebra we construct a functor from the category of 3-dimensional manifolds M to a category of algebraic number fields K, such that the prime ideals (ideals, resp.) in the ring of integers of K correspond to knots (links, resp.) in M. It is proved that the functor realizes all axioms of the arithmetic topology conjectured in the 1960's by Manin, Mazur and Mumford. △ Less

Submitted 22 December, 2017; v1 submitted 20 June, 2017; originally announced June 2017.

Comments: 10 pages, 2 figures; reference to the Lickorish-Wallace Theorem is added

MSC Class: 11R04; 57M25; 46L85

Elliptic curves and continued fractions

Authors: Igor V. Nikolaev

Abstract: It is proved that the rank of an elliptic curve is one less the arithmetic complexity of the corresponding non-commutative torus. As an illustration, we consider a family of elliptic curves with complex multiplication. It is proved that the rank of an elliptic curve is one less the arithmetic complexity of the corresponding non-commutative torus. As an illustration, we consider a family of elliptic curves with complex multiplication. △ Less

Submitted 27 January, 2023; v1 submitted 1 November, 2016; originally announced November 2016.

Comments: to appear in Aequationes Mathematicae

MSC Class: 11G05; 46L85

Journal ref: Aequationes Math. 97 (2023), 219-229

On tea, donuts and non-commutative geometry

Authors: Igor Nikolaev

Abstract: As many will agree, it feels good to complement a cup of tea by a donut or two. This sweet relationship is also a guiding principle of non-commutative geometry known as Serre Theorem. We explain the algebra behind this theorem and prove that elliptic curves are complementary to the so-called non-commutative tori. As many will agree, it feels good to complement a cup of tea by a donut or two. This sweet relationship is also a guiding principle of non-commutative geometry known as Serre Theorem. We explain the algebra behind this theorem and prove that elliptic curves are complementary to the so-called non-commutative tori. △ Less

Submitted 23 March, 2018; v1 submitted 24 May, 2016; originally announced May 2016.

Comments: to appear Surveys in Mathematics and its Applications

MSC Class: 14H52; 46L85

Journal ref: Surv.Math.Appl.13(2018),95-105

Cluster C*-algebras and knot polynomials

Authors: Igor Nikolaev

Abstract: We construct a representation of the braid groups in a cluster C*-algebra coming from a triangulation of the Riemann surface S with one or two cusps. It is shown that the Laurent polynomials attached to the K-theory of such an algebra are topological invariants of the closure of braids. In particular, the Jones and HOMFLY polynomials of a knot correspond to the case S being a sphere with two cusps… ▽ More We construct a representation of the braid groups in a cluster C*-algebra coming from a triangulation of the Riemann surface S with one or two cusps. It is shown that the Laurent polynomials attached to the K-theory of such an algebra are topological invariants of the closure of braids. In particular, the Jones and HOMFLY polynomials of a knot correspond to the case S being a sphere with two cusps and a torus with one cusp, respectively. △ Less

Submitted 3 March, 2016; originally announced March 2016.

Comments: 20 pages, 3 figures

A $K$-quadrilateral cosine characterization of Aleksandrov spaces of curvature bounded above

Authors: I. D. Berg, Igor G. Nikolaev

Abstract: In this note, we extend the main results of our paper on quasilinearization and curvature of Aleksandrov spaces of curvature $\leq0$ to curvature bounds other than $0$. For non-zero $K$, we employ the previously introduced notion of the $K$-quadrilateral cosine, which is the cosine under parallel transport in model $K$-space, and which is denoted by $\operatorname{cosq}_{K}$. Our principal result… ▽ More In this note, we extend the main results of our paper on quasilinearization and curvature of Aleksandrov spaces of curvature $\leq0$ to curvature bounds other than $0$. For non-zero $K$, we employ the previously introduced notion of the $K$-quadrilateral cosine, which is the cosine under parallel transport in model $K$-space, and which is denoted by $\operatorname{cosq}_{K}$. Our principal result states that a geodesically connected metric space (of diameter not greater than $π/\left(2\sqrt{K}\right) $ if $K>0$) is an $\Re_{K}$ domain (otherwise known as a $\operatorname{CAT}\left(K\right) $ space) if and only if always $\operatorname{cosq}_{K}\leq1$ or always $\operatorname{cosq}_{K}$ $\geq-1$. (We prove that in such spaces always $\operatorname{cosq}_{K}\leq1$ is equivalent to always $\operatorname{cosq}% _{K}$ $\geq-1$). As a corollary, we give necessary and sufficient conditions for a Cauchy complete semimetric space to be a complete $\Re_{K}$ domain. We show that in our theorem the diameter hypothesis for positive $K$ is sharp and we prove an extremal theorem when $|\operatorname{cosq}_{K}|$ attains an upper bound of $1$. We derive from our main theorem and our previous result for $K=0$ a complete solution of Gromov's curvature problem in the context of Aleksandrov spaces of curvature bounded above. Then we establish the $K$-Euler's inequality and the extremal theorem for equality in the $K$-Euler's inequality in an $\Re_{K}$ domain. △ Less

Submitted 5 December, 2015; originally announced December 2015.

MSC Class: 53C20 (Primary) 53C45; 51K10 (Secondary)

K-theory of cluster C*-algebras

Authors: Igor Nikolaev

Abstract: It is proved that the K_0-group of a cluster C*-algebra is isomorphic to the corresponding cluster algebra. As a corollary, one gets a shorter proof of the positivity conjecture for cluster algebras. As an example, we consider a cluster C*-algebra A(1,1) coming from triangulation of an annulus with one marked point on each boundary component. It is proved that the K_0-group of a cluster C*-algebra is isomorphic to the corresponding cluster algebra. As a corollary, one gets a shorter proof of the positivity conjecture for cluster algebras. As an example, we consider a cluster C*-algebra A(1,1) coming from triangulation of an annulus with one marked point on each boundary component. △ Less

Submitted 31 October, 2018; v1 submitted 1 December, 2015; originally announced December 2015.

Comments: Proceedings of the conference "Quantum Dynamics" in honour of Paul F. Baum on the occasion of his 80th birthday; Banach Center Publications (to appear)

MSC Class: 13F60; 46L85; 57M25

Journal ref: Banach Center Publications 120 (2020), 23-34

Programme de Langlands en bref

Authors: Igor Nikolaev

Abstract: This is a credit mini-course in French prepared for a Summer School at the University of Sherbrooke. The course consists of three one-and-half hour lectures and three credit exercises for a class of advanced graduate students. This is a credit mini-course in French prepared for a Summer School at the University of Sherbrooke. The course consists of three one-and-half hour lectures and three credit exercises for a class of advanced graduate students. △ Less

Submitted 15 July, 2020; v1 submitted 26 August, 2015; originally announced September 2015.

Comments: 9 pages; English translation of v1

MSC Class: 11F70

On cluster C*-algebras

Authors: Igor Nikolaev

Abstract: We introduce a C*-algebra A(x,Q) attached to the cluster x and a quiver Q. If Q(T) is the quiver coming from a triangulation T of the Riemann surface S with a finite number of cusps, we prove that the primitive spectrum of A(x,Q(T)) times R is homeomorphic to a generic subset of the Teichmueller space of surface S. We conclude with an analog of the Tomita-Takesaki theory and the Connes invariant T… ▽ More We introduce a C*-algebra A(x,Q) attached to the cluster x and a quiver Q. If Q(T) is the quiver coming from a triangulation T of the Riemann surface S with a finite number of cusps, we prove that the primitive spectrum of A(x,Q(T)) times R is homeomorphic to a generic subset of the Teichmueller space of surface S. We conclude with an analog of the Tomita-Takesaki theory and the Connes invariant T(M) for the algebra A(x,Q(T)). △ Less

Submitted 18 May, 2016; v1 submitted 3 August, 2015; originally announced August 2015.

Comments: to appear Journal of Function Spaces

MSC Class: 13F60; 14H55; 46L85

Journal ref: J. Funct. Spaces 2016, Article ID 9639875, 8 p. (2016)

Langlands reciprocity for C*-algebras

Authors: Igor Nikolaev

Abstract: We introduce a $C^*$-algebra $\mathscr{A}_V$ of a variety $V$ over the number field $K$ and a $C^*$-algebra $\mathscr{A}_G$ of a reductive group $G$ over the ring of adeles of $K$. Using Pimsner's Theorem we construct an embedding $\mathscr{A}_V\hookrightarrow \mathscr{A}_G$, where $V$ is a $G$-coherent variety, e.g. the Shimura variety of $G$. The embedding is an analog of the Langlands reciproci… ▽ More We introduce a $C^*$-algebra $\mathscr{A}_V$ of a variety $V$ over the number field $K$ and a $C^*$-algebra $\mathscr{A}_G$ of a reductive group $G$ over the ring of adeles of $K$. Using Pimsner's Theorem we construct an embedding $\mathscr{A}_V\hookrightarrow \mathscr{A}_G$, where $V$ is a $G$-coherent variety, e.g. the Shimura variety of $G$. The embedding is an analog of the Langlands reciprocity for $C^*$-algebras. It follows from the $K$-theory of the inclusion $\mathscr{A}_V\subset\mathscr{A}_G$ that the Hasse-Weil $L$-function of $V$ is a product of the automorphic $L$-functions corresponding to irreducible representations of the group $G$. △ Less

Submitted 30 March, 2020; v1 submitted 12 May, 2015; originally announced May 2015.

Comments: to appear in Operator Theory: Advances and Applications

MSC Class: 11F70; 46L85

Journal ref: Operator Theory, Functional Analysis and Applications 282 (2021), 515-528

Notes on noncommutative geometry

Authors: Igor Nikolaev

Abstract: The book covers basics of noncommutative geometry and its applications in topology, algebraic geometry and number theory. A brief survey of main parts of noncommutative geometry with historical remarks, bibliography and a list of exercises is attached. Our notes are intended for the graduate students and faculty with interests in noncommutative geometry; they can be read by non-experts in the fiel… ▽ More The book covers basics of noncommutative geometry and its applications in topology, algebraic geometry and number theory. A brief survey of main parts of noncommutative geometry with historical remarks, bibliography and a list of exercises is attached. Our notes are intended for the graduate students and faculty with interests in noncommutative geometry; they can be read by non-experts in the field. △ Less

Submitted 17 March, 2015; originally announced March 2015.

Comments: 309 pages, 43 figures

MSC Class: 11F72; 11G15; 11G45; 11J81; 14A22; 14F42; 14G15; 14H10; 14H52; 14H55; 18Dxx; 16R10; 46L85; 55S35; 57M27; 58F10

Journal ref: De Gruyter Studies in Mathematics 66, De Gruyter, Berlin, 2017. xii+300 pp. ISBN: 978-3-11-054525-8

Trace cohomology revisited

Authors: Igor V. Nikolaev

Abstract: We use a cohomology theory coming from the canonical trace on a C*-algebra of the projective variety to prove an analog of the Riemann Hypothesis for the Kuga-Sato varieties over finite fields. We use a cohomology theory coming from the canonical trace on a C*-algebra of the projective variety to prove an analog of the Riemann Hypothesis for the Kuga-Sato varieties over finite fields. △ Less

Submitted 9 February, 2025; v1 submitted 15 July, 2014; originally announced July 2014.

Comments: to appear Annals of Functional Analysis. arXiv admin note: text overlap with arXiv:1309.2551

MSC Class: 14F42; 46L85

Journal ref: Ann. Funct. Anal. 16, 22 (2025)

Real multiplication revisited

Authors: Igor Nikolaev

Abstract: It is proved that the Hilbert class field of a real quadratic field ${\Bbb Q}(\sqrt{D})$ modulo a power $m$ of the conductor $f$ is generated by the Fourier coefficients of the Hecke eigenform for a congruence subgroup of level $fD$. It is proved that the Hilbert class field of a real quadratic field ${\Bbb Q}(\sqrt{D})$ modulo a power $m$ of the conductor $f$ is generated by the Fourier coefficients of the Hecke eigenform for a congruence subgroup of level $fD$. △ Less

Submitted 5 February, 2016; v1 submitted 19 April, 2014; originally announced April 2014.

Comments: to appear Journal of Generalized Lie Theory and Applications

MSC Class: 11G45; 46L85

Journal ref: J. Generalized Lie Theory Appl. 10 (2016), S2-007, 5 pages

Remark on Weil's conjectures

Authors: Igor Nikolaev

Abstract: We introduce a cohomology theory for a class of projective varieties over a finite field coming from the canonical trace on a C*-algebra attached to the variety. Using the cohomology, we prove the rationality, functional equation and the Betti numbers conjectures for the zeta function of the variety. We introduce a cohomology theory for a class of projective varieties over a finite field coming from the canonical trace on a C*-algebra attached to the variety. Using the cohomology, we prove the rationality, functional equation and the Betti numbers conjectures for the zeta function of the variety. △ Less

Submitted 4 August, 2016; v1 submitted 10 September, 2013; originally announced September 2013.

Comments: to appear Advances Pure and Applied Mathematics, De Gruyter

MSC Class: 14F42; 46L85

Journal ref: Adv. Pure Appl. Math. 7 (2016), no.4, 213-221

On algebraic values of function exp (2ni x + log log y)

Authors: Igor Nikolaev

Abstract: It is proved that for all but a finite set of the square-free integers $d$ the value of transcendental function $\exp~(2πi ~x+\log\log y)$ is an algebraic number for the algebraic arguments $x$ and $y$ lying in a real quadratic field of discriminant $d$. Such a value generates the Hilbert class field of the imaginary quadratic field of discriminant $-d$. It is proved that for all but a finite set of the square-free integers $d$ the value of transcendental function $\exp~(2πi ~x+\log\log y)$ is an algebraic number for the algebraic arguments $x$ and $y$ lying in a real quadratic field of discriminant $d$. Such a value generates the Hilbert class field of the imaginary quadratic field of discriminant $-d$. △ Less

Submitted 26 October, 2017; v1 submitted 17 October, 2012; originally announced October 2012.

Comments: to appear Ramanujan J

MSC Class: 11J81; 46L85

Journal ref: Ramanujan J. 47 (2018), 417-425

Remark on Serre $C^*$-algebras

Authors: Igor Nikolaev

Abstract: We study non-commutative algebraic geometry of Artin, Serre and Tate in terms of the operator algebras. Namely, we define the Serre $C^*$-algebra $\mathcal{A}_X$ of a projective variety $X$ as the norm-closure of a representation of the twisted homogeneous coordinate ring of $X$ by the linear operators on a Hilbert space $\mathcal{H}$. It is proved that $X$ is homeomorphic to the space of all irre… ▽ More We study non-commutative algebraic geometry of Artin, Serre and Tate in terms of the operator algebras. Namely, we define the Serre $C^*$-algebra $\mathcal{A}_X$ of a projective variety $X$ as the norm-closure of a representation of the twisted homogeneous coordinate ring of $X$ by the linear operators on a Hilbert space $\mathcal{H}$. It is proved that $X$ is homeomorphic to the space of all irreducible representations of the crossed product of $\mathcal{A}_X$ by an automorphism of $\mathcal{A}_X$. The case of rational elliptic curves $X$ is considered in detail. △ Less

Submitted 3 May, 2022; v1 submitted 9 August, 2012; originally announced August 2012.

Comments: 9 pages; an update

MSC Class: 14A22; 46L85

Noncommutative geometry of rational elliptic curves

Authors: Igor Nikolaev

Abstract: We study an interplay between operator algebras and geometry of rational elliptic curves. Namely, let $\mathcal{O}_B$ be the Cuntz-Krieger algebra given by square matrix $B=(b-1, ~1, ~b-2, ~1)$, where $b$ is an integer greater or equal to two. It is proved, that there exists a dense self-adjoint sub-algebra of $\mathcal{O}_B$, which is isomorphic (modulo an ideal) to a twisted homogeneous coordina… ▽ More We study an interplay between operator algebras and geometry of rational elliptic curves. Namely, let $\mathcal{O}_B$ be the Cuntz-Krieger algebra given by square matrix $B=(b-1, ~1, ~b-2, ~1)$, where $b$ is an integer greater or equal to two. It is proved, that there exists a dense self-adjoint sub-algebra of $\mathcal{O}_B$, which is isomorphic (modulo an ideal) to a twisted homogeneous coordinate ring of the rational elliptic curve $\mathcal{E}({\Bbb Q})=\{(x,y,z) \in {\Bbb P}^2({\Bbb C}) ~|~ y^2z=x(x-z)(x-{b-2\over b+2}z)\}$. △ Less

Submitted 20 April, 2017; v1 submitted 4 January, 2012; originally announced January 2012.

Comments: to appear Annals of Functional Analysis

MSC Class: 14H52; 16R10; 46L85

Journal ref: Ann. Funct. Anal. 9 (2018), 202-209

Sklyanin algebras revisited

Authors: Igor Nikolaev

Abstract: We construct a functor from the category of elliptic curves to a category of noncommutative tori. Our proof is based on an isomorphism between the Sklyanin algebras and dense sub-algebras of the noncommutative tori. We construct a functor from the category of elliptic curves to a category of noncommutative tori. Our proof is based on an isomorphism between the Sklyanin algebras and dense sub-algebras of the noncommutative tori. △ Less

Submitted 1 December, 2020; v1 submitted 29 September, 2011; originally announced September 2011.

Comments: to appear Boletín de la Sociedad Matemática Mexicana

MSC Class: 14H52; 16R10; 46L85

Journal ref: Bol. Soc. Mat. Mex. 27, 1 (2021)

On a Poisson summation formula for noncommutative tori

Authors: Igor Nikolaev

Abstract: It is proved that a maximal abelian subalgebra of the noncommutative torus commutes with the Laplace operator on a complex torus. As a corollary, one gets an analog of the Poisson summation formula for noncommutative tori. It is proved that a maximal abelian subalgebra of the noncommutative torus commutes with the Laplace operator on a complex torus. As a corollary, one gets an analog of the Poisson summation formula for noncommutative tori. △ Less

Submitted 4 June, 2018; v1 submitted 28 June, 2011; originally announced June 2011.

Comments: to appear Complex Analysis and Operator Theory

MSC Class: 11F72; 46L85

Journal ref: Complex Anal. Oper. Theory 13 (2019), 3117-3125