Extended Abstracts Fall 2013

Part I. Geometrical Analysis

1. A Positive Mass Theorem in Three Dimensional Cauchy–Riemann Geometry
Jih-Hsin Cheng, Andrea Malchiodi, Paul Yang

2. On the Rigidity of Gradient Ricci Solitons
Manuel Fernández-López, Eduardo García-Río

3. Geometric Structures Modeled on Affine Hypersurfaces and Generalizations of the Einstein–Weyl and Affine Sphere Equations
Daniel J. F. Fox

4. Submanifold Conformal Invariants and a Boundary Yamabe Problem
A. Rod Gover, Andrew Waldron

5. Variation of the Total Q-Prime Curvature in CR Geometry
Kengo Hirachi

6. Conformal Invariants from Nullspaces of Conformally Invariant Operators
Dmitry Jakobson

7. Rigidity of Bach-Flat Manifolds
Seongtag Kim

8. Uniformizing Surfaces with Conical Singularities
Andrea Malchiodi

9. Recent Results and Open Problems on Conformal Metrics on ℝ
n
with Constant Q-Curvature
Luca Martinazzi

10. Isoperimetric Inequalities for Complete Proper Minimal Submanifolds in Hyperbolic Space
Sung-Hong Min, Keomkyo Seo

11. Total Curvature of Complete Surfaces in Hyperbolic Space
Jun O’Hara, Gil Solanes

12. Constant Scalar Curvature Metrics on Hirzebruch Surfaces
Nobuhiko Otoba

13. Isoperimetric Inequalities for Extremal Sobolev Functions
Jesse Ratzkin, Tom Carroll

Part II. Type Theory, Homotopy Theory, and Univalent Foundations

14. Univalent Categories and the Rezk Completion
Benedikt Ahrens, Krzysztof Kapulkin, Michael Shulman

15. Covering Spaces in Homotopy Type Theory
Kuen-Bang Hou

16. Towards a Topological Model of Homotopy Type Theory
Paige North

17. Made-to-Order Weak Factorization Systems
Emily Riehl

18. A Descent Property for the Univalent Foundations
Egbert Rijke

19. Classical Field Theory via Cohesive Homotopy Types
Urs Schreiber

20. How Intensional Is Homotopy Type Theory?
Thomas Streicher

21. Erratum to: Univalent Categories and the Rezk Completion
Benedikt Ahrensm, Krzysztof Kapulkin, Michael Shulman

Avainsanat: Mathematics, Differential Geometry, Algebraic Topology