Math Labs

June Huh (Heo Jun-i)

Tên theo chữ viết gốc: 허준이

hoạt động khoảng năm 1983, Stanford, California, Hoa Kỳ

Tổ hợp và Toán rời rạcĐại sốHình họcHuy chương Fields 2022

Nhà toán học Mỹ-Hàn Quốc tại Đại học Princeton, người xây dựng lý thuyết Hodge cho matroid; Huy chương Fields 2022.

June Huh (Heo Jun-i) sinh tại Stanford, California, và lớn lên ở Hàn Quốc, nơi cha ông dạy thống kê. Ông bỏ học trung học để theo đuổi thơ, sau đó hoàn thành bằng tương đương, và vào Đại học Quốc gia Seoul học vật lý và thiên văn trước khi chuyển sang toán. Cuộc gặp với nhà toán học đoạt Huy chương Fields Heisuke Hironaka, đến giảng ở Seoul, đưa ông tới hình học đại số.

Ông nhận bằng tiến sĩ tại Đại học Michigan năm 2014 dưới sự hướng dẫn của Mircea Mustaţă. Sau các vị trí tại Viện Nghiên cứu Cao cấp, Viện Toán học Clay, và Princeton, ông trở thành giáo sư tại Đại học Princeton cho tới nay.

Công trình của Huh cho thấy các cấu trúc sâu của hình học đại số — lý thuyết Hodge, định lý Hard Lefschetz, quan hệ song tuyến Hodge–Riemann — vẫn tồn tại trong các bối cảnh thuần túy tổ hợp như matroid, những đối tượng không có không gian nền nào cả. Lý thuyết này giải quyết các giả thuyết hàng chục năm của Read, Rota, Heron, Welsh, và Dowling–Wilson về tính lồi logarit của các đa thức sắc số và đa thức đặc trưng, và đã có ứng dụng trong lý thuyết đồ thị và lý thuyết mã. Ông nhận Huy chương Fields năm 2022.

Nơi làm việc: Đại học Princeton, Viện Nghiên cứu Cao cấp, Princeton

Hoa Kỳ, Hàn Quốc

Công trình đoạt giải

Huy chương Fields 2022Huh được trao huy chương vì đưa các ý tưởng của lý thuyết Hodge vào tổ hợp, chứng minh giả thuyết Dowling–Wilson cho các dàn hình học, chứng minh giả thuyết Heron–Rota–Welsh cho matroid, và phát triển các đa thức Lorenz. Cùng Eric Katz, ông chứng minh giả thuyết Heron–Rota–Welsh — rằng các hệ số của đa thức đặc trưng của một matroid là lồi logarit — cho các matroid biểu diễn được, và cùng Adiprasito và Katz thiết lập một lý thuyết Hodge đầy đủ (Hard Lefschetz và quan hệ Hodge–Riemann) cho vành Chow của một matroid bất kỳ, giải quyết trọn vẹn giả thuyết. Công trình của ông cho thấy matroid, dù là đối tượng thuần túy tổ hợp, vẫn hành xử như thể có một hình học Kähler, định hình lại hình học đại số tổ hợp.

Đóng góp, liên kết tới thư viện