arXiv subjects
Publications and source records attributed to Thomas Garrity.
An algorithm is given for computing explicit formulas for the generators of relations among the invariant rational functions for vector-valued bilinear forms. These formulas have applications in the geometry of Riemannian submanifolds and in CR geometry.
A one-to-one continuous function from a triangle to itself is defined that has both interesting number theoretic and analytic properties. This function is shown to be a natural generalization of the classical Minkowski ?(x) function. It is shown there exists a natural class of pairs of cubic irrational numbers in the same cubic number field that are mapped to pairs of rational numbers, in analog to ?(x) mapping quadratic irrationals on the unit interval to rational numbers on the unit interval. It is also shown that this new function satisfies an analog to the fact that ?(x), while increasing and continuous, has derivative zero almost everywhere.
A generic compact real codimension two submanifold X of C^(n+2) will have a CR structure at all but a finite number of points (failing at the complex jump points J). The main theorem of this paper gives a method of extending the CR structure on the non-jump points X-J to the jump points. We examine a Gauss map from X-J to an appropriate flag manifold F and take the closure of the graph of this map in X x F. This is a version of a Nash blow-up. We give a clean criterion for when this closure is a smooth manifold and see that the local differential properties at the points X-J can now be naturally extended to this new smooth manifold, allowing global techniques from differential geometry to be applied to compact CR manifolds. As an example, we find topological obstructions for the manifold to be Levi nondegenerate.
This is primarily an expository note showing that earlier work of Lai on CR geometry provides a clean interpretation, in terms of a Gauss map, for an adjunction formula for embedded surfaces in an almost complex four manifold. We will see that if F is a surface with genus g in an almost complex four-manifold M, then 2 - 2 g + F \cdot F - i^{*} c_{1}(M) - 2 F\cdot C = 0, where C is a two-cycle on M pulled back from the cycle of two planes with complex structure in a Grassmannian Gr (2, C^N) via a Gauss map and where i^{*} c_{1}(M) is the restriction of the first Chern class of M to F. The key new term of interest is F \cdot C, which will capture the points of F whose tangent planes inherit a complex structure from the almost complex structure of the ambient manifold M. These complex jump points then determine the genus of smooth representative of a homology class in H_{2}(M, Z). Further, via polarization, we can use this formula to determine the intersection form on M from knowing the nature of the complex jump points of M's surfaces.
For each positive integer n greater than or equal to 2, a new approach to expressing real numbers as sequences of nonnegative integers is given. The n=2 case is equivalent to the standard continued fraction algorithm. For n=3, it reduces to a new iteration of the triangle. Cubic irrationals that are roots of x^3 + k x^2 + x - 1 are shown to be precisely those numbers with purely periodic expansions of period length one. For general positive integers n, it reduces to a new iteration of an n dimensional simplex.