BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Diarmuid Crowley

Diarmuid Crowley appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.GTmath.ATmath.DGmath.SGmath.AG

Catalog footprint

What is connected

16works
5topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

16 published item(s)

preprint2023arXiv

Contact open books with flexible pages

We give an elementary topological obstruction for a manifold $M$ of dimension $2q{+}1 \geq 7$ to admit a contact open book with flexible Weinstein pages and $c_1(π_2(M)) = 0$: if the torsion subgroup of the $q$-th integral homology group is non-zero, then no such contact open book exists. We achieve this by proving that a symplectomorphism of a flexible Weinstein manifold acts trivially on cohomology. We also produce examples of non-trivial loops of flexible contact structures using related ideas.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Exotic G_2-manifolds

We exhibit the first examples of closed 7-dimensional Riemannian manifolds with holonomy G_2 that are homeomorphic but not diffeomorphic. These are also the first examples of closed Ricci-flat manifolds that are homeomorphic but not diffeomorphic. The examples are generated by applying the twisted connected sum construction to Fano 3-folds of Picard rank 1 and 2. The smooth structures are distinguished by the generalised Eells-Kuiper invariant introduced by the authors in arXiv:1406.2226.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

The rational homotopy type of (n-1)-connected manifolds of dimension up to 5n-3

We define the Bianchi-Massey tensor of a topological space X to be a linear map from a subquotient of the fourth tensor power of H*(X). We then prove that if M is a closed (n-1)-connected manifold of dimension at most 5n-3 (and n > 1) then its rational homotopy type is determined by its cohomology algebra and Bianchi-Massey tensor, and that M is formal if and only if the Bianchi-Massey tensor vanishes. We use the Bianchi-Massey tensor to show that there are many (n-1)-connected (4n-1)-manifolds that are not formal but have no non-zero Massey products, and to present a classification of simply-connected 7-manifolds up to finite ambiguity.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

The Topological Period-Index Conjecture for spin$^c$ 6-manifolds

The Topological Period-Index Conjecture is an hypothesis which relates the period and index of elements of the cohomological Brauer group of a space. It was identified by Antieau and Williams as a topological analogue of the Period-Index Conjecture for function fields. In this paper we show that the Topological Period-Index Conjecture holds and is in general sharp for spin$^c$ 6-manifolds. We also show that it fails in general for 6-manifolds.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

The classification of 2-connected 7-manifolds

We present a classification theorem for closed smooth spin 2-connected 7-manifolds M. This builds on the almost-smooth classification from the first author's thesis. The main additional ingredient is an extension of the Eells-Kuiper invariant for any closed spin 7-manifold, regardless of whether the spin characteristic class p_M in the fourth integral cohomology of M is torsion. In addition we determine the inertia group of 2-connected M - equivalently the number of oriented smooth structures on the underlying topological manifold - in terms of p_M and the torsion linking form.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Functorial semi-norms on singular homology and (in)flexible manifolds

A functorial semi-norm on singular homology is a collection of semi-norms on the singular homology groups of spaces such that continuous maps between spaces induce norm-decreasing maps in homology. Functorial semi-norms can be used to give constraints on the possible mapping degrees of maps between oriented manifolds. In this paper, we use information about the degrees of maps between manifolds to construct new functorial semi-norms with interesting properties. In particular, we answer a question of Gromov by providing a functorial semi-norm that takes finite positive values on homology classes of certain simply connected spaces. Our construction relies on the existence of simply connected manifolds that are inflexible in the sense that all their self-maps have degree -1, 0, or 1. The existence of such manifolds was first established by Arkowitz and Lupton; we extend their methods to produce a wide variety of such manifolds.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The topology of Stein fillable manifolds in high dimensions II

We continue our study of contact structures on manifolds of dimension at least five using complex surgery theory. We show that in each dimension 2q+1 > 3 there are 'maximal' almost contact manifolds to which there is a Stein cobordism from any other (2q+1)-dimensional contact manifold. We show that the product M x S^2 admits a weakly fillable contact structure provided M admits a weak symplectic filling. We also study the connection between Stein fillability and connected sums: we give examples of almost contact manifolds for which the connected sum is Stein fillable, while the components are not. Concerning obstructions to Stein fillings, we show that the (8k-1)-dimensional sphere has an almost contact structure which is not Stein fillable once k > 1. As a consequence we deduce that any highly connected almost contact (8k-1)-manifold (with k > 1) admits an almost contact structure which is not Stein fillable. The proofs rely on a new number-theoretic result about Bernoulli numbers.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

New invariants of G_2-structures

We define a Z/48-valued homotopy invariant nu of a G_2-structure on the tangent bundle of a closed 7-manifold in terms of the signature and Euler characteristic of a coboundary with a Spin(7)-structure. For manifolds of holonomy G_2 obtained by the twisted connected sum construction, the associated torsion-free G_2-structure always has nu = 24. Some holonomy G_2 examples constructed by Joyce by desingularising orbifolds have odd nu. We define a further homotopy invariant xi of G_2-structures such that if M is 2-connected then the pair (nu, xi) determines a G_2-structure up to homotopy and diffeomorphism. The class of a G_2-structure is determined by nu on its own when the greatest divisor of p_1(M) modulo torsion divides 224; this sufficient condition holds for many twisted connected sum G_2-manifolds. We also prove that the parametric h-principle holds for coclosed G_2-structures.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

The Gromoll filtration, KO-characteristic classes and metrics of positive scalar curvature

Let X be a closed m-dimensional spin manifold which admits a metric of positive scalar curvature and let Pos(X) be the space of all such metrics. For any g in Pos(X), Hitchin used the KO-valued alpha-invariant to define a homomorphism A_{n-1} from π_{n-1}(Pos(X) to KO_{m+n}. He then showed that A_0 is not 0 if m = 8k or 8k+1 and that A_1 is not 0 if m = 8k-1 or 8$. In this paper we use Hitchin's methods and extend these results by proving that A_{8j+1-m} is not 0 whenever m>6 and 8j - m >= 0. The new input are elements with non-trivial alpha-invariant deep down in the Gromoll filtration of the group Γ^{n+1} = π_0(\Diff(D^n, \del)). We show that α(Γ^{8j+2}_{8j-5}) is not 0 for j>0. This information about elements existing deep in the Gromoll filtration is the second main new result of this note.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The additivity of the $ρ$-invariant and periodicity in topological surgery

For a closed topological manifold M with dim (M) >= 5 the topological structure set S(M) admits an abelian group structure which may be identified with the algebraic structure group of M as defined by Ranicki. If dim (M) = 2d-1, M is oriented and M is equipped with a map to the classifying space of a finite group G, then the reduced rho-invariant defines a function, \wrho : S(M) \to \QQ R_{hat G}^{(-1)^d}, to a certain sub-quotient of the complex representation ring of G. We show that the function \wrho is a homomorphism when 2d-1 >= 5. Along the way we give a detailed proof that a geometrically defined map due to Cappell and Weinberger realises the 8-fold Siebenmann periodicity map in topological surgery.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Kreck-Stolz invariants for quaternionic line bundles

We generalise the Kreck-Stolz invariants s_2 and s_3 by defining a new invariant, the t-invariant, for quaternionic line bundles E over closed spin-manifolds M of dimension 4k-1 with H^3(M; \Q) = 0 such that c_2(E)\in H^4(M) is torsion. The t-invariant classifies closed smooth oriented 2-connected rational homology 7-spheres up to almost-diffeomorphism, that is, diffeomorphism up to connected sum with an exotic sphere. It also detects exotic homeomorphisms between such manifolds. The t-invariant also gives information about quaternionic line bundles over a fixed manifold and we use it to give a new proof of a theorem of Feder and Gitler about the values of the second Chern classes of quaternionic line bundles over HP^k. The t-invariant for S^{4k-1} is closely related to the Adams e-invariant on the (4k-5)-stem.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The rational classification of links of codimension >2

Fix an integer m and a multi-index p = (p_1, ..., p_r) of integers p_i < m-2. The set of links of codimension > 2, with multi-index p, E(p, m), is the set of smooth isotopy classes of smooth embeddings of the disjoint union of the p_i-spheres into the m-sphere. Haefliger showed that E(p, m) is a finitely generated abelian group with respect to embedded connected summation and computed its rank in the case of knots, i.e. r=1. For r > 1 and for restrictions on p the rank of this group can be computed using results of Haefliger or Nezhinsky. Our main result determines the rank of the group E(p, m) in general. In particular we determine precisely when E(p,m) is finite. We also accomplish these tasks for framed links. Our proofs are based on the Haefliger exact sequence for groups of links and the theory of Lie algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

The smooth structure set of $S^p \times S^q$

We calculate the smooth structure set of $S^p \times S^q$, $S(p, q)$, for $p, q \geq 2$ and $p+q \geq 5$. As a consequence we show that in general $S(4j-1, 4k)$ cannot admit a group structure such that the smooth surgery exact sequence is a long exact sequence of groups. We also show that the image of forgetful map $F: S(4j, 4k) --> S^{Top}(4j, 4k)$ is not in general a subgroup of the topological structure set.

0 citations0 reviewsNo code linkedOpen access