Showing 1–32 of 32 results for author: Jones, J

Families of p-adic fields

Authors: Jordi Guàrdia Rúbies, John W. Jones, Kevin Keating, Sebastian Pauli, David P. Roberts, David Roe

Abstract: We improve the database of $p$-adic fields in the LMFDB by systematically using Krasner-Monge polynomials and working relatively as well as absolutely. These improvements organize $p$-adic fields into families. They thereby make long lists of fields more manageable and various theoretical structures more evident. In particular, the database now includes all degree $n$ extensions of $\mathbb{Q}_p$,… ▽ More We improve the database of $p$-adic fields in the LMFDB by systematically using Krasner-Monge polynomials and working relatively as well as absolutely. These improvements organize $p$-adic fields into families. They thereby make long lists of fields more manageable and various theoretical structures more evident. In particular, the database now includes all degree $n$ extensions of $\mathbb{Q}_p$, for $p<200$ and $n \leq 23$. △ Less

Submitted 3 July, 2025; originally announced July 2025.

Comments: 27 pages

MSC Class: 11S15 (primary); 11F85; 11S05; 11S20; 11Y40; 12F05 (secondary)

SurvSurf: a partially monotonic neural network for first-hitting time prediction of intermittently observed discrete and continuous sequential events

Authors: Yichen Kelly Chen, Sören Dittmer, Kinga Bernatowicz, Josep Arús-Pous, Kamen Bliznashki, John Aston, James H. F. Rudd, Carola-Bibiane Schönlieb, James Jones, Michael Roberts

Abstract: We propose a neural-network based survival model (SurvSurf) specifically designed for direct and simultaneous probabilistic prediction of the first hitting time of sequential events from baseline. Unlike existing models, SurvSurf is theoretically guaranteed to never violate the monotonic relationship between the cumulative incidence functions of sequential events, while allowing nonlinear influenc… ▽ More We propose a neural-network based survival model (SurvSurf) specifically designed for direct and simultaneous probabilistic prediction of the first hitting time of sequential events from baseline. Unlike existing models, SurvSurf is theoretically guaranteed to never violate the monotonic relationship between the cumulative incidence functions of sequential events, while allowing nonlinear influence from predictors. It also incorporates implicit truths for unobserved intermediate events in model fitting, and supports both discrete and continuous time and events. We also identified a variant of the Integrated Brier Score (IBS) that showed robust correlation with the mean squared error (MSE) between the true and predicted probabilities by accounting for implied truths about the missing intermediate events. We demonstrated the superiority of SurvSurf compared to modern and traditional predictive survival models in two simulated datasets and two real-world datasets, using MSE, the more robust IBS and by measuring the extent of monotonicity violation. △ Less

Submitted 7 April, 2025; originally announced April 2025.

Comments: 41 pages, 18 figures (including supplemental information). Submitted to RSS: Data Science and Artificial Intelligence

MSC Class: 62N01

Type II Degenerations of K3 Surfaces of Degree 4

Authors: James Matthew Jones

Abstract: We study Type II degenerations of K3 surfaces of degree 4 where the central fiber consists of two rational components glued along an elliptic curve. Such degenerations are called Tyurin degenerations. We construct explicit Tyurin degenerations corresponding to each of the 1-dimensional boundary components of the Baily-Borel compactification of the moduli space of K3 surfaces of degree 4. For every… ▽ More We study Type II degenerations of K3 surfaces of degree 4 where the central fiber consists of two rational components glued along an elliptic curve. Such degenerations are called Tyurin degenerations. We construct explicit Tyurin degenerations corresponding to each of the 1-dimensional boundary components of the Baily-Borel compactification of the moduli space of K3 surfaces of degree 4. For every such boundary component we also construct an 18-dimensional family of Tyurin degenerations of K3 surfaces of degree 4 and compute the stable models of these degenerations. △ Less

Submitted 26 February, 2025; v1 submitted 6 February, 2025; originally announced February 2025.

Comments: 28 pages, 1 figure. v2: Corrected the equation defining the family in section 3.4, plus some other minor changes; mathematical results unaffected

MSC Class: 14D06; 14J10; 14J26; 14J28

Creating a dynamic database of finite groups

Authors: Lewis Combes, John W. Jones, Jennifer Paulhus, David Roe, Manami Roy, Sam Schiavone

Abstract: A database of abstract groups has been added to the L-functions and Modular Forms Database (LMFDB), available at https://www.lmfdb.org/Groups/Abstract/. We discuss the functionality of the database and what makes it distinct from other available databases of abstract groups. We describe solutions to mathematical problems we encountered while creating the database, as well as connections between th… ▽ More A database of abstract groups has been added to the L-functions and Modular Forms Database (LMFDB), available at https://www.lmfdb.org/Groups/Abstract/. We discuss the functionality of the database and what makes it distinct from other available databases of abstract groups. We describe solutions to mathematical problems we encountered while creating the database, as well as connections between the abstract groups database and other collections of objects in the LMFDB. △ Less

Submitted 13 September, 2024; originally announced September 2024.

MSC Class: 20-04

On the 32-dimensional Rosenfeld projective plane

Authors: John Jones, Dmitriy Rumynin, Adam R. Thomas

Abstract: Following on from arXiv:2310.14365 [math.AT], we make a detailed study of the $32$-dimensional Rosenfeld projective plane which is the symmetric space EIII in Cartan's list of compact symmetric spaces. Following on from arXiv:2310.14365 [math.AT], we make a detailed study of the $32$-dimensional Rosenfeld projective plane which is the symmetric space EIII in Cartan's list of compact symmetric spaces. △ Less

Submitted 5 November, 2023; originally announced November 2023.

Comments: 11 pages

The classical topological invariants of homogeneous spaces

Authors: John Jones, Dmitriy Rumynin, Adam R. Thomas

Abstract: We study the homogeneous spaces of a simply connected, compact, simple Lie group $G$ through the lens of K-theory. Our methods apply equally well to the case where $G$ is in one of the four infinite families of classical groups, or one of the five exceptional groups. The main examples we study in detail are the four symmetric spaces FII, EIII, EVI, EVIII in Cartan's list of symmetric spaces. These… ▽ More We study the homogeneous spaces of a simply connected, compact, simple Lie group $G$ through the lens of K-theory. Our methods apply equally well to the case where $G$ is in one of the four infinite families of classical groups, or one of the five exceptional groups. The main examples we study in detail are the four symmetric spaces FII, EIII, EVI, EVIII in Cartan's list of symmetric spaces. These are, respectively, homogeneous spaces for $F_4$, $E_6$, $E_7$, $E_8$ with dimensions $16$, $32$, $64$, $128$. They are the four Rosenfeld projective planes. △ Less

Submitted 22 October, 2023; originally announced October 2023.

Comments: 27 pages

Preserving Superconvergence of Spectral Elements for Curved Domains via $h$ and $p$-Geometric Refinement

Authors: Jacob Jones, Rebecca Conley, Xiangmin Jiao

Abstract: Spectral element methods (SEM), which are extensions of finite element methods (FEM), are important emerging techniques for solving partial differential equations in physics and engineering. SEM can potentially deliver better accuracy due to the potential superconvergence for well-shaped tensor-product elements. However, for complex geometries, the accuracy of SEM often degrades due to a combinati… ▽ More Spectral element methods (SEM), which are extensions of finite element methods (FEM), are important emerging techniques for solving partial differential equations in physics and engineering. SEM can potentially deliver better accuracy due to the potential superconvergence for well-shaped tensor-product elements. However, for complex geometries, the accuracy of SEM often degrades due to a combination of geometric inaccuracies near curved boundaries and the loss of superconvergence with simplicial or non-tensor-product elements. We propose to overcome the first issue by using $h$- and $p$-geometric refinement, to refine the mesh near high-curvature regions and increase the degree of geometric basis functions, respectively. We show that when using mixed-meshes with tensor-product elements in the interior of the domain, curvature-based geometric refinement near boundaries can improve the accuracy of the interior elements by reducing pollution errors and preserving the superconvergence. To overcome the second issue, we apply a post-processing technique to recover the accuracy near the curved boundaries by using the adaptive extended stencil finite element method (AES-FEM). The combination of curvature-based geometric refinement and accurate post-processing delivers an effective and easier-to-implement alternative to other methods based on exact geometries. We demonstrate our techniques by solving the convection-diffusion equation in 2D and show one to two orders of magnitude of improvement in the solution accuracy, even when the elements are poorly shaped near boundaries. △ Less

Submitted 26 April, 2023; originally announced April 2023.

Comments: 22 Pages

Valid post-selection inference in Robust Q-learning

Authors: Jeremiah Jones, Ashkan Ertefaie, Robert L. Strawderman

Abstract: Constructing an optimal adaptive treatment strategy becomes complex when there are a large number of potential tailoring variables. In such scenarios, many of these extraneous variables may contribute little or no benefit to an adaptive strategy while increasing implementation costs and putting an undue burden on patients. Although existing methods allow selection of the informative prognostic fac… ▽ More Constructing an optimal adaptive treatment strategy becomes complex when there are a large number of potential tailoring variables. In such scenarios, many of these extraneous variables may contribute little or no benefit to an adaptive strategy while increasing implementation costs and putting an undue burden on patients. Although existing methods allow selection of the informative prognostic factors, statistical inference is complicated by the data-driven selection process. To remedy this deficiency, we adapt the Universal Post-Selection Inference procedure to the semiparametric Robust Q-learning method and the unique challenges encountered in such multistage decision methods. In the process, we also identify a uniform improvement to confidence intervals constructed in this post-selection inference framework. Under certain rate assumptions, we provide theoretical results that demonstrate the validity of confidence regions and tests constructed from our proposed procedure. The performance of our method is compared to the Selective Inference framework through simulation studies, demonstrating the strengths of our procedure and its applicability to multiple selection mechanisms. △ Less

Submitted 5 August, 2022; originally announced August 2022.

Compact Lie Groups and Complex Reductive Groups

Authors: John Jones, Dmitriy Rumynin, Adam Thomas

Abstract: We show that the categories of compact Lie groups and complex reductive groups (not necessarily connected) are homotopy equivalent topological categories. In other words, the corresponding categories enriched in the homotopy category of topological spaces are equivalent. This can also be interpreted as an equivalence of infinity categories. We show that the categories of compact Lie groups and complex reductive groups (not necessarily connected) are homotopy equivalent topological categories. In other words, the corresponding categories enriched in the homotopy category of topological spaces are equivalent. This can also be interpreted as an equivalence of infinity categories. △ Less

Submitted 26 April, 2023; v1 submitted 28 September, 2021; originally announced September 2021.

Comments: 11 pages. Version 2: minor edits. Version 3: the final journal version with minor edits

MSC Class: Primary 18M25; Secondary 22E46

Simple control for complex pandemics

Authors: Sarah C. Fay, Dalton J. Jones, Munther A. Dahleh, A. E. Hosoi

Abstract: The COVID-19 pandemic began over two years ago, yet schools, businesses, and other organizations are still struggling to keep the risk of disease outbreak low while returning to (near) normal functionality. Observations from these past years suggest that this goal can be achieved through the right balance of mitigation strategies, which may include some combination of mask use, vaccinations, viral… ▽ More The COVID-19 pandemic began over two years ago, yet schools, businesses, and other organizations are still struggling to keep the risk of disease outbreak low while returning to (near) normal functionality. Observations from these past years suggest that this goal can be achieved through the right balance of mitigation strategies, which may include some combination of mask use, vaccinations, viral testing, and contact tracing. The choice of mitigation measures will be uniquely based on the needs and available resources of each organization. This article presents practical guidance for creating these policies based on an analytical model of disease spread that captures the combined effects of each of these interventions. The resulting guidance is tested through simulation across a wide range of parameters and used to discuss the spread of disease on college campuses. △ Less

Submitted 30 January, 2022; v1 submitted 16 December, 2020; originally announced December 2020.

General Comodule-Contramodule Correspondence

Authors: Katerina Hristova, John Jones, Dmitriy Rumynin

Abstract: This paper is a fundamental study of comodules and contramodules over a comonoid in a symmetric closed monoidal category. We study both algebraic and homotopical aspects of them. Algebraically, we enrich the comodule and contramodule categories over the original category, construct enriched functors between them and enriched adjunctions between the functors. Homotopically, for simplicial sets and… ▽ More This paper is a fundamental study of comodules and contramodules over a comonoid in a symmetric closed monoidal category. We study both algebraic and homotopical aspects of them. Algebraically, we enrich the comodule and contramodule categories over the original category, construct enriched functors between them and enriched adjunctions between the functors. Homotopically, for simplicial sets and topological spaces, we investigate the categories of comodules and contramodules and the relations between them. △ Less

Submitted 20 March, 2023; v1 submitted 27 April, 2020; originally announced April 2020.

Comments: Version 2: major revision to make the paper easier to read. Version 3: another major revision: we refer to various old results on the functorial semantics that makes paper shorter and more accessible. Version 4: yet another major revision: we replace a biclosed monoidal category with a symmetric closed monoidal category, simplifying many proofs. Version 5: minor edits, final journal version

MSC Class: Primary 18D20. Secondary 18N40; 16T15; 55U40

Invisible knots and rainbow rings: knots not determined by their determinants

Authors: James Godzik, Nancy Ho, Jennifer Jones, Thomas W. Mattman, Dan Sours

Abstract: We determine p-colorability of the paradromic rings. These rings arise by generalizing the well-known experiment of bisecting a Mobius strip. Instead of joining the ends with a single half twist, use $m$ twists, and, rather than bisecting ($n = 2$), cut the strip into $n$ sections. We call the resulting collection of thin strips $P(m,n)$. By replacing each thin strip with its midline, we think of… ▽ More We determine p-colorability of the paradromic rings. These rings arise by generalizing the well-known experiment of bisecting a Mobius strip. Instead of joining the ends with a single half twist, use $m$ twists, and, rather than bisecting ($n = 2$), cut the strip into $n$ sections. We call the resulting collection of thin strips $P(m,n)$. By replacing each thin strip with its midline, we think of $P(m,n)$ as a link, that is, a collection of circles in space. Using the notion of $p$-colorability from knot theory, we determine, for each $m$ and $n$, which primes $p$ can be used to color $P(m,n)$. Amazingly, almost all admit 0, 1, or an infinite number of prime colorings! This is reminiscent of solutions sets in linear algebra. Indeed, the problem quickly turns into a study of the eigenvalues of a large, nearly diagonal matrix. Our paper combines this explicit calculation in linear algebra with a survey of several ideas from knot theory including colorability and torus links. △ Less

Submitted 4 January, 2019; originally announced January 2019.

Comments: 24 pages, 18 figures

MSC Class: 57M25

Unexpected Topology of the Temperature Fluctuations in the Cosmic Microwave Background

Authors: Pratyush Pranav, Robert J. Adler, Thomas Buchert, Herbert Edelsbrunner, Bernard J. T. Jones, Armin Schwartzman, Hubert Wagner, Rien van de Weygaert

Abstract: We study the topology generated by the temperature fluctuations of the Cosmic Microwave Background (CMB) radiation, as quantified by the number of components and holes, formally given by the Betti numbers, in the growing excursion sets. We compare CMB maps observed by the Planck satellite with a thousand simulated maps generated according to the LCDM paradigm with Gaussian distributed fluctuations… ▽ More We study the topology generated by the temperature fluctuations of the Cosmic Microwave Background (CMB) radiation, as quantified by the number of components and holes, formally given by the Betti numbers, in the growing excursion sets. We compare CMB maps observed by the Planck satellite with a thousand simulated maps generated according to the LCDM paradigm with Gaussian distributed fluctuations. The survey of the CMB over $\mathbb{S}^2$ is incomplete due to obfuscation effects by bright point sources and other extended foreground objects like our own galaxy. To deal with such situations, where analysis in the presence of "masks" is of importance, we introduce the concept of relative homology. The parametric $χ^2$-test shows differences between observations and simulations, yielding $p$-values at per-cent to less than per-mil levels roughly between 2 to 7 degrees. The highest observed deviation for $b_0$ and $b_1$ is approximately between $3σ$-4$σ$ at scales of 3 to 7 degrees. There are reports of mildly unusual behaviour of the Euler characteristic at 3.66 degrees in the literature, computed from independent measurements of the CMB temperature fluctuations by Planck's predecessor WMAP satellite. The mildly anomalous behaviour of Euler characteristic is related to the strongly anomalous behaviour of components and holes. These are also the scales at which the observed maps exhibit low variance compared to the simulations. Non-parametric tests show even stronger differences at almost all scales. Regardless, beyond the trivial possibility that this may still be a manifestation of an extreme Gaussian case, these observations, along with the super-horizon scales involved, may motivate to look at primordial non-Gaussianity. Alternative scenarios worth exploring may be models with non-trivial topology. △ Less

Submitted 18 December, 2018; originally announced December 2018.

Comments: 18 pages, 16 figures, 3 tables, submitted to Astronomy \& Astrophysics

Journal ref: A&A 627, A163 (2019)

Topology and Geometry of Gaussian random fields I: on Betti Numbers, Euler characteristic and Minkowski functionals

Authors: Pratyush Pranav, Rien van de Weygaert, Gert Vegter, Bernard J. T. Jones, Robert J. Adler, Job Feldbrugge, Changbom Park, Thomas Buchert, Michael Kerber

Abstract: This study presents a numerical analysis of the topology of a set of cosmologically interesting three-dimensional Gaussian random fields in terms of their Betti numbers $β_0$, $β_1$ and $β_2$. We show that Betti numbers entail a considerably richer characterization of the topology of the primordial density field. Of particular interest is that Betti numbers specify which topological features - isl… ▽ More This study presents a numerical analysis of the topology of a set of cosmologically interesting three-dimensional Gaussian random fields in terms of their Betti numbers $β_0$, $β_1$ and $β_2$. We show that Betti numbers entail a considerably richer characterization of the topology of the primordial density field. Of particular interest is that Betti numbers specify which topological features - islands, cavities or tunnels - define its spatial structure. A principal characteristic of Gaussian fields is that the three Betti numbers dominate the topology at different density ranges. At extreme density levels, the topology is dominated by a single class of features. At low levels this is a \emph{Swiss-cheeselike} topology, dominated by isolated cavities, at high levels a predominantly \emph{Meatball-like} topology of isolated objects. At moderate density levels, two Betti number define a more \emph{Sponge-like} topology. At mean density, the topology even needs three Betti numbers, quantifying a field consisting of several disconnected complexes, not of one connected and percolating overdensity. A {\it second} important aspect of Betti number statistics is that they are sensitive to the power spectrum. It reveals a monotonic trend in which at a moderate density range a lower spectral index corresponds to a considerably higher (relative) population of cavities and islands. We also assess the level of complementary information that Betti numbers represent, in addition to conventional measures such as Minkowski functionals. To this end, we include an extensive description of the Gaussian Kinematic Formula (GKF), which represents a major theoretical underpinning for this discussion. △ Less

Submitted 27 February, 2019; v1 submitted 18 December, 2018; originally announced December 2018.

Comments: 44 pages, 27 Figures, 2 Tables, accepted for publication in MNRAS in the original version. This version updates references and fixes typos

Journal ref: MNRAS, Volume 485, 3, 4167-4208 (2019)

A chronology of continued square roots and other continued compositions, through the year 2016

Authors: Dixon J. Jones

Abstract: An infinite continued composition is an expression of the form \begin{equation*} \lim_{n\to\infty}t_0\circ t_1 \circ t_2 \circ \cdots \circ t_n(c)\;, \end{equation*} where the $t_i$ are maps from a set $D$ to itself, the initial value $c$ is a point in $D$, and the order of operations proceeds from right to left. This document is a bibliography, in chronological order through the year 2016, of s… ▽ More An infinite continued composition is an expression of the form \begin{equation*} \lim_{n\to\infty}t_0\circ t_1 \circ t_2 \circ \cdots \circ t_n(c)\;, \end{equation*} where the $t_i$ are maps from a set $D$ to itself, the initial value $c$ is a point in $D$, and the order of operations proceeds from right to left. This document is a bibliography, in chronological order through the year 2016, of selected continued compositions whose primary sources have typically been obscure. In particular, we include continued square roots: \begin{equation*} a_0+\sqrt{a_1+\sqrt{a_2+\sqrt{\ldots}}}\;, \end{equation*} as well as continued powers, continued cotangents, continued logarithms, and $f$-expansions. However, we do not include continued fractions, continued exponentials, or forms such as infinite sums and products in which the $t_i$ are linear functions, because the literature on these forms is extensive. △ Less

Submitted 16 December, 2024; v1 submitted 17 July, 2017; originally announced July 2017.

Comments: May be periodically updated; v4: 111 pages, 223 items, topics index, names index, extensive internal and external hyperlinks

Artin L-functions of small conductor

Authors: John W. Jones, David P. Roberts

Abstract: We study the problem of finding the Artin L-functions with the smallest conductor for a given Galois type. We adapt standard analytic techniques to our novel situation of fixed Galois type and get much improved lower bounds on the smallest conductor. For small Galois types we use complete tables of number fields to determine the actual smallest conductor. We study the problem of finding the Artin L-functions with the smallest conductor for a given Galois type. We adapt standard analytic techniques to our novel situation of fixed Galois type and get much improved lower bounds on the smallest conductor. For small Galois types we use complete tables of number fields to determine the actual smallest conductor. △ Less

Submitted 4 October, 2016; originally announced October 2016.

Comments: 32 pages, 3 figures

The Topology of the Cosmic Web in Terms of Persistent Betti Numbers

Authors: Pratyush Pranav, Herbert Edelsbrunner, Rien van de Weygaert, Gert Vegter, Michael Kerber, Bernard J. T. Jones, Mathijs Wintraecken

Abstract: We introduce a multiscale topological description of the Megaparsec weblike cosmic matter distribution. Betti numbers and topological persistence offer a powerful means of describing the rich connectivity structure of the cosmic web and of its multiscale arrangement of matter and galaxies. Emanating from algebraic topology and Morse theory, Betti numbers and persistence diagrams represent an exten… ▽ More We introduce a multiscale topological description of the Megaparsec weblike cosmic matter distribution. Betti numbers and topological persistence offer a powerful means of describing the rich connectivity structure of the cosmic web and of its multiscale arrangement of matter and galaxies. Emanating from algebraic topology and Morse theory, Betti numbers and persistence diagrams represent an extension and deepening of the cosmologically familiar topological genus measure, and the related geometric Minkowski functionals. In addition to a description of the mathematical background, this study presents the computational procedure for computing Betti numbers and persistence diagrams for density field filtrations. The field may be computed starting from a discrete spatial distribution of galaxies or simulation particles. The main emphasis of this study concerns an extensive and systematic exploration of the imprint of different weblike morphologies and different levels of multiscale clustering in the corresponding computed Betti numbers and persistence diagrams. To this end, we use Voronoi clustering models as templates for a rich variety of weblike configurations, and the fractal-like Soneira-Peebles models exemplify a range of multiscale configurations. We have identified the clear imprint of cluster nodes, filaments, walls, and voids in persistence diagrams, along with that of the nested hierarchy of structures in multiscale point distributions. We conclude by outlining the potential of persistent topology for understanding the connectivity structure of the cosmic web, in large simulations of cosmic structure formation and in the challenging context of the observed galaxy distribution in large galaxy surveys. △ Less

Submitted 31 January, 2017; v1 submitted 16 August, 2016; originally announced August 2016.

Comments: 31 pages, 24 figures, Published in MNRAS in original version. This version updates the reference list

Journal ref: MNRAS, 2016, 465 (4): 4281-4310

Mixed degree number field computations

Authors: John W. Jones, David P. Roberts

Abstract: We present a method for computing complete lists of number fields in cases where the Galois group, as an abstract group, appears as a Galois group in smaller degree. We apply this method to find the twenty-five octic fields with Galois group $\textrm{PSL}_2(7)$ and smallest absolute discriminant. We carry out a number of related computations, including determining the octic field with Galois group… ▽ More We present a method for computing complete lists of number fields in cases where the Galois group, as an abstract group, appears as a Galois group in smaller degree. We apply this method to find the twenty-five octic fields with Galois group $\textrm{PSL}_2(7)$ and smallest absolute discriminant. We carry out a number of related computations, including determining the octic field with Galois group $2^3{:}\textrm{GL}_3(2)$ of smallest absolute discriminant. △ Less

Submitted 10 November, 2016; v1 submitted 29 February, 2016; originally announced February 2016.

MSC Class: 11R21

String homology, and closed geodesics on manifolds which are elliptic spaces

Authors: J. D. S. Jones, J. McCleary

Abstract: Let $M$ be a closed simply connected smooth manifold. Let $\F_p$ be the finite field with $p$ elements where $p> 0$ is a prime integer. Suppose that $M$ is an $\F_p$-elliptic space in the sense of [FHT91]. We prove that if the cohomology algebra $H^*(M, \F_p)$ cannot be generated (as an algebra) by one element, then any Riemannian metric on $M$ has an infinite number of geometrically distinct clos… ▽ More Let $M$ be a closed simply connected smooth manifold. Let $\F_p$ be the finite field with $p$ elements where $p> 0$ is a prime integer. Suppose that $M$ is an $\F_p$-elliptic space in the sense of [FHT91]. We prove that if the cohomology algebra $H^*(M, \F_p)$ cannot be generated (as an algebra) by one element, then any Riemannian metric on $M$ has an infinite number of geometrically distinct closed geodesics. The starting point is a classical theorem of Gromoll and Meyer [GM69]. The proof uses string homology, in particular the spectral sequence of [CJY04], the main theorem of [McC87], and the structure theorem for elliptic Hopf algebras over $\F_p$ from [FHT91]. △ Less

Submitted 23 October, 2014; v1 submitted 30 September, 2014; originally announced September 2014.

MSC Class: Primary: 55P50; Secondary: 58E10; 55P35;

Journal ref: Algebr. Geom. Topol. 16 (2016) 2677-2690

A database of number fields

Authors: John W. Jones, David P. Roberts

Abstract: We describe an online database of number fields which accompanies this paper The database centers on complete lists of number fields with prescribed invariants. Our description here focuses on summarizing tables and connections to theoretical issues of current interest. We describe an online database of number fields which accompanies this paper The database centers on complete lists of number fields with prescribed invariants. Our description here focuses on summarizing tables and connections to theoretical issues of current interest. △ Less

Submitted 1 April, 2014; originally announced April 2014.

Comments: 25 pages, 1 figure

MSC Class: 11R21; 11R32

Journal ref: LMS J. Comput. Math. 17 (2014) 595-618

Homotopy automorphisms of R-module bundles, and the K-theory of string topology

Authors: Ralph L. Cohen, John D. S Jones

Abstract: Let $R$ be a ring spectrum and $ E\to X$ an $R$-module bundle of rank $n$. Our main result is to identify the homotopy type of the group-like monoid of homotopy automorphisms of this bundle, $hAut^R(E)$. This will generalize the result regarding $R$-line bundles previously proven by the authors. The main application is the calculation of the homotopy type of $BGL_n(End ((L))$ where $L \to X$ is an… ▽ More Let $R$ be a ring spectrum and $ E\to X$ an $R$-module bundle of rank $n$. Our main result is to identify the homotopy type of the group-like monoid of homotopy automorphisms of this bundle, $hAut^R(E)$. This will generalize the result regarding $R$-line bundles previously proven by the authors. The main application is the calculation of the homotopy type of $BGL_n(End ((L))$ where $L \to X$ is any $R$-line bundle, and $End (L)$ is the ring spectrum of endomorphisms. In the case when such a bundle is the fiberwise suspension spectrum of a principal bundle over a manifold, $G \to P \to M$, this leads to a description of the $K$-theory of the string topology spectrum in terms of the mapping space from $M$ to $BGL (Σ^\infty (G_+))$. △ Less

Submitted 17 October, 2013; originally announced October 2013.

Comments: 10 pages

MSC Class: 55N45 57T10 53C05

Gauge theory and string topology

Authors: Ralph L. Cohen, John D. S. Jones

Abstract: Given a principal bundle over a closed manifold, G --> P --> M, let P^{Ad} --> M be the associated adjoint bundle. Gruher and Salvatore showed that the Thom spectrum (P^{Ad})^{-TM} is a ring spectrum whose corresponding product in homology is a Chas-Sullivan type string topology product. We refer to this spectrum as the `string topology spectrum of P", S (P). In the universal case when P is contra… ▽ More Given a principal bundle over a closed manifold, G --> P --> M, let P^{Ad} --> M be the associated adjoint bundle. Gruher and Salvatore showed that the Thom spectrum (P^{Ad})^{-TM} is a ring spectrum whose corresponding product in homology is a Chas-Sullivan type string topology product. We refer to this spectrum as the `string topology spectrum of P", S (P). In the universal case when P is contractible, S(P) is equivalent to LM^{-TM} where LM is the free loop space of the manifold. This ring spectrum was introduced by the authors as a homotopy theoretic realization of the Chas-Sullivan string topology of M. The main purpose of this paper is to introduce an action of the gauge group of the principal bundle, G (P) on the string topology spectrum S(P), and to study this action in detail. Indeed we study the entire group of units and the induced representation G(P) --> GL_1(S (P)). We show that this group of units is the group of homotopy automorphisms of the fiberwise suspension spectrum of P. More generally we describe the homotopy type of the group of homotopy automorphisms of any E-line bundle for any ring spectrum E. We import some of the basic ideas of gauge theory, such as the action of the gauge group on the space of connections to the setting of E-line bundles over a manifold, and do explicit calculations. We end by discussing a functorial perspective, which describes a sense in which the string topology spectrum S(P) of a principal bundle is the "linearization" of the gauge group G(P). △ Less

Submitted 2 April, 2013; originally announced April 2013.

MSC Class: 55N45; 57T10; 53C05

The tame-wild principle for discriminant relations for number fields

Authors: John W. Jones, David P. Roberts

Abstract: Consider tuples of separable algebras over a common local or global number field, related to each other by specified resolvent constructions. Under the assumption that all ramification is tame, simple group-theoretic calculations give best possible divisibility relations among the discriminants. We show that for many resolvent constructions, these divisibility relations continue to hold even in th… ▽ More Consider tuples of separable algebras over a common local or global number field, related to each other by specified resolvent constructions. Under the assumption that all ramification is tame, simple group-theoretic calculations give best possible divisibility relations among the discriminants. We show that for many resolvent constructions, these divisibility relations continue to hold even in the presence of wild ramification. △ Less

Submitted 16 December, 2012; v1 submitted 28 August, 2012; originally announced August 2012.

Comments: 31 pages, 11 figures. Version 2 fixes a normalization error: |G| is corrected to n in Section 7.5. Version 3 fixes an off-by-one error in Section 6.3

MSC Class: 11S15; 11S20; 11R32

Journal ref: Algebra Number Theory 8 (2014) 609-645

The Symmetric Join Operad

Authors: Michal Adamaszek, John D. S. Jones

Abstract: The join operad arises from the combinatorial study of the iterated join of simplices. We study a suitable simplicial version of this operad which includes the symmetries given by permutations of the factors of the join. From this combinatorics we construct an E-infinity operad which coacts naturally on the chains of a simplicial set. The join operad arises from the combinatorial study of the iterated join of simplices. We study a suitable simplicial version of this operad which includes the symmetries given by permutations of the factors of the join. From this combinatorics we construct an E-infinity operad which coacts naturally on the chains of a simplicial set. △ Less

Submitted 13 October, 2011; originally announced October 2011.

MSC Class: 18D50; 55U10; 55U15

Random Spherical Triangles

Authors: Steven R. Finch, Antonia J. Jones

Abstract: Let Delta be a random spherical triangle (meaning that vertices are independent and uniform on the unit sphere). A closed-form expression for the area density of Delta has been known since 1867; a complicated integral expression for the perimeter density was found in 1994. Does there exist a closed-form expression for the latter? We attempt to answer this question from several directions. An outco… ▽ More Let Delta be a random spherical triangle (meaning that vertices are independent and uniform on the unit sphere). A closed-form expression for the area density of Delta has been known since 1867; a complicated integral expression for the perimeter density was found in 1994. Does there exist a closed-form expression for the latter? We attempt to answer this question from several directions. An outcome of our work is the exact value of the perimeter density at the point pi. △ Less

Submitted 21 December, 2015; v1 submitted 27 September, 2010; originally announced September 2010.

Comments: 32 pages, 4 figures

MSC Class: 60D05 (Primary) 51M04; 51M25; 62H10; 62E15; 97G60 (Secondary)

Number fields unramified away from 2

Authors: John W. Jones

Abstract: We consider finite extensions of the rationals which are unramified except for at 2 and infinity. We show there are no such extensions of degrees 9 through 15. We consider finite extensions of the rationals which are unramified except for at 2 and infinity. We show there are no such extensions of degrees 9 through 15. △ Less

Submitted 16 October, 2007; v1 submitted 24 May, 2006; originally announced May 2006.

MSC Class: 11R21; 11S15

A Database of Local Fields

Authors: John W. Jones, David P. Roberts

Abstract: We describe our online database of finite extensions of the p-adic numbers, and how it can be used to facilitate local analysis of number fields. We describe our online database of finite extensions of the p-adic numbers, and how it can be used to facilitate local analysis of number fields. △ Less

Submitted 18 September, 2003; originally announced September 2003.

Journal ref: J. Symbolic Comput., 41, 80-97 (2006)

The loop homology algebra of spheres and projective spaces

Authors: Ralph L. Cohen, John D. S Jones, Jun Yan

Abstract: Chas and Sullivan recently defined an intersection product on the homology $H_*(LM)$ of the space of smooth loops in a closed, oriented manifold $M$. In this paper we will use the homotopy theoretic realization of this product described by the first two authors to construct a second quadrant spectral sequence of algebras converging to the loop homology multiplicatively, when $M$ is simply connec… ▽ More Chas and Sullivan recently defined an intersection product on the homology $H_*(LM)$ of the space of smooth loops in a closed, oriented manifold $M$. In this paper we will use the homotopy theoretic realization of this product described by the first two authors to construct a second quadrant spectral sequence of algebras converging to the loop homology multiplicatively, when $M$ is simply connected. The $E_2$ term of this spectral sequence is $H^*(M;H_*(ΩM))$ where the product is given by the cup product on the cohomology of the manifold $H^* (M)$ with coefficients in the Pontryagin ring structure on the homology of its based loop space $H_*(ΩM)$. We then use this spectral sequence to compute the ring structures of $H_* (LS^n)$ and $H_* (L\bcp^n)$. △ Less

Submitted 22 October, 2002; originally announced October 2002.

Comments: 15 pages, 0 figures, to appear in Proc. of Alg. Topology, Conf., Isle of Skye, 2001

MSC Class: 55T99; 57T99; 58D15

A homotopy theoretic realization of string topology

Authors: Ralph L. Cohen, John D. S. Jones

Abstract: Let $M$ be a closed, oriented manifold of dimension $d$. Let $LM$ be the space of smooth loops in $M$. Chas and Sullivan recently defined a product on the homology $H_*(LM)$ of degree $-d$. They then investigated other structure that this product induces, including a Batalin -Vilkovisky structure, and a Lie algebra structure on the $S^1$ equivariant homology $H_*^{S^1}(LM)$. These algebraic stru… ▽ More Let $M$ be a closed, oriented manifold of dimension $d$. Let $LM$ be the space of smooth loops in $M$. Chas and Sullivan recently defined a product on the homology $H_*(LM)$ of degree $-d$. They then investigated other structure that this product induces, including a Batalin -Vilkovisky structure, and a Lie algebra structure on the $S^1$ equivariant homology $H_*^{S^1}(LM)$. These algebraic structures, as well as others, came under the general heading of the "string topology" of $M$. In this paper we will describe a realization of the Chas - Sullivan loop product in terms of a ring spectrum structure on the Thom spectrum of a certain virtual bundle over the loop space. We also show that an operad action on the homology of the loop space discovered by Voronov, has a homotopy theoretic realization on the level of Thom spectra. This is Voronov's "cactus operad", which is equivalent to the operad of framed disks in $R^2$. This operad action realizes the Chas - Sullivan BV structure on $H_*(LM)$. We then describe a cosimplicial model of this ring spectrum, and by applying the singular cochain functor to this cosimplicial spectrum we show that this ring structure can be interpreted as the cup product in the Hochschild cohomology. △ Less

Submitted 22 October, 2002; v1 submitted 25 July, 2001; originally announced July 2001.

Comments: 30 pages, 1 figure, revised version

MSC Class: 55N45; 57R19 ; 18D50

Journal ref: Mathematische Annalen published online: DOI 10.1007/s00208-002-0362-0 (2002)

Stability for holomorphic spheres and Morse theory

Authors: Ralph L. Cohen, John D. S. Jones, Graeme B. Segal

Abstract: In this paper we study the question of when does a closed, simply connected, integral symplectic manifold (W,omega) have the stability property for its spaces of based holomorphic spheres? This property states that in a stable limit under certain gluing operators, the space of based holomorphic maps from a sphere to X, becomes homotopy equivalent to the space of all continuous maps, lim_{->} H… ▽ More In this paper we study the question of when does a closed, simply connected, integral symplectic manifold (W,omega) have the stability property for its spaces of based holomorphic spheres? This property states that in a stable limit under certain gluing operators, the space of based holomorphic maps from a sphere to X, becomes homotopy equivalent to the space of all continuous maps, lim_{->} Hol_{x_0}(P^1,X) = Omega^2 X. This limit will be viewed as a kind of stabilization of Hol_{x_0}(P^1,X). We conjecture that this stability holds if and only if an evaluation map E: lim_{->} Hol_{x_0}(P^1,X) -> X is a quasifibration. In this paper we will prove that in the presence of this quasifibration condition, then the stability property holds if and only if the Morse theoretic flow category (defined in [4]) of the symplectic action functional on the Z-cover of the loop space, L~X, defined by the symplectic form, has a classifying space that realizes the homotopy type of L~X. We conjecture that in the presence of this quasifibration condition, this Morse theoretic condition always holds. We will prove this in the case of X a homogeneous space, thereby giving an alternate proof of the stability theorem for holomorphic spheres for a projective homogeneous variety originally due to Gravesen [7]. △ Less

Submitted 27 April, 1999; originally announced April 1999.

Report number: AIM 1999-7

A note on the index bundle over the moduli space of monopoles

Authors: John D. S. Jones, Michael K. Murray

Abstract: Donaldson has shown that the moduli space of monopoles $M_k$ is diffeomorphic to the space $\Rat_k$ of based rational maps from the two-sphere to itself. We use this diffeomorphism to give an explicit description of the bundle on $\Rat_k$ obtained by pushing out the index bundle from $M_k$. This gives an alternative and more explicit proof of some earlier results of Cohen and Jones. Donaldson has shown that the moduli space of monopoles $M_k$ is diffeomorphic to the space $\Rat_k$ of based rational maps from the two-sphere to itself. We use this diffeomorphism to give an explicit description of the bundle on $\Rat_k$ obtained by pushing out the index bundle from $M_k$. This gives an alternative and more explicit proof of some earlier results of Cohen and Jones. △ Less

Submitted 15 July, 1994; originally announced July 1994.

Comments: 9 pages

Operads, homotopy algebra and iterated integrals for double loop spaces

Authors: Ezra Getzler, J. D. S. Jones

Abstract: This paper provides some background to the theory of operads, used in the first author's papers on 2d topological field theory (hep-th/921204, CMP 159 (1994), 265-285; hep-th/9305013). It is intended for specialists. This paper provides some background to the theory of operads, used in the first author's papers on 2d topological field theory (hep-th/921204, CMP 159 (1994), 265-285; hep-th/9305013). It is intended for specialists. △ Less

Submitted 8 March, 1994; originally announced March 1994.

Comments: 70 pages