Showing 1–20 of 20 results for author: Walsh, M

Stability under scaling in the local phases of multiplicative functions

Authors: Miguel N. Walsh

Abstract: We introduce a strategy to tackle some known obstructions of current approaches to the Fourier uniformity conjecture. Assuming GRH, we then show the conjecture holds for intervals of length at least $(\log X)^{ψ(X)}$, with $ψ(X) \rightarrow \infty$ an arbitrarily slowly growing function of $X$. We expect the methods should adapt to nilsequences, thus also showing that the Generalised Riemann Hypot… ▽ More We introduce a strategy to tackle some known obstructions of current approaches to the Fourier uniformity conjecture. Assuming GRH, we then show the conjecture holds for intervals of length at least $(\log X)^{ψ(X)}$, with $ψ(X) \rightarrow \infty$ an arbitrarily slowly growing function of $X$. We expect the methods should adapt to nilsequences, thus also showing that the Generalised Riemann Hypothesis implies close to exponential growth in the sign patterns of the Liouville function. △ Less

Submitted 11 October, 2023; originally announced October 2023.

Comments: 34 pages

Phase relations and pyramids

Authors: Miguel N. Walsh

Abstract: We develop tools to study the averaged Fourier uniformity conjecture and extend its known range of validity to intervals of length at least $\exp(C (\log X)^{1/2} (\log \log X)^{1/2})$. We develop tools to study the averaged Fourier uniformity conjecture and extend its known range of validity to intervals of length at least $\exp(C (\log X)^{1/2} (\log \log X)^{1/2})$. △ Less

Submitted 19 April, 2023; originally announced April 2023.

Comments: 14 pages

Positive $(p, n)$-intermediate scalar curvature and cobordism

Authors: Matthew Burkemper, Catherine Searle, Mark Walsh

Abstract: In this paper we consider a well-known construction due to Gromov and Lawson, Schoen and Yau, Gajer, and Walsh which allows for the extension of a metric of positive scalar curvature over the trace of a surgery in codimension at least $3$ to a metric of positive scalar curvature which is a product near the boundary. We generalize this construction to work for $(p,n)$-intermediate scalar curvature… ▽ More In this paper we consider a well-known construction due to Gromov and Lawson, Schoen and Yau, Gajer, and Walsh which allows for the extension of a metric of positive scalar curvature over the trace of a surgery in codimension at least $3$ to a metric of positive scalar curvature which is a product near the boundary. We generalize this construction to work for $(p,n)$-intermediate scalar curvature for $0\leq p\leq n-2$ for surgeries in codimension at least $p+3$. We then use it to generalize a well known theorem of Carr. Letting ${\cal R}^{s_{p,n}>0}(M)$ denote the space of positive $(p, n)$-intermediate scalar curvature metrics on an $n$-manifold $M$, we show for $0\leq p\leq 2n-3$ and $n\geq 2$, that for a closed, spin, $(4n-1)$-manifold $M$ admitting a metric of positive $(p,4n-1)$-intermediate scalar curvature, ${\cal R}^{s_{p,4n-1}>0}(M)$ has infinitely many path components. △ Less

Submitted 22 October, 2021; originally announced October 2021.

MSC Class: 53C21; 57R65

Jet Graphs

Authors: Federico Galetto, Elisabeth Helmick, Molly Walsh

Abstract: We define an operation of jets on graphs inspired by the corresponding notion in commutative algebra and algebraic geometry. We examine a few graph theoretic properties and invariants of this construction, including chromatic numbers, co-chordality, and vertex covers. We define an operation of jets on graphs inspired by the corresponding notion in commutative algebra and algebraic geometry. We examine a few graph theoretic properties and invariants of this construction, including chromatic numbers, co-chordality, and vertex covers. △ Less

Submitted 28 June, 2021; v1 submitted 18 April, 2021; originally announced April 2021.

Comments: fixed some typos, cleaned up notations, figures, and examples

MSC Class: 13F55; 05E40; 05C25; 05C69; 05C76

Journal ref: Involve 14 (2021) 793-812

Local uniformity through larger scales

Authors: Miguel N. Walsh

Abstract: By associating frequencies to larger scales, we provide a simpler way to derive local uniformity of multiplicative functions on average from the results of Matomäki-Radziwill. By associating frequencies to larger scales, we provide a simpler way to derive local uniformity of multiplicative functions on average from the results of Matomäki-Radziwill. △ Less

Submitted 10 February, 2021; originally announced February 2021.

Comments: 9 pages

H-Space and Loop Space Structures for Intermediate Curvatures

Authors: Mark Walsh, David J. Wraith

Abstract: For dimensions $n\geq 3$ and $k\in\{2, \cdots, n\}$, we show that the space of metrics of $k$-positive Ricci curvature on the sphere $S^{n}$ has the structure of an $H$-space with a homotopy commutative, homotopy associative product operation. We further show, using the theory of operads and results of Boardman, Vogt and May that the path component of this space containing the round metric is weak… ▽ More For dimensions $n\geq 3$ and $k\in\{2, \cdots, n\}$, we show that the space of metrics of $k$-positive Ricci curvature on the sphere $S^{n}$ has the structure of an $H$-space with a homotopy commutative, homotopy associative product operation. We further show, using the theory of operads and results of Boardman, Vogt and May that the path component of this space containing the round metric is weakly homotopy equivalent to an $n$-fold loop space. △ Less

Submitted 27 August, 2020; originally announced August 2020.

Comments: 37 pages, 7 figures

MSC Class: 58J60; 55P10; 53C21

Homotopy invariance of the space of metrics with positive scalar curvature on manifolds with singularities

Authors: Boris Botvinnik, Mark Walsh

Abstract: In this paper we study manifolds, $X_Σ$, with fibred singularities, more specifically, a relevant space ${\mathcal R}^{\rm psc}(X_Σ)$ of Riemannian metrics with positive scalar curvature. Our main goal is to prove that the space ${\mathcal R}^{\rm psc}(X_Σ)$ is homotopy invariant under certain surgeries on $X_Σ$. In this paper we study manifolds, $X_Σ$, with fibred singularities, more specifically, a relevant space ${\mathcal R}^{\rm psc}(X_Σ)$ of Riemannian metrics with positive scalar curvature. Our main goal is to prove that the space ${\mathcal R}^{\rm psc}(X_Σ)$ is homotopy invariant under certain surgeries on $X_Σ$. △ Less

Submitted 6 April, 2021; v1 submitted 6 May, 2020; originally announced May 2020.

Comments: 27 pages, 4 figures

MSC Class: 53C27; 57R65; 58J05; 58J50

Journal ref: SIGMA 17 (2021), 034, 27 pages

Concentration estimates for algebraic intersections

Authors: Miguel N. Walsh

Abstract: We present an approach over arbitrary fields to bound the degree of intersection of families of varieties in terms of how these concentrate on algebraic sets of smaller codimension. This provides in particular a substantial extension of the method of degree-reduction that enables it to deal efficiently with higher-dimensional problems and also with high-degree varieties. We obtain sharp bounds tha… ▽ More We present an approach over arbitrary fields to bound the degree of intersection of families of varieties in terms of how these concentrate on algebraic sets of smaller codimension. This provides in particular a substantial extension of the method of degree-reduction that enables it to deal efficiently with higher-dimensional problems and also with high-degree varieties. We obtain sharp bounds that are new even in the case of lines in $\mathbb{R}^n$ and show that besides doubly-ruled varieties, only a certain rare family of varieties can be relevant for the study of incidence questions. △ Less

Submitted 26 December, 2019; v1 submitted 13 June, 2019; originally announced June 2019.

Comments: 37 pages

The polynomial method over varieties

Authors: Miguel N. Walsh

Abstract: We establish sharp estimates that adapt the polynomial method to arbitrary varieties. These include a partitioning theorem, estimates on polynomials vanishing on fixed sets and bounds for the number of connected components of real algebraic varieties. As a first application, we provide a general incidence estimate that is tight in its dependence on the size, degree and dimension of the varieties i… ▽ More We establish sharp estimates that adapt the polynomial method to arbitrary varieties. These include a partitioning theorem, estimates on polynomials vanishing on fixed sets and bounds for the number of connected components of real algebraic varieties. As a first application, we provide a general incidence estimate that is tight in its dependence on the size, degree and dimension of the varieties involved. △ Less

Submitted 12 June, 2020; v1 submitted 19 November, 2018; originally announced November 2018.

Comments: 36 pages

Homotopy groups of the observer moduli space of Ricci positive metrics

Authors: Boris Botvinnik, Mark G. Walsh, David J. Wraith

Abstract: The observer moduli space of Riemannian metrics is the quotient of the space $\mathcal{R}(M)$ of all Riemannian metrics on a manifold $M$ by the group of diffeomorphisms $\mathrm{Diff}_{x_0}(M)$ which fix both a basepoint $x_0$ and the tangent space at $x_0$. The group $\mathrm{Diff}_{x_0}(M)$ acts freely on $\mathcal{R}(M)$ providing $M$ is connected. This offers certain advantages over the class… ▽ More The observer moduli space of Riemannian metrics is the quotient of the space $\mathcal{R}(M)$ of all Riemannian metrics on a manifold $M$ by the group of diffeomorphisms $\mathrm{Diff}_{x_0}(M)$ which fix both a basepoint $x_0$ and the tangent space at $x_0$. The group $\mathrm{Diff}_{x_0}(M)$ acts freely on $\mathcal{R}(M)$ providing $M$ is connected. This offers certain advantages over the classic moduli space, which is the quotient by the full diffeomorphism group. Results due to Botvinnik, Hanke, Schick and Walsh, and to Hanke, Schick and Steimle have demonstrated that the higher homotopy groups of the observer moduli space $\mathcal{M}_{x_0}^{s>0}(M)$ of positive scalar curvature metrics are, in many cases, non-trivial. The aim in the current paper is to establish similar results for the moduli space $\mathcal{M}_{x_0}^{\mathrm{Ric}>0}(M)$ of metrics with positive Ricci curvature. In particular we show that for a given $k$, there are infinite order elements in the homotopy group $π_{4k}\mathcal{M}_{x_0}^{\mathrm{Ric}>0}(S^n)$ provided the dimension $n$ is odd and sufficiently large. In establishing this we make use of a gluing result of Perelman. We provide full details of the proof of this gluing theorem, which we believe have not appeared before in the literature. We also extend this to a family gluing theorem for Ricci positive manifolds. △ Less

Submitted 16 December, 2017; originally announced December 2017.

Comments: 28 pages, 8 figures

MSC Class: 53

Journal ref: Geom. Topol. 23 (2019) 3003-3040

The Space of Positive Scalar Curvature Metrics on a Manifold with Boundary

Authors: Mark Walsh

Abstract: We study the space of Riemannian metrics with positive scalar curvature on a compact manifold with boundary. These metrics extend a fixed boundary metric and take a product structure on a collar neighbourhood of the boundary. We show that the weak homotopy type of this space is preserved by certain surgeries on the boundary in co-dimension at least three. Thus, there is a weak homotopy equivalence… ▽ More We study the space of Riemannian metrics with positive scalar curvature on a compact manifold with boundary. These metrics extend a fixed boundary metric and take a product structure on a collar neighbourhood of the boundary. We show that the weak homotopy type of this space is preserved by certain surgeries on the boundary in co-dimension at least three. Thus, there is a weak homotopy equivalence between the space of such metrics on a simply connected spin manifold $W$, of dimension $n\geq 6$ and with simply connected boundary, and the corresponding space of metrics of positive scalar curvature on the standard disk $D^{n}$. Indeed, for certain boundary metrics, this space is weakly homotopy equivalent to the space of all metrics of positive scalar curvature on the standard sphere $S^{n}$. Finally, we prove analogous results for the more general space where the boundary metric is left unfixed. △ Less

Submitted 6 September, 2019; v1 submitted 10 November, 2014; originally announced November 2014.

Comments: 66 pages, 38 figures. Significantly updated version

MSC Class: 58J60; 55P10

Bounded rational points on curves

Authors: Miguel N. Walsh

Abstract: We establish the sharp estimate <<_d N^{2/d} for the number of rational points of height at most N on an irreducible projective curve of degree d. We deduce this from a result for general hypersurfaces that is sensitive to the coefficients of the corresponding form. We establish the sharp estimate <<_d N^{2/d} for the number of rational points of height at most N on an irreducible projective curve of degree d. We deduce this from a result for general hypersurfaces that is sensitive to the coefficients of the corresponding form. △ Less

Submitted 4 September, 2013; v1 submitted 2 August, 2013; originally announced August 2013.

Comments: 10 pages

The algebraicity of ill-distributed sets

Authors: Miguel N. Walsh

Abstract: We show that every set S in [N]^d occupying less than p^t residue classes for some real number t < d and every prime p, must essentially lie in the solution set of a polynomial equation of degree at most (log N)^C, for some constant C depending only on t and d. This provides the first structural result for arbitrary t < d and S. We show that every set S in [N]^d occupying less than p^t residue classes for some real number t < d and every prime p, must essentially lie in the solution set of a polynomial equation of degree at most (log N)^C, for some constant C depending only on t and d. This provides the first structural result for arbitrary t < d and S. △ Less

Submitted 9 September, 2013; v1 submitted 30 June, 2013; originally announced July 2013.

Comments: 8 pages

H-Spaces, Loop Spaces and the Space of Positive Scalar Curvature Metrics on the Sphere

Authors: Mark Walsh

Abstract: For dimensions n greater than or equal to 3, we show that the space of metrics of positive scalar curvature on the n-sphere is homotopy equivalent to a subspace which takes the form of a H-space with a homotopy commutative, homotopy associative product operation. This product operation is based on the connected sum construction. We then exhibit an action of the little n-disks operad on this subspa… ▽ More For dimensions n greater than or equal to 3, we show that the space of metrics of positive scalar curvature on the n-sphere is homotopy equivalent to a subspace which takes the form of a H-space with a homotopy commutative, homotopy associative product operation. This product operation is based on the connected sum construction. We then exhibit an action of the little n-disks operad on this subspace which, using results of Boardman, Vogt and May implies that when n=3 or n is at least 5, the space of metrics of positive scalar curvature on the n-sphere is weakly homotopy equivalent to an n-fold loop space. △ Less

Submitted 18 July, 2013; v1 submitted 23 January, 2013; originally announced January 2013.

Comments: 43 pages, 32 figures. In version 2 we added a line to the introduction acknowledging a relevant new result in the field. In version 3, we correct an error in the proof of the second main result

MSC Class: 53C99

Cobordism Invariance of the Homotopy Type of the Space of Positive Scalar Curvature Metrics

Authors: Mark Walsh

Abstract: We show that the homotopy type of the space of metrics of positive scalar curvature on a smooth manifold remains unchanged, after application of surgery in codimension at least three to the underlying manifold. This result is originally due to V. Chernysh, but remains unpublished. We show that the homotopy type of the space of metrics of positive scalar curvature on a smooth manifold remains unchanged, after application of surgery in codimension at least three to the underlying manifold. This result is originally due to V. Chernysh, but remains unpublished. △ Less

Submitted 30 September, 2011; originally announced September 2011.

Comments: 10 pages, 3 figures

Norm convergence of nilpotent ergodic averages

Authors: Miguel N. Walsh

Abstract: We show that multiple polynomial ergodic averages arising from nilpotent groups of measure preserving transformations of a probability space always converge in the L^2 norm. We show that multiple polynomial ergodic averages arising from nilpotent groups of measure preserving transformations of a probability space always converge in the L^2 norm. △ Less

Submitted 1 December, 2011; v1 submitted 13 September, 2011; originally announced September 2011.

Comments: 17 pages. Added further results and examples

MSC Class: 28D15; 37A30

The inverse sieve problem in high dimensions

Authors: Miguel N. Walsh

Abstract: We show that if a big set of integer points in [0,N]^d, d>1, occupies few residue classes mod p for many primes p, then it must essentially lie in the solution set of some polynomial equation of low degree. This answers a question of Helfgott and Venkatesh. We show that if a big set of integer points in [0,N]^d, d>1, occupies few residue classes mod p for many primes p, then it must essentially lie in the solution set of some polynomial equation of low degree. This answers a question of Helfgott and Venkatesh. △ Less

Submitted 28 June, 2011; v1 submitted 8 May, 2011; originally announced May 2011.

Comments: 15 pages. Added more examples in Section 5 and some minor changes

MSC Class: 11B30; 11N35

Journal ref: Duke Math. J. 161, no. 10 (2012), 2001-2022

Metrics of positive scalar curvature and generalised Morse functions, part II

Authors: Mark Walsh

Abstract: The surgery technique of Gromov and Lawson may be used to construct families of positive scalar curvature metrics which are parameterised by Morse functions. This has played an important role in the study of the space of metrics of positive scalar curvature on a smooth manifold and its corresponding moduli spaces. In this paper, we extend this technique to work for families of generalised Morse fu… ▽ More The surgery technique of Gromov and Lawson may be used to construct families of positive scalar curvature metrics which are parameterised by Morse functions. This has played an important role in the study of the space of metrics of positive scalar curvature on a smooth manifold and its corresponding moduli spaces. In this paper, we extend this technique to work for families of generalised Morse functions, i.e. smooth functions with both Morse and birth-death singularities. △ Less

Submitted 14 July, 2011; v1 submitted 12 October, 2009; originally announced October 2009.

Comments: 49 pages, 36 figures. This is a substantial revision of the previous version, containing a number of new results

Homotopy groups of the moduli space of metrics of positive scalar curvature

Authors: Boris Botvinnik, Bernhard Hanke, Thomas Schick, Mark Walsh

Abstract: We prove that for many degrees in a stable range the homotopy groups of the moduli space of metrics of positive scalar curvature on S^n and on other manifolds are non-trivial. This is achieved by further developing and then applying a family version of the surgery construction of Gromov-Lawson to an exotic smooth families of spheres due to Hatcher. As described, this works for all manifolds of… ▽ More We prove that for many degrees in a stable range the homotopy groups of the moduli space of metrics of positive scalar curvature on S^n and on other manifolds are non-trivial. This is achieved by further developing and then applying a family version of the surgery construction of Gromov-Lawson to an exotic smooth families of spheres due to Hatcher. As described, this works for all manifolds of suitable dimension and for the quotient of the space of metrics of positive scalar curvature by the (free) action of the subgroup of diffeomorphisms which fix a point and its tangent space. We also construct special manifolds where the quotient of the space of metrcis of positive scalar curvature by the full diffeomorphism group has non-trivial higher homotopy groups. △ Less

Submitted 19 October, 2009; v1 submitted 29 July, 2009; originally announced July 2009.

Comments: 19 pages, pdf-figures; version 2: Bernhard Hanke joined as coauthor, the paper contains a substantial new result: non-trivial higher homotopy groups for the full moduli space of metrics of positive scalar curvature on suitable manifolds

Journal ref: Geom. Topol. 14 (2010) 2047-2076

Metrics of positive scalar curvature and generalised Morse functions, part 1

Authors: Mark Walsh

Abstract: It is well known that isotopic metrics of positive scalar curvature are concordant. Whether or not the converse holds is an open question, at least in dimensions greater than four. We show that for a particular type of concordance, constructed using the surgery techniques of Gromov and Lawson, this converse holds in the case of closed simply connected manifolds of dimension at least five. It is well known that isotopic metrics of positive scalar curvature are concordant. Whether or not the converse holds is an open question, at least in dimensions greater than four. We show that for a particular type of concordance, constructed using the surgery techniques of Gromov and Lawson, this converse holds in the case of closed simply connected manifolds of dimension at least five. △ Less

Submitted 7 November, 2008; originally announced November 2008.

Comments: 81 pages, 61 figures

MSC Class: 58J53; 53C20