BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

David Baraglia

David Baraglia contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.DGmath-phmath.GTmath.MPmath.AGmath.ATmath.CT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
7topics
2close 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

10 published item(s)

preprint2021arXiv

On the Bauer-Furuta and Seiberg-Witten invariants of families of $4$-manifolds

We show how the families Seiberg-Witten invariants of a family of smooth $4$-manifolds can be recovered from the families Bauer-Furuta invariant via a cohomological formula. We use this formula to deduce several properties of the families Seiberg-Witten invariants. We give a formula for the Steenrod squares of the families Seiberg-Witten invariants leading to a series of mod $2$ relations between these invariants and the Chern classes of the spin$^c$ index bundle of the family. As a result we discover a new aspect of the ordinary Seiberg-Witten invariants of a $4$-manifold $X$: they obstruct the existence of certain families of $4$-manifolds with fibres diffeomorphic to $X$. As a concrete geometric application, we shall detect a non-smoothable family of $K3$ surfaces. Our formalism also leads to a simple new proof of the families wall crossing formula. Lastly, we introduce $K$-theoretic Seiberg-Witten invariants and give a formula expressing the Chern character of the $K$-theoretic Seiberg-Witten invariants in terms of the cohomological Seiberg-Witten invariants. This leads to new divisibility properties of the families Seiberg-Witten invariants.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Constraints on families of smooth 4-manifolds from Bauer-Furuta invariants

We obtain constraints on the topology of families of smooth $4$-manifolds arising from a finite dimensional approximation of the families Seiberg-Witten monopole map. Amongst other results these constraints include a families generalisation of Donaldson's diagonalisation theorem and Furuta's $10/8$ theorem. As an application we construct examples of continuous $\mathbb{Z}_p$-actions for any odd prime $p$, which can not be realised smoothly. As a second application we show that the inclusion of the group of diffeomorphisms into the group of homeomorphisms is not a weak homotopy equivalence for any compact, smooth, simply-connected indefinite $4$-manifold with signature of absolute value greater than $8$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The alpha invariant of complete intersections

We compute the alpha invariant of any smooth complex projective spin complete intersection of complex dimension $1 \; ({\rm mod} \; 4)$. We prove that the alpha invariant depends only on the total degree and Pontryagin classes. Our findings are consistent with a long-standing conjecture, often called the Sullivan Conjecture, which states that two complete intersections with the same dimensions, total degrees, Pontryagin and Euler classes are diffeomorphic.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Obstructions to smooth group actions on 4-manifolds from families Seiberg-Witten theory

Let $X$ be a smooth, compact, oriented $4$-manifold. Building upon work of Li-Liu, Ruberman, Nakamura and Konno, we consider a families version of Seiberg-Witten theory and obtain obstructions to the existence of certain group actions on $X$ by diffeomorphisms. The obstructions show that certain group actions on $H^2(X , \mathbb{Z})$ preserving the intersection form can not be lifted an action of the same group on $X$ by diffeomorphisms. Using our obstructions, we construct numerous examples of group actions which can be realised continuously but can not be realised smoothly for any differentiable structure. For example, we construct compact simply-connected $4$-manifolds $X$ and involutions $f : H^2(X , \mathbb{Z}) \to H^2(X , \mathbb{Z})$ such that $f$ can be realised by a continuous involution on $X$ or by a diffeomorphism, but not by an involutive diffeomorphism for any smooth structure on $X$.

0 citations0 reviewsNo code linkedOpen access
preprint2017arXiv

Special Kähler geometry of the Hitchin system and topological recursion

We investigate the special Kähler geometry of the base of the Hitchin integrable system in terms of spectral curves and topological recursion. The Taylor expansion of the special Kähler metric about any point in the base may be computed by integrating the $g = 0$ Eynard-Orantin invariants of the corresponding spectral curve over cycles. In particular, we show that the Donagi-Markman cubic is computed by the invariant $W^{(0)}_3$. We use topological recursion to go one step beyond this and compute the symmetric quartic of second derivatives of the period matrix.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

A Coboundary Morphism For The Grothendieck Spectral Sequence

Given an abelian category $\mathcal{A}$ with enough injectives we show that a short exact sequence of chain complexes of objects in $\mathcal{A}$ gives rise to a short exact sequence of Cartan-Eilenberg resolutions. Using this we construct coboundary morphisms between Grothendieck spectral sequences associated to objects in a short exact sequence. We show that the coboundary preserves the filtrations associated with the spectral sequences and give an application of these result to filtrations in sheaf cohomology.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Conformal Courant Algebroids and Orientifold T-duality

We introduce conformal Courant algebroids, a mild generalization of Courant algebroids in which only a conformal structure rather than a bilinear form is assumed. We introduce exact conformal Courant algebroids and show they are classified by pairs $(L,H)$ with $L$ a flat line bundle and $H \in H^3(M,L)$ a degree 3 class with coefficients in $L$. As a special case gerbes for the crossed module $({\rm U}(1) \to \mathbb{Z}_2)$ can be used to twist $TM \oplus T^*M$ into a conformal Courant algebroid. In the exact case there is a twisted cohomology which is 4-periodic if $L^2 = 1$. The structure of Conformal Courant algebroids on circle bundles leads us to construct a T-duality for orientifolds with free involution. This incarnation of T-duality yields an isomorphism of 4-periodic twisted cohomology. We conjecture that the isomorphism extends to an isomorphism in twisted $KR$-theory and give some calculations to support this claim.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Leibniz algebroids, twistings and exceptional generalized geometry

We investigate a class of Leibniz algebroids which are invariant under diffeomorphisms and symmetries involving collections of closed forms. Under appropriate assumptions we arrive at a classification which in particular gives a construction starting from graded Lie algebras. In this case the Leibniz bracket is a derived bracket and there are higher derived brackets resulting in an $L_\infty$-structure. The algebroids can be twisted by a non-abelian cohomology class and we prove that the twisting class is described by a Maurer-Cartan equation. For compact manifolds we construct a Kuranishi moduli space of this equation which is shown to be affine algebraic. We explain how these results are related to exceptional generalized geometry.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

G2 geometry and integrable systems

We study the Hitchin component in the space of representations of the fundamental group of a Riemann surface into a split real simple Lie group in the rank 2 case. We prove that such representations are described by a conformal structure and class of Higgs bundle we call cyclic and we show cyclic Higgs bundles correspond to a form of the affine Toda equations. In each case we relate cyclic Higgs bundles to geometric structures on the surface. We elucidate the geometry of generic 2-plane distributions in 5 dimensions, relating it to a parabolic geometry associated to the split real form of $G_2$ and a conformal geometry with holonomy in $G_2$. We prove the distribution is the bundle of maximal isotropics corresponding to the annihilator of a spinor satisfying the twistor-spinor equation. We study the moduli space of coassociative submanifolds of a $G_2$-manifold with an aim towards understanding coassociative fibrations. We consider coassociative fibrations where the fibres are orbits of a $T^4$-action of isomorphisms and prove a local equivalence to minimal 3-manifolds in $R^{3,3}\cong H^2(T^4,\mathbb{R})$ with positive induced metric.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Moduli of Coassociative Submanifolds and Semi-Flat Coassociative Fibrations

We study the natural structure on the moduli space of deformations of compact coassociative submanifolds. We show that a G2-manifold with a T^4-action of isomorphisms such that the orbits are coassociative tori is locally equivalent to a minimal 3-manifold in R^{3,3} = H^2(T^4,R) with positive induced metric. By studying minimal surfaces in quadrics we show how to construct minimal 3-manifold cones in R^{3,3} and hence G2-metrics from equations similar to a set of affine Toda equations. The relation to semi-flat special Lagrangian fibrations and the Monge-Ampère equation are explained.

0 citations0 reviewsNo code linkedOpen access