BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Benjamin McKay appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We classify the holomorphic parabolic geometries on compact complex manifolds of general type. We accomplish this by bounding the numerical dimension of any smooth projective variety in terms of geometric invariants of the flag variety model of any holomorphic parabolic geometry on that variety. Along the way, we uncover foliations and fibrations on smooth projective varieties that admit holomorphic parabolic geometries.
We prove that under some purely algebraic conditions every locally homogeneous structure modelled on some homogeneous space is induced by a locally homogeneous structure modelled on a different homogeneous space.
A brief introduction to exterior differential systems for graduate students familiar with manifolds and differential forms. For complete files, see https://github.com/Ben-McKay/introduction-to-exterior-differential-systems
We pursue the study of holomorphic Cartan geometry with singularities. We introduce the notion of logarithmic Cartan geometry on a complex manifold, with polar part supported on a normal crossing divisor. In particular, we show that the push-forward of a Cartan geometry constructed using a finite Galois ramified covering is a logarithmic Cartan geometry (the polar part is supported on the ramification locus). We also study the specific case of the logarithmic Cartan geometry with the model being the complex affine space.
We construct an explicit diffeomorphism taking any fibration of a sphere by great circles into the Hopf fibration, using elementary geometry--indeed the diffeomorphism is a local (differential) invariant, algebraic in derivatives.
We consider the Laplacian "co-flow" of $G_2$-structures: $\frac{d}{dt} ψ= - Δ_d ψ$ where $ψ$ is the dual 4-form of a $G_2$-structure $ϕ$ and $Δ_d$ is the Hodge Laplacian on forms. This flow preserves the condition of the $G_2$-structure being coclosed ($dψ=0$). We study this flow for two explicit examples of coclosed $G_2$-structures with symmetry. These are given by warped products of an interval or a circle with a compact 6-manifold $N$ which is taken to be either a nearly Kähler manifold or a Calabi-Yau manifold. In both cases, we derive the flow equations and also the equations for soliton solutions. In the Calabi-Yau case, we find all the soliton solutions explicitly. In the nearly Kähler case, we find several special soliton solutions, and reduce the general problem to a single \emph{third order} highly nonlinear ordinary differential equation.
Complete complex parabolic geometries (including projective connections and conformal connections) are flat and homogeneous. This is the first global theorem on parabolic geometries.
We prove that the only complex parabolic geometries on Calabi-Yau manifolds are the homogeneous geometries on complex tori. We also classify the complex parabolic geometries on homogeneous compact Kähler manifolds.
We prove that if a Calabi--Yau manifold $M$ admits a holomorphic Cartan geometry, then $M$ is covered by a complex torus. This is done by establishing the Bogomolov inequality for semistable sheaves on compact Kähler manifolds. We also classify all holomorphic Cartan geometries on rationally connected complex projective manifolds.
We define what we call morphisms of Cartan connections. We generalize the main theorems on Cartan connections to theorems on morphisms. Many of the known constructions involving Cartan connections turn out to be examples of morphisms. We prove some basic results concerning completeness of Cartan connections. We provide a new method to prove completeness of Cartan connections using families of morphisms.
We prove that the only Calabi--Yau projective manifolds which bear holomorphic Cartan geometries are precisely the abelian varieties. (Nous démontrons que les seules variétés projectives de Calabi--Yau qui possèdent des géométrie holomorphes de Cartan sont les variétés abéliennes.)
Using symplectic topology and the Radon transform, we prove that smooth 4-dimensional projective planes are diffeomorphic to $\mathbb{CP}^2$. We define the notion of a plane curve in a smooth projective plane, show that plane curves in high dimensional regular planes are lines, prove that homeomorphisms preserving plane curves are smooth collineations, and prove a variety of results analogous to the theory of classical projective planes.
We prove that there are no pseudoholomorphic theories of anything other than curves, even if one allows more general spaces than almost complex manifolds. The proof is elementary, except for theories of pseudoholomorphic hypersurfaces, where topological techniques are needed. Surprisingly, hypersurface theories exist ``microlocally'' (in great abundance) to all orders perturbatively, but not ``locally.''
An isomorphism of symplectically tame smooth pseudocomplex structures on the complex projective plane which is a homeomorphism and differentiable of full rank at two points is smooth.
We uncover the lowest order differential invariants of Lagrangian submanifolds under affine symplectic maps, and find out what happens when they are constant.
A map between manifolds which matches up families of complete vector fields is a fiber bundle mapping on each orbit of those vector fields.