Curriculum Vitae

Academic CV · Updated October 7, 2026.

Contact

Address
School of Mathematical Sciences,
Xiamen University
Email
hoxide@xmu.edu.cn, hoxide@gmail.com

Research Interests

  • Representation theory: reductive groups, theta correspondence, the local Langlands program, Hecke algebras, geometric representation theory, and invariant theory.
  • Formalized mathematics: game theory and representation theory in Lean, AI-assisted mathematical research, and integrating Lean into teaching.

Formalization projects

  • EconCSLib — a Lean 4 library for computational economics and game theory.
  • LanglandsProject — a mathematical knowledge base and Lean foundations for the Langlands program.

Project descriptions and documentation

GitHub: jiajunma · math-xmum


Education

2013 Feb, Ph.D in Mathematics
National University of Singapore, Singapore
Dissertation: Two topics on local theta correspondence
Advisor: Professor Chengbo Zhu
2007 Jun, B.S. in Mathematics
Soochow University, Suzhou Jiangsu China
Final Year Project Advisor: Professor Dingbian Qian

Career History

July 2021 — present
Associate Professor, School of Mathematical Sciences, Xiamen University, China
July 2021 — June 2026
Associate Professor, Department of Mathematics, Xiamen University Malaysia, Malaysia
Jan 2017 — June 2021
Associate Professor (Tenure Track), School of Mathematical Sciences, Shanghai Jiao Tong University, China
Mar 2016 — Dec 2016
Research Fellow, Department of Mathematics, National University of Singapore, Singapore
Sept 2014 — Feb 2016
Postdoctoral Fellow, The Institute of Mathematical Sciences, The Chinese University of Hong Kong, Hong Kong
Oct 2013 — Aug 2014
Postdoctoral Fellow, Department of Mathematics, Ben-Gurion University of the Negev, Israel
Apr 2013 — Aug 2013
Research Fellow, Department of Mathematics, National University of Singapore, Singapore

Research Funding (Principal Investigator)

  • 2026–2029: National Natural Science Foundation of China, General Program.
  • 2025–2027: Xiamen University Malaysia Research Fund.
  • 2023–2025: Fundamental Research Funds for the Central Universities.
  • 2022–2024: Xiamen University Malaysia Research Fund.
  • 2018–2020: National Natural Science Foundation of China for Young Scientists.
Teaching — courses and tutorials

Teaching

Recent courses

Past courses

  • 2025 Fall, Abstract Algebra I
    AbstractAlgebraGame: https://adam.math.hhu.de/#/g/math-xmum/abstractalgebrai
  • 2021–2025 Fall, Research Methodology (graduate course), Xiamen University Malaysia
  • 2022–2025 Spring, Abstract Algebra II, Xiamen University Malaysia
  • 2023–2024 Fall, Algebraic Topology, Xiamen University Malaysia (undergraduate/graduate course in 2024)
  • 2021 and 2022 Fall, Abstract Algebra I, Xiamen University Malaysia
  • 2021 Spring, 高等代数（荣誉）
  • 2020 Spring, 医科高数(A)
  • 2020 Spring, 高等代数
  • 2020 Spring, 高等代数（荣誉）
  • 2019 Fall, 线性代数
  • 2019 Spring, 代数拓扑
  • 2019 Spring, 医科高数(A)
  • 2018 Spring, 医科高数(A)
  • 2018 Spring, 代数拓扑
  • 2017 Fall, 代数数论
  • 2017 Spring, 高等代数与解析几何, SJTU
  • 2016 Fall, MA6291: Topics in Mathematics I — Character theory of representations of reductive groups over local fields (graduate course), NUS
  • 2015 Summer, MA1030E: Linear Algebra I, CUHK
  • 2013 Fall, Geometric Representation theory, 5-lectures, BGU

Tutorials

  • 2012 Fall, MA1505: Mathematics I (calculus for engineering students), NUS
  • 2012 Spring, MA1506: Mathematics II (mathematical models for engineering students), NUS
  • 2011 Fall, MA1505: Mathematics I (calculus for engineering students), NUS
  • 2011 Spring, MA1505: Mathematics I (calculus for engineering students), NUS
  • 2010 Fall, MA1505: Mathematics I (calculus for engineering students), NUS
  • 2010 Spring, MA1505: Mathematics I (calculus for engineering students), NUS
  • 2009 Fall, CS1231: Discrete Structures (for students in computer science), NUS
  • 2009 Spring, CS1231: Discrete Structures (for students in computer science), NUS
  • 2008 Fall, Matlab, NUS
  • 2008 Spring, Matlab, NUS

Publications and preprints

Preprints

  1. Theta correspondence and Springer correspondence
    (with Zhiwei Yun, Congling Qiu, and Jia-Liang Zou), ArXiv e-print; 2512.13020

Publications

  1. Special unipotent representations of real classical groups: construction and unitarity (with Dan Barbasch, Binyong Sun and Chen-Bo Zhu), J. Amer. Math. Soc., published electronically September 21, 2026. DOI: 10.1090/jams/1082. ArXiv e-prints: 1712.05552 (slides). The python code of the algorithm in the paper can be found at https://github.com/jiajunma/unipotentrepn
    (Watch the talk by Chengbo Zhu explaining the main points of the paper.)
  2. Fourier-Jacobi models of Deligne-Lusztig characters and depth zero local descent for unitary groups (with Dongwen Liu and Fang Shi), ArXiv e-print: 2208.02308, Israel Journal of Mathematics 273 (2), 581–631 (2026; first published online 11 December 2025).
  3. On the annihilator variety of a highest weight module for classical Lie algebras (with Zhanqiang Bai, and Yutong Wang), ArXiv e-print: 2304.03475, Journal of the London Mathematical Society 112 (2), Article e70256 (2025).
  4. Special unipotent representations of real classical groups: counting and reduction (with Dan Barbasch, Binyong Sun and Chen-Bo Zhu) ArXiv e-print: 2205.05266, Journal of the European Mathematical Society, published online first, 28 March 2025.
  5. Genuine special unipotent representations of spin groups (with Dan Barbasch, Binyong Sun and Chen-Bo Zhu), ArXiv e-print: 2303.03571, Symmetry in Geometry and Analysis, Volume 1, Progress in Mathematics 357, pp. 141–164 (2025; first published online 18 September 2024).
  6. Associated varieties of minimal highest weight modules (with Zhanqiang Bai, Wei Xiao, and Xun Xie), Represent. Theory 28 (2024), 498-513, ArXiv e-print: 1909.00914 https://doi.org/10.1090/ert/681
  7. Special unipotent representations of simple linear Lie groups of type A (with Dan Barbasch, Binyong Sun and Chen-Bo Zhu), ArXiv e-print: 2304.04495 , Acta Mathematica Sinica, English Series 40 (3), 707–716 (2024).
  8. Generic Hecke algebra and theta correspondence over finite fields (with Congling Qiu, Jialiang Zou), ArXiv e-print: 2208.00431, Advances in Mathematics 438, Article 109444 (2024). (Watch my talk)
  9. On the Notion of Metaplectic Barbasch–Vogan Duality (with Dan Barbasch, Binyong Sun and Chen-Bo Zhu) ArXiv e-prints: 2010.16089, International Mathematics Research Notices 2023 (20), 17822–17852 (2023)
  10. Nilpotent orbits of orthogonal groups over p-adic fields, and the DeBacker parametrization (with Tobias Bernstein, Monica Nevins, Jit Wu Yap) ArXiv e-prints:1808.03593, Algebras and Representation Theory 23 (5), 2033–2058 (2020).
  11. Local theta correspondence between supercuspidal representations,
    (with Hung Yean Loke), ArXiv e-prints: 1512.01797, 2018, Annales Scientifiques de l’ENS (PDF) [Errata]
  12. On two questions concerning representations distinguished by the Galois involution,
    (with Maxim Gurevich and Arnab Mitra), ArXiv e-prints: 1609.03155, Forum Mathematicum 30 (1), 141–157 (2018; first published online in 2017)
  13. Local theta correspondences between epipelagic supercuspidal representations,
    (with Hung Yean Loke and Gordan Savin), ArXiv e-prints:1501.07069, Mathematische Zeitschrift, Jun 2016
  14. Derived functor modules, dual pairs and U(g)K-actions, ArXiv e-prints:1310.6378, Journal of Algebra, Volume 450, pp 629–645, Mar 2016
  15. Invariants and K-spectrums of local theta lifts,
    (with Hung Yean Loke), ArXiv e-prints:1302.1031, Compositio Mathematica, Jan 2015 [Errata]
  16. Transfers of K-types on local theta lifts of characters and unitary lowest weight modules,
    (with Hung Yean Loke and U-Liang Tang), ArXiv e-prints:1207.6454,
    Israel Journal of Mathematics, Vol 201, Issue 1, pp 1-24, 20 June 2014
Selected talks — expand full list

Selected Talks

  1. September 25, 2026 — Moment Maps and the Theta Correspondence. Recent Progress on the Unitary Dual Problem, Brin Mathematics Research Center, University of Maryland
  2. August 31, 2026 — AI 辅助数学科研和教学的一点实践分享. Tianyuan Mathematical Center in Southeast China, Xiamen University
  3. August 8, 2026 — AI与数学 — panel discussion (panelist). CSML 2026, Shanghai Jiao Tong University
  4. July 19, 2026 — AI 时代的数学工作流：一个普通数学工作者的实践报告. CSIAM-BDAI 2026, AI4Math session, Xiamen
  5. July 10, 2026 — An Adventure in Agentic AI and Lean Formalization. Shanghai Jiao Tong University
  6. June 20, 2025 — Hecke Algebra approach to Local Theta correspondence. The Ninth International Conference on Representation Theory, Nanjing University
  7. An Adventure in Formalization: From the Game Theory to Algebraic Structures September 3, 2024, AI for Mathematics Workshop on Lean, Automated Reasoning and Beyond (official programme), BICMR, Peking University
  8. June 28, 2024 — Theta correspondence and its Geometrization. HKU Number Theory Days 2024, University of Hong Kong
  9. November 10, 2023 — The weak Arthur packet of real classical groups. Arthur Packets, IASM, Hangzhou
  10. Lean and Coxeter groups
    May 27, 2023 at SJTU, 数学快闪沙龙.
  11. July 14, 2022 — Generic Hecke algebra and theta correspondence over finite fields. Representations and Characters: Revisiting the Works of Harish-Chandra and André Weil, IMS, NUS
  12. April 14, 2022 — Generic Hecke algebra and theta correspondence over finite fields. Minimal Representations and Theta Correspondence, ESI, online
  13. December 25, 2020 — Towards the explicit description of local descent of symplectic supercuspidal representations of GL(2n). Yau Mathematical Sciences Center, Beijing
  14. September 2, 2020 — Special unipotent representations of real classical groups and theta correspondence. Associated Varieties and Unipotent Representations, BICMR, online
  15. September 29, 2019 — Types and Local theta correspondence between supercuspidal representations. New Developments in Representation Theory of p-adic Groups, Oberwolfach
  16. December 14, 2018 — On theta correspondence over finite fields. Institute of Mathematical Sciences, The Chinese University of Hong Kong
  17. June 12, 2018 — On unipotent representations of real classical groups. AMS-CMS International Meeting, Shanghai
  18. July 19, 2017 — Types and Local theta correspondence between supercuspidal representations. Representation Theory of p-adic Groups, IISER Pune
  19. August 10, 2016 — Theta correspondence and Moment maps. The 7th International Congress of Chinese Mathematicians, Beijing
  20. Local theta correspondence between supercuspidal representations
    Jul 23 2014 at NUS, Sep 05 2014 at IMS CUHK, July 26 2015 at Zhejiang University,
    April 22 2015 at NUS, May 08 2015 at HKUST, Dec 25 2015 at Kyoto University
  21. Theta correspondences and representations of classical groups
    Oct 09, 2014, School of Mathematical Science, Suzhou University, China
  22. Explicit local theta correspondences between (epipelagic) supercuspidal representations
    May 28 2014, Algebraic Geometry and Number Theory Seminar, Ben Gurion University, Israel
  23. Associated varieties and associated cycles of local theta lifts
    Feb 26 2014, Faculty of Mathematics and Computer Science, The Weizmann Institute of Science, Israel
  24. Theta lifts of one-dimensional representations
    Dec 05 2012, Symposium on Representation Theory 2012, Kagoshima, Japan
  25. Derived functor modules, dual pairs and U(𝔤)K-actions
    Jan 28 2011 at Workshop on Geometry and Representation Theory IMS NUS,
    Mar 15 2012 at Conference on Branching Laws IMS NUS
Conference organization and participation — expand full list

Conferences and Workshops

Conferences and Workshops Organized

Upcoming

  1. December 7–11, 2026 — Langlands Program for Covering Groups. Tianyuan Mathematical Center in Southeast China, Xiamen University. Co-organizer.

Past

  1. July 15–24, 2026 — AI4Math @ ZJU: Summer School and Workshop. Zhejiang University, Hangzhou (summer school: July 15–21; workshop: July 22–24). Co-organizer.
  2. August 10–16, 2025 — Conference on Relative Langlands Program. Tianyuan Mathematics Research Center, Kunming. Co-organizer.
  3. August 3–9, 2025 — Workshop on Harmonic Analysis on Algebraic Groups. Tianyuan Mathematics Research Center, Kunming. Co-organizer.
  4. July 21–27, 2024 — Real Reductive Groups and Theta Correspondence. Tianyuan Mathematics Research Center, Kunming. Co-organizer.
  5. April 15–26, 2024 — Workshop on Formal Proofs and Lean. Institute for Mathematical Sciences, NUS, Singapore. Co-organizer.
  6. June 18–21, 2021 — Workshop on Representation Theory and Langlands Program. Shanghai Jiao Tong University, Shanghai. Co-organizer.

Selected Conferences Attended

  1. September 22–25, 2026 — Recent Progress on the Unitary Dual Problem. Brin Mathematics Research Center, University of Maryland.
  2. August 7–9, 2026 — CSML 2026. Shanghai Jiao Tong University; panelist in AI与数学.
  3. July 17–19, 2026 — CSIAM-BDAI 2026. Xiamen; speaker in the AI4Math session.
  4. June 17–23, 2025 — The Ninth International Conference on Representation Theory. Nanjing University.
  5. September 2–4, 2024 — AI for Mathematics Workshop on Lean, Automated Reasoning and Beyond (official programme). BICMR, Peking University.
  6. June 25–28, 2024 — HKU Number Theory Days 2024. University of Hong Kong.
  7. July 1–15, 2022 — Representations and Characters: Revisiting the Works of Harish-Chandra and André Weil. IMS, NUS, Singapore.
  8. April 11–15, 2022 — Minimal Representations and Theta Correspondence. ESI, Vienna (online participation).
  9. March 6–29, 2016 — Tutorials and Workshop on New Developments in Representation Theory. IMS, NUS, Singapore.
  10. July 26-31, 2015, Workshop on Automorphic Forms, Geometry and Representation Theory, Zhejiang University, Hangzhou, China
  11. June 1-5, 2015, Representation Theory, Number Theory and Invariant Theory In honor of Professor Roger Howe on the occasion of his 70th birthday, Yale University, US
  12. April 20-22, 2015, Representation Theory and Number Theory Workshop, NUS, Singapore
  13. Aug 15-29,2014, Multiplicity problems in harmonic analysis (2), Hausdorff Research Institute for Mathematics, Bonn, Germany
  14. Jul 21-23,2014, Workshop on Representation Theory, National University of Singapore, Singapore
  15. Jun 18-27,2014, The Gan-Gross-Prasad conjectures, Paris, France
  16. Mar 16-21,2014, Toward the Proof of the Geometric Langlands Conjecture, Hebrew University of Jerusalem, Israel
  17. Jul 1-13,2013, Workshop on Unitary Representations of Real Reductive Groups; Conference on Representation Theory of Reductive Groups, University of Utah, US
  18. Jan 4-9,2013, Algebraic Groups and Representation Theory, A Conference in Memory of Tonny A. Springer, Hongkong, China
  19. Dec 4-7,2012, Symposium on Representation Theory 2012, Kagoshima, Japan
  20. Jun 3-9,2012, International summer school and workshop on representation theory and harmonic analysis, Nankai University, Tianjin, China
  21. Mar 11-31,2012, Branching Laws, Institute for Mathematical Sciences, NUS, Singapore
  22. Jan 3-11,2012, International Colloquium on Automorphic Representations and L-Functions, Tata Institute of Fundamental Research, Mumbai, India
  23. Aug 13-19,2011, The 4th ILJU School of Mathematics: Theta Festival, POSTECH, Pohang, South Korea
  24. Jun 6-10,2011, International summer school and workshop on representation theory and harmonic analysis, Nankai University, Tianjin, China
  25. Jun 8-12,2010, International summer school and workshop on representation theory and harmonic analysis, Nankai University, Tianjin, China
  26. Jun 9-13,2008, International summer school and workshop on representation theory and harmonic analysis, Nankai University, Tianjin, China

View talks and conferences on a separate page