Heather Macbeth

most citedKähler-Einstein metrics and higher alpha-invariants

1 citations · 1 across the 3 of their papers we have counts for

collaborators

3 papers

math.HO2024

Anatomy of a Formal Proof

Jeremy Avigad, Johan Commelin, Heather Macbeth +1

Interactive proof assistants make it possible for ordinary mathematicians to write definitions and theorems in a formal proof language, like a programming language, so that a compu…

math.DG2024

Sharp $L^{2}$ estimates for the drift heat equation on shrinking Ricci solitons

Heather Macbeth

We prove an $L^{2}$ estimate for the drift heat equation on a complete gradient shrinking Ricci soliton. This estimate has a time-dependent weight which is Gaussian in its spatial as…

math.DG2014★ 1 cited

Kähler-Einstein metrics and higher alpha-invariants

Heather Macbeth

We give a criterion for the existence of a Kähler-Einstein metric on a Fano manifold $M$ in terms of the higher algebraic alpha-invariants $α_{m, k} (M)$ .

Anatomy of a Formal Proof

Sharp L2 estimates for the drift heat equation on shrinking Ricci solitons

Kähler-Einstein metrics and higher alpha-invariants

Sharp $L^{2}$ estimates for the drift heat equation on shrinking Ricci solitons