Поставить в XY-Pic две стрелки между ячейками

[Joker_vD]

Что делаю:

$$\xymatrix{ { \left\{ \begin{array}{c} \text{homogeneous ideals} \\ \text{in } k[X_1, \ldots, X_{n+1}] \end{array} \right\} }
\ar[r]^-{V} &
{ \left\{ \begin{array}{c} \text{Algebraic sets} \\ \text{in } \mathbb P^n(k) \end{array} \right\} }
\ar[l]^-{I}
}$$

$$\xymatrix{ { \left\{ \begin{array}{c} \text{homogeneous ideals} \\ \text{in } k[X_1, \ldots, X_{n+1}] \end{array} \right\} } \ar[r]^-{V} & { \left\{ \begin{array}{c} \text{Algebraic sets} \\ \text{in } \mathbb P^n(k) \end{array} \right\} } \ar[l]^-{I} }$$

Что нужно:

Любые советы и замечания кроме "можно определить макросы для $k[X_1, \ldots, X_{n+1}]$ и $\mathbb P^n(k)$" только приветствуются.

[Someone]

А если нарисовать изогнутые стрелки (как в http://dxdy.ru/post169421.html#p169421)? Посмотрите также "Руководство по использованию XY-pic на форуме".

[Joker_vD]

Someone
Там это две разные диаграммы, а не одна цельная, увы. В форумной справке тоже пусто. Однако способ есть:

$$\xymatrix{ { \left\{ \begin{array}{c} \text{homogeneous ideals} \\ \text{in } k[X_1, \ldots, X_{n+1}] \end{array} \right\} }
\ar@<2ex>[r]^-{V} &
{ \left\{ \begin{array}{c} \text{Algebraic sets} \\ \text{in } \mathbf P^n(k) \end{array} \right\} }
\ar@<2ex>[l]_-{I}
}$$

$$\xymatrix{ { \left\{ \begin{array}{c} \text{homogeneous ideals} \\ \text{in } k[X_1, \ldots, X_{n+1}] \end{array} \right\} } \ar@<2ex>[r]^-{V} & { \left\{ \begin{array}{c} \text{Algebraic sets} \\ \text{in } \mathbf P^n(k) \end{array} \right\} } \ar@<2ex>[l]_-{I} }$$

Что здесь сделано: добавлены "@<2ex>". Означает, что расстояний между стрелками будет как $2+2=4$ высоты буквы $x$ (вроде бы, но не уверен: справка по XY-Pic очень уклончива). Также, чтобы нарисовать надпись над стрелкой влево, нужно имспользовать не _, а ^.

Осталось попросить Circiter занести это в свой FAQ.

[Someone]

Joker_vD в сообщении #448502 писал(а):

Там это две разные диаграммы, а не одна цельная, увы.

$\xymatrix{A\ar@/^10pt/[rrr]&&&B\ar@/^10pt/[lll]}$

$\xymatrix{A\ar@/^10pt/[rrr]&&&B\ar@/^10pt/[lll]}$

[Joker_vD]

Someone
Это и не из первой, и не из второй ссылки. В любом случае, мне нужны прямые стрелки.