Error 19407: The Lease Between the Availability Group and the Cluster Expired

Error 19407 means the lease between an availability group and the Windows Server Failover Cluster has expired, and the group goes to Resolving. Here is what each ERRORLOG line says and what to look at first.