Mnev's universality theorem

Mnev's universality theorem

In algebraic geometry, Mnev's universality theorem is a result which can be used to represent algebraic (or semi algebraic) varieties as realizations of oriented matroids, a notion of combinatorics.

Contents

Oriented matroids

For the purposes of Mnev's universality, an oriented matroid of a finite subset S\subset {\Bbb R}^n is a list of all partitions of points in S induced by hyperplanes in {\Bbb R}^n. In particular, the structure of oriented matroid contains full information on the incidence relations in S, inducing on S a matroid structure.

The realization space of an oriented matroid is the space of all configurations of points S\subset {\Bbb R}^n inducing the same oriented matroid structure on S.

Stable equivalence of semialgebraic sets

For the purposes of Mnev's Universality, the stable equivalence of semialgebraic sets is defined as follows.

Let U, V be semialgebraic sets, obtained as a disconnected union of connected semialgebraic sets

U=U_1\coprod \cdots\coprod U_k, V=V_1\coprod \cdots\coprod V_k

We say that U and V are rationally equivalent if there exist homeomorphisms U_i \stackrel {\phi_i}
\mapsto V_i defined by rational maps.

Let U\subset {\Bbb R}^{n+d}, V\subset {\Bbb R}^{n} be semialgebraic sets,

U=U_1\coprod \cdots\coprod U_k, V=V_1\coprod \cdots\coprod V_k

with Ui mapping to Vi under the natural projection π deleting last d coordinates. We say that \pi:\; U \mapsto V is a stable projection if there exist integer polynomial maps

 \phi_1, \dots, \phi_l, \psi_1, \dots, \psi_m:\; {\Bbb R}^n \mapsto ({\Bbb R}^d)^*

such that

 U_i =\{ (v,v') \in {\Bbb R}^{n+d}\ \ | \ \ v\in V_i and \langle \phi_a(v), v'\rangle >0, \langle \psi_b(v), v'\rangle=0 for all a=1,\dots, l, b = 1, \dots, m\}.

The stable equivalence is an equivalence relation on semialgebraic subsets generated by stable projections and rational equivalence.

Mnev's Universality theorem

THEOREM (Mnev's universality theorem)
Let V be a semialgebraic subset in {\Bbb R}^n defined over integers. Then V is stably equivalent to a realization space of a certain oriented matroid.

History

Mnev's universality theorem was discovered by Nikolai Mnev in his Ph. D. thesis. It has numerous applications in algebraic geometry, due to Laurent Lafforgue, Ravi Vakil and others, allowing one to construct moduli spaces with arbitrarily bad behaviour.

Notes

  • N. E. Mnev, The universality theorems on the classification problem of configuration varieties and convex polytopes varieties (pp. 527–543), in "Topology and geometry: Rohlin Seminar." Edited by O. Ya. Viro. Lecture Notes in Mathematics, 1346. Springer-Verlag, Berlin, 1988.

Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Fulkerson-Preis — Der Fulkerson Preis ist ein von der Mathematical Programming Society (MPS) und der American Mathematical Society (AMS) alle drei Jahre vergebener Preis für außergewöhnliche Arbeiten in diskreter Mathematik, worunter zum Beispiel Kombinatorik und… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”