Isometries of a product of Riemannian manifolds

Theorem. Let \((A, g_A)\) and \((B, g_B)\) be two compact Riemannian manifolds with irreducible holonomy groups. Let \((X, g):= (A \times B, g_A \oplus g_B)\). Then

\[ \operatorname{Isom}(X) = \begin{cases} \operatorname{Isom}(A) \times \operatorname{Isom}(B), \ \text{ if } A \text{ is not isometric to } B \\ \left ( \operatorname{Isom}(A) \times \operatorname{Isom}(B) \right ) \rtimes \mathbb{Z}/2\mathbb{Z}, \ \text{ otherwise } \end{cases} \]

This result seems to be a folklore, probably well known to the specialists, although it is hard to find it in the literature. The only discussion which I managed to find on Mathoverflow contains …

Finite flat commutative group schemes embed locally into abelian schemes

Let \(G\) be a finite flat commutative group scheme over a fixed locally noetherian base scheme \(S\). In this brief note, I want to explain the proof of the following theorem due to Raynaud.

Theorem. There exists, Zariski-locally on \(S\), an abelian scheme \(A\) such that \(G\) embeds as a closed \(S\)-subgroup of …

A proof of a general slice-Bennequin inequality

In this blog post, I’ll provide a slick proof of a form of the slice-Bennequin inequality (as outlined by Kronheimer in a mathoverflow answer.) The main ingredient is the adjunction inequality for surfaces embedded in closed 4-manifolds. To obtain the slice-Bennequin inequality (which is a statement about surfaces embedded …

Brieskorn resolutions via algebraic spaces

I’d like to discuss simultaneous resolutions of surfaces from a moduli-theoretic perspective, following Michael Artin’s paper on Brieskorn resolutions.

Artin’s approach to moduli begins with the most desirable aspect of a moduli space, its universal property. That is to say, define a functor the space should represent and then check …

The torsion component of the Picard scheme

This post is a continuation of Sean Cotner’s most recent post [see An example of a non-reduced Picard scheme]. Since writing that post, Bogdan Zavyalov shared some notes of his proving the following strengthened version of the results described there.

Main Theorem. Let \(S\) be a noetherian local ring and …