Colleen M Robles, Professor

Professor Robles is a geometer.  Her current research is focused on questions in complex geometry that are motivated by Hodge theory and its applications to moduli of algebraic varieties.  (She also has made contributions to the fields of Finsler geometry, calibrated geometry, and complex projective geometry.)  She also is also interested in (and supervises projects on) the formalization of mathematics via automated theorem-provers and proof-assistants (such as Lean).

Contact Info:

Office Location:	187 Physics
Email Address:
Web Page:	https://sites.google.com/view/prof-colleen-robles/home

Teaching (Fall 2025):

• MATH 248S.01, PROOF ASSISTANT LEAN Synopsis

  Gross Hall 318, Tu 11:45 AM-01:00 PM

• MATH 281S.01, PROBLEM SOLVING SEMINAR Synopsis

  Physics 119, Tu 04:40 PM-05:55 PM

Office Hours:

Spring 2024: Tue + Thu, 1:00 - 2:30 PM

Education:

Ph.D.

University of British Columbia (Canada)

2003

Recent Publications   (More Publications)

1. Deng, H; Robles, C, Completion of two-parameter period maps by nilpotent orbits (December, 2023)  [abs]
2. Robles, C, Pseudoconvexity at infinity in Hodge theory: a codimension one example (February, 2023)  [abs]
3. Robles, C, Extension of Hodge norms at infinity (February, 2023)  [abs]
4. Green, M; Kim, YJ; Laza, R; Robles, C, The LLV decomposition of hyper-Kähler cohomology (the known cases and the general conjectural behavior), Mathematische Annalen, vol. 382 no. 3-4 (April, 2022), pp. 1517-1590 [doi]  [abs]
5. Green, M; Griffiths, P; Robles, C, Natural line bundles on completions of period mappings (February, 2021)  [abs]

Recent Grant Support

• RTG: Linked via L-functions: training versatile researchers across number theory, National Science Foundation, 2023/10-2028/09.      
• Complex Geometric Properties of Period Maps, National Science Foundation, 2023/08-2026/07.      
• Complex Geometric and Lie Theoretic Aspects of Hodge Theory, National Science Foundation, 2019/09-2023/08.