-
New infinite families in the stable homotopy groups of spheres
Authors:
Prasit Bhattacharya,
Irina Bobkova,
J. D. Quigley
Abstract:
We identify seven new $192$-periodic infinite families of elements in the $2$-primary stable homotopy groups of spheres. Although their Hurewicz image is trivial for topological modular forms, they remain nontrivial after $\mathrm{T}(2)$- as well as $\mathrm{K}(2)$-localization. We also obtain new information about $2$-torsion and $2$-divisibility of some of the previously known $192$-periodic inf…
▽ More
We identify seven new $192$-periodic infinite families of elements in the $2$-primary stable homotopy groups of spheres. Although their Hurewicz image is trivial for topological modular forms, they remain nontrivial after $\mathrm{T}(2)$- as well as $\mathrm{K}(2)$-localization. We also obtain new information about $2$-torsion and $2$-divisibility of some of the previously known $192$-periodic infinite families in the stable stems.
△ Less
Submitted 9 May, 2024; v1 submitted 15 April, 2024;
originally announced April 2024.
-
Map** the influence of impurities with varying interaction strength on nucleation in the 2D Ising model
Authors:
Dipanjan Mandal,
David Quigley
Abstract:
We study nucleation of magnetisation reversal in the two dimensional Ising model at non-zero external field and in the presence of randomly placed static and dynamic impurities. Impurity-spin interaction strengths are varied fixing other interaction strengths. We observe a decrease in the nucleation rate when the total interaction strength with impurities is decreased in the case of static impurit…
▽ More
We study nucleation of magnetisation reversal in the two dimensional Ising model at non-zero external field and in the presence of randomly placed static and dynamic impurities. Impurity-spin interaction strengths are varied fixing other interaction strengths. We observe a decrease in the nucleation rate when the total interaction strength with impurities is decreased in the case of static impurities. The nucleation rate saturates with respect to interaction strength when the impurity density is low. However the nucleation rate does not saturate for high impurity density. Similar behaviour is observed with dynamic impurities both at low and high densities. We explore a broad range of both spin-symmetric and spin-antisymmetric interaction strengths and map the regime for which the impurities act as a surfactant, decreasing the surface energy of the nucleating phase. We also characterise different nucleation regimes observed at different values of interaction strength. These include regimes where impurities are included or excluded from the nucleus, and a region in which we observe cross nucleation of impurity clusters at the nucleus boundary.
△ Less
Submitted 13 December, 2023;
originally announced December 2023.
-
Bredon homological stability for configuration spaces of $G$-manifolds
Authors:
Eva Belmont,
J. D. Quigley,
Chase Vogeli
Abstract:
McDuff and Segal proved that unordered configuration spaces of open manifolds satisfy homological stability: there is a stabilization map $σ: C_n(M)\to C_{n+1}(M)$ which is an isomorphism on $H_d(-;\mathbb{Z})$ for $n\gg d$. For a finite group $G$ and an open $G$-manifold $M$, under some hypotheses we define a family of equivariant stabilization maps $σ_{G/H}:C_n(M)\to C_{n+|G/H|}(M)$ for…
▽ More
McDuff and Segal proved that unordered configuration spaces of open manifolds satisfy homological stability: there is a stabilization map $σ: C_n(M)\to C_{n+1}(M)$ which is an isomorphism on $H_d(-;\mathbb{Z})$ for $n\gg d$. For a finite group $G$ and an open $G$-manifold $M$, under some hypotheses we define a family of equivariant stabilization maps $σ_{G/H}:C_n(M)\to C_{n+|G/H|}(M)$ for $H\leq G$. In general, these do not induce stability for Bredon homology, the equivariant analogue of singular homology. Instead, we show that each $σ_{G/H}$ induces isomorphisms on the ordinary homology of the fixed points of $C_n(M)$, and if the group is Dedekind (e.g. abelian), we obtain the following Bredon homological stability statement: $H^G_d(\bigsqcup_{n\geq 0}C_n(M))$ is finitely generated over $\mathbb{Z}[σ_{G/H} : H\leq G]$. This reduces to the classical statement when $G=e$.
△ Less
Submitted 4 November, 2023;
originally announced November 2023.
-
Symmetries of exotic spheres via complex and quaternionic Mahowald invariants
Authors:
Boris Botvinnik,
J. D. Quigley
Abstract:
We deduce the existence of smooth $U(1)$- and $Sp(1)$-actions on certain exotic spheres using complex and quaternionic analogues of the Mahowald {(root)} invariant. In particular, we prove that the complex (respectively, quaternionic) Mahowald invariant takes an element of $π_k^s$ represented by a homotopy sphere $Σ^k$ to an element {of $π_{k+\ell}$} represented by another homotopy sphere…
▽ More
We deduce the existence of smooth $U(1)$- and $Sp(1)$-actions on certain exotic spheres using complex and quaternionic analogues of the Mahowald {(root)} invariant. In particular, we prove that the complex (respectively, quaternionic) Mahowald invariant takes an element of $π_k^s$ represented by a homotopy sphere $Σ^k$ to an element {of $π_{k+\ell}$} represented by another homotopy sphere $Σ^{k+\ell}$ equipped with a smooth $U(1)$- (respectively, $Sp(1)$-) action with fixed points the original homotopy sphere $Σ^k\subset Σ^{k+\ell}$. This work is motivated by results of Stolz on the classical Mahowald invariant and smooth $C_2$-actions on homotopy spheres.
△ Less
Submitted 8 September, 2023;
originally announced September 2023.
-
A motivic analogue of the K(1)-local sphere spectrum
Authors:
William Balderrama,
Kyle Ormsby,
J. D. Quigley
Abstract:
We identify the motivic $KGL/2$-local sphere as the fiber of $ψ^3-1$ on $(2,η)$-completed Hermitian $K$-theory, over any base scheme containing $1/2$. This is a motivic analogue of the classical resolution of the $K(1)$-local sphere, and extends to a description of the $KGL/2$-localization of an arbitrary motivic spectrum. Our proof relies on a novel conservativity argument that should be of broad…
▽ More
We identify the motivic $KGL/2$-local sphere as the fiber of $ψ^3-1$ on $(2,η)$-completed Hermitian $K$-theory, over any base scheme containing $1/2$. This is a motivic analogue of the classical resolution of the $K(1)$-local sphere, and extends to a description of the $KGL/2$-localization of an arbitrary motivic spectrum. Our proof relies on a novel conservativity argument that should be of broad utility in stable motivic homotopy theory.
△ Less
Submitted 6 November, 2023; v1 submitted 25 July, 2023;
originally announced July 2023.
-
The slice spectral sequence for a motivic analogue of the connective $K(1)$-local sphere
Authors:
Hana Jia Kong,
J. D. Quigley
Abstract:
We compute the slice spectral sequence for the motivic stable homotopy groups of $L$, a motivic analogue of the connective $K(1)$-local sphere over prime fields of characteristic not two. Together with the analogous computation over algebraically closed fields, this yields information about the motivic $K(1)$-local sphere over arbitrary base fields of characteristic not two. To compute the slice s…
▽ More
We compute the slice spectral sequence for the motivic stable homotopy groups of $L$, a motivic analogue of the connective $K(1)$-local sphere over prime fields of characteristic not two. Together with the analogous computation over algebraically closed fields, this yields information about the motivic $K(1)$-local sphere over arbitrary base fields of characteristic not two. To compute the slice spectral sequence, we prove several results which may be of independent interest. We describe the $d_1$-differentials in the slice spectral sequence in terms of the motivic Steenrod operations over general base fields, building on analogous results of Ananyevskiy, R{ö}ndigs, and Østvær for the very effective cover of Hermitian K-theory. We also explicitly describe the coefficients of certain motivic Eilenberg--MacLane spectra and compute the slice spectral sequence for the very effective cover of Hermitian K-theory over prime fields.
△ Less
Submitted 6 November, 2023; v1 submitted 18 September, 2022;
originally announced September 2022.
-
Some smooth circle and cyclic group actions on exotic spheres
Authors:
J. D. Quigley
Abstract:
Classical work of Lee, Schultz, and Stolz relates the smooth transformation groups of exotic spheres to the stable homotopy groups of spheres. In this note, we apply recent progress on the latter to produce smooth circle and cyclic group actions on certain exotic spheres.
Classical work of Lee, Schultz, and Stolz relates the smooth transformation groups of exotic spheres to the stable homotopy groups of spheres. In this note, we apply recent progress on the latter to produce smooth circle and cyclic group actions on certain exotic spheres.
△ Less
Submitted 4 September, 2022;
originally announced September 2022.
-
Kinetic control of competing nuclei in a dimer lattice-gas model
Authors:
Dipanjan Mandal,
David Quigley
Abstract:
Nucleation is a key step in the synthesis of new material from solution. Well-established lattice-gas models can be used to gain insight into the basic physics of nucleation pathways involving a single nucleus type. In many situations a solution is supersaturated with respect to more than one precipitating phase. This can generate a population both stable and metastable nuclei on similar timescale…
▽ More
Nucleation is a key step in the synthesis of new material from solution. Well-established lattice-gas models can be used to gain insight into the basic physics of nucleation pathways involving a single nucleus type. In many situations a solution is supersaturated with respect to more than one precipitating phase. This can generate a population both stable and metastable nuclei on similar timescales and hence complex nucleation pathways involving competition between the two. In this study we introduce a lattice-gas model based on two types of interacting dimer representing particles in solution. Each type of dimer nucleates to a specific space-filling structure. Our model is tuned such that stable and metastable phases nucleate on a similar timescale. Either structure may nucleate first, with probability sensitive to dimer mobility. We calculate these nucleation rates via Forward-Flux Sampling and demonstrate how the resulting data can be used to infer the nucleation outcome and pathway. Possibilities include direct nucleation of the stable phase, domination of long-lived metastable crystallites, and pathways in which the stable phase nucleates only after multiple post-critical nuclei of the metastable phase have appeared.
△ Less
Submitted 2 January, 2023; v1 submitted 12 August, 2022;
originally announced August 2022.
-
Ranks of $RO(G)$-graded stable homotopy groups of spheres for finite groups $G$
Authors:
J. P. C. Greenlees,
J. D. Quigley
Abstract:
We describe the distribution of infinite groups in the $RO(G)$-graded stable homotopy groups of spheres for a finite group $G$.
We describe the distribution of infinite groups in the $RO(G)$-graded stable homotopy groups of spheres for a finite group $G$.
△ Less
Submitted 18 May, 2022; v1 submitted 4 May, 2022;
originally announced May 2022.
-
The motivic lambda algebra and motivic Hopf invariant one problem
Authors:
William Balderrama,
Dominic Leon Culver,
J. D. Quigley
Abstract:
We investigate forms of the Hopf invariant one problem in motivic homotopy theory over arbitrary base fields of characteristic not equal to $2$. Maps of Hopf invariant one classically arise from unital products on spheres, and one consequence of our work is a classification of motivic spheres represented by smooth schemes admitting a unital product.
The classical Hopf invariant one problem was r…
▽ More
We investigate forms of the Hopf invariant one problem in motivic homotopy theory over arbitrary base fields of characteristic not equal to $2$. Maps of Hopf invariant one classically arise from unital products on spheres, and one consequence of our work is a classification of motivic spheres represented by smooth schemes admitting a unital product.
The classical Hopf invariant one problem was resolved by Adams, following his introduction of the Adams spectral sequence. We introduce the motivic lambda algebra as a tool to carry out systematic computations in the motivic Adams spectral sequence. Using this, we compute the $E_2$-page of the $\mathbb{R}$-motivic Adams spectral sequence in filtrations $f \leq 3$. This universal case gives information over arbitrary base fields.
We then study the $1$-line of the motivic Adams spectral sequence. We produce differentials $d_2(h_{a+1}) = (h_0+ρh_1)h_a^2$ over arbitrary base fields, which are motivic analogues of Adams' classical differentials. Unlike the classical case, the story does not end here, as the motivic $1$-line is significantly richer than the classical $1$-line. We determine all permanent cycles on the $\mathbb{R}$-motivic $1$-line, and explicitly compute differentials in the universal cases of the prime fields $\mathbb{F}_q$ and $\mathbb{Q}$, as well as $\mathbb{Q}_p$ and $\mathbb{R}$.
△ Less
Submitted 1 November, 2023; v1 submitted 14 December, 2021;
originally announced December 2021.
-
On the equivalence of two theories of real cyclotomic spectra
Authors:
J. D. Quigley,
Jay Shah
Abstract:
We give a new formula for real topological cyclic homology that refines the fiber sequence formula discovered by Nikolaus and Scholze for topological cyclic homology to one involving genuine $C_2$-spectra. To accomplish this, we give a new definition of the $\infty$-category of real cyclotomic spectra that replaces the usage of genuinely equivariant dihedral spectra with the parametrized Tate cons…
▽ More
We give a new formula for real topological cyclic homology that refines the fiber sequence formula discovered by Nikolaus and Scholze for topological cyclic homology to one involving genuine $C_2$-spectra. To accomplish this, we give a new definition of the $\infty$-category of real cyclotomic spectra that replaces the usage of genuinely equivariant dihedral spectra with the parametrized Tate construction. We then define an $\infty$-categorical version of Høgenhaven's O(2)-orthogonal cyclotomic spectra, construct a forgetful functor relating the two theories, and show that this functor restricts to an equivalence between full subcategories of appropriately bounded-below objects. As an application, we compute the real topological cyclic homology of perfect $\mathbb{F}_p$-algebras for all primes $p$.
△ Less
Submitted 6 January, 2022; v1 submitted 14 December, 2021;
originally announced December 2021.
-
On the parametrized Tate construction
Authors:
J. D. Quigley,
Jay Shah
Abstract:
We introduce and study a genuine equivariant refinement of the Tate construction associated to an extension $\widehat{G}$ of a finite group $G$ by a compact Lie group $K$, which we call the parametrized Tate construction $(-)^{t_G K}$. Our main theorem establishes the coincidence of three conceptually distinct approaches to its construction when $K$ is also finite: one via recollement theory for t…
▽ More
We introduce and study a genuine equivariant refinement of the Tate construction associated to an extension $\widehat{G}$ of a finite group $G$ by a compact Lie group $K$, which we call the parametrized Tate construction $(-)^{t_G K}$. Our main theorem establishes the coincidence of three conceptually distinct approaches to its construction when $K$ is also finite: one via recollement theory for the $K$-free $\widehat{G}$-family, another via parametrized ambidexterity for $G$-local systems, and the last via parametrized assembly maps. We also show that $(-)^{t_G K}$ uniquely admits the structure of a lax $G$-symmetric monoidal functor, thereby refining a theorem of Nikolaus and Scholze. Along the way, we apply a theorem of the second author to reprove a result of Ayala--Mazel-Gee--Rozenblyum on reconstructing a genuine $G$-spectrum from its geometric fixed points; our method of proof further yields a formula for the geometric fixed points of an $\mathcal{F}$-complete $G$-spectrum for any $G$-family $\mathcal{F}$.
△ Less
Submitted 6 January, 2022; v1 submitted 14 October, 2021;
originally announced October 2021.
-
Nucleation rate in the two dimensional Ising model in the presence of random impurities
Authors:
Dipanjan Mandal,
David Quigley
Abstract:
Nucleation phenomena are ubiquitous in nature and the presence of impurities in every real and experimental system is unavoidable. Yet numerical studies of nucleation are nearly always conducted for entirely pure systems. We have studied the behaviour of the droplet free energy in two dimensional Ising model in the presence of randomly positioned static and dynamic impurities. We have shown that b…
▽ More
Nucleation phenomena are ubiquitous in nature and the presence of impurities in every real and experimental system is unavoidable. Yet numerical studies of nucleation are nearly always conducted for entirely pure systems. We have studied the behaviour of the droplet free energy in two dimensional Ising model in the presence of randomly positioned static and dynamic impurities. We have shown that both the free energy barrier height and critical nucleus size monotonically decreases with increasing the impurity density for the static case. We have compared the nucleation rates obtained from Classical Nucleation Theory and the Forward Flux Sampling method for different densities of the static impurities. The results show good agreement. In the case of dynamic impurities, we observe preferential occupancy the impurities at the boundary positions of the nucleus when the temperature is low. This further boosts enhancement of the nucleation rate due to lowering of the effective interfacial free energy.
△ Less
Submitted 10 August, 2021;
originally announced August 2021.
-
Free incomplete Tambara functors are almost never flat
Authors:
Michael A. Hill,
David Mehrle,
J. D. Quigley
Abstract:
Free algebras are always free as modules over the base ring in classical algebra. In equivariant algebra, free incomplete Tambara functors play the role of free algebras and Mackey functors play the role of modules. Surprisingly, free incomplete Tambara functors often fail to be free as Mackey functors. In this paper, we determine for all finite groups conditions under which a free incomplete Tamb…
▽ More
Free algebras are always free as modules over the base ring in classical algebra. In equivariant algebra, free incomplete Tambara functors play the role of free algebras and Mackey functors play the role of modules. Surprisingly, free incomplete Tambara functors often fail to be free as Mackey functors. In this paper, we determine for all finite groups conditions under which a free incomplete Tambara functor is free as a Mackey functor. For solvable groups, we show that a free incomplete Tambara functor is flat as a Mackey functor precisely when these conditions hold. Our results imply that free incomplete Tambara functors are almost never flat as Mackey functors. However, we show that after suitable localizations, free incomplete Tambara functors are always free as Mackey functors.
△ Less
Submitted 13 December, 2021; v1 submitted 24 May, 2021;
originally announced May 2021.
-
The Seven Deadly Sins: when computing crystal nucleation rates, the devil is in the details
Authors:
Katarina E. Blow,
David Quigley,
Gabriele C. Sosso
Abstract:
The formation of crystals has proven to be one of the most challenging phase transformations to quantitatively model - let alone to actually understand - be it by means of the latest experimental technique or the full arsenal of enhanced sampling approaches at our disposal. One of the most crucial quantities involved with the crystallization process is the nucleation rate, a single, elusive number…
▽ More
The formation of crystals has proven to be one of the most challenging phase transformations to quantitatively model - let alone to actually understand - be it by means of the latest experimental technique or the full arsenal of enhanced sampling approaches at our disposal. One of the most crucial quantities involved with the crystallization process is the nucleation rate, a single, elusive number that is supposed to quantify the average probability for a nucleus of critical size to occur within a certain volume and time span. A substantial amount of effort has been devoted to attempt a connection between the crystal nucleation rates computed by means of atomistic simulations and their experimentally measured counterparts. Sadly, this endeavour almost invariably fails to some extent, with the venerable classical nucleation theory typically blamed as the main culprit. Here, we review some of the recent advances in the field, focusing on a number of perhaps more subtle details that are sometimes overlooked when computing nucleation rates. We believe it is important for the community to be aware of the full impact of aspects such as finite size effects and slow dynamics, that often introduce inconspicuous and yet non-negligible sources of uncertainty into our simulations. In fact, it is key to obtain robust and reproducible trends to be leveraged so as to shed new light on the kinetics of a process, that of crystal nucleation, which is involved into countless practical applications, from the formulation of pharmaceutical drugs to the manufacturing of nano-electronic devices.
△ Less
Submitted 27 April, 2021;
originally announced April 2021.
-
The 2-primary Hurewicz image of tmf
Authors:
Mark Behrens,
Mark Mahowald,
J. D. Quigley
Abstract:
We determine the image of the 2-primary tmf-Hurewicz homomorphism, where tmf is the spectrum of topological modular forms. We do this by lifting elements of tmf_* to the homotopy groups of the generalized Moore spectrum M(8,v_1^8) using a modified form of the Adams spectral sequence and the tmf-resolution, and then proving the existence of a v_2^32-self map on M(8,v_1^8) to generate 192-periodic f…
▽ More
We determine the image of the 2-primary tmf-Hurewicz homomorphism, where tmf is the spectrum of topological modular forms. We do this by lifting elements of tmf_* to the homotopy groups of the generalized Moore spectrum M(8,v_1^8) using a modified form of the Adams spectral sequence and the tmf-resolution, and then proving the existence of a v_2^32-self map on M(8,v_1^8) to generate 192-periodic families in the stable homotopy groups of spheres.
△ Less
Submitted 20 November, 2021; v1 submitted 17 November, 2020;
originally announced November 2020.
-
Model-Independent Simulation Complexity of Complex Quantum Dynamics
Authors:
Aiman Khan,
David Quigley,
Max Marcus,
Erling Thyrhaug,
Animesh Datta
Abstract:
We present a model-independent measure of dynamical complexity based on simulating complex quantum dynamics using stroboscopic Markovian dynamics. Tools from classical signal processing enable us to infer the Hilbert space dimension of a complex quantum system evolving under a time-independent Hamiltonian via pulsed interrogation. We evaluate our model-independent simulation complexity (MISC) for…
▽ More
We present a model-independent measure of dynamical complexity based on simulating complex quantum dynamics using stroboscopic Markovian dynamics. Tools from classical signal processing enable us to infer the Hilbert space dimension of a complex quantum system evolving under a time-independent Hamiltonian via pulsed interrogation. We evaluate our model-independent simulation complexity (MISC) for the spin-boson model and simulated third-order pump-probe spectroscopy data for exciton transport in coupled dimers with vibrational levels. The former provides insights into coherence and population dynamics in the two-level system while the latter reveals the dimension of the singly-excited manifold of the dimer. Finally, we probe the complexity of excitonic transport in light harvesting 2 (LH2) and Fenna-Matthews-Olson (FMO) complexes using data from two recent nonlinear ultrafast optical spectroscopy experiments. For the latter we make some model-independent inferences that are commensurate with model-specific ones. This includes estimating the fewest number of parameters needed to fit the experimental data and identifying the spatial extent, i.e., delocalization size, of quantum states occurring in this complex quantum dynamics.
△ Less
Submitted 20 September, 2020; v1 submitted 1 September, 2020;
originally announced September 2020.
-
Algebraic slice spectral sequences
Authors:
Dominic Leon Culver,
Hana Jia Kong,
J. D. Quigley
Abstract:
For certain motivic spectra, we construct a square of spectral sequences relating the effective slice spectral sequence and the motivic Adams spectral sequence. We show the square can be constructed for connective algebraic K-theory, motivic Morava K-theory, and truncated motivic Brown-Peterson spectra. In these cases, we show that the $\mathbb{R}$-motivic effective slice spectral sequence is comp…
▽ More
For certain motivic spectra, we construct a square of spectral sequences relating the effective slice spectral sequence and the motivic Adams spectral sequence. We show the square can be constructed for connective algebraic K-theory, motivic Morava K-theory, and truncated motivic Brown-Peterson spectra. In these cases, we show that the $\mathbb{R}$-motivic effective slice spectral sequence is completely determined by the $ρ$-Bockstein spectral sequence. Using results of Heard, we also obtain applications to the Hill-Hopkins-Ravenel slice spectral sequences for connective Real K-theory, Real Morava K-theory, and truncated Real Brown-Peterson spectra.
△ Less
Submitted 18 August, 2021; v1 submitted 16 July, 2020;
originally announced July 2020.
-
$\mathit{tmf}$-based Mahowald invariants
Authors:
J. D. Quigley
Abstract:
The $2$-primary homotopy $β$-family, defined as the collection of Mahowald invariants of Mahowald invariants of $2^i$, $i \geq 1$, is an infinite collection of periodic elements in the stable homotopy groups of spheres. In this paper, we calculate $\mathit{tmf}$-based approximations to this family. Our calculations combine an analysis of the Atiyah-Hirzebruch spectral sequence for the Tate constru…
▽ More
The $2$-primary homotopy $β$-family, defined as the collection of Mahowald invariants of Mahowald invariants of $2^i$, $i \geq 1$, is an infinite collection of periodic elements in the stable homotopy groups of spheres. In this paper, we calculate $\mathit{tmf}$-based approximations to this family. Our calculations combine an analysis of the Atiyah-Hirzebruch spectral sequence for the Tate construction of $\mathit{tmf}$ with trivial $C_2$-action and Behrens' filtered Mahowald invariant machinery.
△ Less
Submitted 20 May, 2021; v1 submitted 18 November, 2019;
originally announced November 2019.
-
Tate blueshift and vanishing for Real oriented cohomology
Authors:
Guchuan Li,
Vitaly Lorman,
J. D. Quigley
Abstract:
We study transchromatic phenomena for the Tate construction of Real oriented cohomology theories. First, we show that after suitable completion, the Tate construction with respect to a trivial $\mathbb{Z}/2$-action on height $n$ Real Johnson--Wilson theory splits into a wedge of height $n-1$ Real Johnson--Wilson theories. This is the first example of Tate blueshift at all chromatic heights outside…
▽ More
We study transchromatic phenomena for the Tate construction of Real oriented cohomology theories. First, we show that after suitable completion, the Tate construction with respect to a trivial $\mathbb{Z}/2$-action on height $n$ Real Johnson--Wilson theory splits into a wedge of height $n-1$ Real Johnson--Wilson theories. This is the first example of Tate blueshift at all chromatic heights outside of the complex oriented setting. Second, we prove that the Tate construction with respect to a trivial finite group action on Real Morava K-theory vanishes, refining a classical Tate vanishing result of Greenlees--Sadofsky. In the course of proving these results, we develop some ideas in equivariant chromatic homotopy theory (e.g., completions of module spectra over Real cobordism, $C_2$-equivariant chromatic Bousfield localizations) and apply the parametrized Tate construction.
△ Less
Submitted 6 May, 2022; v1 submitted 14 October, 2019;
originally announced October 2019.
-
On the parametrized Tate construction and two theories of real $p$-cyclotomic spectra
Authors:
J. D. Quigley,
Jay Shah
Abstract:
We give a new formula for $p$-typical real topological cyclic homology that refines the fiber sequence formula discovered by Nikolaus and Scholze for $p$-typical topological cyclic homology to one involving genuine $C_2$-spectra. To accomplish this, we give a new definition of the $\infty$-category of real $p$-cyclotomic spectra that replaces the usage of genuinely equivariant dihedral spectra wit…
▽ More
We give a new formula for $p$-typical real topological cyclic homology that refines the fiber sequence formula discovered by Nikolaus and Scholze for $p$-typical topological cyclic homology to one involving genuine $C_2$-spectra. To accomplish this, we give a new definition of the $\infty$-category of real $p$-cyclotomic spectra that replaces the usage of genuinely equivariant dihedral spectra with the parametrized Tate construction $(-)^{t_{C_2} μ_p}$ associated to the dihedral group $D_{2p} = μ_p \rtimes C_2$. We then define a $p$-typical and $\infty$-categorical version of Høgenhaven's $O(2)$-orthogonal cyclotomic spectra, construct a forgetful functor relating the two theories, and show that this functor restricts to an equivalence between full subcategories of appropriately bounded below objects.
△ Less
Submitted 9 September, 2019;
originally announced September 2019.
-
Chromatic Complexity of the Algebraic K-theory of $y(n)$
Authors:
Gabriel Angelini-Knoll,
J. D. Quigley
Abstract:
The family of Thom spectra $y(n)$ interpolate between the sphere spectrum and the mod two Eilenberg-MacLane spectrum. Computations of Mahowald, Ravenel, and Shick and the authors show that the $E_1$ ring spectrum $y(n)$ has chromatic complexity $n$. We show that topological periodic cyclic homology of $y(n)$ has chromatic complexity $n+1$. This gives evidence that topological periodic cyclic homol…
▽ More
The family of Thom spectra $y(n)$ interpolate between the sphere spectrum and the mod two Eilenberg-MacLane spectrum. Computations of Mahowald, Ravenel, and Shick and the authors show that the $E_1$ ring spectrum $y(n)$ has chromatic complexity $n$. We show that topological periodic cyclic homology of $y(n)$ has chromatic complexity $n+1$. This gives evidence that topological periodic cyclic homology shifts chromatic height at all chromatic heights, supporting a variant of the Ausoni--Rognes red-shift conjecture. We also show that relative algebraic K-theory, topological cyclic homology, and topological negative cyclic homology of $y(n)$ at least preserve chromatic complexity.
△ Less
Submitted 10 March, 2020; v1 submitted 24 August, 2019;
originally announced August 2019.
-
$kq$-Resolutions I
Authors:
Dominic Leon Culver,
J. D. Quigley
Abstract:
Let $kq$ denote the very effective cover of Hermitian K-theory. We apply the $kq$-based motivic Adams spectral sequence, or $kq$-resolution, to computational motivic stable homotopy theory. Over base fields of characteristic not two, we prove that the $n$-th stable homotopy group of motivic spheres is detected in the first $n$ lines of the $kq$-resolution, thereby reinterpreting results of Morel a…
▽ More
Let $kq$ denote the very effective cover of Hermitian K-theory. We apply the $kq$-based motivic Adams spectral sequence, or $kq$-resolution, to computational motivic stable homotopy theory. Over base fields of characteristic not two, we prove that the $n$-th stable homotopy group of motivic spheres is detected in the first $n$ lines of the $kq$-resolution, thereby reinterpreting results of Morel and R{ö}ndigs-Spitzweck-Østvær in terms of $kq$ and $kq$-cooperations. Over algebraically closed fields of characteristic 0, we compute the ring of $kq$-cooperations modulo $v_1$-torsion, establish a vanishing line of slope $1/5$ in the $E_2$-page, and completely determine the $0$- and $1$- lines of the $kq$-resolution. This gives a full computation of the $v_1$-periodic motivic stable stems and recovers Andrews and Miller's calculation of the $η$-periodic $\mathbb{C}$-motivic stable stems. We also construct a motivic connective $j$ spectrum and identify its homotopy groups with the $v_1$-periodic motivic stable stems. Finally, we propose motivic analogs of Ravenel's Telescope and Smashing Conjectures and present evidence for both.
△ Less
Submitted 28 December, 2020; v1 submitted 28 May, 2019;
originally announced May 2019.
-
Motivic Mahowald invariants over general base fields
Authors:
J. D. Quigley
Abstract:
The motivic Mahowald invariant was introduced in \cite{Qui19a} and \cite{Qui19b} to study periodicity in the $\mathbb{C}$- and $\mathbb{R}$-motivic stable stems. In this paper, we define the motivic Mahowald invariant over any field $F$ of characteristic not two and use it to study periodicity in the $F$-motivic stable stems. In particular, we construct lifts of some of Adams' classical $v_1$-peri…
▽ More
The motivic Mahowald invariant was introduced in \cite{Qui19a} and \cite{Qui19b} to study periodicity in the $\mathbb{C}$- and $\mathbb{R}$-motivic stable stems. In this paper, we define the motivic Mahowald invariant over any field $F$ of characteristic not two and use it to study periodicity in the $F$-motivic stable stems. In particular, we construct lifts of some of Adams' classical $v_1$-periodic families \cite{Ada66} and identify them as the motivic Mahowald invariants of powers of $2+ρη$.
△ Less
Submitted 1 May, 2021; v1 submitted 9 May, 2019;
originally announced May 2019.
-
Real motivic and $C_2$-equivariant Mahowald invariants
Authors:
J. D. Quigley
Abstract:
We generalize the Mahowald invariant to the $\mathbb{R}$-motivic and $C_2$-equivariant settings. For all $i>0$ with $i \equiv 2,3 \mod 4$, we show that the $\mathbb{R}$-motivic Mahowald invariant of $(2+ρη)^i \in π_{0,0}^{\mathbb{R}}(S^{0,0})$ contains a lift of a certain element in Adams' classical $v_1$-periodic families, and for all $i > 0$, we show that the $\mathbb{R}$-motivic Mahowald invari…
▽ More
We generalize the Mahowald invariant to the $\mathbb{R}$-motivic and $C_2$-equivariant settings. For all $i>0$ with $i \equiv 2,3 \mod 4$, we show that the $\mathbb{R}$-motivic Mahowald invariant of $(2+ρη)^i \in π_{0,0}^{\mathbb{R}}(S^{0,0})$ contains a lift of a certain element in Adams' classical $v_1$-periodic families, and for all $i > 0$, we show that the $\mathbb{R}$-motivic Mahowald invariant of $η^i \in π_{i,i}^{\mathbb{R}}(S^{0,0})$ contains a lift of a certain element in Andrews' $\mathbb{C}$-motivic $w_1$-periodic families. We prove analogous results about the $C_2$-equivariant Mahowald invariants of $(2+ρη)^i \in π_{0,0}^{C_2}(S^{0,0})$ and $η^i \in π_{i,i}^{C_2}(S^{0,0})$ by leveraging connections between the classical, motivic, and equivariant stable homotopy categories. The infinite families we construct are some of the first periodic families of their kind studied in the $\mathbb{R}$-motivic and $C_2$-equivariant settings.
△ Less
Submitted 25 February, 2021; v1 submitted 29 April, 2019;
originally announced April 2019.
-
The motivic Mahowald invariant
Authors:
J. D. Quigley
Abstract:
The classical Mahowald invariant is a method for producing nonzero classes in the stable homotopy groups of spheres from classes in lower stems. We study the Mahowald invariant in the setting of motivic stable homotopy theory over $Spec(\mathbb{C})$. We compute a motivic version of the $C_2$-Tate construction for various motivic spectra, and show that this construction produces "blueshift" in thes…
▽ More
The classical Mahowald invariant is a method for producing nonzero classes in the stable homotopy groups of spheres from classes in lower stems. We study the Mahowald invariant in the setting of motivic stable homotopy theory over $Spec(\mathbb{C})$. We compute a motivic version of the $C_2$-Tate construction for various motivic spectra, and show that this construction produces "blueshift" in these cases. We use these computations to show that the Mahowald invariant of $η^i$, $i \geq 1$, is the first element in Adams filtration $i$ of the $w_1$-periodic families constructed by Andrews ~\cite{And14}. This provides an exotic periodic analog of Mahowald and Ravenel's computation ~\cite{MR93} that the classical Mahowald invariant of $2^i$, $i \geq 1$, is the first element in Adams filtration $i$ of the $v_1$-periodic families constructed by Adams ~\cite{Ada66}.
△ Less
Submitted 6 February, 2018; v1 submitted 18 January, 2018;
originally announced January 2018.
-
Lattice thermal conductivity of graphene nanostructures
Authors:
M. Saiz-Bretin,
A. V. Malyshev,
F. Dominguez-Adame,
D. Quigley,
R. A. Roemer
Abstract:
Non-equilibrium molecular dynamics is used to investigate the heat current due to the atomic lattice vibrations in graphene nanoribbons and nanorings under a thermal gradient. We consider a wide range of temperature, nanoribbon widths up to 6nm and the effect of moderate edge disorder. We find that narrow graphene nanorings can efficiently suppress the lattice thermal conductivity at low temperatu…
▽ More
Non-equilibrium molecular dynamics is used to investigate the heat current due to the atomic lattice vibrations in graphene nanoribbons and nanorings under a thermal gradient. We consider a wide range of temperature, nanoribbon widths up to 6nm and the effect of moderate edge disorder. We find that narrow graphene nanorings can efficiently suppress the lattice thermal conductivity at low temperatures (~100K), as compared to nanoribbons of the same width. Remarkably, rough edges do not appear to have a large impact on lattice energy transport through graphene nanorings while nanoribbons seem more affected by imperfections. Furthermore, we demonstrate that the effects of hydrogen-saturated edges can be neglected in these graphene nanostructures.
△ Less
Submitted 5 November, 2017;
originally announced November 2017.
-
The Segal Conjecture for topological Hochschild homology of the Ravenel spectra
Authors:
Gabe Angelini-Knoll,
J. D. Quigley
Abstract:
In the 1980's, Ravenel introduced sequences of spectra $X(n)$ and $T(n)$ which played an important role in the proof of the Nilpotence Theorem of Devinatz--Hopkins--Smith. In the present paper, we solve the homotopy limit problem for topological Hochschild homology of $X(n)$, which is a generalized version of the Segal Conjecture for the cyclic groups of prime order. This result is the first step…
▽ More
In the 1980's, Ravenel introduced sequences of spectra $X(n)$ and $T(n)$ which played an important role in the proof of the Nilpotence Theorem of Devinatz--Hopkins--Smith. In the present paper, we solve the homotopy limit problem for topological Hochschild homology of $X(n)$, which is a generalized version of the Segal Conjecture for the cyclic groups of prime order. This result is the first step towards computing the algebraic K-theory of $X(n)$ using trace methods, which approximates the algebraic K-theory of the sphere spectrum in a precise sense. We solve the homotopy limit problem for topological Hochschild homology of $T(n)$ under the assumption that the canonical map $T(n)\to BP$ of homotopy commutative ring spectra can be rigidified to map of $E_2$ ring spectra. We show that the obstruction to our assumption holding can be described in terms of an explicit class in an Atiyah--Hirzebruch spectral sequence.
△ Less
Submitted 3 January, 2021; v1 submitted 9 May, 2017;
originally announced May 2017.
-
Polyomino Models of Surface Supramolecular Assembly: Design Constraints and Structural Selectivity
Authors:
Joel Nicholls,
Gareth P. Alexander,
David Quigley
Abstract:
We examine emergent properties of 2D supramolecular networks, using enumeration of configurations formed by interacting dominoes on square lattices as a simple model system. Possible ground states are identified using a convex hull construction in the interaction parameters for nearest-neighbour bonds. We demonstrate how this construction can be used to design interaction parameters which lead to…
▽ More
We examine emergent properties of 2D supramolecular networks, using enumeration of configurations formed by interacting dominoes on square lattices as a simple model system. Possible ground states are identified using a convex hull construction in the interaction parameters for nearest-neighbour bonds. We demonstrate how this construction can be used to design interaction parameters which lead to networks with specific properties, including chirality and highly degenerate ground states. We then introduce kinetics as simple local rearrangements. By partitioning the configuration space into smaller sets which satisfy different topological constraints, we can design configurations which are kinetically trapped. By considering heat capacity curves along directions through the convex hull, we also demonstrate design of interacting domino configurations to create tilings robust against temperature induced phase transitions. We discuss extension of this design construction to more complex molecular shapes.
△ Less
Submitted 7 February, 2017;
originally announced February 2017.
-
Single-Atom Scale Structural Selectivity in Te Nanowires Encapsulated inside Ultra-Narrow, Single-Walled Carbon Nanotubes
Authors:
Paulo V. C. Medeiros,
Samuel Marks,
Jamie M. Wynn,
Andrij Vasylenko,
Quentin M. Ramasse,
David Quigley,
Jeremy Sloan,
Andrew J. Morris
Abstract:
Extreme nanowires (ENs) represent the ultimate class of crystals: They are the smallest possible periodic materials. With atom-wide motifs repeated in one dimension (1D), they offer a privileged perspective into the Physics and Chemistry of low-dimensional systems. Single-walled carbon nanotubes (SWCNTs) provide ideal environments for the creation of such materials. Here we present a comprehensive…
▽ More
Extreme nanowires (ENs) represent the ultimate class of crystals: They are the smallest possible periodic materials. With atom-wide motifs repeated in one dimension (1D), they offer a privileged perspective into the Physics and Chemistry of low-dimensional systems. Single-walled carbon nanotubes (SWCNTs) provide ideal environments for the creation of such materials. Here we present a comprehensive study of Te ENs encapsulated inside ultra- narrow SWCNTs with diameters between 0.7 nm and 1.1 nm. We combine state-of-the-art imaging techniques and 1D-adapted ab initio structure prediction to treat both confinement and periodicity effects. The studied Te ENs adopt a variety of structures, exhibiting a true 1D realisation of a Peierls structural distortion and transition from metallic to insulating behaviour as a function of encapsulating diameter. We analyse the mechanical stability of the encapsulated ENs and show that nanoconfinement is not only a useful means to produce ENs, but may actually be necessary, in some cases, to prevent them from disintegrating. The ability to control functional properties of these ENs with confinement has numerous applications in future device technologies, and we anticipate that our study will set the basic paradigm to be adopted in the characterisation and understanding of such systems.
△ Less
Submitted 3 May, 2017; v1 submitted 17 January, 2017;
originally announced January 2017.
-
SROS: Securing ROS over the wire, in the graph, and through the kernel
Authors:
Ruffin White,
Dr. Henrik I. Christensen,
Dr. Morgan Quigley
Abstract:
SROS is a proposed addition to the ROS API and ecosystem to support modern cryptography and security measures. An overview of current progress will be presented, rationalizing each major advancement, including: over-the-wire cryptography for all data transport, namespaced access control enforcing graph policies/restrictions, and finally process profiles using Linux Security Modules to harden a nod…
▽ More
SROS is a proposed addition to the ROS API and ecosystem to support modern cryptography and security measures. An overview of current progress will be presented, rationalizing each major advancement, including: over-the-wire cryptography for all data transport, namespaced access control enforcing graph policies/restrictions, and finally process profiles using Linux Security Modules to harden a node's resource access. By making the community aware of the vulnerabilities in ROS, as well as the proposed solutions provided by SROS, we intend to improve the state of security for future robotics subsystems.
△ Less
Submitted 21 November, 2016;
originally announced November 2016.
-
Encapsulated Nanowires: Boosting Electronic Transport in Carbon Nanotubes
Authors:
Andrij Vasylenko,
Jamie Wynn,
Paulo Medeiros,
Andrew J. Morris,
Jeremy Sloan,
David Quigley
Abstract:
The electrical conductivity of metallic carbon nanotubes (CNTs) quickly saturates with respect to bias voltage due to scattering from a large population of optical phonons. Decay of these dominant scatterers in pristine CNTs is too slow to offset an increased generation rate at high voltage bias. We demonstrate from first principles that encapsulation of 1D atomic chains within a single-walled CNT…
▽ More
The electrical conductivity of metallic carbon nanotubes (CNTs) quickly saturates with respect to bias voltage due to scattering from a large population of optical phonons. Decay of these dominant scatterers in pristine CNTs is too slow to offset an increased generation rate at high voltage bias. We demonstrate from first principles that encapsulation of 1D atomic chains within a single-walled CNT can enhance decay of "hot" phonons by providing additional channels for thermalisation. Pacification of the phonon population growth reduces electrical resistivity of metallic CNTs by 51% for an example system with encapsulated beryllium.
△ Less
Submitted 8 February, 2017; v1 submitted 15 November, 2016;
originally announced November 2016.
-
Folding kinetics of a polymer [corrigendum]
Authors:
Bart Vorselaars,
Štěpán Růžička,
David Quigley,
Michael P. Allen
Abstract:
In our original article (Phys. Chem. Chem. Phys., 2012, 14, 60446053) a convergence problem resulted in an averaging error in computing the entropy from a set of Wang-Landau Monte-Carlo simulations. Here we report corrected results for the freezing temperature of the homopolymer chain as a function of the range of the non-bonded interaction. We find that the previously reported forward-flux sampli…
▽ More
In our original article (Phys. Chem. Chem. Phys., 2012, 14, 60446053) a convergence problem resulted in an averaging error in computing the entropy from a set of Wang-Landau Monte-Carlo simulations. Here we report corrected results for the freezing temperature of the homopolymer chain as a function of the range of the non-bonded interaction. We find that the previously reported forward-flux sampling (FFS) and brute-force (BF) simulation results are in agreement with the revised Wang-Landau (WL) calculations. This confirms the utility of FFS for computing crystallisation rates in systems of this kind.
△ Less
Submitted 20 October, 2016;
originally announced November 2016.
-
Folding Kinetics of a Polymer
Authors:
S. Ruzicka,
D. Quigley,
M. P. Allen
Abstract:
By simulating the first order globule-crystal transition of a flexible homopolymer chain, both by collision dynamics and Monte Carlo with non-kinetic moves, we show that the effective and the thermodynamic transition temperatures are different and we propose a way of quantifying the kinetic hindering. We then also observe that the top eigenvalue in the spectrum of the dynamical (contact or adjacen…
▽ More
By simulating the first order globule-crystal transition of a flexible homopolymer chain, both by collision dynamics and Monte Carlo with non-kinetic moves, we show that the effective and the thermodynamic transition temperatures are different and we propose a way of quantifying the kinetic hindering. We then also observe that the top eigenvalue in the spectrum of the dynamical (contact or adjacency) matrix provides insight into the ensembles of folding and unfolding trajectories, and may be a suitable additional reaction coordinate for the folding transition of chain molecules.
△ Less
Submitted 29 September, 2011;
originally announced September 2011.
-
Progression of Phase Behavior for a Sequence of Model Core-Softened Potentials
Authors:
D. Quigley,
M. I. J. Probert
Abstract:
A series of phase diagrams is obtained for a smooth pair-potential with an outer well and a repulsive inner shoulder. Condensed phase coexistence curves are located using free-energy calculations. Liquid-vapour equilibria are obtained with multicanonical methods. As the depth of the outer well is increased, a simple-hexagonal to close packed transition appears in the solid leading to a discontin…
▽ More
A series of phase diagrams is obtained for a smooth pair-potential with an outer well and a repulsive inner shoulder. Condensed phase coexistence curves are located using free-energy calculations. Liquid-vapour equilibria are obtained with multicanonical methods. As the depth of the outer well is increased, a simple-hexagonal to close packed transition appears in the solid leading to a discontinuity in the slope of the melting curve. For deeper wells the simple hexagonal melting temperature exhibits a maximum with respect to pressure. The onset of the predicted metastable isostructural transition is studied. It is shown that this does not persist into the supercooled liquid. The relevence of these findings to models of supercooled water is discussed.
△ Less
Submitted 24 October, 2005;
originally announced October 2005.
-
Langevin Dynamics in Constant Pressure Extended Systems
Authors:
D. Quigley,
M. I. J Probert
Abstract:
The advantages of performing Langevin Dynamics in extended systems are discussed. A simple Langevin Dynamics scheme for producing the canonical ensemble is reviewed, and is then extended to the Hoover ensemble. We show that the resulting equations of motion generate the isobaric-isothermal ensemble. The Parrinello-Rahman ensemble is then discussed and we show that despite the presence of intrins…
▽ More
The advantages of performing Langevin Dynamics in extended systems are discussed. A simple Langevin Dynamics scheme for producing the canonical ensemble is reviewed, and is then extended to the Hoover ensemble. We show that the resulting equations of motion generate the isobaric-isothermal ensemble. The Parrinello-Rahman ensemble is then discussed and we show that despite the presence of intrinsic probability gradients in this system, a Langevin Dynamics approach samples the extended phase space in the correct fashion. The implementation of these methods in the ab-initio plane wave density functional theory (DFT) code CASTEP [M. D. Segall, P. L. D. Lindan, M. J. Probert, C. J. Pickard, P. J. Hasnip, S. J. Clarke and M.C. Payne, J. Phys.: Cond. Matt. (11), 2717 (2003)] is demonstrated.
△ Less
Submitted 28 December, 2004; v1 submitted 31 March, 2004;
originally announced March 2004.