Related papers: The smooth classification of 4-dimensional complet…
One way to better understand the smooth mapping class group of the 4-sphere would be to give a list of generators in the form of explicit diffeomorphisms supported in neighborhoods of submanifolds, in analogy with Dehn twists on surfaces.…
Cappell-Shaneson homotopy 4-spheres (CS spheres) are potential counterexamples of the smooth 4-dimensional Poincar\'e conjecture. Akbulut proved that infinite CS spheres are diffeomorphic to the standard 4-sphere by Kirby calculus. Kim and…
We study closed, connected, spin 4-manifolds up to stabilisation by connected sums with copies of $S^2 \times S^2$. For a fixed fundamental group, there are primary, secondary and tertiary obstructions, which together with the signature…
The adjunction inequality is a key tool for bounding the genus of smoothly embedded surfaces in 4-manifolds. Using gauge-theoretic invariants, many versions of this inequality have been established for both closed surfaces and surfaces with…
It is well known that the set of possible degree sequences for a graph on $n$ vertices is the intersection of a lattice and a convex polytope. We show that the set of possible degree sequences for a $k$-uniform hypergraph on $n$ vertices is…
We use the cylindrical homomorphism and a geometric construction introduced by J. Lewis to study the Lawson homology groups of certain hypersurfaces $X\subset \mathbb{P}^{n+1}$ of degree $d\leq n+1$. As an application, we compute the…
We define a $\mathbb{Z}_2$-valued invariant for transversely-intersecting coassociative $4$-folds equipped with spin structures. Our main result shows this invariant provides an obstruction to separating two such coassociatives through a…
We prove that a complete intersection of $c$ very general hypersurfaces of degree at least two in $N$-dimensional complex projective space is not ruled (and therefore not rational) provided that the sum of the degrees of the hypersurfaces…
A theorem of Mumford states that, on complex surfaces, any normal isolated singularity whose link is diffeomorphic to a sphere is actually a smooth point. While this property fails in higher dimensions, McLean asks whether the contact…
This paper aims to give some examples of diffeomorphic (or homeomorphic) low-dimensional complete intersections, which can be considered as a geometrical realization of classification theorems about complete intersections. A conjecture of…
Using the theory of resolving classes, we show that if $X$ is a CW complex of finite type such that $\map_*(X, S^{2n+1})\sim *$ for all sufficiently large $n$, then $\map_*(X, K) \sim *$ for every simply-connected finite-dimensional CW…
We obtain criteria for detecting complete intersections in projective varieties. Motivated by a conjecture of Hartshorne concerning subvarieties of projective spaces, we investigate situations when two-codimensional smooth subvarieties of…
The first main result is a topological rigidity theorem for complete immersed hypersurfaces of spherical space forms which extends similar results due to do Carmo/Warner, Wang/Xia and Longa/Ripoll. Under certain sharp conditions on the…
We develop a theory of confluence of graphs. We describe an algorithm for proving that a given system of reduction rules for abstract graphs and graphs in surfaces is locally confluent. We apply this algorithm to show that each simple Lie…
A notion of dual curve for pseudoholomorphic curves in 4--manifolds turns out to be possible only if the notion of almost complex structure structure is slightly generalized. The resulting structure is as easy (perhaps easier) to work with,…
Given a smooth quasi-projective complex algebraic variety $\mathcal{S}$, we prove that there are only finitely many Hodge-generic non-isotrivial families of smooth projective hypersurfaces over $\mathcal{S}$ of degree $d$ in…
We construct infinite rank summands isomorphic to $\mathbb{Z}^\infty$ in the higher homotopy and homology groups of the diffeomorphism groups of certain $4$-manifolds. These spherical families become trivial in the homotopy and homology…
Given a smooth subscheme of a projective space over a finite field, we compute the probability that its intersection with a fixed number of hypersurface sections of large degree is smooth of the expected dimension. This generalizes the case…
We derive a formula for the Milnor class of scheme-theoretic global complete intersections (with arbitrary singularities) in a smooth variety in terms of the Segre class of its singular scheme. In codimension one the formula recovers a…
We apply Donaldson's theorem on the intersection forms of definite 4--manifolds to characterize the lens spaces which smoothly bound rational homology 4--dimensional balls. Our result implies, in particular, that every smoothly slice…