Browsing Division of Physical and Mathematical Sciences by Advisor "Seshadri, Harish"
Now showing items 1-5 of 5
-
A Formal Proof of Feit-Higman Theorem in Agda
(2018-02-18)In this thesis we present a formalization of the combinatorial part of the proof of Feit-Higman theorem on generalized polygons. Generalised polygons are abstract geometric structures that generalize ordinary polygons and ... -
On an ODE Associated to the Ricci Flow
(2018-04-18)We discuss two topics in this talk. First we study compact Ricci-flat four dimensional manifolds without boundary and obtain point wise restrictions on curvature( not involving global quantities such as volume and diameter) ... -
On the Stability of Certain Riemannian Functionals
(2018-03-06)Given a compact smooth manifold Mn without boundary and n ≥ 3, the Lp-norm of the curvature tensor, defines a Riemannian functional on the space of Riemannian metrics with unit volume M1. Consider ... -
Ricci Flow And Isotropic Curvature
(2014-09-03)This thesis consists of two parts. In the first part, we study certain Ricci flow invariant nonnegative curvature conditions as given by B. Wilking. We begin by proving that any such nonnegative curvature implies nonnegative ... -
The Space of Metric Measure Spaces
(2018-05-22)This thesis is broadly divided in two parts. In the first part we give a survey of various distances between metric spaces, namely the uniform distance, Lipschitz distance, Hausdor distance and the Gramoz Hausdor distance. ...