Research Interests
           My research interests are in the areas of Riemannian geometry
            (non-negatively curved manifolds), group actions, Dehn functions and
            rigidity theorems in positive curvature. I also maintain an active
            interest in number theory and cryptography, and finite groups. In
            addition, I have an active program of undergraduate research
            projects. While most of these are expository, the occasionally rise
            to the level of original research (see below).
          
          Here are some questions that I am thinking about off and on: 
           1.
            Let M be a 2-dimensional, complete Riemannian manifold without
            conjugate points. Suppose M satisfies Euclid's parallel postulate,
            i.e., given a line a point not on the line, there is a unique
            parallel line through that point. Is it true that M must be flat
            R^2?
            
            2. Suppose X is an Alexandrov space with curvature bounded
            above and below (say +1 and -1) with the property that the
            injectivity radius equals the diameter? Is X in fact (locally)
            isometric to a compact, rank one symmetric space? This is a
            generalization of the classical Blaschke conjecture (which is still
            open for even dimensional manifolds).
            
            3. Are there fundamental groups of arbitrarily large order
            among even dimensional manifolds with almost positive sectional
            curvature?
            
            4. Suppose G is isomorphic to a finite cyclic group of order
            n. Given an element g in G, is there a fast way (polynomial time) to
            compute the order of g?
          
          
           My work is currently supported by the National Science Foundation
            (DMS-1104352).
          
         
        
          Publications
              
          Caveat:You can click on "Article" next to each
            paper to view a copy. However, for copyright reasons, the version
            you download is not the published version. If you want the most up
            to date version, then please email me.
          
            - On the fundamental groups of positively curved manifolds,
              Journal of Differential Geometry,
              49 (1998) 179--182.  Article.
              
 
            - Rank two fundamental groups of positively curved manifolds
              (with Karsten Grove), Journal of Geometric Analysis, 10
              (2000) 679--682.  Article.
            
 
            - Nilpotent numbers (with Jonathan Pakianathan),
              American Math. Monthly, 107 (2000), 631--634.  Article.
             
            - Isometry groups of homogeneous, positively curved manifolds,
              Differential Geometry & Appl., 14(1)
              (2001), 57--78. Article.
            
 
            - On complexes equivalent to S^3 bundles over S^4 (with
              Nitu Kitchloo), Int. Math. Research Notices, 8
              (2001), 381--394.  Article.
 
            - Strong inhomogeneity of Eschenburg spaces  (with an
              Appendix written jointly with Mark Dickinson), Mich. Math.
              Journal,  50(1) (2002), 125--142.  Article.
            
 
            - The diffeomorphism type of the Berger space SO(5)/SO(3)
              (with Sebastian Goette and Nitu Kitchloo), American Journal of
              Mathematics, 126(2) (2004), 395--416.  Article.
 
            - Free isometric circle actions on compact, symmetric spaces
              (with Jost Eschenburg and Andreas Kollross), Geometriae Dedicata,
              102 (2003), 35--44.  Article.
 
            - Non-negatively and positively curved metrics on circle
                bundles (with Kris Tapp and Wilderich Tuschmann),
              Proceedings of the AMS, 133(8) (2005), 2449--2459.  Article.
 
            - Spherical rank rigidity and Blaschke manifolds (with
              Ralf Spatzier and Burkhard Wilking), Duke Mathematical Journal, 1
              (2005), 65--81.  Article.
 
            - On the cohomogeneity and symmetries of Eschenburg and
                Bazaikin spaces (with Karsten Grove and Wolfgang Ziller),
              Asian J. of Mathematics (S. S. Chern memorial volume), (2006),
              647--662.  Article.
 
            - Snowflake groups, Perron-Frobenius eigenvalues and
                isoperimetric spectra (with Noel Brady, Martin Bridson and
              Max Forester), Geometry & Topology, 13 (2009),
              141--187.  Article.
 
            - Conjugate points in length spaces (with Christina
              Sormani), Advances in Mathematics, 220(3) (2009),
              791--830.  Article.
 
            - Riemannian submersions from simple, compact Lie groups (with
              Martin Kerin), Muenster Journal of Mathematics, 5 (2012),
              25--40.  Article.
             
          
          Preprints
          
            - Square roots, continued fractions and the orbit of 1/0 in
                the hyperbolic plane (with Justin Roberts and Julian
              Rosen), 2006. Article.
                
 
          
          
          Undergraduate Research Projects
          Nearly every semester at Oklahoma I have been involved in undergrad
            research projects. Most are expository; typically students learn a
            new topic and write a report on what they have learned.
            Occasionally, they break new ground. The preprint above on square
            roots and continued fractions was written with two undergraduates
            (both of whom have completed their Ph.Ds in mathematics at this
            time). If you are an undergraduate and would like to learn some new
            mathematics or think about an unsolved problem, then feel free to
            contact me. Here are a couple of unsolved problems you can think
            about if you are so inclined.
          
            - Euler Bricks: Given a rectangle in the plane with side
              lengths 'a' and 'b' its diagonal 'c' is the square root of a^2+b^2
              (the Pythagorean theorem). One may ask: can one characterize
              rectangles where 'a', 'b' and 'c' are all integers? This was done
              a few hundred years ago and one can parametrize the infinitely
              many solutions in this case. The mystery starts when one jumps to
              3 dimensions: is there a rectangular box of integer side lengths
              'a', 'b', 'c', such that all face diagonals and all long diagonals
              are also integers? Such a box is called an Euler Brick. It
              is unknown whether such a brick exists, but recently a few
              undergraduates at Bucknell found infinitely many parallelepipeds
              with all integer lengths and tilting angle arbitrarily close to
              zero. Questions: are these the only possible examples? Is there an
              example with integer volume? Is there a way to take a limit of a
              subsequence of the above parallelepipeds?
 
            - An interesting function: Consider the following function
              F: {positive integers} -> {positive integers}, defined as
              follows. Given a positive integer, let a(n) denote the largest
              factor of n less than n. So for example, a(7) = 1, a(24) = 12 etc.
              Then we define F(n) = n + a(n) - 1. It is easy to see that F(n) =
              n if and only if 'n' is a prime number. What is less clear is that
              starting with any positive integer 'n', repeatedly applying F
              leads to a prime number. For example, n=10: F(10) = 10+5-1 = 14;
              F(14) = 14+7-1 = 20; F(20) = 20+10-1 = 29, which is prime. The
              conjecture is that F stabilizes in finitely many iterations to
              yield a prime number. It has been checked for 'n' up to 100,000
              and the longest iteration has length 78. Questions: are there
              arbitrarily long iterations? given a prime number 'p', is there a
              composite number 'n' which "hits" it after finitely many
              iterations? can one characterize numbers that stabilize in 2 steps
              or 3 steps?