SearcharxivSearch

arXiv subjects

Minhyong Kim

Publications and source records attributed to Minhyong Kim.

At least 19 recordsLinked to original sources

Nonabelian Chabauty for the Thrice-punctured Line over Cyclotomic Fields

In this paper we study the motivic Chabauty--Kim method, which aims to determine the set of $S$-integral points of $\mathbb{P}^1\smallsetminus \{0,1,\infty\}$, over cyclotomic fields. We focus on the case $K=\mathbb{Q}(\zeta_8)$ and $S=\left\{(1-\zeta_8)\right\}$, where we obtain explicit polylogarithmic Kim functions up to depth $4$ and verify Kim's Conjecture for several primes. We also observe and explain that the Chabauty--Kim locus for the polylogarithmic quotient contains, in addition to the $S$-integral points, certain exceptional points arising from roots of unity in $\mathbb{Q}_p$.

math.NT

Entanglement entropies in the abelian arithmetic Chern-Simons theory

The notion of {\em entanglement entropy} in quantum mechanical systems is an important quantity, which measures how much a physical state is entangled in a composite system. Mathematically, it measures how much the state vector is not decomposable as elements in the tensor product of two Hilbert spaces. In this paper, we seek its arithmetic avatar: the theory of arithmetic Chern-Simons theory with finite gauge group $G$ naturally associates a state vector inside the product of two quantum Hilbert spaces and we provide a formula for the {\em von Neumann entanglement entropy} of such state vector when $G$ is a cyclic group of prime order.

math.NT

Linking emergent phenomena and broken symmetries through one-dimensional objects and their dot/cross products

The symmetry of the whole experimental setups, including specific sample environments and measurables, can be compared with that of specimens for observable physical phenomena. We, first, focus on one-dimensional (1D) experimental setups, independent from any spatial rotation around one direction, and show that eight kinds of 1D objects (four; vectorlike, the other four; director-like), defined in terms of symmetry, and their dot and cross products are an effective way for the symmetry consideration. The dot products form a Z2xZ2xZ2 group with Abelian additive operation, and the cross products form a Z2xZ2 group with Abelian additive operation or Q8, a non-abelian group of order eight, depending on their signs. Those 1D objects are associated with characteristic physical phenomena. When a 3D specimen has Symmetry Operational Similarity (SOS) with (identical or lower, but not higher, symmetries than) an 1D object with a particular phenomenon, the 3D specimen can exhibit the phenomenon. This SOS approach can be a transformative and unconventional avenue for symmetry-guided materials designs and discoveries.

cond-mat.mtrl-sci

Non-Abelian topological defects and strain mapping in 2D moiré materials

We present a general method to analyze the topological nature of the domain boundary connectivity that appeared in relaxed moiré superlattice patterns at the interface of 2-dimensional (2D) van der Waals (vdW) materials. At large enough moiré lengths, all moiré systems relax into commensurated 2D domains separated by networks of dislocation lines. The nodes of the 2D dislocation line network can be considered as vortex-like topological defects. We find that a simple analogy to common topological systems with an $S^1$ order parameter, such as a superconductor or planar ferromagnet, cannot correctly capture the topological nature of these defects. For example, in twisted bilayer graphene, the order parameter space for the relaxed moiré system is homotopy equivalent to a punctured torus. Here, the nodes of the 2D dislocation network can be characterized as elements of the fundamental group of the punctured torus, the free group on two generators, endowing these network nodes with non-Abelian properties. Extending this analysis to consider moiré patterns generated from any relative strain, we find that antivortices occur in the presence of anisotropic heterostrain, such as shear or anisotropic expansion, while arrays of vortices appear under twist or isotropic expansion between vdW materials. Experimentally, utilizing the dark field imaging capability of transmission electron microscopy (TEM), we demonstrate the existence of vortex and antivortex pair formation in a moiré system, caused by competition between different types of heterostrains in the vdW interfaces. We also present a methodology for mapping the underlying heterostrain of a moiré structure from experimental TEM data, which provides a quantitative relation between the various components of heterostrain and vortex-antivortex density in moiré systems.

cond-mat.mes-hall

Path Integrals and p-adic L-functions

We prove an arithmetic path integral formula for the inverse p-adic absolute values of the Kubota-Leopoldt p-adic L-functions at roots of unity.

math.NT

A note on abelian arithmetic BF-theory

We compute some arithmetic path integrals for BF-theory over the ring of integers of a totally imaginary field, which evaluate to natural arithmetic invariants associated to $\mathbb{G}_m$ and abelian varieties.

math.NT

Mirror symmetry, mixed motives and $ζ(3)$

In this paper, we present an application of mirror symmetry to arithmetic geometry. The main result is the computation of the period of a mixed Hodge structure, which lends evidence to its expected motivic origin. More precisely, given a mirror pair $(M,W)$ of Calabi-Yau threefolds, the prepotential of the complexified Kahler moduli space of $M$ admits an expansion with a constant term that is frequently of the form $$-3\, χ(M) \,ζ(3)/(2 πi)^3+r,$$ where $r \in \mathbb{Q}$ and $χ(M)$ is the Euler characteristic of $M$. We focus on the mirror pairs for which the deformation space of the mirror threefold $W$ forms part of a one-parameter algebraic family $W_φ$ defined over $\mathbb{Q}$ and the large complex structure limit is a rational point. Assuming a version of the mirror conjecture, we compute the limit mixed Hodge structure on $H^3(W_φ)$ at the large complex structure limit. It turns out to have a direct summand expressible as an extension of $\mathbb{Q}(-3)$ by $\mathbb{Q}(0)$ whose isomorphism class can be computed in terms of the prepotential of $M$, and hence, involves $ζ(3)$. By way of Ayoub's works on the motivic nearby cycle functor, this reveals in precise form a connection between mirror symmetry and a variant of the Hodge conjecture for mixed Tate motives.

math.AG

Learning Algebraic Structures: Preliminary Investigations

We employ techniques of machine-learning, exemplified by support vector machines and neural classifiers, to initiate the study of whether AI can "learn" algebraic structures. Using finite groups and finite rings as a concrete playground, we find that questions such as identification of simple groups by "looking" at the Cayley table or correctly matching addition and multiplication tables for finite rings can, at least for structures of small size, be performed by the AI, even after having been trained only on small number of cases. These results are in tandem with recent investigations on whether AI can solve certain classes of problems in algebraic geometry.

cs.LG

Arithmetic Gauge Theory: A Brief Introduction

Much of arithmetic geometry is concerned with the study of principal bundles. They occur prominently in the arithmetic of elliptic curves and, more recently, in the study of the Diophantine geometry of curves of higher genus. In particular, the geometry of moduli spaces of principal bundles appears to be closely related to an effective version of Faltings's theorem on finiteness of rational points on curves of genus at least 2. The study of arithmetic principal bundles includes the study of {\em Galois representations}, the structures linking motives to automorphic forms according to the Langlands programme. In this article, we give a brief introduction to the arithmetic geometry of principal bundles with emphasis on some elementary analogies between arithmetic moduli spaces and the constructions of quantum field theory. For the most part, it can be read as an attempt to explain standard constructions of arithmetic geometry using the language of physics, albeit employed in an amateurish and ad hoc manner.

math.NT

Arithmetic Chern-Simons Theory II

We apply ideas of Dijkgraaf and Witten on three-dimensional topological quantum field theory to arithmetic curves, that is, the spectra of rings of integers in algebraic number fields. In the first three sections, we define classical Chern-Simons actions on spaces of Galois representations. In the subsequent sections, we give formulas for computation in a small class of cases and point towards some arithmetic applications.

math.NT

Abelian arithmetic Chern-Simons theory and arithmetic linking numbers

Following the method of Seifert surfaces in knot theory, we define arithmetic linking numbers and height pairings of ideals using arithmetic duality theorems, and compute them in terms of n-th power residue symbols. This formalism leads to a precise arithmetic analogue of a 'path-integral formula' for linking numbers.

math.NT

A non-abelian conjecture of Tate-Shafarevich type for hyperbolic curves

We state a conjectural criterion for identifying global integral points on a hyperbolic curve over $\mathbb{Z}$ in terms of Selmer schemes inside non-abelian cohomology functors with coefficients in $\mathbb{Q}_p$-unipotent fundamental groups. For $\mathbb{P}^1\setminus \{0,1,\infty\}$ and the complement of the origin in semi-stable elliptic curves of rank 0, we compute the local image of global Selmer schemes, which then allows us to numerically confirm our conjecture in a wide range of cases.

math.NT

Arithmetic Chern-Simons Theory I

In this paper, we apply ideas of Dijkgraaf and Witten on 2+1 dimensional topological quantum field theory to arithmetic curves, that is, the spectra of rings of integers in algebraic number fields. In the first three sections, we define classical Chern-Simons functionals on spaces of Galois representations. In the highly speculative section 5, we consider the far-fetched possibility of using Chern-Simons theory to construct L-functions.

math.NT

Diophantine geometry and non-abelian reciprocity laws I

We use non-abelian fundamental groups to define a sequence of higher reciprocity maps on the adelic points of a variety over a number field satisfying certain conditions in Galois cohomology. The non-abelian reciprocity law then states that the global points are contained in the kernel of all the reciprocity maps.

math.NT

Non-abelian fundamental groups in arithmetic geometry

This is a brief exposition of the mathematical themes that motivate the special programme at the Newton Institute in 2009. It is mostly intended for the general public having mathematical training up to the level of secondary school.

math.NT

Galois theory and Diophantine geometry

This is an essay to accompany the author's lecture at the introductory workshop on `Nonabelian fundamental groups in arithmetic geometry' at the Newton Institute, Cambridge in July, 2009.

math.NT

Massey products for elliptic curves of rank 1

For an elliptic curve over Q of analytic rank 1, we use the level-two Selmer variety and secondary cohomology products to find explicit analytic defining equations for global integral points inside the set of p-adic points.

math.NT