-
Simple Barban--Davenport--Halberstam type asymptotics for general sequences
Authors:
Adam J. Harper
Abstract:
We prove two estimates for the Barban--Davenport--Halberstam type variance of a general complex sequence in arithmetic progressions. The proofs are elementary, and our estimates are capable of yielding an asymptotic for the variance when the sequence is sufficiently nice, and is either somewhat sparse or is sufficiently like the integers in its divisibility by small moduli.
As a concrete applica…
▽ More
We prove two estimates for the Barban--Davenport--Halberstam type variance of a general complex sequence in arithmetic progressions. The proofs are elementary, and our estimates are capable of yielding an asymptotic for the variance when the sequence is sufficiently nice, and is either somewhat sparse or is sufficiently like the integers in its divisibility by small moduli.
As a concrete application, we deduce a Barban--Davenport--Halberstam type variance asymptotic for the $y$-smooth numbers less than $x$, on a wide range of the parameters. This addresses a question considered by Granville and Vaughan.
△ Less
Submitted 27 December, 2024;
originally announced December 2024.
-
Extending Adams' theorem from singly generated to periodic cohomology
Authors:
John R. Harper,
Lee Kennard
Abstract:
In 1960, J.F. Adams introduced secondary cohomology operations that are defined on cohomology elements on which sufficiently many Steenrod algebra elements vanish. This led to his theorem on singly generated cohomology rings, which in turn led to his celebrated resolution of the Hopf invariant one problem. Here we advertise a conjecture that would extend Adams' result and prove it in a special cas…
▽ More
In 1960, J.F. Adams introduced secondary cohomology operations that are defined on cohomology elements on which sufficiently many Steenrod algebra elements vanish. This led to his theorem on singly generated cohomology rings, which in turn led to his celebrated resolution of the Hopf invariant one problem. Here we advertise a conjecture that would extend Adams' result and prove it in a special case.
△ Less
Submitted 20 December, 2024;
originally announced December 2024.
-
Moments of random multiplicative functions, III: A short review
Authors:
Adam J. Harper
Abstract:
We give a short review of recent progress on determining the order of magnitude of moments $\mathbb{E}|\sum_{n \leq x} f(n)|^{2q}$ of random multiplicative functions, and of closely related issues.
We hope this can serve as a concise introduction to some of the ideas involved, for those who may not have too much background in the area.
We give a short review of recent progress on determining the order of magnitude of moments $\mathbb{E}|\sum_{n \leq x} f(n)|^{2q}$ of random multiplicative functions, and of closely related issues.
We hope this can serve as a concise introduction to some of the ideas involved, for those who may not have too much background in the area.
△ Less
Submitted 15 October, 2024;
originally announced October 2024.
-
Retractive spaces and Bousfield-Kan completions
Authors:
Zeshen Gu,
John E. Harper
Abstract:
In this short paper we apply some recent techniques developed by Schonsheck, and subsequently Carr-Harper, in the context of operadic algebras in spectra -- on convergence of Bousfield-Kan completions and comparisons with convergence of the Taylor tower of the identity functor in Goodwillie's functor calculus -- to the setting of retractive spaces: this arises when working with spaces centered awa…
▽ More
In this short paper we apply some recent techniques developed by Schonsheck, and subsequently Carr-Harper, in the context of operadic algebras in spectra -- on convergence of Bousfield-Kan completions and comparisons with convergence of the Taylor tower of the identity functor in Goodwillie's functor calculus -- to the setting of retractive spaces: this arises when working with spaces centered away from the one-point space. Interestingly, in the retractive spaces context, the comparison results are stronger in terms of convergence outside of functor calculus' notion of "radius of (strong) convergence" for analytic functors. In particular, we give a new proof (and generalization to retractive spaces) of the Arone-Kankaanrinta result for convergence of the Taylor tower of the identity functor to various Bousfield-Kan completions; it's notable that no use is made of Snaith splittings -- rather, we make extensive use of the kinds of homotopical estimates that appear in earlier work of Dundas and Dundas-Goodwillie-McCarthy.
△ Less
Submitted 5 July, 2024;
originally announced July 2024.
-
Functor calculus completions for retractive operadic algebras in spectra
Authors:
Matthew B. Carr,
John E. Harper
Abstract:
The aim of this paper is to study convergence of Bousfield-Kan completions with respect to the 1-excisive approximation of the identity functor and exotic convergence of the Taylor tower of the identity functor, for algebras over operads in spectra centered away from the null object. In Goodwillie's homotopy functor calculus, being centered away from the null object amounts to doing homotopy theor…
▽ More
The aim of this paper is to study convergence of Bousfield-Kan completions with respect to the 1-excisive approximation of the identity functor and exotic convergence of the Taylor tower of the identity functor, for algebras over operads in spectra centered away from the null object. In Goodwillie's homotopy functor calculus, being centered away from the null object amounts to doing homotopy theory and functor calculus in the retractive setting.
△ Less
Submitted 1 July, 2024;
originally announced July 2024.
-
The typical size of character and zeta sums is $o(\sqrt{x})$
Authors:
Adam J. Harper
Abstract:
We prove conjecturally sharp upper bounds for the Dirichlet character moments $\frac{1}{r-1} \sum_{χ\; \text{mod} \; r} |\sum_{n \leq x} χ(n)|^{2q}$, where $r$ is a large prime, $1 \leq x \leq r$, and $0 \leq q \leq 1$ is real. In particular, if both $x$ and $r/x$ tend to infinity with $r$ then $\frac{1}{r-1} \sum_{χ\; \text{mod} \; r} |\sum_{n \leq x} χ(n)| = o(\sqrt{x})$, and so the sums…
▽ More
We prove conjecturally sharp upper bounds for the Dirichlet character moments $\frac{1}{r-1} \sum_{χ\; \text{mod} \; r} |\sum_{n \leq x} χ(n)|^{2q}$, where $r$ is a large prime, $1 \leq x \leq r$, and $0 \leq q \leq 1$ is real. In particular, if both $x$ and $r/x$ tend to infinity with $r$ then $\frac{1}{r-1} \sum_{χ\; \text{mod} \; r} |\sum_{n \leq x} χ(n)| = o(\sqrt{x})$, and so the sums $\sum_{n \leq x} χ(n)$ typically exhibit "better than squareroot cancellation". We prove analogous better than squareroot bounds for the moments $\frac{1}{T} \int_{0}^{T} |\sum_{n \leq x} n^{it}|^{2q} dt$ of zeta sums; of Dirichlet theta functions $θ(1,χ)$; and of the sums $\sum_{n \leq x} h(n) χ(n)$, where $h(n)$ is any suitably bounded multiplicative function (for example the Möbius function $μ(n)$).
The proofs depend on similar better than squareroot cancellation phenomena for low moments of random multiplicative functions. An important ingredient is a reorganisation of the conditioning arguments from the random case, so that one only needs to "condition" on a small collection of fairly short prime number sums. The conditioned quantities arising can then be well approximated by twisted second moments, whose behaviour is the same for character and zeta sums as in the random case.
△ Less
Submitted 11 January, 2023;
originally announced January 2023.
-
A note on character sums over short moving intervals
Authors:
Adam J. Harper
Abstract:
We investigate the sums $(1/\sqrt{H}) \sum_{X < n \leq X+H} χ(n)$, where $χ$ is a fixed non-principal Dirichlet character modulo a prime $q$, and $0 \leq X \leq q-1$ is uniformly random. Davenport and Erdős, and more recently Lamzouri, proved central limit theorems for these sums provided $H \rightarrow \infty$ and $(\log H)/\log q \rightarrow 0$ as $q \rightarrow \infty$, and Lamzouri conjectured…
▽ More
We investigate the sums $(1/\sqrt{H}) \sum_{X < n \leq X+H} χ(n)$, where $χ$ is a fixed non-principal Dirichlet character modulo a prime $q$, and $0 \leq X \leq q-1$ is uniformly random. Davenport and Erdős, and more recently Lamzouri, proved central limit theorems for these sums provided $H \rightarrow \infty$ and $(\log H)/\log q \rightarrow 0$ as $q \rightarrow \infty$, and Lamzouri conjectured these should hold subject to the much weaker upper bound $H=o(q/\log q)$. We prove this is false for some $χ$, even when $H = q/\log^{A}q$ for any fixed $A > 0$. On the other hand, we show it is true for "almost all" characters on the range $q^{1-o(1)} \leq H = o(q)$.
Using Pólya's Fourier expansion, these results may be reformulated as statements about the distribution of certain Fourier series with number theoretic coefficients. Tools used in the proofs include the existence of characters with large partial sums on short initial segments, and moment estimates for trigonometric polynomials with random multiplicative coefficients.
△ Less
Submitted 17 March, 2022;
originally announced March 2022.
-
Almost sure large fluctuations of random multiplicative functions
Authors:
Adam J. Harper
Abstract:
We prove that if $f(n)$ is a Steinhaus or Rademacher random multiplicative function, there almost surely exist arbitrarily large values of $x$ for which $|\sum_{n \leq x} f(n)| \geq \sqrt{x} (\log\log x)^{1/4+o(1)}$. This is the first such bound that grows faster than $\sqrt{x}$, answering a question of Halász and proving a conjecture of Erdős. It is plausible that the exponent $1/4$ is sharp in t…
▽ More
We prove that if $f(n)$ is a Steinhaus or Rademacher random multiplicative function, there almost surely exist arbitrarily large values of $x$ for which $|\sum_{n \leq x} f(n)| \geq \sqrt{x} (\log\log x)^{1/4+o(1)}$. This is the first such bound that grows faster than $\sqrt{x}$, answering a question of Halász and proving a conjecture of Erdős. It is plausible that the exponent $1/4$ is sharp in this problem.
The proofs work by establishing a multivariate Gaussian approximation for the sums $\sum_{n \leq x} f(n)$ at a sequence of $x$, conditional on the behaviour of $f(p)$ for all except the largest primes $p$. The most difficult aspect is showing that the conditional covariances of the sums are usually small, so the corresponding Gaussians are usually roughly independent. These covariances are related to an Euler product (or multiplicative chaos) type integral twisted by additive characters, which we study using various tools including mean value estimates for Dirichlet polynomials, high mixed moment estimates for random Euler products, and barrier arguments with random walks.
△ Less
Submitted 31 December, 2020;
originally announced December 2020.
-
On the partition function of the Riemann zeta function, and the Fyodorov--Hiary--Keating conjecture
Authors:
Adam J. Harper
Abstract:
We investigate the ``partition function'' integrals $\int_{-1/2}^{1/2} |ζ(1/2 + it + ih)|^2 dh$ for the critical exponent 2, and the local maxima $\max_{|h| \leq 1/2} |ζ(1/2 + it + ih)|$, as $T \leq t \leq 2T$ varies. In particular, we prove that for $(1+o(1))T$ values of $T \leq t \leq 2T$ we have $\max_{|h| \leq 1/2} \log|ζ(1/2+it+ih)| \leq \log\log T - (3/4 + o(1))\log\log\log T$, matching for…
▽ More
We investigate the ``partition function'' integrals $\int_{-1/2}^{1/2} |ζ(1/2 + it + ih)|^2 dh$ for the critical exponent 2, and the local maxima $\max_{|h| \leq 1/2} |ζ(1/2 + it + ih)|$, as $T \leq t \leq 2T$ varies. In particular, we prove that for $(1+o(1))T$ values of $T \leq t \leq 2T$ we have $\max_{|h| \leq 1/2} \log|ζ(1/2+it+ih)| \leq \log\log T - (3/4 + o(1))\log\log\log T$, matching for the first time with both the leading and second order terms predicted by a conjecture of Fyodorov, Hiary and Keating.
The proofs work by approximating the zeta function in mean square by the product of a Dirichlet polynomial over smooth numbers and one over rough numbers. They then apply ideas and results from corresponding random model problems to compute averages of this product, under size restrictions on the smooth part that hold for most $T \leq t \leq 2T$ (but reduce the size of the averages). There are connections with the study of critical multiplicative chaos. Unlike in some previous work, our arguments never shift away from the critical line by more than a tiny amount $1/\log T$, and they don't require explicit calculations of Fourier transforms of Dirichlet polynomials.
△ Less
Submitted 13 June, 2019;
originally announced June 2019.
-
The Riemann zeta function in short intervals [after Najnudel, and Arguin, Belius, Bourgade, Radziwiłł, and Soundararajan]
Authors:
Adam J. Harper
Abstract:
This is the text to accompany my Bourbaki seminar from 30th March 2019, on the maximum size of the Riemann zeta function in "almost all" intervals of length 1 on the critical line. It surveys the conjecture of Fyodorov--Hiary--Keating on the behaviour of this typical maximum, as well as recent progress towards the conjecture by Najnudel and by Arguin--Belius--Bourgade--Radziwiłł--Soundararajan. Th…
▽ More
This is the text to accompany my Bourbaki seminar from 30th March 2019, on the maximum size of the Riemann zeta function in "almost all" intervals of length 1 on the critical line. It surveys the conjecture of Fyodorov--Hiary--Keating on the behaviour of this typical maximum, as well as recent progress towards the conjecture by Najnudel and by Arguin--Belius--Bourgade--Radziwiłł--Soundararajan. There is also some general background discussion of the value distribution and large values of zeta.
△ Less
Submitted 17 April, 2019;
originally announced April 2019.
-
Topological Quillen localization of structured ring spectra
Authors:
John E. Harper,
Yu Zhang
Abstract:
The aim of this short paper is two-fold: (i) to construct a TQ-localization functor on algebras over a spectral operad O, in the case where no connectivity assumptions are made on the O-algebras, and (ii) more generally, to establish the associated TQ-local homotopy theory as a left Bousfield localization of the usual model structure on O-algebras, which itself is almost never left proper, in gene…
▽ More
The aim of this short paper is two-fold: (i) to construct a TQ-localization functor on algebras over a spectral operad O, in the case where no connectivity assumptions are made on the O-algebras, and (ii) more generally, to establish the associated TQ-local homotopy theory as a left Bousfield localization of the usual model structure on O-algebras, which itself is almost never left proper, in general. In the resulting TQ-local homotopy theory, the "weak equivalences" are the TQ-homology equivalences, where "TQ-homology" is short for topological Quillen homology, which is also weakly equivalent to stabilization of O-algebras. More generally, we establish these results for TQ-homology with coefficients in a spectral algebra A. A key observation, that goes back to the work of Goerss-Hopkins on moduli problems, is that the usual left properness assumption may be replaced with a strong cofibration condition in the desired subcell lifting arguments: Our main result is that the TQ-local homotopy theory can be established (e.g., a semi-model structure in the sense of Goerss-Hopkins and Spitzweck, that is both cofibrantly generated and simplicial) by localizing with respect to a set of strong cofibrations that are TQ-equivalences.
△ Less
Submitted 9 July, 2019; v1 submitted 15 November, 2018;
originally announced November 2018.
-
A nilpotent Whitehead theorem for TQ-homology of structured ring spectra
Authors:
Michael Ching,
John E. Harper
Abstract:
The aim of this short paper is to prove a TQ-Whitehead theorem for nilpotent structured ring spectra. We work in the framework of symmetric spectra and algebras over operads in modules over a commutative ring spectrum. Our main result can be thought of as a TQ-homology analog for structured ring spectra of Dror's generalized Whitehead theorem for topological spaces; here TQ-homology is short for t…
▽ More
The aim of this short paper is to prove a TQ-Whitehead theorem for nilpotent structured ring spectra. We work in the framework of symmetric spectra and algebras over operads in modules over a commutative ring spectrum. Our main result can be thought of as a TQ-homology analog for structured ring spectra of Dror's generalized Whitehead theorem for topological spaces; here TQ-homology is short for topological Quillen homology. We also prove retract theorems for the TQ-completion and homotopy completion of nilpotent structured ring spectra.
△ Less
Submitted 12 October, 2018; v1 submitted 26 June, 2018;
originally announced June 2018.
-
Moments of random multiplicative functions, II: High moments
Authors:
Adam J. Harper
Abstract:
We determine the order of magnitude of $\mathbb{E}|\sum_{n \leq x} f(n)|^{2q}$ up to factors of size $e^{O(q^2)}$, where $f(n)$ is a Steinhaus or Rademacher random multiplicative function, for all real $1 \leq q \leq \frac{c\log x}{\log\log x}$.
In the Steinhaus case, we show that $\mathbb{E}|\sum_{n \leq x} f(n)|^{2q} = e^{O(q^2)} x^q (\frac{\log x}{q\log(2q)})^{(q-1)^2}$ on this whole range. I…
▽ More
We determine the order of magnitude of $\mathbb{E}|\sum_{n \leq x} f(n)|^{2q}$ up to factors of size $e^{O(q^2)}$, where $f(n)$ is a Steinhaus or Rademacher random multiplicative function, for all real $1 \leq q \leq \frac{c\log x}{\log\log x}$.
In the Steinhaus case, we show that $\mathbb{E}|\sum_{n \leq x} f(n)|^{2q} = e^{O(q^2)} x^q (\frac{\log x}{q\log(2q)})^{(q-1)^2}$ on this whole range. In the Rademacher case, we find a transition in the behaviour of the moments when $q \approx (1+\sqrt{5})/2$, where the size starts to be dominated by "orthogonal" rather than "unitary" behaviour. We also deduce some consequences for the large deviations of $\sum_{n \leq x} f(n)$.
The proofs use various tools, including hypercontractive inequalities, to connect $\mathbb{E}|\sum_{n \leq x} f(n)|^{2q}$ with the $q$-th moment of an Euler product integral. When $q$ is large, it is then fairly easy to analyse this integral. When $q$ is close to 1 the analysis seems to require subtler arguments, including Doob's $L^p$ maximal inequality for martingales.
△ Less
Submitted 11 April, 2018;
originally announced April 2018.
-
Extreme biases in prime number races with many contestants
Authors:
Kevin Ford,
Adam J. Harper,
Youness Lamzouri
Abstract:
We continue to investigate the race between prime numbers in many residue classes modulo $q$, assuming the standard conjectures GRH and LI.
We show that provided $n/\log q \rightarrow \infty$ as $q \rightarrow \infty$, we can find $n$ competitor classes modulo $q$ so that the corresponding $n$-way prime number race is extremely biased. This improves on the previous range $n \geq \varphi(q)^ε$, a…
▽ More
We continue to investigate the race between prime numbers in many residue classes modulo $q$, assuming the standard conjectures GRH and LI.
We show that provided $n/\log q \rightarrow \infty$ as $q \rightarrow \infty$, we can find $n$ competitor classes modulo $q$ so that the corresponding $n$-way prime number race is extremely biased. This improves on the previous range $n \geq \varphi(q)^ε$, and (together with an existing result of Harper and Lamzouri) establishes that the transition from all $n$-way races being asymptotically unbiased, to biased races existing, occurs when $n = \log^{1+o(1)}q$.
The proofs involve finding biases in certain auxiliary races that are easier to analyse than a full $n$-way race. An important ingredient is a quantitative, moderate deviation, multi-dimensional Gaussian approximation theorem, which we prove using a Lindeberg type method.
△ Less
Submitted 22 November, 2017;
originally announced November 2017.
-
A more intuitive proof of a sharp version of Halász's theorem
Authors:
Andrew Granville,
Adam J Harper,
K. Soundararajan
Abstract:
We prove a sharp version of Halász's theorem on sums $\sum_{n \leq x} f(n)$ of multiplicative functions $f$ with $|f(n)|\le 1$. Our proof avoids the "average of averages" and "integration over $α$" manoeuvres that are present in many of the existing arguments. Instead, motivated by the circle method we express $\sum_{n \leq x} f(n)$ as a triple Dirichlet convolution, and apply Perron's formula.
We prove a sharp version of Halász's theorem on sums $\sum_{n \leq x} f(n)$ of multiplicative functions $f$ with $|f(n)|\le 1$. Our proof avoids the "average of averages" and "integration over $α$" manoeuvres that are present in many of the existing arguments. Instead, motivated by the circle method we express $\sum_{n \leq x} f(n)$ as a triple Dirichlet convolution, and apply Perron's formula.
△ Less
Submitted 12 June, 2017;
originally announced June 2017.
-
A new proof of Halász's Theorem, and its consequences
Authors:
Andrew Granville,
Adam J Harper,
K. Soundararajan
Abstract:
Halász's Theorem gives an upper bound for the mean value of a multiplicative function $f$. The bound is sharp for general such $f$, and, in particular, it implies that a multiplicative function with $|f(n)|\le 1$ has either mean value $0$, or is "close to" $n^{it}$ for some fixed $t$. The proofs in the current literature have certain features that are difficult to motivate and which are not partic…
▽ More
Halász's Theorem gives an upper bound for the mean value of a multiplicative function $f$. The bound is sharp for general such $f$, and, in particular, it implies that a multiplicative function with $|f(n)|\le 1$ has either mean value $0$, or is "close to" $n^{it}$ for some fixed $t$. The proofs in the current literature have certain features that are difficult to motivate and which are not particularly flexible. In this article we supply a different, more flexible, proof, which indicates how one might obtain asymptotics, and can be modified to short intervals and to arithmetic progressions. We use these results to obtain new, arguably simpler, proofs that there are always primes in short intervals (Hoheisel's Theorem), and that there are always primes near to the start of an arithmetic progression (Linnik's Theorem).
△ Less
Submitted 12 June, 2017;
originally announced June 2017.
-
Moments of random multiplicative functions, I: Low moments, better than squareroot cancellation, and critical multiplicative chaos
Authors:
Adam J. Harper
Abstract:
We determine the order of magnitude of $\mathbb{E}|\sum_{n \leq x} f(n)|^{2q}$, where $f(n)$ is a Steinhaus or Rademacher random multiplicative function, and $0 \leq q \leq 1$. In the Steinhaus case, this is equivalent to determining the order of $\lim_{T \rightarrow \infty} \frac{1}{T} \int_{0}^{T} |\sum_{n \leq x} n^{-it}|^{2q} dt$.
In particular, we find that…
▽ More
We determine the order of magnitude of $\mathbb{E}|\sum_{n \leq x} f(n)|^{2q}$, where $f(n)$ is a Steinhaus or Rademacher random multiplicative function, and $0 \leq q \leq 1$. In the Steinhaus case, this is equivalent to determining the order of $\lim_{T \rightarrow \infty} \frac{1}{T} \int_{0}^{T} |\sum_{n \leq x} n^{-it}|^{2q} dt$.
In particular, we find that $\mathbb{E}|\sum_{n \leq x} f(n)| \asymp \sqrt{x}/(\log\log x)^{1/4}$. This proves a conjecture of Helson that one should have better than squareroot cancellation in the first moment, and disproves counter-conjectures of various other authors. We deduce some consequences for the distribution and large deviations of $\sum_{n \leq x} f(n)$.
The proofs develop a connection between $\mathbb{E}|\sum_{n \leq x} f(n)|^{2q}$ and the $q$-th moment of a critical, approximately Gaussian, multiplicative chaos, and then establish the required estimates for that. We include some general introductory discussion about critical multiplicative chaos to help readers unfamiliar with that area.
△ Less
Submitted 20 March, 2017;
originally announced March 2017.
-
Suspension spectra and higher stabilization
Authors:
Jacobson R. Blomquist,
John E. Harper
Abstract:
We prove that the stabilization of spaces functor---the classical construction of associating a spectrum to a pointed space by tensoring with the sphere spectrum---satisfies homotopical descent on objects and morphisms. This is the stabilization analog of the Quillen-Sullivan theory main result that the rational chains (resp. cochains) functor participates in a derived equivalence with certain coa…
▽ More
We prove that the stabilization of spaces functor---the classical construction of associating a spectrum to a pointed space by tensoring with the sphere spectrum---satisfies homotopical descent on objects and morphisms. This is the stabilization analog of the Quillen-Sullivan theory main result that the rational chains (resp. cochains) functor participates in a derived equivalence with certain coalgebra (resp. algebra) complexes, after restriction to 1-connected spaces up to rational equivalence. In more detail, we prove that the stabilization of spaces functor participates in a derived equivalence with certain coalgebra spectra (where the stabilization construction naturally lands), after restriction to 1-connected spaces up to weak equivalence. This resolves in the affirmative the infinite case, involving stabilization and suspension spectra, of a question/conjecture posed by Tyler Lawson on (iterated) suspension spaces almost ten years ago. A key ingredient of our proof, of independent interest, is a higher stabilization theorem for spaces that provides strong estimates for the uniform cartesian-ness of certain cubical diagrams associated to n-fold iterations of the spaces-level stabilization map; this is the stabilization analog of Dundas' higher Hurewicz theorem.
△ Less
Submitted 10 May, 2017; v1 submitted 15 December, 2016;
originally announced December 2016.
-
Iterated suspension spaces and higher Freudenthal suspension
Authors:
Jacobson R. Blomquist,
John E. Harper
Abstract:
We establish a higher Freudenthal suspension theorem and prove that the derived fundamental adjunction comparing spaces with coalgebra spaces over the homotopical iterated suspension-loop comonad, via iterated suspension, can be turned into an equivalence of homotopy theories by replacing spaces with the full subcategory of 1-connected spaces. This resolves in the affirmative a conjecture of Lawso…
▽ More
We establish a higher Freudenthal suspension theorem and prove that the derived fundamental adjunction comparing spaces with coalgebra spaces over the homotopical iterated suspension-loop comonad, via iterated suspension, can be turned into an equivalence of homotopy theories by replacing spaces with the full subcategory of 1-connected spaces. This resolves in the affirmative a conjecture of Lawson on iterated suspension spaces; that homotopical descent for iterated suspension is satisfied on objects and morphisms---the corresponding iterated desuspension space can be built as the homotopy limit of a cosimplicial cobar construction encoding the homotopical coalgebraic structure. It also provides a homotopical recognition principle for iterated suspension spaces. In a nutshell, we show that the iterated loop-suspension completion map studied by Bousfield participates in a derived equivalence between spaces and coalgebra spaces over the associated homotopical comonad, after restricting to 1-connected spaces.
△ Less
Submitted 25 February, 2017; v1 submitted 15 December, 2016;
originally announced December 2016.
-
On H-Spaces and a Congruence of Catalan Numbers
Authors:
Tamar Friedmann,
John R. Harper
Abstract:
For $p$ an odd prime and $F$ the cyclic group of order $p$, we show that the number of conjugacy classes of embeddings of $F$ in $SU(p)$ such that no element of $F$ has 1 as an eigenvalue is $(1+C_{p-1})/p$, where $C_{p-1}$ is a Catalan number. We prove that the only coset space $SU(p)/F$ that admits a $p$-local $H$-structure is the classical Lie group $PSU(p)$. We also show that…
▽ More
For $p$ an odd prime and $F$ the cyclic group of order $p$, we show that the number of conjugacy classes of embeddings of $F$ in $SU(p)$ such that no element of $F$ has 1 as an eigenvalue is $(1+C_{p-1})/p$, where $C_{p-1}$ is a Catalan number. We prove that the only coset space $SU(p)/F$ that admits a $p$-local $H$-structure is the classical Lie group $PSU(p)$. We also show that $SU(4)/\mathbb Z_3$, where $\mathbb Z_3$ is embedded off the center of $SU(4)$, is a novel example of an $H$-space, even globally. We apply our results to the study of homotopy classes of maps from $BF$ to $BSU(n)$.
△ Less
Submitted 9 July, 2017; v1 submitted 12 December, 2016;
originally announced December 2016.
-
Integral chains and Bousfield-Kan completion
Authors:
Jacobson R. Blomquist,
John E. Harper
Abstract:
Working in the Arone-Ching framework for homotopical descent, it follows that the Bousfield-Kan completion map with respect to integral homology is the unit of a derived adjunction. We prove that this derived adjunction, comparing spaces with coalgebra complexes over the associated integral homology comonad, via integral chains, can be turned into a derived equivalence by replacing spaces with the…
▽ More
Working in the Arone-Ching framework for homotopical descent, it follows that the Bousfield-Kan completion map with respect to integral homology is the unit of a derived adjunction. We prove that this derived adjunction, comparing spaces with coalgebra complexes over the associated integral homology comonad, via integral chains, can be turned into a derived equivalence by replacing spaces with the full subcategory of simply connected spaces. In particular, this provides an integral chains characterization of the homotopy type of simply connected spaces.
△ Less
Submitted 12 October, 2018; v1 submitted 13 November, 2016;
originally announced November 2016.
-
Lower bounds for the variance of sequences in arithmetic progressions: primes and divisor functions
Authors:
Adam J. Harper,
Kannan Soundararajan
Abstract:
We develop a general method for lower bounding the variance of sequences in arithmetic progressions mod $q$, summed over all $q \leq Q$, building on previous work of Liu, Perelli, Hooley, and others. The proofs lower bound the variance by the minor arc contribution in the circle method, which we lower bound by comparing with suitable auxiliary exponential sums that are easier to understand.
As a…
▽ More
We develop a general method for lower bounding the variance of sequences in arithmetic progressions mod $q$, summed over all $q \leq Q$, building on previous work of Liu, Perelli, Hooley, and others. The proofs lower bound the variance by the minor arc contribution in the circle method, which we lower bound by comparing with suitable auxiliary exponential sums that are easier to understand.
As an application, we prove a lower bound of $(1-ε) QN\log(Q^2/N)$ for the variance of the von Mangoldt function $(Λ(n))_{n=1}^{N}$, on the range $\sqrt{N} (\log N)^C \leq Q \leq N$. Previously such a result was only available assuming the Riemann Hypothesis. We also prove a lower bound $\gg_{k,δ} Q N (\log N)^{k^2 - 1}$ for the variance of the divisor functions $d_k(n)$, valid on the range $N^{1/2+δ} \leq Q \leq N$, for any natural number $k \geq 2$.
△ Less
Submitted 5 February, 2016;
originally announced February 2016.
-
Orderings of weakly correlated random variables, and prime number races with many contestants
Authors:
Adam J. Harper,
Youness Lamzouri
Abstract:
We investigate the race between prime numbers in many residue classes modulo $q$, assuming the standard conjectures GRH and LI.
Among our results we exhibit, for the first time, prime races modulo $q$ with $n$ competitor classes where the biases do not dissolve when $n, q\to \infty$. We also study the leaders in the prime number race, obtaining asymptotic formulae for logarithmic densities when…
▽ More
We investigate the race between prime numbers in many residue classes modulo $q$, assuming the standard conjectures GRH and LI.
Among our results we exhibit, for the first time, prime races modulo $q$ with $n$ competitor classes where the biases do not dissolve when $n, q\to \infty$. We also study the leaders in the prime number race, obtaining asymptotic formulae for logarithmic densities when the number of competitors can be as large as a power of $q$, whereas previous methods could only allow a power of $\log q$.
The proofs use harmonic analysis related to the Hardy--Littlewood circle method to control the average size of correlations in prime number races. They also use various probabilistic tools, including an exchangeable pairs version of Stein's method, normal comparison tools, and conditioning arguments. In the process we derive some general results about orderings of weakly correlated random variables, which may be of independent interest.
△ Less
Submitted 23 September, 2015;
originally announced September 2015.
-
Maxima of a randomized Riemann zeta function, and branching random walks
Authors:
Louis-Pierre Arguin,
David Belius,
Adam J. Harper
Abstract:
A recent conjecture of Fyodorov--Hiary--Keating states that the maximum of the absolute value of the Riemann zeta function on a typical bounded interval of the critical line is $\exp\{\log \log T -\frac{3}{4}\log \log \log T+O(1)\}$, for an interval at (large) height $T$. In this paper, we verify the first two terms in the exponential for a model of the zeta function, which is essentially a random…
▽ More
A recent conjecture of Fyodorov--Hiary--Keating states that the maximum of the absolute value of the Riemann zeta function on a typical bounded interval of the critical line is $\exp\{\log \log T -\frac{3}{4}\log \log \log T+O(1)\}$, for an interval at (large) height $T$. In this paper, we verify the first two terms in the exponential for a model of the zeta function, which is essentially a randomized Euler product. The critical element of the proof is the identification of an approximate tree structure, present also in the actual zeta function, which allows us to relate the maximum to that of a branching random walk.
△ Less
Submitted 28 December, 2015; v1 submitted 1 June, 2015;
originally announced June 2015.
-
A note on Helson's conjecture on moments of random multiplicative functions
Authors:
Adam J. Harper,
Ashkan Nikeghbali,
Maksym Radziwiłł
Abstract:
We give lower bounds for the small moments of the sum of a random multiplicative function, which improve on some results of Bondarenko and Seip and constitute further progress towards (dis)proving a conjecture of Helson. We also prove asymptotics for the even integer moments. The latter have also been obtained very recently and independently by Heap and Lindqvist. Our proofs involve general lower…
▽ More
We give lower bounds for the small moments of the sum of a random multiplicative function, which improve on some results of Bondarenko and Seip and constitute further progress towards (dis)proving a conjecture of Helson. We also prove asymptotics for the even integer moments. The latter have also been obtained very recently and independently by Heap and Lindqvist. Our proofs involve general lower bound techniques for random multiplicative functions, mean value results for multiplicative functions in several variables, and some calculations with Birkhoff polytopes.
△ Less
Submitted 6 May, 2015;
originally announced May 2015.
-
Mean values of multiplicative functions over function fields
Authors:
Andrew Granville,
Adam J. Harper,
Kannan Soundararajan
Abstract:
We discuss the mean values of multiplicative functions over function fields. In particular, we adapt the authors' new proof of Halasz's theorem on mean values to this simpler setting. Several of the technical difficulties that arise over the integers disappear in the function field setting, which helps bring out more clearly the main ideas of the proofs over number fields. We also obtain Lipschitz…
▽ More
We discuss the mean values of multiplicative functions over function fields. In particular, we adapt the authors' new proof of Halasz's theorem on mean values to this simpler setting. Several of the technical difficulties that arise over the integers disappear in the function field setting, which helps bring out more clearly the main ideas of the proofs over number fields. We also obtain Lipschitz estimates showing the slow variation of mean values of multiplicative functions over function fields, which display some features that are not present in the integer situation.
△ Less
Submitted 21 April, 2015;
originally announced April 2015.
-
Derived Koszul duality and TQ-homology completion of structured ring spectra
Authors:
Michael Ching,
John E. Harper
Abstract:
Working in the context of symmetric spectra, we consider any higher algebraic structures that can be described as algebras over an operad O. We prove that the fundamental adjunction comparing O-algebra spectra with coalgebra spectra over the associated comonad K, via topological Quillen homology (or TQ-homology), can be turned into an equivalence of homotopy theories by replacing O-algebras with t…
▽ More
Working in the context of symmetric spectra, we consider any higher algebraic structures that can be described as algebras over an operad O. We prove that the fundamental adjunction comparing O-algebra spectra with coalgebra spectra over the associated comonad K, via topological Quillen homology (or TQ-homology), can be turned into an equivalence of homotopy theories by replacing O-algebras with the full subcategory of 0-connected O-algebras. This resolves in the affirmative the 0-connected case of a conjecture of Francis-Gaitsgory.
This derived Koszul duality result can be thought of as the spectral algebra analog of the fundamental work of Quillen and Sullivan on the rational homotopy theory of spaces, and the subsequent p-adic and integral work of Goerss and Mandell on cochains and homotopy type---the following are corollaries of our main result: (i) 0-connected O-algebra spectra are weakly equivalent if and only if their TQ-homology spectra are weakly equivalent as derived K-coalgebras, and (ii) if a K-coalgebra spectrum is 0-connected and cofibrant, then it comes from the TQ-homology spectrum of an O-algebra. We construct the spectral algebra analog of the unstable Adams spectral sequence that starts from the TQ-homology groups TQ_*(X) of an O-algebra X, and prove that it converges strongly to pi_*(X) when X is 0-connected.
△ Less
Submitted 23 July, 2015; v1 submitted 24 February, 2015;
originally announced February 2015.
-
Minor arcs, mean values, and restriction theory for exponential sums over smooth numbers
Authors:
Adam J. Harper
Abstract:
We investigate exponential sums over those numbers $\leq x$ all of whose prime factors are $\leq y$. We prove fairly good minor arc estimates, valid whenever $\log^{3}x \leq y \leq x^{1/3}$. Then we prove sharp upper bounds for the $p$-th moment of (possibly weighted) sums, for any real $p > 2$ and $\log^{C(p)}x \leq y \leq x$. Our proof develops an argument of Bourgain, showing this can succeed w…
▽ More
We investigate exponential sums over those numbers $\leq x$ all of whose prime factors are $\leq y$. We prove fairly good minor arc estimates, valid whenever $\log^{3}x \leq y \leq x^{1/3}$. Then we prove sharp upper bounds for the $p$-th moment of (possibly weighted) sums, for any real $p > 2$ and $\log^{C(p)}x \leq y \leq x$. Our proof develops an argument of Bourgain, showing this can succeed without strong major arc information, and roughly speaking it would give sharp moment bounds and restriction estimates for any set sufficiently factorable relative to its density.
By combining our bounds with major arc estimates of Drappeau, we obtain an asymptotic for the number of solutions of $a+b=c$ in $y$-smooth integers less than $x$, whenever $\log^{C}x \leq y \leq x$. Previously this was only known assuming the Generalised Riemann Hypothesis. Combining them with transference machinery of Green, we prove Roth's theorem for subsets of the $y$-smooth numbers, whenever $\log^{C}x \leq y \leq x$. This provides a deterministic set, of size $\approx x^{1-c}$, inside which Roth's theorem holds.
△ Less
Submitted 7 August, 2014;
originally announced August 2014.
-
Pickands' constant $H_α$ does not equal $1/Γ(1/α)$, for small $α$
Authors:
Adam J. Harper
Abstract:
Pickands' constants $H_α$ appear in various classical limit results about tail probabilities of suprema of Gaussian processes. It is an often quoted conjecture that perhaps $H_α = 1/Γ(1/α)$ for all $0 < α\leq 2$, but it is also frequently observed that this doesn't seem compatible with evidence coming from simulations.
We prove the conjecture is false for small $α$, and in fact that…
▽ More
Pickands' constants $H_α$ appear in various classical limit results about tail probabilities of suprema of Gaussian processes. It is an often quoted conjecture that perhaps $H_α = 1/Γ(1/α)$ for all $0 < α\leq 2$, but it is also frequently observed that this doesn't seem compatible with evidence coming from simulations.
We prove the conjecture is false for small $α$, and in fact that $H_α \geq (1.1527)^{1/α}/Γ(1/α)$ for all sufficiently small $α$. The proof is a refinement of the "conditioning and comparison" approach to lower bounds for upper tail probabilities, developed in a previous paper of the author. Some calculations of hitting probabilities for Brownian motion are also involved.
△ Less
Submitted 22 April, 2014;
originally announced April 2014.
-
Higher homotopy excision and Blakers-Massey theorems for structured ring spectra
Authors:
Michael Ching,
John E. Harper
Abstract:
Working in the context of symmetric spectra, we prove higher homotopy excision and higher Blakers-Massey theorems, and their duals, for algebras and left modules over operads in the category of modules over a commutative ring spectrum (e.g., structured ring spectra).
Working in the context of symmetric spectra, we prove higher homotopy excision and higher Blakers-Massey theorems, and their duals, for algebras and left modules over operads in the category of modules over a commutative ring spectrum (e.g., structured ring spectra).
△ Less
Submitted 5 May, 2016; v1 submitted 19 February, 2014;
originally announced February 2014.
-
Inverse questions for the large sieve
Authors:
Ben J. Green,
Adam J. Harper
Abstract:
Suppose that an infinite set $A$ occupies at most $\frac{1}{2}(p+1)$ residue classes modulo $p$, for every sufficiently large prime $p$. The squares, or more generally the integer values of any quadratic, are an example of such a set. By the large sieve inequality the number of elements of $A$ that are at most $X$ is $O(X^{1/2})$, and the quadratic examples show that this is sharp. The simplest fo…
▽ More
Suppose that an infinite set $A$ occupies at most $\frac{1}{2}(p+1)$ residue classes modulo $p$, for every sufficiently large prime $p$. The squares, or more generally the integer values of any quadratic, are an example of such a set. By the large sieve inequality the number of elements of $A$ that are at most $X$ is $O(X^{1/2})$, and the quadratic examples show that this is sharp. The simplest form of the inverse large sieve problem asks whether they are the only examples. We prove a variety of results and formulate various conjectures in connection with this problem, including several improvements of the large sieve bound when the residue classes occupied by $A$ have some additive structure. Unfortunately we cannot solve the problem itself.
△ Less
Submitted 24 November, 2013;
originally announced November 2013.
-
Additive decompositions of sets with restricted prime factors
Authors:
Christian Elsholtz,
Adam J. Harper
Abstract:
We investigate sumset decompositions of quite general sets with restricted prime factors. We manage to handle certain sets, such as the smooth numbers, even though they have little sieve amenability, and conclude that these sets cannot be written as a ternary sumset. This proves a conjecture by Sárközy. We also clean up and sharpen existing results on sumset decompositions of the prime numbers.
We investigate sumset decompositions of quite general sets with restricted prime factors. We manage to handle certain sets, such as the smooth numbers, even though they have little sieve amenability, and conclude that these sets cannot be written as a ternary sumset. This proves a conjecture by Sárközy. We also clean up and sharpen existing results on sumset decompositions of the prime numbers.
△ Less
Submitted 3 September, 2013;
originally announced September 2013.
-
Sharp conditional bounds for moments of the Riemann zeta function
Authors:
Adam J. Harper
Abstract:
We prove, assuming the Riemann Hypothesis, that \int_{T}^{2T} |ζ(1/2+it)|^{2k} dt \ll_{k} T log^{k^{2}} T for any fixed k \geq 0 and all large T. This is sharp up to the value of the implicit constant.
Our proof builds on well known work of Soundararajan, who showed, assuming the Riemann Hypothesis, that \int_{T}^{2T} |ζ(1/2+it)|^{2k} dt \ll_{k,ε} T log^{k^{2}+ε} T for any fixed k \geq 0 and ε>…
▽ More
We prove, assuming the Riemann Hypothesis, that \int_{T}^{2T} |ζ(1/2+it)|^{2k} dt \ll_{k} T log^{k^{2}} T for any fixed k \geq 0 and all large T. This is sharp up to the value of the implicit constant.
Our proof builds on well known work of Soundararajan, who showed, assuming the Riemann Hypothesis, that \int_{T}^{2T} |ζ(1/2+it)|^{2k} dt \ll_{k,ε} T log^{k^{2}+ε} T for any fixed k \geq 0 and ε> 0. Whereas Soundararajan bounded \log|ζ(1/2+it)| by a single Dirichlet polynomial, and investigated how often it attains large values, we bound \log|ζ(1/2+it)| by a sum of many Dirichlet polynomials and investigate the joint behaviour of all of them. We also work directly with moments throughout, rather than passing through estimates for large values.
△ Less
Submitted 20 May, 2013;
originally announced May 2013.
-
A note on the maximum of the Riemann zeta function, and log-correlated random variables
Authors:
Adam J. Harper
Abstract:
In recent work, Fyodorov and Keating conjectured the maximum size of $|ζ(1/2+it)|$ in a typical interval of length O(1) on the critical line. They did this by modelling the zeta function by the characteristic polynomial of a random matrix; relating the random matrix problem to another problem from statistical mechanics; and applying a heuristic analysis of that problem.
In this note we recover a…
▽ More
In recent work, Fyodorov and Keating conjectured the maximum size of $|ζ(1/2+it)|$ in a typical interval of length O(1) on the critical line. They did this by modelling the zeta function by the characteristic polynomial of a random matrix; relating the random matrix problem to another problem from statistical mechanics; and applying a heuristic analysis of that problem.
In this note we recover a conjecture like that of Fyodorov and Keating, but using a different model for $|ζ(1/2+it)|$ in terms of a random Euler product. In this case the probabilistic model reduces to studying the supremum of Gaussian random variables with logarithmic correlations, and can be analysed rigorously.
△ Less
Submitted 2 April, 2013;
originally announced April 2013.
-
Morse Matchings on a Hypersimplex
Authors:
Jacob Harper
Abstract:
We present a family of complete acyclic Morse matchings on the face lattice of a hypersimplex. Since a hypersimplex is a convex polytope, there is a natural way to form a CW complex from its faces. In a future paper we will utilize these matchings to classify every subcomplex whose reduced homology groups are concentrated in a single degree and describe a homology basis for each of them.
We present a family of complete acyclic Morse matchings on the face lattice of a hypersimplex. Since a hypersimplex is a convex polytope, there is a natural way to form a CW complex from its faces. In a future paper we will utilize these matchings to classify every subcomplex whose reduced homology groups are concentrated in a single degree and describe a homology basis for each of them.
△ Less
Submitted 7 November, 2012;
originally announced November 2012.
-
Bombieri--Vinogradov and Barban--Davenport--Halberstam type theorems for smooth numbers
Authors:
Adam J. Harper
Abstract:
We prove Bombieri--Vinogradov and Barban--Davenport--Halberstam type theorems for the y-smooth numbers less than x, on the range log^{K}x \leq y \leq x. This improves on the range \exp{log^{2/3 + ε}x} \leq y \leq x that was previously available. Our proofs combine zero-density methods with direct applications of the large sieve, which seems to be an essential feature and allows us to cope with the…
▽ More
We prove Bombieri--Vinogradov and Barban--Davenport--Halberstam type theorems for the y-smooth numbers less than x, on the range log^{K}x \leq y \leq x. This improves on the range \exp{log^{2/3 + ε}x} \leq y \leq x that was previously available. Our proofs combine zero-density methods with direct applications of the large sieve, which seems to be an essential feature and allows us to cope with the sparseness of the smooth numbers. We also obtain improved individual (i.e. not averaged) estimates for character sums over smooth numbers.
△ Less
Submitted 29 August, 2012;
originally announced August 2012.
-
A bordered Legendrian contact algebra
Authors:
John G. Harper,
Michael G. Sullivan
Abstract:
Sivek proves a "van Kampen" decomposition theorem for the combinatorial Legendrian contact algebra (also known as the Chekanov-Eliashberg algebra) of knots in standard contact $\R^3$ . We prove an analogous result for the holomorphic curve version of the Legendrian contact algebra of certain Legendrians submanifolds in standard contact $J^1(M).$ This includes all 1- and 2-dimensional Legendrians,…
▽ More
Sivek proves a "van Kampen" decomposition theorem for the combinatorial Legendrian contact algebra (also known as the Chekanov-Eliashberg algebra) of knots in standard contact $\R^3$ . We prove an analogous result for the holomorphic curve version of the Legendrian contact algebra of certain Legendrians submanifolds in standard contact $J^1(M).$ This includes all 1- and 2-dimensional Legendrians, and some higher dimensional ones. We present various applications including a Mayer-Vietoris sequence for linearized contact homology similar to Sivek's and a connect sum formula for the augmentation variety introduced by Ng. The main tool is the theory of gradient flow trees developed by Ekholm.
△ Less
Submitted 29 April, 2012; v1 submitted 9 April, 2012;
originally announced April 2012.
-
Homology Representations Arising from a Hypersimplex
Authors:
Jacob T. Harper
Abstract:
We present a complete acyclic matching of the Hasse diagram associated with the face lattice of a hypersimplex. Since a hypersimplex is a convex polytope, there is a natural way to form a CW complex from its faces. We will then utilize this matching along with discrete Morse theory and some topological techniques to classify every subcomplex whose reduced homology groups are concentrated in a sing…
▽ More
We present a complete acyclic matching of the Hasse diagram associated with the face lattice of a hypersimplex. Since a hypersimplex is a convex polytope, there is a natural way to form a CW complex from its faces. We will then utilize this matching along with discrete Morse theory and some topological techniques to classify every subcomplex whose reduced homology groups are concentrated in a single degree. These reduced homology groups support a natural action of the symmetric group and a description of the characters that this action produces is given.
△ Less
Submitted 30 August, 2011;
originally announced August 2011.
-
On finding many solutions to S-unit equations by solving linear equations on average
Authors:
Adam J. Harper
Abstract:
We give improved lower bounds for the number of solutions of some $S$-unit equations over the integers, by counting the solutions of some associated linear equations as the coefficients in those equations vary over sparse sets. This method is quite conceptually straightforward, although its successful implementation involves, amongst other things, a slightly subtle use of a large sieve inequality.…
▽ More
We give improved lower bounds for the number of solutions of some $S$-unit equations over the integers, by counting the solutions of some associated linear equations as the coefficients in those equations vary over sparse sets. This method is quite conceptually straightforward, although its successful implementation involves, amongst other things, a slightly subtle use of a large sieve inequality. We also present two other results about solving linear equations on average over their coefficients.
△ Less
Submitted 18 August, 2011;
originally announced August 2011.
-
Morse matchings on polytopes
Authors:
R. M. Green,
Jacob T. Harper
Abstract:
We show how to construct homology bases for certain CW complexes in terms of discrete Morse theory and cellular homology. We apply this technique to study certain subcomplexes of the half cube polytope studied in previous works. This involves constructing explicit complete acyclic Morse matchings on the face lattice of the half cube; this procedure may be of independent interest for other highly s…
▽ More
We show how to construct homology bases for certain CW complexes in terms of discrete Morse theory and cellular homology. We apply this technique to study certain subcomplexes of the half cube polytope studied in previous works. This involves constructing explicit complete acyclic Morse matchings on the face lattice of the half cube; this procedure may be of independent interest for other highly symmetric polytopes.
△ Less
Submitted 25 July, 2011;
originally announced July 2011.
-
On a paper of K. Soundararajan on smooth numbers in arithmetic progressions
Authors:
Adam J. Harper
Abstract:
In a recent paper, K. Soundararajan showed, roughly speaking, that the integers smaller than x whose prime factors are less than y are asymptotically equidistributed in arithmetic progressions to modulus q, provided that y^{4\sqrt{e}-δ} \geq q and that y is neither too large nor too small compared with x. We show that these latter restrictions on y are unnecessary, thereby proving a conjecture of…
▽ More
In a recent paper, K. Soundararajan showed, roughly speaking, that the integers smaller than x whose prime factors are less than y are asymptotically equidistributed in arithmetic progressions to modulus q, provided that y^{4\sqrt{e}-δ} \geq q and that y is neither too large nor too small compared with x. We show that these latter restrictions on y are unnecessary, thereby proving a conjecture of Soundararajan. Our argument uses a simple majorant principle for trigonometric sums to handle a saddle point that is close to 1.
△ Less
Submitted 10 March, 2011;
originally announced March 2011.
-
Homotopy completion and topological Quillen homology of structured ring spectra
Authors:
John E. Harper,
Kathryn Hess
Abstract:
Working in the context of symmetric spectra, we describe and study a homotopy completion tower for algebras and left modules over operads in the category of modules over a commutative ring spectrum (e.g., structured ring spectra). We prove a strong convergence theorem that for 0-connected algebras and modules over a (-1)-connected operad, the homotopy completion tower interpolates (in a strong sen…
▽ More
Working in the context of symmetric spectra, we describe and study a homotopy completion tower for algebras and left modules over operads in the category of modules over a commutative ring spectrum (e.g., structured ring spectra). We prove a strong convergence theorem that for 0-connected algebras and modules over a (-1)-connected operad, the homotopy completion tower interpolates (in a strong sense) between topological Quillen homology and the identity functor.
By systematically exploiting strong convergence, we prove several theorems concerning the topological Quillen homology of algebras and modules over operads. These include a theorem relating finiteness properties of topological Quillen homology groups and homotopy groups that can be thought of as a spectral algebra analog of Serre's finiteness theorem for spaces and H.R. Miller's boundedness result for simplicial commutative rings (but in reverse form). We also prove absolute and relative Hurewicz theorems and a corresponding Whitehead theorem for topological Quillen homology. Furthermore, we prove a rigidification theorem, which we use to describe completion with respect to topological Quillen homology (or TQ-completion). The TQ-completion construction can be thought of as a spectral algebra analog of Sullivan's localization and completion of spaces, Bousfield-Kan's completion of spaces with respect to homology, and Carlsson's and Arone-Kankaanrinta's completion and localization of spaces with respect to stable homotopy. We prove analogous results for algebras and left modules over operads in unbounded chain complexes.
△ Less
Submitted 6 February, 2013; v1 submitted 7 February, 2011;
originally announced February 2011.
-
Bounds on the suprema of Gaussian processes, and omega results for the sum of a random multiplicative function
Authors:
Adam J. Harper
Abstract:
We prove new lower bounds for the upper tail probabilities of suprema of Gaussian processes. Unlike many existing bounds, our results are not asymptotic, but supply strong information when one is only a little into the upper tail. We present an extended application to a Gaussian version of a random process studied by Halasz. This leads to much improved lower bound results for the sum of a random m…
▽ More
We prove new lower bounds for the upper tail probabilities of suprema of Gaussian processes. Unlike many existing bounds, our results are not asymptotic, but supply strong information when one is only a little into the upper tail. We present an extended application to a Gaussian version of a random process studied by Halasz. This leads to much improved lower bound results for the sum of a random multiplicative function. We further illustrate our methods by improving lower bounds for some classical constants from extreme value theory, the Pickands constants $H_α$, as $α\rightarrow 0$.
△ Less
Submitted 22 February, 2013; v1 submitted 1 December, 2010;
originally announced December 2010.
-
On the limit distributions of some sums of a random multiplicative function
Authors:
Adam J. Harper
Abstract:
We study sums of a random multiplicative function; this is an example, of number-theoretic interest, of sums of products of independent random variables (chaoses). Using martingale methods, we establish a normal approximation for the sum over those n \leq x with k distinct prime factors, provided that k = o(log log x) as x \rightarrow \infty. We estimate the fourth moments of these sums, and use a…
▽ More
We study sums of a random multiplicative function; this is an example, of number-theoretic interest, of sums of products of independent random variables (chaoses). Using martingale methods, we establish a normal approximation for the sum over those n \leq x with k distinct prime factors, provided that k = o(log log x) as x \rightarrow \infty. We estimate the fourth moments of these sums, and use a conditioning argument to show that if k is of the order of magnitude of log log x then the analogous normal limit theorem does not hold. The methods extend to treat the sum over those n \leq x with at most k distinct prime factors, and in particular the sum over all n \leq x. We also treat a substantially generalised notion of random multiplicative function.
△ Less
Submitted 1 December, 2010;
originally announced December 2010.
-
Bar constructions and Quillen homology of modules over operads
Authors:
John E. Harper
Abstract:
We show that topological Quillen homology of algebras and modules over operads in symmetric spectra can be calculated by realizations of simplicial bar constructions. Working with several model category structures, we give a homotopical proof after showing that certain homotopy colimits in algebras and modules over operads can be easily understood. A key result here, which lies at the heart of t…
▽ More
We show that topological Quillen homology of algebras and modules over operads in symmetric spectra can be calculated by realizations of simplicial bar constructions. Working with several model category structures, we give a homotopical proof after showing that certain homotopy colimits in algebras and modules over operads can be easily understood. A key result here, which lies at the heart of this paper, is showing that the forgetful functor commutes with certain homotopy colimits. We also prove analogous results for algebras and modules over operads in unbounded chain complexes.
△ Less
Submitted 27 September, 2009; v1 submitted 15 February, 2008;
originally announced February 2008.
-
Homotopy theory of modules over operads in symmetric spectra
Authors:
John E. Harper
Abstract:
We establish model category structures on algebras and modules over operads in symmetric spectra, and study when a morphism of operads induces a Quillen equivalence between corresponding categories of algebras (resp. modules) over operads.
We establish model category structures on algebras and modules over operads in symmetric spectra, and study when a morphism of operads induces a Quillen equivalence between corresponding categories of algebras (resp. modules) over operads.
△ Less
Submitted 15 May, 2014; v1 submitted 31 December, 2007;
originally announced January 2008.
-
Homotopy theory of modules over operads and non-Sigma operads in monoidal model categories
Authors:
John E. Harper
Abstract:
This paper studies the existence of model category structures on algebras and modules over operads in monoidal model categories.
This paper studies the existence of model category structures on algebras and modules over operads in monoidal model categories.
△ Less
Submitted 3 June, 2009; v1 submitted 31 December, 2007;
originally announced January 2008.
