数学の表現論の分野において、ボレル・ヴェイユの定理(borel-weil theorem)は、の既約表現と複素半単純リー群の既約正則表現に対する具体的なモデルを与える。