Search

We prove various results in infinite-dimensional differential calculus that relate the differentiability properties of functions and associated operator-valued functions (e.g., differentials). The results are applied in two areas: (1) in the theory of infinite-dimensional vector bundles, to construct new bundles from given ones, such as dual bundles, topological tensor products, infinite direct sums, and completions (under suitable hypotheses); (2) in the theory of locally convex Poisson vector spaces, to prove continuity of the Poisson bracket and continuity of passage from a function to the associated Hamiltonian vector field. Topological properties of topological vector spaces are essential for the studies, which allow the hypocontinuity of bilinear mappings to be exploited. Notably, we encounter k R -spaces and locally convex spaces E such that E × E is a k R -space. [ABSTRACT FROM AUTHOR]

A method of the Riemann–Hilbert problem is employed for Zhang's conjecture 2 proposed in Philo. Mag. 87 (2007) 5309 for a ferromagnetic three-dimensional (3D) Ising model in a zero external magnetic field. In this work, we first prove that the 3D Ising model in the zero external magnetic field can be mapped to either a (3 + 1)-dimensional ((3 + 1)D) Ising spin lattice or a trivialized topological structure in the (3 + 1)D or four-dimensional (4D) space (Theorem 1). Following the procedures of realizing the representation of knots on the Riemann surface and formulating the Riemann–Hilbert problem in our preceding paper [O. Suzuki and Z.D. Zhang, Mathematics 9 (2021) 776], we introduce vertex operators of knot types and a flat vector bundle for the ferromagnetic 3D Ising model (Theorems 2 and 3). By applying the monoidal transforms to trivialize the knots/links in a 4D Riemann manifold and obtain new trivial knots, we proceed to renormalize the ferromagnetic 3D Ising model in the zero external magnetic field by use of the derivation of Gauss–Bonnet–Chern formula (Theorem 4). The ferromagnetic 3D Ising model with nontrivial topological structures can be realized as a trivial model on a nontrivial topological manifold. The topological phases generalized on wavevectors are determined by the Gauss–Bonnet–Chern formula, in consideration of the mathematical structure of the 3D Ising model. Hence we prove the Zhang's conjecture 2 (main theorem). Finally, we utilize the ferromagnetic 3D Ising model as a platform for describing a sensible interplay between the physical properties of many-body interacting systems, algebra, topology, and geometry. [ABSTRACT FROM AUTHOR]