小林 俊行 （こばやし としゆき、1962年9月 - ）は、日本の数学者。東京大学教授。理学博士（1990年）。大阪府出身。1981年灘高等学校を卒業。高校時代は卓球部。1985年東京大学理学部数学科卒業。1987年東京大学大学院理学系研究科修士課程修了。24歳で東京大学理学部助手になり、4年後、東京大学助教授。1990年理学博士。その後、プリンストン高等研究所、スウェーデン王立科学アカデミー、ハーバード大学、京都大学数理解析研究所教授などを経て、2007年より東京大学大学院数理科学研究科教授。1999年パリ第6大学客員教授、2008年ハーバード大学客員教授。2011年より東京大学国際高等研究所カブリ数物連携宇宙研究機構主任研究員（兼任）。工学者からの質問をきっかけとして、積分幾何の問題に取り組み、領域の変形の立場で、Pompeiu予想（1900年代初頭より未解決の問題）が正しいことを小林が証明したとき、小林はまだ修士の学生であった。さらに領域の特性関数のフーリエ像の零集合の無限遠での漸近挙動から領域の形状を記述するという問題に発展させ、その非線形偏微分方程式を導いた。正の定曲率を持つ完備なローレンツ多様体は決してコンパクトにはならないが、その一方で基本群は必ず有限群になる。この奇妙な現象はカラビ・マルクス現象と呼ばれるが、小林はこの現象の必要十分条件を示した。これをきっかけとし、リーマン幾何の枠組みを超えた等質空間の不連続群論に小林は世界で最初に本格的に取り組み、その基盤作りを行った。ユニタリ表現論における分岐則の離散分解可能モデルを提唱し、ユニタリ表現論における離散的分規則の理論を創始した。同理論を非可換調和解析に応用し離散系列表現を構成した。さらに保型形式論に応用しモジュラー多様体における消滅型定理の証明を与えた。また離散群が等質空間にどう作用するかを研究し、そこから非リーマン等質空間における不連続群の変形を研究した （ローレンツ多様体に関するゴールドマン予想を一般化した上で解決を含む） 。複素多様体における「可視的な作用」という概念を導入し、この新しい幾何学的立場の視点から、無限次元の場合と（組合せ論が絡む）重複度1の表現の統一理論を構築した。無限次元の根源的な対称性である極小表現をモチーフとし、共形幾何学・シンプレクティック幾何学や調和解析・微分方程式などに多くの分野にまたがる大域解析の理論を興した。

出典:wikipedia