Researcher profile

Richard B. Melrose

Richard B. Melrose contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 15 - UnverifiedVerification L1Unclaimed author
3works
0followers
3topics
1close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

3 published item(s)

preprint2022arXiv

Bigerbes

The bigerbes introduced here give a refinement of the notion of 2-gerbes, representing degree four integral cohomology classes of a space. Defined in terms of bisimplicial line bundles, bigerbes have a symmetry with respect to which they form 'bundle 2-gerbes' in two ways; this structure replaces higher associativity conditions. We provide natural examples, including a Brylinski-McLaughlin bigerbe associated to a principal G-bundle for a simply connected simple Lie group. This represents the first Pontryagin class of the bundle, and is the obstruction to the lifting problem on the associated principal bundle over the loop space to the structure group consisting of a central extension of the loop group; in particular, trivializations of this bigerbe for a spin manifold are in bijection with string structures on the original manifold. Other natural examples represent 'decomposable' 4-classes arising as cup products, a universal bigerbe on K(Z,4) involving its based double loop space, and the representation of any 4-class on a space by a bigerbe involving its free double loop space. The generalization to 'multigerbes' of arbitrary degree is also described.

preprint2013arXiv

Generalized blow-up of corners and fiber products

Real blow-up, including inhomogeneous versions, of boundary faces of a manifold (with corners) is an important tool for resolving singularities, degeneracies and competing notions of homogeneity. These constructions are shown to be particular cases of `generalized boundary blow-up' in which a new manifold and blow-down map are constructed from, and conversely determine, combinatorial data at the boundary faces in the form of a refinement of the `basic monoidal complex' of the manifold. This data specifies which notion of homogeneity is realized at each of the boundary hypersurfaces in the blown-up space. As an application of this theory, the existence of fiber products is examined for the natural smooth maps in this context, the b-maps. Transversality of the b-differentials is shown to ensure that the set-theoretic fiber product of two maps is a `binomial variety'. Properties of these (extrinsically defined) spaces, which generalize manifolds but have mild singularities at the boundary, are investigated and a condition on the basic monoidal complex is found under which the variety has a smooth structure. Applied to b-maps this additional condition with transversality leads to a universal fiber product in the context of manifolds with corners. Under the transversality condition alone the fiber product is resolvable to a smooth manifold by generalized blow-up and then has a weaker form of the universal mapping property requiring blow-up of the domain.

preprint2011arXiv

A remark on distributions and the de Rham theorem

We show that the de Rham theorem, interpreted as the isomorphism between distributional de Rham cohomology and simplicial homology in the dual dimension for a simplicial decomposition of a compact oriented manifold, is a straightforward consequence of elementary properties of currents. The explicit construction of this isomorphism extends to other cases, such as relative and absolute cohomology spaces of manifolds with corners.