Abstract
In this paper, for any Milnor hypersurface, we find the largest dimension of effective algebraic torus actions on it. The proof of the corresponding theorem is based on the computation of the automorphism group for any Milnor hypersurface. We find all generalized Buchstaber–Ray and Ray hypersurfaces that are toric varieties. We compute the Betti numbers of these hypersurfaces and describe their integral singular cohomology rings in terms of the cohomology of the corresponding ambient varieties.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the present paper, we study effective algebraic torus actions on the particular collections of nonsingular complex algebraic hypersurfaces, namely \(H_{i,j}\), \(BR_{i,j}\) and \(R_{i,j}\) in \({\mathbb {P}}^{i}\times {\mathbb {P}}^{j}\), \(BF_{i}\times {\mathbb {P}}^j\) and \(BF_{i}\times BF_j\), respectively, for any nonnegative integers i, j. Here, the n-dimensional varieties \({\mathbb {P}}^n\) and \(BF_{n}\) are a complex projective space and a bounded flag variety [7], respectively.
For any integers \(i, j \geqslant 0\), the transverse intersection \(H_{i,j}\) of the Segre embedding image of \({\mathbb {P}}^i\times {\mathbb {P}}^j\) to \({\mathbb {P}}^{(i+1)(j+1)-1}\) with a generic hyperplane is called a Milnor hypersurface. In particular, \(H_{i,j}\) is a hypersurface in \({\mathbb {P}}^i\times {\mathbb {P}}^j\) of bidegree (1, 1). The hypersurface \(BR_{i,j}\) was defined as a toric variety in [6] for any integers \(0\leqslant i\leqslant j\). Following the definition of the hypersurface \(R_{i,j}\) given in [22] for any integers \(i, j \geqslant 0\) by Ray, we call it a Ray hypersurface.
Recall that a normal algebraic variety X over \({\mathbb {C}}\) containing an algebraic torus \({\mathbb {T}}\) as a dense open orbit is called a toric variety if the action of \({\mathbb {T}}\) on itself extends to a regular action on X. The motivation for our study stems from the question raised in [23]: is \(R_{i,j}\) a toric variety? A positive answer to this question leads to the short proof of one theorem from algebraic topology, as described in [23].
For any integers \(i, j \geqslant 0\), it was shown in [6] that the variety \(H_{i,j}\) is a toric variety iff \(\min \lbrace i,j \rbrace \leqslant 1\). Demazure’s result [11] allows to describe the automorphism group of any Milnor hypersurface that is a toric variety. We remark that the automorphism group of \(H_{1,3}\) was described explicitly in [9, Lemma 4.5]. We compute the automorphism group of \(H_{i,j}\) for arbitrary integers \(i,j\geqslant 0\). The computation is based on the well-known sheaf-theoretic argument for projective Fano varieties. We deduce the first main result of this paper from this computation.
Theorem 1.1
The largest dimension for algebraic torus actions on the Milnor hypersurface \(H_{i,j}\) is equal to \(\max {\lbrace i,j\rbrace }\) for any integers \(i,j\geqslant 0\).
We provide a natural definition of the variety \(BR_{i,j}\) as a hypersurface in \(BF_{i}\times {\mathbb {P}}^j\) for all integers \(i,j\geqslant 0\). Taking into account that \(BR_{i,j}\) is isomorphic to the variety from [6] for any integers \(i,j\geqslant 0\) such that \(i\leqslant j\), we call the hypersurface \(BR_{i,j}\) a generalized Buchstaber–Ray hypersurface. The following two theorems represent main results of this paper, in addition to Theorem 1.1.
Theorem 1.2
The hypersurface \(BR_{i,j}\) is a toric variety iff \(0\leqslant i\leqslant j\) or \(j=0,1\).
Theorem 1.3
The hypersurface \(R_{i,j}\) is a toric variety iff \(\min {\lbrace i,j\rbrace }=0,1\) or \(i{=}j=2\).
Theorem 1.3 provides a complete answer to the problem discussed in [23]. To prove Theorem 1.2, for any integers i, j such that \(0\leqslant i\leqslant j\) or \(j=0,1\), we define the algebraic torus action on \(BR_{i,j}\) endowing it with the structure of a toric variety. For any integers \(i,j\geqslant 0\), we define the effective action of the algebraic torus \(({\mathbb {C}}^{\times })^{\max \lbrace i,j\rbrace }\) on \(BR_{i,j}\). This action corresponds to the \(\max \lbrace i,j\rbrace \)-dimensional algebraic subtorus \({\mathbb {T}}\) in the connected component \({{\,\mathrm{Aut}\,}}^0 BR_{i,j}\) of the automorphism group \({{\,\mathrm{Aut}\,}}BR_{i,j}\) of \(BR_{i,j}\). Let \(i,j\geqslant 0\) be any integers that do not satisfy the condition of Theorem 1.2. Let \({\mathbb {T}}'\) be any maximal algebraic torus in \({{\,\mathrm{Aut}\,}}^0 BR_{i,j}\) such that \({\mathbb {T}}\subseteq {\mathbb {T}}'\). All maximal algebraic tori of the algebraic group \({{\,\mathrm{Aut}\,}}^0 BR_{i,j}\) are conjugate to each other.
To prove that \(BR_{i,j}\) with the \({\mathbb {T}}'\)-action is not a toric variety, we introduce a general formalism of weight hypergraphs that combines the methods from [3, 15] and [24]. For a torus action from a certain class (wider than GKM-actions), one associates a weight hypergraph. A weight hypergraph notion is a refined version of the GKM-hypergraph notion [3], which is in turn a generalization of a GKM-graph notion [14]. For a weight hypergraph \(\Gamma \), we define a connection \(\nabla \) along the edges of a certain subgraph \(R(\Gamma )\) in \(\Gamma \). The respective connection acts on the edges of the maximal subgraph \(G(\Gamma )\subseteq \Gamma \) for a weight hypergraph \((\Gamma ,\alpha ,\nabla )\). We define a suitable generalization of a face in a weight hypergraph and call it an invariant subgraph.
Suppose there is the GKM-graph \((\Gamma ',\alpha ',\nabla ')\) of an action of a torus with a dense open orbit on a projective nonsingular toric variety and the weight hypergraph \((\Gamma ,\alpha ,\nabla )\) for the action of any its subtorus (satisfying some additional conditions) with rank at least two. We show that the restriction to the action of such a subtorus gives an embedding \(G(\Gamma )\rightarrow \Gamma '\) of graphs. For a definite edge \(e\in G(\Gamma )\), one has \(\nabla _{e}={\nabla '}_{e}\).
We show that the weight hypergraph of the \({\mathbb {T}}\)-action on \(BR_{i,j}\) has a nonidentical action of the monodromy map (introduced in [24] for GKM-graphs) along a loop consisting of definite edges. Together with the aforementioned argument of tori conjugacy this implies that \(BR_{i,j}\) is not a toric variety (for these particular values of i, j). We prove Theorem 1.3 by following a similar approach, however, we come to a contradiction by finding an invariant subgraph in the corresponding weight hypergraph consisting of definite edges and not satisfying the convexity property.
In addition, for all integers \(i,j\geqslant 0\), we compute the Betti numbers of the hypersurfaces \(BR_{i,j}\) and \(R_{i,j}\), and relate their integral singular cohomology rings to the cohomology rings of \(BF_{i}\times {\mathbb {P}}^j\) and \(BF_{i}\times BF_j\), respectively. Namely, we prove that the morphism of the respective integral cohomology rings, induced by the embedding of any hypersurface considered above to the ambient space, is onto, and describe its kernel.
The paper is organized as follows. In Sect. 2, the automorphism group of any Milnor hypersurface is computed and the proof of Theorem 1.1 is provided. In Sect. 3, we define generalized Buchstaber–Ray and Ray hypersurfaces. In Sect. 4, we define a certain class of algebraic torus actions on any nonsingular complex manifold. We assign the hypergraph equipped with additional structures to any action from this class. These structures generalize the notion of an axial function and a connection from GKM-theory (see [14]) to the case of a hypergraph. In Sect. 5, the proofs of Theorems 1.2 and 1.3 are given. In Appendix A, we describe the generalized Buchstaber–Ray and Ray hypersurfaces in terms of consecutive blow-ups along smooth subvarieties as well as in terms of algebraic fiber bundles. In Appendix B, we study the integral singular cohomology rings of generalized Buchstaber–Ray and Ray hypersurfaces, and compute the respective Betti numbers by utilizing the results from Appendix A.
2 The Automorphism Group of a Milnor Hypersurface
Unless explicitly stated otherwise, in the sequel an algebraic variety (or, in short, a variety) is defined as a separated reduced irreducible scheme of finite type over \({\mathbb {C}}\). A hypersurface in a variety is a subvariety of codimension 1. An algebraic fiber bundle is a locally trivial algebraic fiber bundle in the Zariski topology. A holomorphic fiber bundle is a locally trivial complex-analytical fiber bundle over a complex manifold. We call any toric variety \(X^n\) that is an algebraic fiber bundle \(\pi :X\rightarrow B\) a toric fiber bundle, if the base B and the fiber F are toric varieties and the projection \(\pi \) is equivariant with respect to the given algebraic torus actions on X and B. A fiber bundle is a locally trivial topological fiber bundle. Occasionally, we call a fiber bundle with a particular structure (topological, holomorphic, algebraic, toric) with fiber F an F-bundle. We indicate the complex dimension \(\dim X=n\) of an algebraic variety (or complex manifold) X by writing \(X^n\). We put \(\dim \varnothing :=-1\).
In this paper, we repeatedly use the well-known bijective correspondence between (Cartier) divisors on a nonsingular algebraic variety X and algebraic line bundles over X ([17, p.144]). This correspondence respects the equivalence relations of linear equivalence on divisors and of algebraic isomorphism on line bundles. Another variant of this correspondence takes place for complex manifolds and holomorphic line bundles, with appropriately defined equivalence relations in the holomorphic setting. For more details, see [13, Chapter 1, §1].
We denote by \(\xi ^{\vee }\) the dual vector bundle to any vector bundle \(\xi \) (with a particular structure). We denote by \(\xi \boxtimes \eta \) the vector bundle \(p_{1}^*(\xi )\otimes p_{2}^*(\eta )\) for any vector bundles \(\xi \rightarrow X\), \(\eta \rightarrow Y\) under the natural projections \(p_1:X\times Y\rightarrow X\) and \(p_2:X\times Y\rightarrow Y\) of varieties.
We consider the set \({{\,\mathrm{Aut}\,}}X\) of all automorphisms of any algebraic variety X as an abstract group with the natural group operation.
Definition 2.1
The group \({{\,\mathrm{Aut}\,}}X\) is called the automorphism group of an algebraic variety X. The connected component \({{\,\mathrm{Aut}\,}}^0 X\) of the group \({{\,\mathrm{Aut}\,}}X\) is the subgroup of automorphisms that occur as a member of a family \(\lbrace \varphi _{b}\rbrace _{b\in B}\) such that B is an irreducible rational curve, the natural map \(B\times X\rightarrow X\) defined by \((b,x)\mapsto \varphi _{b}(x)\) is a morphism, and \(\varphi _{b_0}={{\,\mathrm{Id}\,}}_{X}\) is the identity for some \(b_0\in B\).
It follows from the Definition 2.1 that for any algebraic torus \({\mathbb {T}}\) acting on X its image under the natural embedding to \({{\,\mathrm{Aut}\,}}X\) is contained in \({{\,\mathrm{Aut}\,}}^0 X\) [1, Lemma 1.4, p. 1715].
Proposition 2.2
[21, Corollary 1, p.31] Let \(X^{n}\) be a nonsingular complete variety. Then, \({{\,\mathrm{Aut}\,}}^0 X\) is an algebraic group.
Proposition 2.3
[11] Let \(X^{n}\) be a nonsingular projective toric variety. Then, \({{\,\mathrm{Aut}\,}}X\) is an algebraic group of rank n.
Corollary 2.4
Let \(X^{n}\) be a nonsingular projective variety. Let k be the rank of \({{\,\mathrm{Aut}\,}}^0 X\). For any integer \(r\geqslant 0\) and any effective action of \({\mathbb {T}}^{r}:=({\mathbb {C}}^{\times })^r\) by automorphisms on \(X^{n}\), the following holds:
-
(i)
One has \(r\leqslant k\), and there exists an extension of \({\mathbb {T}}^{r}\)-action on \(X^n\) to an effective action of \({\mathbb {T}}^k\) on \(X^{n}\);
-
(ii)
Any two effective \({\mathbb {T}}^k\)-actions by automorphisms on \(X^{n}\) are equivariantly isomorphic;
-
(iii)
If \(X^n\) is a toric variety, then the action of any maximal torus in \({{\,\mathrm{Aut}\,}}^0 X\) on \(X^{n}\) endows \(X^n\) with the structure of a toric variety.
Proof
Claims (i), (ii) follow from the theorem about conjugacy of all maximal algebraic tori in any algebraic group ([25, p.119]) and Proposition 2.2. Claim (iii) follows from Proposition 2.3 and (ii). \(\square \)
Definition 2.5
For for any integers \(i,j\geqslant 0\), the nonsingular hypersurface \(H_{i,j}\) in \({\mathbb {P}}^i\times {\mathbb {P}}^j\) given by the equation
in the homogeneous coordinates \((z,w)=([z_0:\dots :z_{i}],[w_0:\dots :w_{j}])\) of \({\mathbb {P}}^i\times {\mathbb {P}}^j\) is called a Milnor hypersurface. Denote by \({\widehat{H}}_{i,j}\) the hypersurface in \({\mathbb {P}}^i\times {\mathbb {P}}^j\) given by the equation
The Milnor hypersurface \(H_{i,j}\) is the divisor corresponding to the algebraic line bundle \(\eta ^{\vee }\otimes (\eta ')^{\vee }\) over \({\mathbb {P}}^{i}\times {\mathbb {P}}^{j}\). Here \(\eta \) denotes the tautological line bundle over a complex projective space.
Remark 2.6
The suitable automorphism of \({\mathbb {P}}GL_{i+1}({\mathbb {C}})\times {\mathbb {P}}GL_{j+1}({\mathbb {C}})\) induces the isomorphism \({\widehat{H}}_{i,j}\simeq H_{i,j}\) of subvarieties in \({\mathbb {P}}^i\times {\mathbb {P}}^j\). The map \({\mathbb {P}}^{i}\times {\mathbb {P}}^{j}\rightarrow {\mathbb {P}}^{j}\times {\mathbb {P}}^{i}\), \((z,w)\mapsto (w,z)\), maps \(H_{i,j}\) to \(H_{j,i}\). Hence, \(H_{i,j}\simeq H_{j,i}\).
It is well known that \({{\,\mathrm{Aut}\,}}{\mathbb {P}}^n\simeq {\mathbb {P}}GL_{n+1}({\mathbb {C}})\) ([17, Example 7.1.1, p.152]). It is easy to prove the following lemma.
Lemma 2.7
Let \(i,j\geqslant 0\) be any integers. If \(i\ne j\), then \({{\,\mathrm{Aut}\,}}({\mathbb {P}}^i\times {\mathbb {P}}^j)\simeq {\mathbb {P}}GL_{i+1}({\mathbb {C}})\times {\mathbb {P}}GL_{j+1}({\mathbb {C}})\). One has \({{\,\mathrm{Aut}\,}}({\mathbb {P}}^i\times {\mathbb {P}}^i)\simeq \bigl ({\mathbb {P}}GL_{i+1}({\mathbb {C}})\times {\mathbb {P}}GL_{i+1}({\mathbb {C}})\bigr )\rtimes {\mathbb {Z}}_{2}\).
We extend any automorphism of \(H_{i,j}\) to the automorphism of \({\mathbb {P}}^i\times {\mathbb {P}}^j\) as follows.
Lemma 2.8
There is the monomorphism of algebraic groups \({{\,\mathrm{Aut}\,}}H_{i,j}\rightarrow {{\,\mathrm{Aut}\,}}({\mathbb {P}}^i\times {\mathbb {P}}^j)\). Its image consists of automorphisms of \({\mathbb {P}}^i\times {\mathbb {P}}^j\) leaving \(H_{i,j}\) invariant.
Proof
Recall that there is the standard exact sequence relating the ideal sheaf of the subvariety to the structure sheaf of the ambient variety. For the natural inclusion \(\iota :H_{i,j}\rightarrow {\mathbb {P}}^i\times {\mathbb {P}}^j\), the corresponding exact sequence of sheaves on \({\mathbb {P}}^i\times {\mathbb {P}}^j\) is
Twisting (3) by \(\mathcal {O}_{{\mathbb {P}}^i\times {\mathbb {P}}^j}(1,1)\) one obtains the following exact sequence:
of sheaves. By [17, Lemma 2.10, p.209], one has
It follows from the cohomological long exact sequence of (4), the identity \(H^{1}({\mathbb {P}}^i\times {\mathbb {P}}^j\,;\,\mathcal {O}_{{\mathbb {P}}^i\times {\mathbb {P}}^j})=0\) (which in turn follows from Künneth’s formula and the description of sheaf cohomology of \({\mathbb {P}}^n\)) and (5) that
is an epimorphism. It is not hard to show that the abelian group \(H^2(H_{i,j};{\mathbb {Z}})\simeq {\mathbb {Z}}^2\) is generated by the first Chern classes of the restrictions of the sheaves \(\mathcal {O}_{{\mathbb {P}}^i\times {\mathbb {P}}^j}(0,1)\), \(\mathcal {O}_{{\mathbb {P}}^i\times {\mathbb {P}}^j}(1,0)\) to \(H_{i,j}\). Then, one obtains \({{\,\mathrm{Pic}\,}}H_{i,j}\simeq {\mathbb {Z}}^2\) from the following part of the long exact sequence
of the exponential sequence of sheaves, where \(\Omega \) is the sheaf of germs of local holomorphic functions on \(H_{i,j}\) (see [18, p.127, §15.9]). The classes of \(\iota ^* \mathcal {O}_{{\mathbb {P}}^i\times {\mathbb {P}}^j}(0,1)\), \(\iota ^* \mathcal {O}_{{\mathbb {P}}^i\times {\mathbb {P}}^j}(1,0)\) span the semigroup of effective divisors in \({{\,\mathrm{Pic}\,}}H_{i,j}\). Any automorphism \(\varphi \in {{\,\mathrm{Aut}\,}}H_{i,j}\) maps effective divisors to effective. Hence, the abelian group isomorphism \(\varphi ^*\) defines the bijective map on the basis of the semigroup of effective divisors to itself. We conclude that the homomorphism \(\varphi ^*: {{\,\mathrm{Pic}\,}}H_{i,j}\rightarrow {{\,\mathrm{Pic}\,}}H_{i,j}\) restricts to the well-defined map on the set of generators of this semigroup, represented by \(\mathcal {O}_{{\mathbb {P}}^i\times {\mathbb {P}}^j}(0,1)\) and \(\mathcal {O}_{{\mathbb {P}}^i\times {\mathbb {P}}^j}(1,0)\). This map is either identity or involution. Hence, \(\varphi ^*\mathcal {O}_{H_{i,j}}(1,1)\simeq \mathcal {O}_{H_{i,j}}(1,1)\), and \(\varphi ^*\) acts on the sections of \(\mathcal {O}_{H_{i,j}}(1,1)\). We lift the automorphism \(\varphi ^*\) to an automorphism of \(H^0({\mathbb {P}}^i\times {\mathbb {P}}^j\,;\,\mathcal {O}_{{\mathbb {P}}^i\times {\mathbb {P}}^j}(1,1))\) by choosing any section of the epimorphism (6) of \({\mathbb {C}}\)-modules. The projective embedding corresponding to the sheaf \( \mathcal {O}_{{\mathbb {P}}^i\times {\mathbb {P}}^j}(1,1)\) is the Segre embedding
We conclude that the automorphism \(\varphi \) of \(H_{i,j}\) is the restriction of an automorphism of \({\mathbb {P}}^i\times {\mathbb {P}}^j\) to \(H_{i,j}\). It also remains to notice that \(\varphi (H_{i,j})=H_{i,j}\) is an algebraic condition on \(\varphi \in {{\,\mathrm{Aut}\,}}({\mathbb {P}}^i\times {\mathbb {P}}^j)\). \(\square \)
By Remark 2.6, one has \({{\,\mathrm{Aut}\,}}H_{i,j}\simeq {{\,\mathrm{Aut}\,}}H_{j,i}\). Without loss of generality, we compute the group \({{\,\mathrm{Aut}\,}}H_{i,j}\) for any integers \(i,j\geqslant 0\) such that \(i\leqslant j\). Let \(Q_{0}:{\mathbb {C}}^{j+1}\times {\mathbb {C}}^{j+1}\rightarrow {\mathbb {C}}\) be the bilinear form on \({\mathbb {C}}^{j+1}\) given by the formula
for any \(z=(z_0,\dots ,z_j), w=(w_0,\dots ,w_j)\in {\mathbb {C}}^{j+1}\). Let \(\pi :{\mathbb {C}}^{j+1}\rightarrow {\mathbb {C}}^{i+1}\) be the projection given by the formula \(\pi (z):=(z_{0},\dots ,z_{i})\). Define the bilinear form \(Q:{\mathbb {C}}^{j+1}\times {\mathbb {C}}^{j+1}\rightarrow {\mathbb {C}}\) by the formula
Let \(A\in GL_{i+1}({\mathbb {C}})\), \(B\in GL_{j+1}({\mathbb {C}})\). Define \({\widetilde{A}}:={\widetilde{A}}(A)\in GL_{j+1}({\mathbb {C}})\) as
where \({{\,\mathrm{Id}\,}}_{j-i}\) is the identity \((j-i)\times (j-i)\)-matrix and the block structure is with respect to the decomposition
in the basis \(e_0,\dots , e_j\) of \({\mathbb {C}}^{j+1}\). The proof of the following lemma is straight-forward.
Lemma 2.9
Let \(A\in GL_{i+1}({\mathbb {C}})\), \(B\in GL_{j+1}({\mathbb {C}})\). Suppose that for any \(z,w\in {\mathbb {C}}^{j+1}\) such that \(Q(z,w)=0\), one has \(Q({\widetilde{A}}z,Bw)=0\). Then, the identity
holds for some \(B'=B'(B)\in GL_{j-i}({\mathbb {C}})\) and some \(C=C(A,B)\in {{\,\mathrm{Mat}\,}}_{i+1,j-i}({\mathbb {C}})\). The class \([B']\in {\mathbb {P}}GL_{j-i}({\mathbb {C}})\) is uniquely defined by the class \([B]\in {\mathbb {P}}GL_{j+1}({\mathbb {C}})\).
For all \(0<i<j\), let
be the subgroup of \({{\,\mathrm{Aut}\,}}H_{i,j}\). (This is a subgroup because the identity \(((A_1 A_2)^t)^{-1}=((A_1)^t)^{-1}((A_2)^t)^{-1}\) holds for any \(A_1, A_2\in GL_{i+1}({\mathbb {C}})\). The inclusion \(E_{i,j}\subseteq {{\,\mathrm{Aut}\,}}H_{i,j}\) easily follows from (1).) The following proposition is straight-forward to prove.
Proposition 2.10
The group \(E_{i,j}\) is a central extension of the following groups:
where the right homomorphism is given by \(([A],[B])\mapsto ([A],[B'])\) in terms of (8).
Theorem 2.11
Let \(i,j\geqslant 0\) be any integers such that \(i\leqslant j\). One has \({{\,\mathrm{Aut}\,}}H_{0,j}\simeq {\mathbb {P}}GL_{j}({\mathbb {C}})\). If \(0< i< j\), then \({{\,\mathrm{Aut}\,}}H_{i,j}\simeq {\mathbb {C}}^{(i+1)(j-i)}\rtimes E_{i,j}\). For \(0< i=j\), one has \({{\,\mathrm{Aut}\,}}H_{i,i}\simeq {\mathbb {P}}GL_{i+1}({\mathbb {C}})\rtimes {\mathbb {Z}}_{2}\). In particular, \({{\,\mathrm{rk}\,}}{{\,\mathrm{Aut}\,}}H_{i,j}=j\) holds for any \(0\leqslant i\leqslant j\).
Proof
Since \(H_{0,j}\simeq {\mathbb {P}}^{j-1}\), one has \({{\,\mathrm{Aut}\,}}H_{0,j}\simeq {\mathbb {P}}GL_{j}({\mathbb {C}})\). Now let \(i>0\). We apply Lemma 2.8. In the case of \(i=j\), the involution \((z,w)\mapsto (w,z)\) descends from \({\mathbb {P}}^i\times {\mathbb {P}}^i\) to \(H_{i,i}\). Hence, by Lemma 2.7, to prove the claim of the theorem it remains to compute the subgroup of elements in \({\mathbb {P}}GL_{i+1}({\mathbb {C}})\times {\mathbb {P}}GL_{j+1}({\mathbb {C}})\) with well-defined restrictions to \(H_{i,j}\). This follows easily from Lemma 2.9. The proof is complete. \(\square \)
Proof of Theorem 1.1
Follows from Theorem 2.11 and Corollary 2.4. \(\square \)
Remark 2.12
The quotient \(GL_n({\mathbb {C}})\rightarrow GL_n({\mathbb {C}})/({\mathbb {C}}^{\times })={\mathbb {P}}GL_n({\mathbb {C}})\) by the subgroup of the diagonal matrices is a principal \({\mathbb {C}}^{\times }\)-bundle. Let \(\eta \rightarrow {\mathbb {P}}GL_{n}({\mathbb {C}})\) be the algebraic line bundle associated with it. Denote by \(\eta ^{\times }\) the associated \({\mathbb {C}}^{\times }\)-bundle over \({\mathbb {P}}GL_{n}({\mathbb {C}})\) corresponding to \(\eta \). In particular, the total space of the algebraic fiber bundle \(\eta ^{\times }\) over \({\mathbb {P}}GL_{n}({\mathbb {C}})\) is \(GL_{n}({\mathbb {C}})\). The fiberwise transposed algebraic line bundle \(\eta ^{t}\rightarrow {\mathbb {P}}GL_{n}({\mathbb {C}})\) is defined in the obvious way. There is the natural isomorphism of the algebraic line bundles \(\eta ^t, \eta \). The group \({{\,\mathrm{Pic}\,}}({\mathbb {P}}GL_n({\mathbb {C}}))\) is isomorphic to \({\mathbb {Z}}/n{\mathbb {Z}}\) (see [4]). The first Chern class \(c_{1}(\eta )\) is the generator of this cyclic group. In terms of Proposition 2.10, the group \(E_{i,j}\) as a variety is isomorphic to the total space of the \({\mathbb {C}}^{\times }\)-bundle \((\eta ^{-1}\boxtimes \eta )^{\times }\rightarrow {\mathbb {P}}GL_{i+1}({\mathbb {C}})\times {\mathbb {P}}GL_{j-i}({\mathbb {C}})\).
Let us compute \({{\,\mathrm{Aut}\,}}H_{1,2}\) by applying Theorem 2.11.
Example 2.13
The algebraic line bundles \(\eta ,\eta ^{-1}\) over \({\mathbb {P}}GL_{2}({\mathbb {C}})\) are isomorphic, because \({{\,\mathrm{Pic}\,}}{\mathbb {P}}GL_{2}({\mathbb {C}})={\mathbb {Z}}/2{\mathbb {Z}}\). By Remark 2.12, the total space of the algebraic \({\mathbb {C}}^{\times }\)-bundle \(\eta ^\times \rightarrow {\mathbb {P}}GL_{2}({\mathbb {C}})\) is \(GL_{2}({\mathbb {C}})\). We conclude that the total space of the algebraic fiber bundle \((\eta ^{-1})^{\times }\) over \({\mathbb {P}}GL_{2}({\mathbb {C}})\) is isomorphic to \(GL_{2}({\mathbb {C}})\). By Remark 2.12 and Theorem 2.11, we obtain the isomorphism of algebraic groups
The Milnor hypersurface \(H_{1,2}\) is a toric variety [8, pp.348–350]. Its automorphism group can be computed by Demazure’s theorem (see [11, 20, §3.4], [2, Excercise 4.9, p. 329]), and the group obtained in this way agrees with (9). We finish this Section by defining a maximal algebraic torus in \({{\,\mathrm{Aut}\,}}^0 H_{i,j}\). For any integer \(n\geqslant 0\), the formula
determines the \({\mathbb {T}}^n\)-action on \({\mathbb {P}}^n\). Let \(i,j\geqslant 0\) be any integers such that \(i\leqslant j\). Then, we define the effective \({\mathbb {T}}^{j}\)-action on the hypersurface \(H_{i,j}\) in the homogeneous coordinates \((z,w)=([z_0:z_1:\dots :z_i],[w_0:w_1:\dots :w_j])\) of \({\mathbb {P}}^i\times {\mathbb {P}}^j\) by the formula
3 Definitions of \(BR_{i,j}\) and \(R_{i,j}\)
3.1 Generalized Buchstaber–Ray Hypersurface \(BR_{i,j}\)
Let us recall some definitions.
Definition 3.1
([6]) Let \(BF_0\) be the point, and let \(\beta _0:={\underline{{\mathbb {C}}}}\rightarrow BF_0\) be the trivial line bundle. For any integer \(n\geqslant 0\), let \(BF_{n+1}\) be the total space of the algebraic \({\mathbb {P}}^1\)-bundle \({\mathbb {P}}(\beta _{n}\oplus {\underline{{\mathbb {C}}}})\) associated with the algebraic vector bundle \(\beta _{n}\oplus {\underline{{\mathbb {C}}}}\) over \(BF_n\). Let \(\beta _{n+1}\) be the (fiberwise) tautological line bundle of the projectivization \(BF_{n+1}={\mathbb {P}}(\beta _{n}\oplus {\underline{{\mathbb {C}}}})\) of the vector bundle \(\beta _{n}\oplus {\underline{{\mathbb {C}}}}\rightarrow BF_{n}\) [13, p.605]. The variety \(BF_n\) is called a bounded flag variety. We abuse the notation slightly by defining \(\beta _{k}\rightarrow BF_{n}\) to be the pull-back of \(\beta _{k}\rightarrow BF_{k}\) under the composition of projections \(BF_{n}\rightarrow BF_{n-1}\rightarrow \dots \rightarrow BF_{k}\) of \({\mathbb {P}}^1\)-bundles, where \(k=0,\dots ,n\).
An equivalent definition of a bounded flag variety was given in [7] as follows. Choose a basis \(e_{0},\dots ,e_{n}\) in \({\mathbb {C}}^{n+1}\). Then, \(BF_{n}\) is the set of sequences \((l_{0},\dots ,l_{n})\) of lines in \({\mathbb {C}}^{n+1}\) such that
hold, where \({\mathbb {C}}_{k}:={\mathbb {C}}\langle e_{k}\rangle \) denotes the line spanned by \(e_{k}\) in \({\mathbb {C}}^{n+1}\). Put \(l_{0}:={\mathbb {C}}_{0}={\mathbb {C}}\langle e_0\rangle \). The projection of the \({\mathbb {P}}^1\)-bundle \(BF_{n}\rightarrow BF_{n-1}\) from Definition 3.1 is given by \((l_{0},\dots ,l_{n})\mapsto (l_{0},\dots ,l_{n-1})\). Using (12), we obtain
where \({\mathbb {C}}\langle e_{0},\dots ,e_{k}\rangle \) denotes the linear span of vectors \(e_{0},\dots ,e_{k}\) in \({\mathbb {C}}^{n+1}\). Let \(z_{k}:=[z_{k,0}:\dots :z_{k,k}]\) be the homogeneous coordinates of the line \(l_{k}\) in (13), where the coordinates \((z_{k,0},\dots ,z_{k,k})\) are dual to \(e_0,\dots ,e_k\), for any \(k=0,\dots ,n\). In particular, \(z_k=z_k(l_k)\), for any \(k=0,\dots ,n\). The embedding \(BF_{n}\rightarrow \prod _{k=0}^{n}{\mathbb {P}}^k\) given by
endows \(BF_{n}\) with the tuple \((z_0,z_{1},\dots ,z_{n})\) of homogeneous coordinates. The image of \(BF_{n}\) in \(\prod _{k=0}^{n}{\mathbb {P}}^k\) is given by the conditions
These are quadratic equations (on the tuple of homogeneous coordinates \((z_0,z_{1},\dots ,z_{n})\)) given by vanishing of all \((2\times 2)\)-minors of the matrices (14).
It is well known that \(BF_{n}\) is obtained from \({\mathbb {P}}^n\) by the sequence of blow-ups at strict transforms of the subvarieties \(\lbrace z_{0}=\cdots =z_{k}=0\rbrace \) of \({\mathbb {P}}^n\) in any order, where k runs over \(\lbrace 1,\dots ,n-1\rbrace \). The variety \(BF_{n}\) is a nonsingular projective toric variety of dimension n (see [7, 23]). The action of \({\mathbb {T}}^n=({\mathbb {C}}^{\times })^n\) on \(BF_{n}\), given by the formula
has a dense open orbit.
The varieties \(BR_{i,j}\) were introduced by Buchstaber and Ray in [6] for any integers \(i,j\geqslant 0\) such that \(i\leqslant j\). They showed in [6] that \(BR_{i,j}\) is a nonsingular projective toric variety for any integers \(i,j\geqslant 0\) such that \(i\leqslant j\). We generalize their definition to the case of arbitrary integers \(i, j\geqslant 0\), as follows.
Definition 3.2
For any integers \(i, j\geqslant 0\), we call the hypersurface \(BR_{i,j}\) in \(BF_{i}\times {\mathbb {P}}^j\) given by the equation
where \([w_{0}:\dots :w_{j}]\) are the homogeneous coordinates on the second factor \({\mathbb {P}}^j\) in \(BF_{i}\times {\mathbb {P}}^j\), a generalized Buchstaber–Ray hypersurface.
Remark 3.3
Consider the hypersurface in \(BF_{i}\times {\mathbb {P}}^j\) given by the equation
For any integers \(i,j\geqslant 0\) such that \(i\leqslant j\), the hypersurface given by (17) is clearly isomorphic to \(BR_{i,j}\). However, unlike \(BR_{2,1}\), the hypersurface given by (17) is singular for \((i,j)=(2,1)\), see [23]. Notice that \(BR_{0,0}=\varnothing \), because substituting 0 for i, j in (16), we obtain the equation \(z_{0,0} w_{0}=0\) which has no solutions.
Here is the definition of \(BR_{i,j}\) in terms of configurations of lines in a complex vector space. Endow \({\mathbb {C}}^{\max \lbrace i,j\rbrace +1}\) with the natural Hermitian metric such that the standard basis \(e_{0},\dots ,e_{\max \lbrace i,j\rbrace }\) of \({\mathbb {C}}^{\max \lbrace i,j\rbrace +1}\) is orthonormal. Any point of \(BF_{i}\times {\mathbb {P}}^{j}\) is the sequence \(\bigl (l_0,\dots ,l_i,l'\bigr )\) of lines in \({\mathbb {C}}^{\max \lbrace i,j\rbrace +1}\) satisfying the conditions
for any integer \(r=0,\dots ,i-1\). Put \(l_{0}:={\mathbb {C}}_{\max \lbrace i,j\rbrace -i}\). Then, \(BR_{i,j}\) is given in \(BF_{i}\times {\mathbb {P}}^{j}\) by the (algebraic) condition \(l_{i}\perp \overline{l'}\), i.e., the lines \(l_{i}, \overline{l'}\) are orthogonal in \({\mathbb {C}}^{\max \lbrace i,j\rbrace +1}\).
3.2 Ray Hypersurface \(R_{i,j}\)
We introduce the next definition by following [22, 23].
Definition 3.4
For any integers \(i, j\geqslant 0\), we call the hypersurface \(R_{i,j}\) of \(BF_{i}\times BF_{j}\) given by the equation
where \((z_0,\dots ,z_{i})\), \((w_{0},\dots ,w_{j})\) are the tuples of homogeneous coordinates on \(BF_{i}\), \(BF_{j}\), respectively, a Ray hypersurface.
Remark 3.5
The natural involution \(BF_{i}\times BF_{j}\rightarrow BF_{j}\times BF_{i}\) maps \(R_{i,j}\) to \(R_{j,i}\). Hence, \(R_{i,j}\simeq R_{j,i}\) for any integers \(i,j\geqslant 0\). By definition, \(R_{0,n+1}=BF_{n}\) and \(R_{n,1}=BR_{n,1}\) for any integer \(n\geqslant 0\). Notice that \(R_{0,0}=\varnothing \), because substituting 0 for i, j in (19), we get the equation \(z_{0,0} w_{0,0}=0\) which has no solutions.
Here is the definition of \(R_{i,j}\) in terms of configurations of lines in a complex vector space. Any point in \(BF_{i}\times BF_{j}\) is the sequence \(\bigl (l_0,\dots ,l_i,l'_0,\dots ,l'_j\bigr )\) of lines in \({\mathbb {C}}^{\max \lbrace i,j\rbrace +1}\) satisfying the conditions
for any integers \(r=0,\dots ,i-1\) and \(q=0,\dots ,j-1\). Put \(l_{0}:={\mathbb {C}}_{\max \lbrace i,j\rbrace -i},\ l'_{0}:={\mathbb {C}}_{\max \lbrace i,j\rbrace -j}\). Then, \(R_{i,j}\subset BF_{i}\times BF_{j}\) is given by the (algebraic) condition \(l_{i}\perp \overline{l'_{j}}\).
4 Monodromy in the Weight Hypergraph of an Algebraic Torus Action
In this section, we introduce the notion of a weight hypergraph. The definitions of a weight hypergraph and of some other useful related notions are given in Sect. 4.1. In Sect. 4.2, we define a weight hypergraph of any complex torus action on a smooth complex manifold satisfying a certain condition (see Assumption 4.15). In Sect. 4.3, we deduce some simple properties of the GKM-graph for the torus action with a dense open orbit on a projective nonsingular toric variety. The properties are identical action of the restriction for the monodromy map along an edge loop in a face to transverse edges (Proposition 4.26), and convexity of faces of a weight hypergraph (Lemma 4.25). (These properties play important roles in the proofs of Theorems 1.2 and 1.3 given in Sect. 5.) Finally, we prove that any edge of the weight hypergraph for the subtorus of rank at least two and satisfying Assumption 4.15 embeds to the GKM-graph corresponding to the projective nonsingular toric variety (Proposition 4.28).
4.1 Definitions
Let us start this section by introducing the necessary notions.
Definition 4.1
(Compare with [3]) Let V be any finite set. Let \(E_0\) be any finite collection of elements (a multiset, i.e., repetitions are allowed in \(E_0\)) of the set \(2^{V(\Gamma )}\). Let \(E:=\lbrace (f,v)|\ f\in E_0, v\in f\rbrace \). The pair \(\Gamma =(V,E)\) is called an (abstract) hypergraph. For any hypergraph \(\Gamma =(V,E)\), any elements of \(V(\Gamma ):=V\), of \(E_0\) and of \(E(\Gamma ):=E\) are called a vertex, a hyperedge and a pointed hyperedge, respectively. Any element \(f\in E_0\) such that \(|f|=1\) is called a loop of \(\Gamma \). Any collection \(f_1,\dots ,f_k\in E_0\) is called a collection of multiple hyperedges of \(\Gamma \) if \(f_1=\dots =f_k\). For any \(e=(f,v)\in E(\Gamma )\), a vertex \(i(e):=v\) is called an initial vertex of a pointed hyperedge e. Put
For any \(e=(f,u)\in E(\Gamma )\), the elements e and f are called an oriented edge and edge of \(\Gamma \), respectively, if \(|f|=2\). If \(e\in E(\Gamma )\) is an oriented edge, then the complementary vertex t(e) of e to i(e) is called a terminal vertex of e. In the following, we consider only those hypergraphs that have neither loops nor multiple hyperedges. Denote the oriented edge coming from u to v in \(\Gamma \) by \(E_{u}^{v}\) (if such an edge exists). In this case, put \({\overline{e}}=E_{v}^{u}\). If any hyperedge of \(\Gamma \) is an edge, then \(\Gamma \) is called a graph.
Definition 4.2
Let \(\Gamma \) be any hypergraph. Denote by \(G(\Gamma )\) the maximal subgraph of the hypergraph \(\Gamma \). In particular, the set of all vertices for \(G(\Gamma )\) is \(V(\Gamma )\), and the set of all edges for \(G(\Gamma )\) is the set of all edges in the hypergraph \(\Gamma \). Denote by \(R(\Gamma )\) the subgraph of \(\Gamma \) induced on the set \(E'\) of all edges in \(\Gamma \) that have empty intersection with any hyperedge that is not an edge of \(\Gamma \). In particular, \(V(R(\Gamma ))\) consists of the boundary vertices of all edges in \(E'\). We call \(\Gamma \) an n-regular hypergraph, if for any vertex v of \(R(\Gamma )\) one has \(|E_{v}(G(\Gamma ))|=n\).
Clearly, \(R(\Gamma )\) is a subgraph of \(G(\Gamma )\). In general, this inclusion is strict.
Example 4.3
Consider the edge graph of the tetrahedron with the set of vertices \(V=\lbrace 1,2,3,4\rbrace \). Remove the edges corresponding to \(\lbrace 1,2\rbrace ,\lbrace 2,3\rbrace ,\lbrace 3,1\rbrace \) and add the hyperedge \(\lbrace 1,2,3\rbrace \) to this graph. Denote the obtained hypergraph by \(\Gamma \). Clearly, \(V(G(\Gamma ))\) is \(\lbrace 1,2,3,4\rbrace \), and the edges of \(G(\Gamma )\) are \(\lbrace 1,4\rbrace \), \(\lbrace 2,4\rbrace \), \(\lbrace 3,4\rbrace \). However, the graph \(R(\Gamma )\) has neither vertices nor edges.
We introduce the notion of a weight hypergraph, motivated by notion of GKM-hypergraph ([3]) and GKM-graph ([14]), as follows. Let \(\Gamma \) be any n-regular hypergraph. Let \(\alpha :E(\Gamma )\rightarrow {\mathbb {Z}}^k\) be any map.
Definition 4.4
(cf. [3, 14]) We call \(\alpha \) an axial function on \(\Gamma \), if the following conditions hold.
-
1)
\(\alpha ({\overline{e}})=-\alpha (e)\) for any edge \(e\in E(G(\Gamma ))\);
-
2)
\({{\,\mathrm{rk}\,}}{\mathbb {Z}}\langle \alpha (e):e\in E_{v}(\Gamma )\rangle =k\) for any \(v\in V(\Gamma )\).
We call a pair \((\Gamma ,\alpha )\) an (n, k)-type weight hypergraph (or a weight hypergraph for short, if the values of k, n are clear from the context). We call the pair \((\Gamma ,\alpha )\) a weight graph if \(\Gamma \) is a graph.
Consider any collection \(\nabla =\lbrace \nabla _{e}:e\in E(R(\Gamma ))\rbrace \) of bijective maps \(\nabla _{e}:E_{i(e)}(\Gamma )\rightarrow E_{t(e)}(\Gamma )\).
Definition 4.5
(cf. [14]) We call \(\nabla \) a connection on the weight hypergraph \((\Gamma ,\alpha )\), if the following conditions hold for any \(e\in E(R(\Gamma ))\).
-
1)
\(\nabla _{{\overline{e}}}=(\nabla _{e})^{-1}\);
-
2)
\(\nabla _{e}(e)={\overline{e}}\);
-
3)
For any \(e'\in E_{i(e)}(G(\Gamma ))\) there exists an integer \(c_{e}(e')\in {\mathbb {Z}}\) such that
$$\begin{aligned} \alpha (\nabla _{e} e')-\alpha (e')=c_{e}(e')\cdot \alpha (e). \end{aligned}$$(21)
Remark 4.6
A connection \(\nabla \) on a weight hypergraph \((\Gamma ,\alpha )\) consists of the maps \(\nabla _{e}\), where e exhausts the oriented edges of the graph \(R(\Gamma )\). These maps act on the subsets of oriented edges of the graph \(G(\Gamma )\).
To study different connections on a given weight hypergraph, we give the following definition.
Definition 4.7
Let \((\Gamma ,\alpha )\) be a weight hypergraph with a connection \(\nabla \). For any edge e of \(E(R(\Gamma ))\), we say that \((\Gamma ,\alpha )\) is definite at an edge e, if the affine lines \(\alpha (e')+{\mathbb {R}}\langle \alpha (e)\rangle \) in the affine space \({\mathbb {A}}_{{\mathbb {R}}}^k\) are mutually different where \(e'\) runs over \(E_{i(e)}(\Gamma )\setminus \lbrace e\rbrace \). Otherwise, we call \((\Gamma ,\alpha )\) nondefinite at e. When \((\Gamma ,\alpha )\) is clear from context, we call e (non-)definite, if \((\Gamma ,\alpha )\) is (non-)definite at e, respectively. If \((\Gamma ,\alpha )\) is definite at any edge of \(R(\Gamma )\), then we call \((\Gamma ,\alpha )\) a definite weight hypergraph.
The notion of definiteness of an edge e is independent of an orientation of e due to the following simple proposition.
Proposition 4.8
Let \((\Gamma ,\alpha )\) be a weight hypergraph with a connection \(\nabla \). Let \(e\in E(R(\Gamma ))\) be an edge of \(\Gamma \). If \((\Gamma ,\alpha )\) is definite at e, then \((\Gamma ,\alpha )\) is definite at \({\overline{e}}\), and the values of \(\nabla _e\) are uniquely determined by \((\Gamma ,\alpha )\).
Proof
Due to bijectivity of \(\nabla _{e}\) and (21), one establishes the equality
of the sets of lines in the affine space \({\mathbb {A}}^k_{{\mathbb {R}}}\) by letting \(e''=\nabla _{e} e'\), \(e'\in E_{i(e)}(\Gamma ),\ e'\ne e\). Hence, \((\Gamma ,\alpha )\) is definite at \({\overline{e}}\). The set (22) contains exactly \(n-1\) elements because \(\nabla \) is definite at e. One has \(\nabla _{e}e'=e''\) iff the affine lines in \({\mathbb {A}}^k_{{\mathbb {R}}}\) corresponding to \(e'\in E_{i(e)}(\Gamma )\) and \(e''\in E_{t(e)}(\Gamma )\) by (22) coincide. Hence, \(\nabla _{e}\) is uniquely determined by \((\Gamma ,\alpha )\). \(\square \)
Definition 4.9
(cf. [14, 24]) A sequence \(\gamma =( e_{1},\dots ,e_{r})\) of edges in \(G(\Gamma )\) is called an edge path, if \(t(e_j)=i(e_{j+1})\) for any \(j=1,\dots ,r-1\). For any edge path \(\gamma =( e_{1},\dots ,e_{r})\) in \(G(\Gamma )\), the initial and terminal vertices of \(\gamma \) are \(i(\gamma ):=i(e_1)\) and \(t(\gamma ):=t(e_r)\), respectively. Let \(\gamma =( e_{1},\dots ,e_{r})\) be any edge path in the subgraph \(R(\Gamma )\) of the hypergraph \(\Gamma \). Then, the parallel transport map \(\Pi _{\gamma }: E_{i(\gamma )}(\Gamma )\rightarrow E_{t(\gamma )}(\Gamma )\) of the connection \(\nabla \) is defined by the formula \(\Pi _{\gamma }(e):=\nabla _{e_r}\circ \dots \circ \nabla _{e_1} e\), where e is any oriented edge from \(E_{i(\gamma )}(\Gamma )\). If \(i(\gamma )=t(\gamma )\), then \(\Pi _{\gamma }\) is called the monodromy map of \(\nabla \) along \(\gamma \).
We generalize the notion of a face of a GKM-graph to the case of a nonregular subgraph in a weight hypergraph in the following two definitions.
Definition 4.10
Let \(\Gamma '\) be a connected subgraph of \(G(\Gamma )\). Let \(e\in E(G(\Gamma ))\) be any oriented edge satisfying \(i(e)\in V(\Gamma ')\). We call \(e\in E(G(\Gamma ))\) an internal (external, respectively) edge for \(\Gamma '\) in \(\Gamma \), if \(t(e)\in V(\Gamma ')\) (\(t(e)\not \in V(\Gamma ')\), respectively).
In general, an internal edge \(e\in G(\Gamma )\) for \(\Gamma '\) may not belong to \(E(\Gamma ')\).
Example 4.11
Consider the graph \(\Gamma \) with the set of vertices \(\lbrace 0,1,2\rbrace \), whose edges are \(\lbrace 0,1\rbrace , \lbrace 1,2\rbrace , \lbrace 0,2\rbrace \). There exists a unique axial function \(\alpha :E(\Gamma )\rightarrow {\mathbb {Z}}^2\) on \(\Gamma \) such that \(\alpha (E_0^1)=(0,-1)\), \(\alpha (E_1^2)=(1,-1)\), \(\alpha (E_2^0)=(0,1)\). Clearly, there exists a unique connection \(\nabla \) on \((\Gamma ,\alpha )\). Let \(\Gamma '\) be the subgraph of \(\Gamma \) with \(V(\Gamma ')=V(\Gamma )\), whose edges are \(\lbrace 0,1\rbrace , \lbrace 1,2\rbrace \). Then, the edge \(E_2^0\) is internal for \(\Gamma '\). However, \(E_2^0\notin E(\Gamma ')\).
Definition 4.12
Let \(\Gamma \) be a connected n-regular hypergraph endowed with a connection \(\nabla \). Let \(\Gamma '\) be any connected subgraph of the graph \(R(\Gamma )\). We call \(\Gamma '\) an invariant subgraph of \(\Gamma \) with respect to \(\nabla \), if the edge \(\nabla _{e} e'\in E_{t(e)}(\Gamma )\) is internal for \(\Gamma '\), where e is any edge of \(\Gamma '\) and \(e'\in E_{i(e)}(\Gamma )\) is any internal edge for \(\Gamma '\).
Let us relate the above definitions with the notion from GKM-theory when \(\Gamma \) is a graph.
Definition 4.13
([8, 14]) The axial function \(\alpha \) on \(\Gamma \) is called r-independent, if the vectors \(\alpha (e_{1}),\dots ,\alpha (e_{r})\) are linearly independent for any \(v\in V(\Gamma )\) and any different \(e_{1},\dots ,e_{r}\in E_{v}(\Gamma )\). A weight graph \(\Gamma \) endowed with an axial function \(\alpha \) and a connection \(\nabla \) is called a GKM-graph, if \(\alpha \) is 2-independent. A connected r-regular subgraph \(\Gamma '\) of the GKM-graph \(\Gamma \) is called an r-face of \(\Gamma \) (or a face), if one has \(\nabla _{e}(e')\in E(\Gamma ')\) for any \(v\in V(\Gamma ')\) and any \(e,e'\in E_{v}(\Gamma ')\).
It is well known that for any GKM-graph \((\Gamma ,\alpha )\) with a 3-independent axial function there exists no more than one connection \(\nabla \) on it (e.g., see [14]).
Remark 4.14
Any face \(\Gamma '\) of a GKM-graph \((\Gamma ,\alpha )\) with a connection \(\nabla \) is invariant under \(\nabla \) in sense of Definition 4.12. (We distinguish between the notion of a face of a GKM-graph [14] and its generalization from Definition 4.12, namely, the notion of an invariant subgraph in a weight hypergraph.) Let \((\Gamma ,\alpha )\) be any weight hypergraph. Let \(\Gamma '\) be any connected subgraph of \(R(\Gamma )\). It is easy to prove that \(\Gamma '\) is invariant under \(\nabla \) iff for any edge e of \(\Gamma '\) and any external edge \(e'\in E_{i(e)}(\Gamma )\) for \(\Gamma '\) the edge \(\nabla _{e} e'\in E_{t(e)}(\Gamma )\) is external for \(\Gamma '\). For any edge path \(\gamma \) in any invariant subgraph \(\Gamma '\) of \(R(\Gamma )\) if an edge \(e\in E_{i(\gamma )}(\Gamma )\) is internal (external, respectively) for \(\Gamma '\), then \(\Pi _{\gamma }(e)\) is internal (external, respectively) for \(\Gamma '\). Let us finally remark that, in general, an invariant subgraph is not regular. Following the notation of Example 4.11, the nonregular subgraph \(\Gamma '\) of \(\Gamma \) is invariant for \(\nabla \), because the set of external edges to \(\Gamma '\) in \(\Gamma \) is empty, see Fig. 1.
4.2 Weight Hypergraph of a Complex \(({\mathbb {C}}^{\times })^k\)-Manifold
Let \({\mathbb {T}}^{k}\simeq ({\mathbb {C}}^{\times })^{k}\) be the algebraic (i.e., noncompact) torus acting effectively by biholomorphic maps on a compact connected complex manifold \(X^{n}\), where \(n,k\geqslant 0\). Denote by \(X^{{\mathbb {T}}^k}\) the set of fixed points of this action.
Assumption 4.15
The manifold \(X^n\) has an open cover by its open complex \({\mathbb {T}}^k\)-invariant submanifolds U(x), where \(x\in X^{{\mathbb {T}}^k}\). One has \(U(x)^{{\mathbb {T}}^k}=\lbrace x\rbrace \) for any \(x\in X^{{\mathbb {T}}^k}\). For any \(x\in X^{{\mathbb {T}}^k}\), there exists a \({\mathbb {T}}^k\)-equivariant biholomorphism \(\varphi _{x}:U(x)\rightarrow {\mathbb {C}}^n\). The action of \({\mathbb {T}}^k\) on \({\mathbb {C}}^n\) here is induced by a monomorphism \(\iota :{\mathbb {T}}^k\rightarrow {\mathbb {T}}^n\) such that \({\mathbb {T}}^n\) is a direct product of \(\iota ({\mathbb {T}}^k)\) and some algebraic torus. The \({\mathbb {T}}^n\)-action on \({\mathbb {C}}^n\) here is given by the formula
Remark 4.16
Assumption 4.15 implies that the set of fixed points \(X^{{\mathbb {T}}^k}\) is finite and nonempty, and that the \({\mathbb {T}}^k\)-stabilizer of any point \(x\in X\) is a direct factor of \({\mathbb {T}}^k\), that is an algebraic subtorus.
The induced representation of \({\mathbb {T}}^k\) on the tangent space \(T_{x} X^{n}\) at any fixed point \(x\in X^{{\mathbb {T}}^k}\) decomposes into the sum
of characters corresponding to the primitive nonzero elements \(w_{1},\dots , w_{n}\in {{\,\mathrm{Hom}\,}}({\mathbb {T}}^k,{\mathbb {T}}^1)\simeq {\mathbb {Z}}^k\). These vectors are called the weights of the \({\mathbb {T}}^k\)-action on X at the fixed point \(x\in X^{{\mathbb {T}}^k}\).
For any \(x\in X^{{\mathbb {T}}^k}\) and any \(l\in {\mathbb {P}}({\mathbb {Z}}^k)\), let \(Y=Y(x,l)\subseteq X\) be the connected component of \(X^{{{\,\mathrm{ker}\,}}l}\) such that \(x\in Y\) (notice that there exists a unique Y for any x, l). The \({\mathbb {T}}^k\)-action on X induces the effective action of the algebraic torus \({\mathbb {T}}^k/{{\,\mathrm{ker}\,}}l\simeq {\mathbb {C}}^{\times }\) on Y.
Remark 4.17
For any \(l\in {\mathbb {P}}({\mathbb {Z}}^k)\) such that l is not represented by a weight of the \({\mathbb {T}}^k\)-action at x, the set \(X^{\ker l}=X^{{\mathbb {T}}^k}\) is finite and zero-dimensional.
For any \(x\in X^{{\mathbb {T}}^k}\) let \(w_{j_1},\dots , w_{j_{q}}\) be all weights of the \({\mathbb {T}}^k\)-action at x that are \((\pm 1)\)-multiples of w for some \(q=q(x,w)\in {\mathbb {Z}}\), that is, \(w_{j_i}=\pm w\) for all \(i=1,\dots ,q\). For any nonzero element of \(w\in {\mathbb {Z}}^k\) denote the corresponding class in \({\mathbb {P}}{\mathbb {Z}}^k\) by [w].
Proposition 4.18
Suppose that Assumption 4.15 holds for the \({\mathbb {T}}^k\)-action on X. Then, for any \(x\in X^{{\mathbb {T}}^k}\) and any nonzero \(w\in {\mathbb {Z}}^k\), the set \(Y=Y(x,[w])\) has a structure of a complex \({\mathbb {T}}^k\)-invariant closed submanifold of X. One has \(q=q(x,w)=\dim Y\) and
Proof
For any \(y\in X^{{\mathbb {T}}^k}\), the linear subspace \(({\mathbb {C}}^n)^{{{\,\mathrm{ker}\,}}w}\) of \({\mathbb {C}}^n\) coincides with the linear subspace \(\varphi _{y}(Y(x,[w])\cap U(y))\) (see Assumption 4.15). This implies all statements of the proposition. \(\square \)
The following fact is well known.
Proposition 4.19
Any 1-dimensional \({\mathbb {T}}^k\)-invariant complex submanifold of X is equivariantly biholomorphic to the standard \({\mathbb {C}}^{\times }\)-action on \({\mathbb {P}}^1\) having weights \(k,-k\) for some nonzero \(k\in {\mathbb {Z}}\).
We assign a weight hypergraph to any effective \({\mathbb {T}}^k\)-action on any compact connected complex manifold \(X^{n}\) satisfying Assumption 4.15, as follows. (Compare with [3, 15].)
Construction 4.20
(Weight hypergraph of an algebraic torus action, compare with [3]) Let \(W\subset {\mathbb {P}}({\mathbb {Z}}^k)\) be the (finite by compactness of X) set of all elements represented by a weight at some \({\mathbb {T}}^k\)-fixed point of the \({\mathbb {T}}^k\)-action on X. Put
Here we regard E as a finite multiset (due to compactness of X). Notice that \(\Gamma :=(V,E)\) is a connected hypergraph. Denote the submanifold \(Y=Y(x,l)\) of X corresponding to a hyperedge \(e\in E(\Gamma )\) by Y(e) for any \(e\in E(\Gamma )\). For any \(e\in E(\Gamma )\), let \(\alpha (e)\) be any weight of the corresponding \({\mathbb {T}}^k\)-action on Y(e) at the fixed point i(e) (in general, \(\alpha (e)\) is defined up to sign). Notice that \(\alpha \) is an axial function on \(\Gamma \). We call \((\Gamma , \alpha )\) the ((n, k)-type) weight hypergraph \((\Gamma , \alpha )\) associated with the action of \({\mathbb {T}}^k\) on \(X^n\).
In the following, we consider only the class of \({\mathbb {T}}^k\)-actions such that the associated hypergraphs have neither loops, nor multiple hyperedges. This implies that for any associated hypergraph \((\Gamma ,E)\) the multiset E is a set.
Remark 4.21
Let \(e\in E(\Gamma )\) be a hyperedge of the associated weight hypergraph \((\Gamma ,\alpha )\) of the \({\mathbb {T}}^k\)-action on X. If e is an edge (that is, \(\dim Y(e)=1\)) of \(\Gamma \), then \(\alpha (e)\) is uniquely defined by the \({\mathbb {T}}^k\)-action on X. In general, \(\alpha (e)\) is defined for the \({\mathbb {T}}^k\)-action on X only up to a sign.
We define the connection on the weight hypergraph \((\Gamma ,\alpha )\) associated with the \({\mathbb {T}}^k\)-action on X by following the construction from [14], as follows.
Construction 4.22
(Connection on a weight hypergraph of an algebraic torus action) Let \(e\in E(R(\Gamma ))\) be any edge. Consider any \({\mathbb {T}}^k\)-invariant rational curve Y of X with different fixed points \(x,y\in Y\). Let \(E_{x}(\Gamma )=\lbrace e'_1,\dots ,e'_n\rbrace \) and \(E_{y}(\Gamma )=\lbrace e''_1,\dots ,e''_n\rbrace \). Let \(\alpha (e'_{j})=w'_j\), \(\alpha (e''_{j})=w''_j\in {\mathbb {Z}}^k\) be the weights of the \({\mathbb {T}}^k\)-action on X at fixed points x, y, respectively, where \(j=1,\dots ,n\). Any complex vector bundle over Y splits equivariantly into the direct sum
of \({\mathbb {T}}^k\)-equivariant complex line bundles \(\xi _{j}\) over Y. Hence, there exist permutations \(\sigma ,\tau \) of \(\lbrace 1,2,\dots ,n\rbrace \) such that \((\xi _{j})_{x}=V(w'_{\sigma (j)})\), \((\xi _{j})_{y}=V(w''_{\tau (j)})\). We put \(\nabla _{e} e'_{j}:=e''_{\tau ^{-1}\circ \sigma (j)}\) for any \(j=1,\dots ,n\). One can check that the collection \(\nabla _{e}\), \(e\in E(R(\Gamma ))\) is a connection on the weight hypergraph \((\Gamma ,\alpha )\).
Remark 4.23
In general, a connection on a weight graph, associated with a torus action on a complex manifold, is not unique, because there is freedom in choosing the permutations \(\sigma , \tau \) from Construction 4.22, see Example 5.10 below. However, if an associated weight graph is definite, then it uniquely determines a connection on it.
4.3 GKM-Graph of a Nonsingular Projective Toric Variety
Let \(X^{n}\) be a nonsingular projective toric variety of dimension \(n\geqslant 3\). The weight graph \((\Gamma , \alpha )\) and the connection \(\nabla \) associated with the natural \({\mathbb {T}}^n\)-action on \(X^{n}\) coincide with the associated GKM-graph (with the natural connection) which is given as follows [14]. The graph \(\Gamma \) is the edge graph of the simple moment polytope \(P^n\subset {\mathbb {R}}^n\) of \(X^{n}\), where \({\mathbb {R}}^n={\mathbb {Z}}^n\otimes _{{\mathbb {Z}}}{\mathbb {R}}\) (see [8]). For any edge e of \(\Gamma \), the vector \(\alpha (e)\in {\mathbb {Z}}^n\subset {\mathbb {R}}^n\) is emanating from i(e) to t(e) being parallel to the corresponding edge of the polytope \(P^n\). The axial function \(\alpha \) is n-independent, because \(P^n\) is a simple polytope. Hence the weight graph \((\Gamma ,\alpha )\) admits a unique connection.
The faces of the graph \(\Gamma \) with the connection \(\nabla \) are described by the following lemma.
Lemma 4.24
[8, Lemma 7.9.7, p.306] For any \(v\in V(\Gamma )\), any integer \(k\geqslant 0\) and any distinct elements \(e_{1},\dots ,e_k\in E_{v}(\Gamma )\) there exists a unique k-face G of \(\Gamma \) containing \(e_{1},\dots ,e_k\). In particular, G is the edge graph of a polytopal face of the moment polytope of \(X^n\).
It is straight-forward to deduce the following lemma from convexity of faces for the moment polytope P.
Lemma 4.25
Let \(G\subseteq P\) be a face of the moment polytope P of \(X^n\). If \(u,v\in V(G)\) are connected by an edge e of the polytope P, then \(e\subseteq G\). In particular, for any two faces \(F_1,F_2\) of the edge graph \(\Gamma \) of \(P^n\) if \(V(F_1)=V(F_2)\) then \(F_1=F_2\).
Proposition 4.26
Let \(\Gamma '\) be any face of the GKM-graph \(\Gamma \) of \(X^n\). Let \(\gamma \) be any edge path in \(\Gamma '\). Then, one has
If \(i(\gamma )=t(\gamma )\), then the well defined (by (26)) restriction of the monodromy map \(\Pi _{\gamma }\) to \(E_{i(\gamma )}(\Gamma )\setminus E_{i(\gamma )}(\Gamma ')\) is the identity map.
Proof
By Lemma 4.24, for any \(e\in E(\Gamma )\) there exists a unique \((n-1)\)-face \(\Gamma (e)\) of \(\Gamma \) such that \(i(e)\in V(\Gamma (e))\) and \(e\not \in E(\Gamma (e))\). Let \(e\in E_{i(\gamma )}(\Gamma ){\setminus } E_{i(\gamma )}(\Gamma ')\). Then, there exists a unique edge \(e'\in E_{t(\gamma )}(\Gamma ){\setminus } E_{t(\gamma )}(\Gamma ')\) such that \(\Gamma (e)=\Gamma (e')\). We conclude that \(\Pi _{\gamma }(e)=e'\), because \(\Gamma (e)\) is invariant. In particular, if \(i(\gamma )=t(\gamma )\), then \(e'=e\). This completes the proof of the proposition. \(\square \)
Let \(\iota :{\mathbb {T}}^{k}\rightarrow {\mathbb {T}}^{n}\) be any monomorphism of tori. Suppose that Assumption 4.15 holds for the induced \({\mathbb {T}}^k\)-action on the toric variety \(X^{n}\). Then, the weight hypergraph \((\Gamma ',\alpha ')\) associated with this \({\mathbb {T}}^{k}\)-action on X is well defined.
Remark 4.27
Any \({\mathbb {T}}^{n}\)-invariant submanifold of \(X^n\) is \({\mathbb {T}}^{k}\)-invariant. The opposite is false. For example, the Milnor hypersurface \(H_{i,j}\) is invariant under the restriction of the action of the respective algebraic subtorus \({\mathbb {T}}^{\max {\lbrace i,j\rbrace }}\) in \({\mathbb {T}}^i\times {\mathbb {T}}^j\). However, for any integers \(i,j\geqslant 1\) the hypersurface \(H_{i,j}\) is not invariant under the natural \(({\mathbb {T}}^i\times {\mathbb {T}}^j)\)-action on \({\mathbb {P}}^i \times {\mathbb {P}}^j\), see (11).
Proposition 4.28
Let \(k\geqslant 2\). Then, one has \(X^{{\mathbb {T}}^{n}}= X^{{\mathbb {T}}^{k}}\), and any \({\mathbb {T}}^n\)-invariant rational irreducible curve of X is \({\mathbb {T}}^k\)-invariant. In particular, one has \(E_{v}(\Gamma ')=E_{v}(\Gamma )\) for any vertex v of \(R(\Gamma ')\).
Proof
The inclusion \(X^{{\mathbb {T}}^{n}}\subseteq X^{{\mathbb {T}}^{k}}\) holds, because any \({\mathbb {T}}^{n}\)-invariant submanifold of \(X^{n}\) is \({\mathbb {T}}^{k}\)-invariant. To prove the first claim, it remains to note that the integers \(|X^{{\mathbb {T}}^{n}}|,|X^{{\mathbb {T}}^{k}}|\) are equal to the Euler characteristic of \(X^{n}\) (see [16]). Let \(p:{\mathbb {Z}}^{n}\rightarrow {\mathbb {Z}}^k\) be the homomorphism of character lattices corresponding to the monomorphism \(\iota \) of tori. Let \(v=x\in V(R(\Gamma '))\). Any \({\mathbb {T}}^n\)-invariant irreducible rational curve of X has the form Y(x, [w]) for some weight \(w\in {\mathbb {Z}}^n\) at \(x\in X^{{\mathbb {T}}^n}\). Let Y(x, [w]) be such a curve. Clearly, Y(x, [w]) is \({\mathbb {T}}^k\)-invariant. Hence, \(Y(x,[w])\subseteq Y(x,[p(w)])\), where Y(x, [p(w)]) is the \({\mathbb {T}}^k\)-invariant submanifold of X. The submanifold Y(x, [p(w)]) is a rational irreducible curve, because \(v\in V(R(\Gamma '))\). Hence, \(Y(x,[w])=Y(x,[p(w)])\). This proves the second claim of the proposition. \(\square \)
5 Algebraic Torus Actions on \(BR_{i,j}\), \(R_{i,j}\), and Proofs of Theorems 1.2, 1.3
Throughout this section we refer to some auxiliary results from Appendix A.
5.1 Generalized Buchstaber–Ray Hypersurface \(BR_{i,j}\)
Let us start by recalling the description of \({\mathbb {T}}^n\)-fixed points in the bounded flag manifold \(BF_n\). For any \(k=0,\dots ,n\) and any \({\underline{u}}=(u_1,\dots ,u_n)\in {\mathbb {F}}_{2}^n\) put
For any \(k=1,\dots ,n\) let \(b_{k}({\underline{u}})\) be a unique integer such that \(\lbrace a_{k}({\underline{u}}), b_{k}({\underline{u}})\rbrace =\lbrace a_{k-1}({\underline{u}}), k\rbrace \) holds. Let
where \({\mathbb {C}}_j\) is the line spanned by j-th vector of the standard basis in \({\mathbb {C}}^{n+1}\), \(j=0,\dots ,n\) (see Sect. 3.1). The following two lemmas are straight-forward to prove.
Lemma 5.1
For any \({\underline{u}}\in {\mathbb {F}}_{2}^n\) and any integer \(k=0,\dots ,n\) one has the identity
Lemma 5.2
([6, 8]) One has \((BF_{n})^{{\mathbb {T}}^n}=\lbrace {\mathbb {C}}_{{\underline{u}}}|\ {\underline{u}}\in {\mathbb {F}}_{2}^n\rbrace \).
For any \({\underline{u}}\in {\mathbb {F}}_2^n\) let \(U_{{\underline{u}}}:=\lbrace l_{k}\ne {\mathbb {C}}_{a_{k}({\underline{u}})}|\ k=1,\dots ,n\rbrace \). Clearly, \(U_{{\underline{u}}}=\lbrace z_{k,a_k({\underline{u}})}\ne 0|\ k=1,\dots ,n\rbrace \) is an affine subvariety of \(BF_{n}\), where \((z_0,\dots ,z_n)\) is the tuple of homogeneous coordinates on \(BF_n\) (see Sect. 3.1). Hence, \(U_{{\underline{u}}}\) is \({\mathbb {T}}^n\)-invariant with respect to the action (15) for any \({\underline{u}}\in {\mathbb {F}}_2^n\). It is easy to deduce the following lemma by the induction on \(n\geqslant 0\) from the equations (14).
Lemma 5.3
For any \({\underline{u}}\in {\mathbb {F}}_{2}^n\), the invariant affine subvariety \(U_{{\underline{u}}}\) of the toric variety \(BF_n\) is equivariantly isomorphic to \({\mathbb {C}}^n\) with the \({\mathbb {T}}^n\)-action (23) under the following isomorphism
Recall that the projective space \({\mathbb {P}}^n\) is covered by its open subvarieties \(U_k:=\lbrace w_{k}\ne 0\rbrace \), \(k=0,\dots ,n\), where \([w_0:\cdots :w_n]\in {\mathbb {P}}^n\). These subvarieties are invariant under the standard \({\mathbb {T}}^n\)-action (10) on \({\mathbb {P}}^n\). Any \(({\mathbb {C}}^{\times })^n\)-invariant irreducible rational curve of \({\mathbb {P}}^n\) has the form \({\mathbb {P}}^1(k,q)=\lbrace {\mathbb {C}}\langle \lambda e_{k}+\mu e_{q}\rangle \in {\mathbb {P}}^{n}|\ [\lambda :\mu ]\in {\mathbb {P}}^1\rbrace \), where \(k,q=0,\dots ,n\) are any integers such that \(k\ne q\). For any vectors \({\underline{u}},{\underline{v}}\in {\mathbb {F}}_{2}^{n}\) and any \([\lambda :\mu ]\in {\mathbb {P}}^1\), let
Under the action (15) any \(({\mathbb {C}}^{\times })^n\)-invariant irreducible rational curve of \(BF_n\) has the form
where \(q=1,\dots ,n\) and \({\underline{u}}\in {\mathbb {F}}_{2}^{n}\) are arbitrary. Here \(1_{q}\in {\mathbb {F}}_{2}^{n}\) has all zero coordinates besides q-th coordinate that is equal to 1. The following proposition is easily deduced from Lemma 5.3.
Proposition 5.4
For any \({\underline{u}}\in {\mathbb {F}}_{2}^n\), the weights of the \(({\mathbb {C}}^{\times })^{n}\)-action (15) on \(BF_{n}\) at the fixed point \({\mathbb {C}}_{{\underline{u}}}\) are \(e_{b_{q}({\underline{u}})}-e_{a_{q}({\underline{u}})}\), where q runs over \(\lbrace 1,\dots ,n\rbrace \).
For any integers \(i,j\geqslant 0\) such that \(i\geqslant j\), the hypersurface \(BR_{i,j}\) is an invariant subvariety of \(BF_i\times {\mathbb {P}}^{j}\) with respect to the action of the algebraic subtorus
in \({\mathbb {T}}^i\times {\mathbb {T}}^j\). This torus acts on \(BF_{i}\times {\mathbb {P}}^j\) by the formula
It follows that the open covering of \(BR_{i,j}\) by the open \({\mathbb {T}}^{i}\)-invariant subvarieties \((U_{{\underline{u}}}\times U_k)\cap BR_{i,j}\), where \({\underline{u}} \in {\mathbb {F}}_{2}^i\), \(k=0,\dots ,j\) are any elements such that \(a_i({\underline{u}})\ne k+i-j\), satisfies the Assumption 4.15. Hence, the fixed point set of the \({\mathbb {T}}^i\)-action (28) on \(BR_{i,j}\) is the subset of fixed points of the toric variety \(BF_i\times {\mathbb {P}}^{j}\). It can easily be checked that \(BR_{i,j}^{{\mathbb {T}}^i}\) consists of the points \(x_{{\underline{u}},k}:=({\mathbb {C}}_{{\underline{u}}},{\mathbb {C}}_{k})\in BR_{i,j}\) for any \({\underline{u}}\in {\mathbb {F}}_{2}^i\) and any \(k=0,\dots ,j\) such that \(a_i({\underline{u}})\ne k+(i-j)\) holds.
Recall that two polytopes \(P\subset {\mathbb {R}}^{n_1}\), \(Q\subset {\mathbb {R}}^{n_2}\) of the same dimension are combinatorially equivalent if there is a bijection between their faces preserving the inclusion relation [8, p.2]. Combinatorial equivalence is clearly an equivalence relation.
Denote the combinatorial equivalence class of the standard simplex \(\lbrace (x_1,\dots ,x_n)\in {\mathbb {R}}^n:\sum _{j=1}^n x_j=1\,;\,x_j\geqslant 0,\ j=1,\dots ,n\rbrace \) in \({\mathbb {R}}^n\) by \(\Delta ^n\). Let \(I^n=(\Delta ^1)^n\) be the Cartesian product of n copies of \(\Delta ^1\).
Proposition 5.5
-
(i)
For any integers \(i,j\geqslant 0\) such that \(i\leqslant j\) the variety \(BR_{i,j}\) is a projective toric variety which is an algebraic \({\mathbb {P}}^{j-1}\)-bundle over \(BF_{i}\). Its moment polytope is combinatorially equivalent to \(I^i\times \Delta ^{j-1}\);
-
(ii)
For any integer \(n\geqslant 0\), the variety \(BR_{n+1,0}\simeq BF_{n}\) is a projective toric variety whose moment polytope is combinatorially equivalent to \(I^n\). In particular, \(BR_{n+1,0}\) is a Bott tower;
-
(iii)
For any integer \(n\geqslant 2\), the variety \(BR_{n,1}\) is a projective toric variety whose moment polytope is combinatorially equivalent to the truncation of \(I^n\) at its face \(I^{n-2}\) (see [8]).
Proof
For the proof of (i), see [6] or [8, p.350]. The claim (ii) follows from the Definition 3.2. By Theorem A.4, the variety \(BR_{n,1}\) is the blow-up of \(BF_{n-1}\times {\mathbb {P}}^1\) along the zero locus \(\lbrace z_{n-1,n-1}=w_{1}=0\rbrace \), which is invariant under the action (28) and is isomorphic to \(BF_{n-2}\). Hence, the blow-up \(BR_{n,1}\rightarrow BF_{n-1}\times {\mathbb {P}}^1\) is \({\mathbb {T}}^n\)-equivariant. In particular, \(BR_{n,1}\) is a projective toric variety and the respective moment polytope is obtained by the truncation indicated above. \(\square \)
Notice that the fan of any projective nonsingular toric variety is the normal fan of the respective moment polytope.
Remark 5.6
By Proposition A.1 (iii), the blow-up \(BR_{2,1}\rightarrow {\widehat{H}}_{2,1}\) is \({\mathbb {T}}^2\)-equivariant, where \({\widehat{H}}_{2,1}={\mathbb {P}}(\mathcal {O}(-1)\oplus {\underline{{\mathbb {C}}}})\rightarrow {\mathbb {P}}^1\) is a toric surface. By Theorem A.4, the blow-up \(BR_{2,1}\rightarrow {\mathbb {P}}^1\times {\mathbb {P}}^1\) is also \({\mathbb {T}}^2\)-equivariant. The two \({\mathbb {T}}^2\)-actions on \(BR_{2,1}\) obtained in this way coincide. Let \(\Sigma \) be the fan in \({\mathbb {R}}^2\) corresponding to the toric variety \(BR_{2,1}\). It is easy to show that the generators of the one-dimensional cones from \(\Sigma \) are the columns of the following matrix
For any integer \(q=1,\dots ,i\) and any \({\underline{u}}\in {\mathbb {F}}_{2}^i\) denote by \(b(q)=b({\underline{u}},q)\) the vector \(e_{b_{q}({\underline{u}})}-e_{a_{q}({\underline{u}})}\in {\mathbb {Z}}^i\). For any integers \(k,r=0,\dots ,j\) and any \({\underline{u}}\in {\mathbb {F}}_{2}^j\) denote by \(b'(r)=b'(k,r)\) the vector \(e_{k+i-j}-e_{r+i-j}\in {\mathbb {Z}}^i\). It is easy to prove the following two propositions.
Proposition 5.7
Let \(i,j\geqslant 0\) be any integers such that \(i\geqslant j\). Then, for any \({\underline{u}}\in {\mathbb {F}}_{2}^i\) and any \(k=0,\dots ,j\) such that \(a_i({\underline{u}})\ne k+(i-j)\) the weights of the \({\mathbb {T}}^{i}\)-action (28) on \(BR_{i,j}\) at the fixed point \(x_{{\underline{u}},k}\) are the elements of the multiset
Remark 5.8
If \(a_{i}({\underline{u}})<k+(i-j)\), then \(b(k+(i-j))= e_{k+(i-j)}-e_{a_{i}({\underline{u}})}\). If \(a_{i}({\underline{u}})>k+(i-j)\), then \(b'(r)= e_{k+(i-j)}-e_{a_{i}({\underline{u}})}\), where \(r=a_{i}({\underline{u}})-(i-j)\). This justifies the exclusion in (29).
Proposition 5.9
Let \({\underline{u}}\in {\mathbb {F}}_{2}^i\), \(k=0,\dots ,j\) be any elements such that \(a_i({\underline{u}})\ne k+(i-j)\). Then, the multiset of collections of pairwise proportional weights of the \({\mathbb {T}}^{i}\)-action (28) on \(BR_{i,j}\) at \(x_{{\underline{u}},k}\) consists of the multiset of the (unordered) pairs \(b(q), b'(r)\) of weights, where \(q=1,\dots ,i\) and \(r=0,\dots ,j\) are any integers satisfying the following conditions
The \({\mathbb {T}}^i\)-invariant subvariety \(Y=Y(x_{{\underline{u}},k},[b(q)])\) of \(BR_{i,j}\) corresponding to the weight \(b(q)\in {\mathbb {Z}}^i\) (see Sect. 4) is \({\mathbb {P}}^1({\underline{u}},q)\times {\mathbb {P}}^1(k+(i-j),r+(i-j))\subseteq BF_{i}\times {\mathbb {P}}^{j}\). One has \(Y^{{\mathbb {T}}^i}=\lbrace x_{{\underline{u}},k},\ x_{{\underline{u}}+1_{q},k},\ x_{{\underline{u}},r},\ x_{{\underline{u}}+1_{q},r}\rbrace \).
The following example shows that the 4-dimensional variety \(BR_{3,2}\) has a fixed point of the \({\mathbb {T}}^3\)-action (28) whose weights are linearly dependent.
Example 5.10
The weights of the \({\mathbb {T}}^3\)-action (28) on \(BR_{3,2}\) at the fixed points \(x_{111,0}\), \(x_{111,1}\), \(x_{101,0}\), \(x_{101,1}\) are the respective collections of vectors in \({\mathbb {Z}}^3\) given as follows.
-
\((1,-1,0)\), \((-1,0,0)\), \((1,-1,0)\), \((0,1,-1)\);
-
\((-1,0,0)\), \((1,-1,0)\), \((0,1,-1)\), \((-1,1,0)\);
-
\((1,-1,0)\), \((-1,0,0)\), \((-1,1,0)\), \((1,0,-1)\);
-
\((-1,0,0)\), \((-1,1,0)\), \((1,0,-1)\), \((-1,1,0)\).
For any integers \(i,j\geqslant 0\) such that \(i>j\), let \((\Gamma ,\alpha )=(\Gamma (BR_{i,j}),\alpha (BR_{i,j}))\) be the weight hypergraph associated with the \({\mathbb {T}}^i\)-action (28) on \(BR_{i,j}\) (notice that the Assumption 4.15 is satisfied for such an action).
Proposition 5.11
Let \(i,j\geqslant 0\) be any integers such that \(i>j\). Let \(k=0,\dots ,j\) and \({\underline{u}}\in {\mathbb {F}}_2^{i}\) be arbitrary. Then,
-
(i)
For any integer \(p=0,\dots , j\) satisfying \(p\ne a_i({\underline{u}})-(i-j),k\), the hypergraph \(\Gamma \) has a pointed hyperedge E such that \(x_{{\underline{u}},k},x_{{\underline{u}},p}\in E\) and \(\alpha (E)=\pm (e_{k+(i-j)}-e_{p+(i-j)})\);
-
(ii)
For any integer \(q=1,\dots , i\) satisfying \(a_{i}({\underline{u}}+1_{q})\ne k+(i-j)\), the hypergraph \(\Gamma \) has a pointed hyperedge E such that \(x_{{\underline{u}},k},x_{{\underline{u}}+1_{q},k}\in E\) and \(\alpha (E)=\pm (e_{b_{q}({\underline{u}})}-e_{a_{q}({\underline{u}})})\);
-
(iii)
If there exist integers \(r=1,\dots ,i\) and \(s=0,\dots ,j\) satisfying \(a_{i}({\underline{u}}+1_{r})=k+(i-j)\) and \(a_{i}({\underline{u}})=s+(i-j)\), then the hypergraph \(\Gamma \) has a pointed hyperedge E such that \(x_{{\underline{u}},k},x_{{\underline{u}}+1_{r},s}\in E\) and \(\alpha (E)=\pm (e_{k+(i-j)}-e_{a_{i}({\underline{u}})})\).
Proof
It is not hard to prove that any of the following irreducible rational curves
of \(BR_{i,j}\) is invariant under the induced effective action of the one-dimensional algebraic torus \({\mathbb {C}}^i/{{\,\mathrm{ker}\,}}w\) from the \({\mathbb {T}}^i\)-action (28) on \(BR_{i,j}\). For any of these curves, the corresponding weight \(w\in {\mathbb {Z}}^i\) given above is determined up to multiplication by \(-1\). This completes the proof. \(\square \)
One can obtain the hypergraph \(\Gamma (BR_{i,j})\) from Propositions 5.9 and 5.11. The axial function \(\alpha (BR_{i,j})\) can be computed from Propositions 5.7 and 5.11. Let \(\nabla \) be a connection on \((\Gamma (BR_{i,j}),\alpha (BR_{i,j}))\) associated with the action (28). We compute the values of \(\nabla \) that are necessary for the proof of Theorem 1.2 in the following proposition.
Proposition 5.12
Let i, j be any integers such that \(0\leqslant j<i\). Let \({\underline{u}}\in {\mathbb {F}}^{i}_{2}\) be any vector such that \(a_{i}({\underline{u}})<i-j\) holds. Then, for any integers \(k,r=0,\dots ,j\) satisfying \(k\ne r\), the hypergraph \(\Gamma \) has the definite oriented edge \(E=E_{{\underline{u}},k}^{{\underline{u}},r}\). The connection \(\nabla \) is well defined at \(E\in E(R(\Gamma ))\), and one has the following identities:
where \(a=0,\dots ,j\) and \(q=1,\dots ,i\) are any integers such that \(a\ne k,r\) and \(q\ne k+(i-j),r+(i-j)\).
Proof
By Proposition 5.9, the collection of weights at \(x_{{\underline{u}},k}\), as well as at \(x_{{\underline{u}},r}\), is 2-independent, because \(a_{i}({\underline{u}})<i-j\). Hence, by Proposition 5.11, there exists the edge \(E=E_{{\underline{u}},k}^{{\underline{u}},r}\) in the hypergraph \(\Gamma \). By Proposition 5.7 this edge is definite and belongs to the graph \(R(\Gamma )\). To prove the identities from the claim of the proposition, we compute the congruences modulo \(\alpha (E)=e_{k+(i-j)}-e_{r+(i-j)}\) between the weights (in particular, vectors in \({\mathbb {Z}}^i\)) in Fig. 2. During the computation we use the identity \(b_{q+(i-j)}({\underline{u}})=q+(i-j)\) for any integer \(q=0,\dots ,j\) which holds, because \(a_i({\underline{u}})<i-j\). \(\square \)
Proof of Theorem 1.2
For any integers \(i,j\geqslant 0\) which do not satisfy \(i>j\geqslant 2\), the claim of the theorem follows from Proposition 5.5. Let \(i,j\geqslant 0\) be any integers such that \(i>j\geqslant 2\). Suppose that \(BR_{i,j}\) is a toric variety. The idea of the following argument is to find an invariant 2-face in \(\Gamma \) with a nontrivial action of the monodromy map along it on the external edges. By Proposition 5.12, for any integer \(k=0,\dots ,j-2\) the vertex \(x_{{\underline{0}},k}\) of \(\Gamma \) belongs to \(V(R(\Gamma ))\). Hence, the edge path \(\gamma _{k}:=(E_{0,k}^{0,k+1},E_{0,k+1}^{0,k+2},E_{0,k+2}^{0,k})\) belongs to \(R(\Gamma )\) for any integer \(k=0,\dots ,j-2\). This implies that the monodromy map \(\Pi _{\gamma _k}\) is well defined for any \(k=0,\dots ,j-2\). By Proposition 5.12, the subgraph \(\gamma _{k}\) is a 2-face of \(\Gamma \) for any integer \(k=0,\dots ,j-2\). By Proposition 5.12, we compute \(\Pi _{\gamma _k} E_{0,k}^{1_{k+1+(i-j)},k}\) with respect to the connection \(\nabla \) as follows:
Hence,
It follows from the assumption and Corollary 2.4 that there exists the extension of the \({\mathbb {T}}^i\)-action (28) on \(BR_{i,j}\) to the toric action with the GKM-graph \((\Gamma ', \alpha ')\) with the connection \(\nabla '\). By Proposition 4.28, \(\gamma _k\) is the subgraph of \(\Gamma '\) for any \(k=0,\dots ,j-2\). Since the edges of \(\gamma _{k}\) are definite in \((\Gamma ,\alpha )\), one has \(\nabla |_{\gamma _{k}}=\nabla '|_{\gamma _{k}}\). In particular, (30) holds with respect to \(\nabla '\). However, this contradicts Proposition 4.26. The proof is complete. \(\square \)
5.2 Ray Hypersurface \(R_{i,j}\)
In this paragraph we use the notation introduced in §5.1. For any integers i, j such that \(0\leqslant j\leqslant i\), the hypersurface \(R_{i,j}\) is an invariant subvariety of \(BF_i\times BF_{j}\) with respect to the action of the algebraic subtorus (27) in \({\mathbb {T}}^i\times {\mathbb {T}}^j\). This torus acts on \(BF_i\times BF_{j}\) by the formula
It follows that the open covering of \(R_{i,j}\) by the open \({\mathbb {T}}^i\)-invariant subvarieties \((U_{{\underline{u}}}\times U_{{\underline{v}}})\cap R_{i,j}\), where \({\underline{u}}\in {\mathbb {F}}^i\), \({\underline{v}}\in {\mathbb {F}}^j\) are any elements such that \(a_i({\underline{u}})\ne a_j({\underline{v}})+(i-j)\), satisfies the Assumption 4.15. Hence, the fixed point set of the \({\mathbb {T}}^i\)-action (31) on \(R_{i,j}\) is the subset of \((BF_i\times BF_{j})^{{\mathbb {T}}^i\times {\mathbb {T}}^j}\). It can easily be checked that \(R_{i,j}^{{\mathbb {T}}^i}\) consists of the points \(x_{{\underline{u}},{\underline{v}}}:=({\mathbb {C}}_{{\underline{u}}},{\mathbb {C}}_{{\underline{v}}})\in R_{i,j}\) for any \({\underline{u}}\in {\mathbb {F}}_{2}^{i}\) and any \({\underline{v}}\in {\mathbb {F}}_{2}^{j}\) such that \(a_i({\underline{u}})\ne a_j({\underline{v}})+(i-j)\).
Corollary 5.13
Let \(n\geqslant 0\) be any integer.
-
(i)
The variety \(R_{0,n+1}\) is a projective toric variety whose moment polytope is combinatorially equivalent to \(I^n\). In particular, \(R_{0,n+1}\) is a Bott tower;
-
(ii)
The variety \(R_{1,n}\) is a projective toric variety whose moment polytope is combinatorially equivalent to the truncation \({{\,\mathrm{cut}\,}}_{I^{n-2}} I^n\) of \(I^n\) at its face \(I^{n-2}\);
-
(iii)
The variety \(R_{2,2}\) is a projective toric variety whose moment polytope is combinatorially equivalent to the truncation \({{\,\mathrm{cut}\,}}_{I^{1}} I^3\) of \(I^3\) at its edge.
Proof
Parts (i) and (ii) follow from Proposition 5.5, because \(R_{0,n+1}=BR_{0,n+1}\), \(R_{1,n}=BR_{1,n}\). Now we prove part (iii). By Theorem A.10 (ii), there is the algebraic \(R_{1,2}\)-bundle \(R_{2,2}\rightarrow {\mathbb {P}}^1\). This algebraic fiber bundle is represented as the fibered product \(R_{2,2}=E\times _{{\mathbb {T}}^{2}} R_{1,2}\rightarrow {\mathbb {P}}^1\) for some principal algebraic \({\mathbb {T}}^2\)-bundle E over \({\mathbb {P}}^1\). The equivariant blow-up \(R_{1,2}\rightarrow BR_{1,2}\) from Remark 5.6, where we identify \(R_{1,2}\simeq BR_{2,1}\), induces the \({\mathbb {T}}^3\)-equivariant morphism
by acting on the fibers. The fan of the toric \({\mathbb {P}}^1\)-bundle \(BR_{2,2}\rightarrow BF_{2}\) is the normal fan of the polytope in \({\mathbb {R}}^3\) combinatorially equivalent to the cube \(I^3\). The columns of the following matrix:
are the generators of the one-dimensional cones for its fan, see [23]. Hence, the fan of \(R_{2,2}\) is the normal fan of the polytope in \({\mathbb {R}}^3\) combinatorially equivalent to edge truncation \({{\,\mathrm{cut}\,}}_{I^1} I^3\) of the cube \(I^3\). The columns of the following matrix:
are the generators of the one-dimensional cones for its fan. We remark that the last column in the above matrix corresponds to the truncation facet. This completes the proof. \(\square \)
Remark 5.14
The fan of the toric \(R_{1,2}\)-bundle \(R_{1,3}\rightarrow {\mathbb {P}}^1\) is obtained from the fan of the toric \({\mathbb {P}}^2\)-bundle \(BR_{1,3}\rightarrow {\mathbb {P}}^1\) in a similar way as in the proof of Corollary 5.13. The corresponding map of fibers is the composition of the \({\mathbb {T}}^2\)-equivariant blow-up \(R_{1,2}\rightarrow BR_{1,2}\) from Remark 5.6 and the \({\mathbb {T}}^2\)-equivariant blow-up \(BR_{1,2}\rightarrow {\mathbb {P}}^2\) at any fixed point. Hence, the columns of the following matrix:
are the generators of the one-dimensional cones for the fan of \(R_{1,3}\). We remark that the last column in the above matrix corresponds to the truncation facet of \({{\,\mathrm{cut}\,}}_{I^1} I^3\).
For any integer \(q=1,\dots ,i\) and any \({\underline{u}}\in {\mathbb {F}}_{2}^i\) denote by \(r(q)=r({\underline{u}},q)\) the vector \(e_{b_{q}({\underline{u}})}-e_{a_{q}({\underline{u}})}\in {\mathbb {Z}}^i\). For any integer \(s=1,\dots ,j\) and any \({\underline{v}}\in {\mathbb {F}}_{2}^j\) denote by \(r'(s)=r'({\underline{v}},s)\) the vector \(e_{a_{s}({\underline{v}})+i-j}-e_{b_{s}({\underline{v}})+i-j}\in {\mathbb {Z}}^i\). It is easy to prove the following two propositions.
Proposition 5.15
Let \(i,j\geqslant 0\) be any integers such that \(i\geqslant j\). Then, for any \({\underline{u}}\in {\mathbb {F}}^i\) and any \({\underline{v}}\in {\mathbb {F}}^j\) such that \(a_i({\underline{u}})\ne a_j({\underline{v}})+(i-j)\), the weights of the \({\mathbb {T}}^i\)-action (31) on \(R_{i,j}\) at the fixed point \(x_{{\underline{u}},{\underline{v}}}\) are the elements of the following multiset:
Remark 5.16
If \(a_{i}({\underline{u}})<a_{j}({\underline{v}})+(i-j)\), then \(r(q)= e_{a_{j}({\underline{v}})+(i-j)}-e_{a_{i}({\underline{u}})}\), where \(q=a_{j}({\underline{v}})+(i-j)\). If \(a_{i}({\underline{u}})>a_{j}({\underline{v}})+(i-j)\), then \(r'(s)= e_{a_{j}({\underline{v}})+(i-j)}-e_{a_{i}({\underline{u}})}\), where \(s=a_{i}({\underline{u}})-(i-j)\). This justifies the exclusion in (32).
Proposition 5.17
Let \(i,j\geqslant 0\) be any integers such that \(i\geqslant j\). Let \({\underline{u}}\in {\mathbb {F}}^i\), \({\underline{v}}\in {\mathbb {F}}^j\) be any vectors satisfying \(a_i({\underline{u}})\ne a_j({\underline{v}})+(i-j)\). Then, the multiset of collections of pairwise proportional weights of the \({\mathbb {T}}^i\)-action (31) on \(R_{i,j}\) at \(x_{{\underline{u}},{\underline{v}}}\) consists of the (unordered) pairs \(r(q), r'(s)\) of weights, where \(q=1,\dots ,i\) and \(s=1,\dots ,j\) are any integers satisfying the following conditions:
The \({\mathbb {T}}^i\)-invariant subvariety \(Y=Y(x_{{\underline{u}},{\underline{v}}},[r(q)])\) of \(R_{i,j}\) corresponding to the weight \(r(q)\in {\mathbb {Z}}^i\) (see Sect. 4) is \({\mathbb {P}}^1({\underline{u}},q)\times {\mathbb {P}}^1({\underline{v}},s)\subseteq BF_{i}\times BF_{j}\). One has \(Y^{{\mathbb {T}}^i}=\lbrace x_{{\underline{u}},{\underline{v}}},\ x_{{\underline{u}}+1_{q},{\underline{v}}},\ x_{{\underline{u}},{\underline{v}}+1_{s}},\ x_{{\underline{u}}+1_{q},{\underline{v}}+1_{s}}\rbrace \).
For any integers \(i,j\geqslant 0\) such that \(i\geqslant j\), let \((\Gamma ,\alpha )=(\Gamma (R_{i,j}),\alpha (R_{i,j}))\) be the weight hypergraph associated with the \({\mathbb {T}}^i\)-action (31) on \(R_{i,j}\) (notice that the Assumption 4.15 is satisfied for such an action).
Corollary 5.18
Let i, j be any integers such that \(i>j\geqslant 2\). Then, \(x_{1_{i-1},1_{j}}\), \(x_{1_{i-1},1_{j-1}+1_{j}}\), \(x_{1_{i-1},0}\in V(R(\Gamma ))\).
Proof
Let \({\underline{u}}=1_{i-1}, {\underline{v}}=1_{j}\). To prove the first claim of the corollary it is enough to check that the condition (33) fails for \(x_{{\underline{u}},{\underline{v}}}\). Following the notation introduced in Proposition 5.17, if \(q<i-1\), then \(a_{q}({\underline{u}})=0<i-j\), so (33) does not hold. If \(q=i-1\), then \(b_{q}({\underline{u}})=b_{i-1}({\underline{u}})=0<i-j\), so the condition (33) is not satisfied. If \(q=i\), then
Hence, the condition (33) is not satisfied in this case, as well. The proof of the second claim from the corollary is obtained by substituting \(1_{i-1},1_{j-1}+1_{j}\) for \({\underline{u}},{\underline{v}}\) in the above proof, respectively. Now let \({\underline{u}}=1_{i-1}, {\underline{v}}=0\). If \(q<i-1\), then \(a_q(1_{i-1})=0\), and (33) fails. If \(q=i-1\), then \(b_{i-1}(1_{i-1})=0\), and (33) fails. Let \(q=i\), so that \(\lbrace a_{q}({\underline{u}}), b_{q}({\underline{u}})\rbrace =\lbrace i-1,i\rbrace \). Then, for any \(s=1,\dots ,j\), one has \(a_s(0)+i-j=i-j<i-1\), and (33) fails. The proof is complete. \(\square \)
Proposition 5.19
Let \(i,j\geqslant 0\) be any integers such that \(i\geqslant j\). Let \({\underline{u}}\in {\mathbb {F}}_{2}^i\), \({\underline{v}}\in {\mathbb {F}}_{2}^j\) be any elements. Then,
-
(i)
For any integer \(p=0,\dots , i\) satisfying \(a_i({\underline{u}}+1_p)\ne a_j({\underline{v}})+(i-j)\), the hypergraph \(\Gamma \) has a pointed hyperedge E such that \(x_{{\underline{u}},{\underline{v}}}, x_{{\underline{u}}+1_{p},{\underline{v}}}\in E\), and \(\alpha (E)=\pm (e_{b_{p}({\underline{u}})}-e_{a_p({\underline{u}})})\);
-
(ii)
For any integer \(q=0,\dots , j\) satisfying \(a_i({\underline{u}})\ne a_j({\underline{v}}+1_{q})+(i-j)\), the hypergraph \(\Gamma \) has a pointed hyperedge E such that \(x_{{\underline{u}},{\underline{v}}}, x_{{\underline{u}},{\underline{v}}+1_{q}}\in E\), and \(\alpha (E)=\pm (e_{a_q({\underline{v}})+(i-j)}-e_{b_{q}({\underline{v}})+(i-j)})\);
-
(iii)
If there exist integers \(r=1,\dots ,i\) and \(s=1,\dots ,j\) satisfying \(a_{i}({\underline{u}}+1_{r})=a_{j}({\underline{v}})+(i-j)\) and \(a_{i}({\underline{u}})=a_{j}({\underline{v}}+1_{s})+(i-j)\), then the hypergraph \(\Gamma \) has a pointed hyperedge E such that \(x_{{\underline{u}},{\underline{v}}},x_{{\underline{u}}+1_{r},{\underline{v}}+1_{s}}\in E\), and \(\alpha (E)=\pm (e_{a_{j}({\underline{v}})+(i-j)}-e_{a_{i}({\underline{u}})})\).
Proof
It is easy to prove that any of the following irreducible rational curves:
of \(R_{i,j}\) is invariant under the induced effective action of the one-dimensional algebraic torus \({\mathbb {C}}^i/{{\,\mathrm{ker}\,}}w\) from the \({\mathbb {T}}^i\)-action (31) on \(R_{i,j}\). For any of these curves, the corresponding weight \(w\in {\mathbb {Z}}^i\) given above is determined up to multiplication by \(-1\). This completes the proof. \(\square \)
Remark 5.20
The condition from the third case of Proposition 5.19 holds iff the numbers \(a_{i}({\underline{u}})\), \(a_{j}({\underline{v}})+(i-j)\) belong to the images of the functions \(f(r):=a_{j}({\underline{v}}+1_{r})+(i-j)\), \(g(s):=a_{i}({\underline{u}}+1_{s})\), where r runs over \(\lbrace 1,\dots ,i\rbrace \) and s runs over \(\lbrace 1,\dots ,j\rbrace \), respectively. If this condition holds, then the number of the weights from first two cases in Proposition 5.19 is equal to \(i+j-2\), otherwise this number is equal to \(i+j-1\).
One can obtain the hypergraph \(\Gamma (R_{i,j})\) from Propositions 5.17 and 5.19. The axial function \(\alpha (R_{i,j})\) can be computed from Propositions 5.15 and 5.19. Let \(\nabla \) be a connection on \((\Gamma (R_{i,j}),\alpha (R_{i,j}))\) associated the action (31). In the following proposition, we compute the values of \(\nabla \) that are necessary for the proof of Theorem 1.3 (Fig. 3).
Proposition 5.21
Let \(i,j\geqslant 0\) be any integers such that \(i>j\geqslant 2\) holds. Then, the graph \(R(\Gamma )\) has the definite oriented edges \(E_{0,1_{j}}^{0,0}, E_{0,0}^{1_{i-1},0}, E_{1_{i-1},0}^{1_{i-1},1_{j}}, E_{1_{i-1},1_{j}}^{1_{i-1},1_{j-1}+1_{j}}\), and the following identities hold.
where \(q=1,\dots ,i\) and \(r=1,\dots ,j\) are any integers such that \(q\ne i-j,i\); \(r\ne j\), and \(E=E_{0,1_{j}}^{0,0}\);
where \(q=1,\dots ,i\) and \(r=1,\dots ,j\) are any integers such that \(q\ne i-j,i-1,i\); \(r\ne j-1\), and \(E=E_{0,0}^{1_{i-1},0}\);
where \(q=1,\dots ,i\) and \(r=1,\dots ,j\) are any integers such that \(q\ne i-1,i\); \(r\ne j-1,j\), and \(E=E_{1_{i-1},0}^{1_{i-1},1_{j}}\);
where \(q=1,\dots ,i\) and \(r=1,\dots ,j\) are any integers such that \(q\ne i-1,i\); \(r\ne j-1,j\), and \(E=E_{1_{i-1},1_{j}}^{1_{i-1},1_{j-1}+1_{j}}\).
Proof
Notice that the edge E from any of the four cases from the proposition has vertex \(x_{{\underline{u}},{\underline{v}}}\) for some \({\underline{u}},{\underline{v}}\) such that \(a_{i}({\underline{u}})<i-j\). By Proposition 5.15, 2-linear independence of weights now follows from definiteness of E. To prove the identities from the claim of the proposition we deduce the congruences between the weights of \((\Gamma ,\alpha )\) given in Fig. 4. (Here we follow the notation introduced in the proof of Proposition 5.12). \(\square \)
Proof of Theorem 1.3
For any integers \(i,j\geqslant 0\) such that \(\min \lbrace i,j\rbrace =0,1\) or \(i=j=2\), the claim of the theorem holds by Corollary 5.13. Let \(i,j\geqslant 0\) be any integers that satisfy neither of these conditions. Without loss of generality, we prove the claim for the case \(i> j\geqslant 2\) only, because \(R_{i,j}\simeq R_{j,i}\). Suppose that \(R_{i,j}\) is a toric variety. The idea of the following argument is to find a 3-face in \(\Gamma \) with nontrivial action of the monodromy map on the external edges to G along some loops in G. By Proposition 5.17, for any \({\underline{v}}\in {\mathbb {F}}_2^j\) the vertex \(x_{0,{\underline{v}}}\) belongs to \(V(R(\Gamma ))\), because \(a_{q}({\underline{0}})=0<i-j\) holds for any \(q=1,\dots ,i\). Hence, one has \(x_{0,1_{j}}, x_{0,0}\in V(R(\Gamma ))\). By Corollary 5.18, one has \(x_{1_{i-1},1_{j}}, x_{1_{i-1},1_{j-1}+1_{j}}, x_{1_{i-1},0}\in V(R(\Gamma ))\). We conclude that the connection \(\nabla \) on \((\Gamma ,\alpha )\) is well defined along the edges of the edge path \(\gamma =( E_{0,1_{j}}^{0,0},E_{0,0}^{1_{i-1},0},E_{1_{i-1},0}^{1_{i-1},1_{j}})\) as well as along the oriented edge \(E_{1_{i-1},1_{j}}^{1_{i-1},1_{j-1}+1_{j}}\) of \(G(\Gamma )\).
It follows from the assumption and Corollary 2.4 that there exists an extension of the \({\mathbb {T}}^i\)-action (31) on \(R_{i,j}\) to a toric action with the GKM-graph \((\Gamma ',\alpha ')\) and the connection \(\nabla '\). Let v be any vertex of \(\gamma \) or of the oriented edge \(E_{1_{i-1},1_{j}}^{1_{i-1},1_{j-1}+1_{j}}\). By Proposition 4.28, one has \(E_{v}(\Gamma ')=E_{v}(\Gamma )\). In particular, \(\gamma \) is a subgraph of \(\Gamma '\). By Proposition 5.21, the subgraph \(\gamma \) is invariant in \(\Gamma \). The connections \(\nabla \), \(\nabla '\) coincide along the edges of \(\gamma \) as well as along the edge \(E_{1_{i-1},1_{j}}^{1_{i-1},1_{j-1}+1_{j}}\) of \(G(\Gamma )\) due to definiteness of \(\nabla \) at these edges. By Lemma 4.24, there exists a unique 3-face G of \(\Gamma '\) with respect to \(\nabla '\) such that G contains the edges \(E_{0,1_{j}}^{0,0},E_{0,1_{j}}^{1_{i-1},1_{j}},E_{0,1_{j}}^{1_{i-j},1_{j}}\). In particular, \(\gamma \subset G\) and \(E_{0,1_{j}}^{0,1_{j-1}+1_{j}}\not \subset G\). By Lemma 4.25, this implies that the vertex \(x_{0,1_{j-1}+1_{j}}\) of \(\Gamma '\) does not belong to G. On the other hand, by Proposition 5.21, the edges
belong to G. Hence, \(x_{0,1_{j-1}+1_{j}}\in E_{1_{i-1},1_{j-1}+1_{j}}^{0,1_{j-1}+1_{j}}\) belongs to G. This contradiction proves the theorem (Fig. 5). \(\square \)
References
Arzhantsev, I.V., Bazhov, I.: On orbits of the automorphism group on an affine toric variety. Cent. Eur. J. Math. 11, 1713–1724 (2013)
Arzhantsev, I.V., Derenthal, U., Hausen, J., Laface, A.: Cox Rings. Cambridge University Press, Cambridge (2015)
Baird, T.: GKM-sheaves and nonoorientable surface group representations. J. Sympl. Geom. 12, 867–921 (2014)
Baumand, W., Browder, P.: The cohomology of quotients of classical groups. Topology 3, 305–336 (1965)
Borel, A., Hirzebruch, F.: Characteristic classes and homogeneous spaces. I. Am. J. Math. 80, 458–538 (1958)
Buchstaber, V.M., Ray, N.: Toric manifolds and complex cobordisms. Uspekhi Mat. Nauk 53(2), (320), 139–140 (1998) (Russian); English transl., RussianMath. Surveys 53(2) , 371–373, (1998)
Buchstaber, V.M., Ray, N.: Flag manifolds and the Landweber-Novikov algebra. Geom. Topol. 2, 79–101 (1998)
Buchstaber, V.M., Panov, T.E.: Toric Topology. Mathematical Surveys and Monographs, vol. 204. AMS, Providence, RI (2015)
Cheltsov, I.A., Przyjalkowski, V.V., Shramov, C.A.: Fano threefolds with infinite automorphism groups. Izv. Math. 83(4), 226–280 (2019)
Danilov, V.I., Khovansky, A.G.: Newton polyhedra and an algorithm for computing Hodge–Deligne numbers. Math. USSR-Izvestiya 29(2), 279–298 (1987)
Demazure, M.: Sous-groupes algebriques de rang maximun du groupe de Cremona. Annales scientifiques de l’E.N.S. 3(4), 507–588 (1970)
Duan, H., Li, B.: Topology of blow-ups and enumerative geometry (2009). arXiv:0906.4152 [math.AG]
Griffiths, P., Harris, J.: Principles of Algebraic Geometry. Pure and Applied Mathematics Wiley, New York (1978)
Guillemin, V., Zara, C.: 1-skeleta, Betti numbers, and equivariant cohomology. DukeMath. J. 2, 283–349 (2001)
Guillemin, V., Zara, C.: G-actions on graphs. IMRN 10, 519–542 (2001)
Gusein-Zade, S.M.: Integration with respect to the Euler characteristic and its applications. Rus. Math. Surv. 65 (2010)
Hartschorne, R.: Algebraic Geometry. Graduate Texts in Mathematics, vol. 52. Springer, New York (1977)
Hirzebruch, F.: Topological methods in algebraic geometry, Third enlarged edition. New appendix and translation from the second German edition by R. L. E. Schwarzenberger, with an additional section by A. Borel. Die Grundlehren der Mathematischen Wissenschaften, Band 131, Springer, New York (1966)
Li, L.: Wonderful compactification of an arrangement of subvarieties. Michigan Math. Soc. 58, 535–563 (2009)
Oda, T.: Convex Bodies and Algebraic Geometry. Springer, Berlin (1988)
Ramanujam, C.P.: A note on automorphism groups of algebraic varieties. Math. Ann. 156, 25–33 (1964)
Ray, N.: On a construction in bordism theory. Proc. Edinburgh Math. Soc. 29, 413–422 (1986)
Solomadin, G.D.: Quasitoric stably normally split representatives in unitary cobordism ring. Math. Notes 105(5), 771–791 (2019)
Takuma, S.: Extendability of symplectic torus actions with isolated fixed points. RIMS Kokyuroku 1393, 72–78 (2004)
Vinberg, E.B., Onischchik, A.L.: Lie Groups and Algebraic Groups. Springer Series in Soviet Union. Springer, Berlin (1990)
Acknowledgements
The author expresses his gratitude to V.M. Buchstaber and T.E. Panov for the proposal of problems studied here, many fruitful discussions and constant support while writing this paper. Special thanks are to I. Arzhantsev, who spotted an error in the early version of the text. It is pleasure to acknowledge several important discussions with A. Ayzenberg and C. Shramov. The author thanks the anonymous referee for the valuable remarks that helped improve the quality of the exposition.
Author information
Authors and Affiliations
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The publication has been prepared with the support of “RUDN University Program 5–100” program. The reported study was funded by RFBR, project number \(20-01-00675\ A\). The reported study was funded by the grant of “Young mathematics of Russia” foundation.
Appendices
Descriptions of \(BR_{i,j}\) and \(R_{i,j}\) in Terms of Blow-Ups and Fiber Bundles
Here is the list of main results of this section. In Proposition A.1, for any integers \(i,j\geqslant 1\) we prove that the variety \(BR_{i,j}\) is obtained from \(H_{i,j}\) by the sequence of \(j-1\) blow-ups along strict transforms of the subvarieties of \(H_{i,j}\) which are isomorphic to \(H_{i,j-k-1}\), where k runs over \(\lbrace 1,\dots ,j-1\rbrace \). In Theorem A.4, for any integers \(i,j\geqslant 1\) we prove that \(BR_{i,j}\) is the blow-up of \(BF_{i-1}\times {\mathbb {P}}^{j}\) along the subvariety isomorphic to \(BR_{i-1,j-1}\). We also find two similar descriptions for Ray hypersurfaces in terms of blow-ups in Proposition A.6 and Theorem A.9. We find the structures of algebraic fiber bundles on generalized Buchstaber–Ray and Ray hypersurfaces in Theorems A.5 and A.10, respectively. Throughout of this section, we use the notions introduced in Sect. 3.
1.1 Generalized Buchstaber–Ray Hypersurface \(BR_{i,j}\)
Let \(i,j\geqslant 0\) be any integers. Let \((z,w)=([z_0:z_1:\dots :z_i],[w_0:w_1:\dots :w_j])\) be the homogeneous coordinates of \({\mathbb {P}}^i\times {\mathbb {P}}^j\). Denote the subvariety \(\lbrace z_{0}=\cdots =z_{k}=0\rbrace \) in \({\mathbb {P}}^i\times {\mathbb {P}}^j\) by \(Z_{k}\) for any \(k=1,\dots ,i-1\).
Proposition A.1
-
(i)
The divisor \(BR_{i,j}\) in \(BF_{i}\times {\mathbb {P}}^j\) corresponds to the algebraic line bundle \(\beta _{i}^{\vee }\boxtimes \eta ^{\vee }\) over \(BF_{i}\times {\mathbb {P}}^j\);
-
(ii)
For any \(k=1,\dots ,i-1\), two subvarieties \(Z_k\) and \({\widehat{H}}_{i,j}\) (see Definition 2.5) intersect transversally in \({\mathbb {P}}^i\times {\mathbb {P}}^{j}\). The subvariety \(Z_k\cap {\widehat{H}}_{i,j}\) of \({\mathbb {P}}^i\times {\mathbb {P}}^j\) is isomorphic to \(H_{i-k-1,j}\).
-
(iii)
The variety \(BR_{i,j}\) is a strict transform of \({\widehat{H}}_{i,j}\) under the sequence of consecutive blow-ups of \({\mathbb {P}}^i\times {\mathbb {P}}^{j}\) along strict transforms of the subvarieties \(Z_k\) in \({\mathbb {P}}^i\times {\mathbb {P}}^{j}\), where k runs over \(\lbrace 1,\dots ,i-1\rbrace \). In particular, \(BR_{i,j}\) is the nonsingular variety that is obtained from \({\widehat{H}}_{i,j}\) by \(i-1\) blow-ups with nonsingular centers.
Proof
Under the natural embedding \(BF_{i}\rightarrow \prod _{r=0}^{i}{\mathbb {P}}^r\) the restriction of the homogeneous coordinate \(z_{i,q}\) to \(BF_{i}\) is the global section of the sheaf \(\beta _{i}^{\vee }\) over \(BF_i\). Hence, the left-hand side of the Eq. (16) is a global section of the sheaf \(\beta _{i}^{\vee }\boxtimes \eta ^{\vee }\) over \(BF_{i}\times {\mathbb {P}}^j\). This proves (i).
Consider the isomorphism
Under this isomorphism, \(Z_{k}\cap {\widehat{H}}_{i,j}\) maps isomorphically onto the hypersurface \({\widehat{H}}_{i-k-1,j}\subset {\mathbb {P}}^{i-k-1}\times {\mathbb {P}}^j\). We compute the dimensions as follows.
We obtain
which proves (ii). The projection
decomposes into a sequence of blow-ups along strict transforms of \(Z_{k}\), where k runs over \(\lbrace 1,\dots ,i-1\rbrace \). The subvarieties \(Z_k\) and \({\widehat{H}}_{i,j}\) intersect transversally in \({\mathbb {P}}^i\times {\mathbb {P}}^j\) by (ii) for any \(k=1,\dots ,i-1\). Hence, the argument from [13, pp. 604–605] applies. Therefore, the restriction of the projection (34) to \(BR_{i,j}\) decomposes into a sequence of blow-ups of \({\widehat{H}}_{i,j}\). This proves (iii). \(\square \)
Remark A.2
The arrangement \(\lbrace Z_{k}\cap {\widehat{H}}_{i,j}|\ k=1,\dots ,i-1\rbrace \) in \({\widehat{H}}_{i,j}\) is a simple instance of a building set in terminology of [19], because the elements of this arrangement form a chain of embeddings of submanifolds in \({\widehat{H}}_{i,j}\). The wonderful compactification of this arrangement is isomorphic to the iterated blow-up of \(Z_{k}\cap {\widehat{H}}_{i,j}\), where k runs over \(1,\dots ,i-1\). This can be seen either directly from the embedding of a blow-up to the Cartesian product, or from [19, Theorem 1.3, p.537]. Comparing this with Proposition A.1 (iii), one obtains that \(BR_{i,j}\) is a wonderful compactification. The embedding of \(BR_{i,j}\) obtained from wonderful compactification is to \(\prod _{k=1}^{i-1} {{\,\mathrm{Bl}\,}}_{Z_{k}\cap {\widehat{H}}_{i,j}} {\widehat{H}}_{i,j}\), where the blow-up centers are described by Proposition A.1 (ii). In this paper, we utilize the different embedding \(BR_{i,j}\rightarrow BF_i\times {\mathbb {P}}^j\rightarrow (\prod _{k=0}^{i} {\mathbb {P}}^k)\times {\mathbb {P}}^j\).
Remark A.3
The projective toric variety \(BR_{2,2}\) is a Bott tower (see [6] or [23, p.769, Proposition 9]). One can easily compute the fan \(\Sigma \) in \({\mathbb {R}}^3\) of the toric variety \(BR_{2,2}\) by following the general description of the fan for any Bott tower (see [8, p.290, Corollary 7.8.7]). The columns of the following matrix:
are the generators of the respective one-dimensional cones \(\sigma _{0,1},\sigma _{0,2},\sigma _{0,3},\sigma _{1,1},\sigma _{1,2},\sigma _{1,3}\) of \(\Sigma \). The three-dimensional cones of \(\Sigma \) are
Let \(i,j\geqslant 1\) be any integers. Denote by E the subvariety in \(BF_{i}\times {\mathbb {P}}^{j}\) consisting of all points \((l_{0},\dots ,l_{i},l')\) such that \(l_{i-1}\perp \overline{l'}\) and \(l'\perp {\mathbb {C}}_{\max \lbrace i,j\rbrace }\) hold. Each of the conditions \(l'\perp {\mathbb {C}}_{\max \lbrace i,j\rbrace }\) and \(\overline{l'}\perp {\mathbb {C}}_{\max \lbrace i,j\rbrace }\) is equivalent to the condition \(w_j=0\). Therefore, \(l_{i}\perp \overline{l'}\) holds for any point from E. In particular, \(E\subset BR_{i,j}\). Denote the natural embedding \(BR_{i,j}\rightarrow BF_{i}\times {\mathbb {P}}^j\) from Definition 3.2 by \(f_{i,j}\). Consider the projection
Consider the embedding \(g:BF_{i-1}\times {\mathbb {P}}^{j-1}\rightarrow BF_{i-1}\times {\mathbb {P}}^j\) induced by the identity map on \(BF_{i-1}\) and by the embedding \({\mathbb {P}}^{j-1}\rightarrow {\mathbb {P}}^{j}\) given by \([w_{0}:\dots :w_{j-1}]\mapsto [w_{0}:\dots :w_{j-1}:0]\).
Theorem A.4
-
(i)
The normal bundle of the embedding \(g\circ f_{i-1,j-1}: BR_{i-1,j-1}\rightarrow BF_{i-1}\times {\mathbb {P}}^j\) is the restriction of \((\beta _{i-1}^{\vee }\oplus {\underline{{\mathbb {C}}}})\boxtimes \eta ^{\vee }\);
-
(ii)
The morphism \(\pi :BR_{i,j}\rightarrow BF_{i-1}\times {\mathbb {P}}^j\) is the blow-up of \(BF_{i-1}\times {\mathbb {P}}^j\) along \(g\circ f_{i-1,j-1}(BR_{i-1,j-1})\) with the exceptional divisor E;
-
(iii)
The exceptional divisor E is the total space of the algebraic fiber bundle \({\mathbb {P}}((\beta _{i-1}\oplus {\underline{{\mathbb {C}}}})\boxtimes {\underline{{\mathbb {C}}}})\rightarrow BR_{i-1,j-1}\).
Proof
The normal bundle of the embedding g is isomorphic to \({\underline{{\mathbb {C}}}}\boxtimes \eta ^{\vee }\). The normal bundle of the embedding \(f_{i-1,j-1}\) is \(\beta _{i-1}^{\vee }\boxtimes \eta ^{\vee }\) by Proposition A.1 (i). This proves (i). The subvariety \(g\circ f_{i-1,j-1}(BR_{i-1,j-1})\) of \(BF_{i-1}\times {\mathbb {P}}^j\) is given by the equations \(\lbrace s_{1}=s_{2}=0\rbrace \), where
are global sections of the algebraic line bundles \(\beta _{i-1}^{\vee }\boxtimes \eta ^{\vee }\) and \({\underline{{\mathbb {C}}}}\boxtimes \eta ^{\vee }\) over \(BF_{i-1}\times {\mathbb {P}}^j\), respectively. The regular morphism \(\pi \) is an isomorphism outside the zero locus \(\lbrace s_{1}=s_{2}=0\rbrace \). The restriction of the morphism \(\pi \) to the preimage of \(\lbrace s_{1}=s_{2}=0\rbrace \) is \(E={\mathbb {P}}((\beta _{i-1}\oplus {\underline{{\mathbb {C}}}})\boxtimes {\underline{{\mathbb {C}}}})\). Since this projective bundle is isomorphic to the projectivization of the normal bundle of \(g\circ f_{i-1,j-1}(BR_{i-1,j-1})\) in \( BF_{i-1}\times {\mathbb {P}}^j\) by basic property of a blow-up, we conclude that \(\pi \) is the required blow-up. Hence, E is the exceptional divisor of the blow-up \(\pi \). This proves (ii) and (iii). \(\square \)
Theorem A.5
-
(i)
Let \(i,j\geqslant 0\) be any integers such that \(i\geqslant j+1\). Then, the morphism
$$\begin{aligned} p:BR_{i,j}\rightarrow BF_{i-j-1},\ (l_{0},\dots ,l_{i},l')\mapsto (l_0,l_{1},\dots ,l_{i-j-1}), \end{aligned}$$is an algebraic \(BR_{j+1,j}\)-bundle;
-
(ii)
Let \(i\geqslant 1\) be any integer. Then, the morphism
$$\begin{aligned} p_{1}:BR_{i,i}\rightarrow {\mathbb {P}}^1,\ (l_{0},\dots ,l_{i},l')\mapsto (l_0,l_{1}), \end{aligned}$$is an algebraic \(BR_{i-1,i}\)-bundle.
Proof
We prove the claims of this theorem by constructing the trivializations for the corresponding algebraic fiber bundles. Let \(L=(l_{0},\dots ,l_{i},l')\in BR_{i,j}\). Recall that any \(N=(l_0,\dots ,l_{i-j-1})\in BF_{i-j-1}\) is determined by the tuple \(z=(z_0,\dots ,z_{i-j-1})\) of the homogeneous coordinates. Let \(U_{k}=\lbrace z_{i-j-1,k}\ne 0\rbrace \) be the open subvariety of \(BF_{i-j-1}\), where \(k=0,\dots ,i-j-1\).
-
(i)
For any \(k=0,\dots ,i-j-1\) there exists a unique morphism \(A_k:U_k\times {\mathbb {C}}^{i+1}\rightarrow {\mathbb {C}}^{i+1}\) and its fiberwise inverse morphism \(A^{\dagger }_k:U_k\times {\mathbb {C}}^{i+1}\rightarrow {\mathbb {C}}^{i+1}\) such that
-
\(A_{k}(N,-):{\mathbb {C}}^{i+1}\rightarrow {\mathbb {C}}^{i+1}\) is a \({\mathbb {C}}\)-linear map for any \(N\in U_k\);
-
\(A_{k}(N,-):{\mathbb {C}}^{i+1}\rightarrow {\mathbb {C}}^{i+1}\) takes \(e_0,\dots ,\widehat{e_k},\dots ,e_{i-j-1}\) to \(e_{j+2},\dots ,e_i\), and takes \(e_{i-j},\dots ,e_{i}\) to \(e_{1},\dots ,e_{j+1}\), respectively, for any \(N\in U_k\);
-
the following (well-defined) conditions (where \(z_{i-j-1}=z_{i-j-1}(N)\) is a tuple of homogeneous coordinates) hold:
$$\begin{aligned} A_{k}\left( N,\frac{1}{z_{i-j-1,k}}(z_{i-j-1,0}\cdot e_{0}+\cdots +z_{i-j-1,i-j-1}\cdot e_{i-j-1})\right) =e_{0},\ \forall N\in U_k; \end{aligned}$$ -
\(A^{\dagger }_{k}(N,-)=(A_k(N,-))^{-1}\) for any \(N\in U_k\).
The desired trivialization for the fiber bundle p is
$$\begin{aligned}&p^{-1}(U_k)\rightarrow U_{k}\times BR_{j+1,j},\\&\quad L\mapsto \biggl (p(L),\bigl (A_k(p(L),l_{i-j-1}),\dots ,A_k(p(L),l_{i}),A_k(p(L),l')\bigr )\biggr ),\\&\qquad k=0,\dots ,i-j-1. \end{aligned}$$Its inverse morphism is given by the formula (below \(N=(l_{0}'',\dots ,l_{i-j-1}'')\in U_k\subset BF_{i-j-1}\))
$$\begin{aligned}&U_{k}\times BR_{j+1,j}\rightarrow BF_i\times {\mathbb {P}}^j,\ \bigl (N,(l_0,\dots ,l_{j+1},l')\bigr )\nonumber \\&\quad \mapsto \bigl (l_{0}'',\dots ,l_{i-j-1}'',A^{\dagger }_{k}(N,l_{1}),\dots ,A^{\dagger }_k(N,l_{j+1}),A^{\dagger }_k(N,l')\bigr ),\nonumber \\&\qquad k=0,\dots ,i-j-1. \end{aligned}$$(35)Let N be determined by the tuple \((z'_0,\dots ,z'_{i-j-1})\) of the homogeneous coordinates. Let \(l_{j+1}\) and \(l'\) be spanned by \(\sum _{q=0}^{j+1}z_{j+1,q}e_q\) and \(\sum _{q=1}^{j+1}w_qe_q\), respectively. Then, one deduces from the definition of \(A^{\dagger }_{k}\) that
$$\begin{aligned} A^{\dagger }_{k}(N,\sum _{q=0}^{j+1}z_{j+1,q}e_q)= & {} \frac{z_{j+1,0}}{z'_{i-j-1,k}}(z'_{i-j-1,0}e_0+\cdots z'_{i-j-1,i-j-1}e_{i-j-1})\\&+\sum _{q=1}^{j+1}z_{j+1,q}e_{q+(i-j-1)},\ A^{\dagger }_{k}\left( N,\sum _{q=1}^{j+1}w_qe_q\right) \\= & {} \sum _{q=1}^{j+1}w_qe_{q+(i-j-1)}, \end{aligned}$$hold. Therefore, \(A^{\dagger }_{k}(N,l_{j+1})\perp \overline{A^{\dagger }_{k}(N,l')}\) follows by the condition \(l_{j+1}\perp \overline{l'}\) for any \(k=0,\dots ,i-j-1\). Hence, the image of (35) is belongs to the hypersurface \(BR_{i,j}\), and the trivialization map is well defined. (Clearly, the image of (35) belongs to \(p^{-1}(U_k)\).) This proves (i).
-
-
(ii)
Let \(z=(z_0,z_1)\) be the tuple of homogeneous coordinates of any \(N\in BF_1\). Let \(V_{k}=\lbrace z_{1,k}\ne 0\rbrace \) be the open subvariety of \(BF_{1}\), where \(k=0,1\). Let \(\lbrace e_0,e_1\rbrace =\lbrace e_k,e_r\rbrace \). For any \(k=0,1\) let \(B_k:V_k\times {\mathbb {C}}^{i+1}\rightarrow {\mathbb {C}}^{i+1}\) be a morphism such that for any \(N\in V_k\) the \({\mathbb {C}}\)-linear map \(B_{k}(N,-):{\mathbb {C}}^{i+1}\rightarrow {\mathbb {C}}^{i+1}\) acts identically on \(e_2,\dots ,e_i\), and takes \(e_{r}\) to \(e_k\), respectively. Furthermore, for any \(k=0,1\) there exists a unique \(B_k\) satisfying the well-defined conditions
$$\begin{aligned} B_{k}\left( N,\frac{1}{z_{1,k}}(z_{1,0}e_{0}+z_{1,1}e_{1})\right) =e_r, \forall N\in V_k. \end{aligned}$$Let \(B^{\dagger }_k:V_k\times {\mathbb {C}}^{i+1}\rightarrow {\mathbb {C}}^{i+1}\) be the fiberwise inverse morphism to \(B_k\), that is, \(B^{\dagger }_k(N,-)=B_k(N,-)^{-1}\) holds for any \(N\in BF_1\). Consider the morphism
$$\begin{aligned}&F_k:p^{-1}_{1}(V_k)\rightarrow V_{k}\times (BF_{i-1}\times {\mathbb {P}}^i),\nonumber \\&\quad L\mapsto \biggl (p_1(L),\bigl (B_k(p_1(L),l_{1}),\dots ,B_k(p_1(L),l_{i}),B^{\dagger }_k(p_1(L),l')\bigr )\biggr ),\ k=0,1.\nonumber \\ \end{aligned}$$(36)Its inverse is given by the formula (below \(N=(l_{0}'',l_{1}'')\in V_k\subset BF_{1}\))
$$\begin{aligned}&F_k^{-1}:V_{k}\times BR_{i-1,i}\rightarrow BF_i\times {\mathbb {P}}^i,\ \bigl (N,(l_0,\dots ,l_{i-1},l')\bigr )\nonumber \\&\quad \mapsto \bigl (l_{0}'',l_{1}'',B^{\dagger }_{k}(N,l_{1}),\dots ,B^{\dagger }_k(N,l_{i-1}),B_k(N,l')\bigr ),\ k=0,1. \end{aligned}$$(37)Let \(l_{i-1}\) and \(l'\) be spanned by \(\sum _{q=0}^{i-1}z_{i-1,q}e_{q+1}\) and \(\sum _{q=0}^{i}w_qe_q\), respectively. Then, one deduces from the definition of \(B_{k}\) that \(B^{\dagger }_0(N,l_{i-1})\), \(B_0(N,l')\), \(B^{\dagger }_1(N,l_{i-1})\) and \(B_1(N,l')\) are spanned by
$$\begin{aligned}&z_{i-1,0}\left( e_0+\frac{z''_{11}}{z''_{10}}e_1\right) +\sum _{q=1}^{i-1}z_{i-1.q}e_{q+1},\ w_0 \bigl (e_1-\frac{z''_{11}}{z''_{10}}e_0\bigr )+w_1 e_0 \\&+ \sum _{q=2}^{i}w_q e_q,\ z_{i-1,0} e_0+\sum _{q=1}^{i-1}z_{i-1,q}e_{q+1},\ w_0 e_1+w_1 \bigl (e_0-\frac{z''_{10}}{z''_{11}}e_1\bigr ) + \sum _{q=2}^{i}w_q e_q, \end{aligned}$$respectively, where \(l''_1\) is spanned by \(z''_{10}e_0+z''_{11}e_1\). Hence, it follows from \(l_{i-1}\perp \overline{l'}\) that \(B^{\dagger }_{k}(N,l_{i-1})\perp \overline{B_{k}(N,l')}\) holds for any \(k=0,1\). The image of \(F_0^{-1}\) is the subvariety \(\lbrace z_{i-1,0}\ne 0\rbrace \cap \lbrace \sum _{q=0}^{i-1} z_{i-1,q}w_{q+1}=0\rbrace \) of \(BF_{i}\times {\mathbb {P}}^i\). Hence, the image of \(F_{0}^{-1}\) belongs to \(BR_{i,i}\) and is equal to \(p_1^{-1}(V_0)\). We conclude that \(F_0\) is the well-defined trivialization (over \(V_0\)) of the fiber bundle \(p_1\). The image of \(F_1^{-1}\) is the subvariety \(\lbrace z_{i-1,1}\ne 0\rbrace \cap \lbrace z_{i-1,0}w_{0}+\sum _{q=1}^{i-1} z_{i-1,q}w_{q+1}=0\rbrace \) of \(BF_{i}\times {\mathbb {P}}^i\). Notice that this subvariety maps isomorphically onto \(p_1^{-1}(V_1)\subset BR_{i,i}\) under the involution D of \(BF_i\times {\mathbb {P}}^i\) given by
$$\begin{aligned} (l_0,\dots ,l_i,l')\mapsto \bigl (C(l_{1}),\dots ,C(l_{i}),l'\bigr ), \end{aligned}$$where \(C:{\mathbb {C}}^{i+1}\rightarrow {\mathbb {C}}^{i+1}\) is the linear operator mapping \(e_0,e_1,\dots ,e_i\) to \(e_1,e_0,\dots ,e_i\), respectively. Hence, \(D\circ F_1^{-1}\) is a well-defined invertible morphism, and the composition \(F_1 \circ D\) is the well-defined trivialization (over \(V_1\)) of the fiber bundle \(p_1\). This completes the proof of the theorem.
\(\square \)
1.2 Ray Variety \(R_{i,j}\)
Let \(i,j\geqslant 0\) be any integers. Denote the subvariety \(\lbrace w_{0}=\cdots =w_{k}=0\rbrace \) in \(BF_{i}\times {\mathbb {P}}^{j}\) by \(W_{k}\) for any \(k=1,\dots ,j-1\). The proof of the following proposition is similar to the proof of Proposition A.1.
Proposition A.6
-
(i)
The divisor \(R_{i,j}\) corresponds to the algebraic line bundle \(\beta _{i}^{\vee }\boxtimes \beta _{j}^{\vee }\) over \(BF_{i}\times BF_{j}\);
-
(ii)
For any \(k=1,\dots ,j-1\), two subvarieties \(W_k\) and \(BR_{i,j}\) intersect transversally in \(BF_{i}\times {\mathbb {P}}^{j}\). The subvariety \(W_k \cap BR_{i,j}\) of \(BF_{i}\times {\mathbb {P}}^j\) is isomorphic to \(BR_{i,j-1-k}\).
-
(iii)
The variety \(R_{i,j}\) is a strict transform of \(BR_{i,j}\) under the sequence of consecutive blow-ups of \(BF_{i}\times {\mathbb {P}}^{j}\) along strict transforms of the subvarieties \(W_k\) in \(BF_{i}\times {\mathbb {P}}^{j}\), where k runs over \(\lbrace 1,\dots ,j-1\rbrace \). In particular, \(R_{i,j}\) is the nonsingular projective variety that is obtained from \(BR_{i,j}\) by \(j-1\) blow-ups with nonsingular centers.
Remark A.7
The arrangement \(\lbrace W_{k}\cap BR_{i,j}|\ k=1,\dots ,j-1\rbrace \) in \(BR_{i,j}\) is also a building set in terminology of [19], because the elements of this arrangement form a chain of embeddings of submanifolds in \(BR_{i,j}\). The wonderful compactification of this arrangement is isomorphic to the iterated blow-up of \(W_{k}\cap BR_{i,j}\), where k runs over \(1,\dots ,j-1\). This can be seen either directly from the embedding of a blow-up to the Cartesian product, or from [19, Theorem 1.3, p.537]. Comparing this with Proposition A.6 (iii), one obtains that \(R_{i,j}\) is a wonderful compactification. The embedding of \(R_{i,j}\) obtained from wonderful compactification is to \(\prod _{k=1}^{j-1} {{\,\mathrm{Bl}\,}}_{W_{k}\cap BR_{i,j}} BR_{i,j}\), where the blow-up centers are described by Proposition A.6 (ii). In this paper we utilize the different embedding \(R_{i,j}\rightarrow BF_i\times BF_j\rightarrow (\prod _{k=0}^{i} {\mathbb {P}}^k)\times (\prod _{q=0}^{j} {\mathbb {P}}^q)\).
Let \(i,j\geqslant 1\) be any integers. Denote by D, \(D_1\), \(D_2\) the subvarieties in \(BF_{i}\times BF_{j}\) consisting of all points \((l_{0},\dots ,l_{i},l'_0,\dots ,l'_j)\) such that \(l_{i-1}\perp \overline{l'_{j-1}}\) and \(l_{i}\perp \overline{l'_{j}}\) hold; \(l_{i}\perp \overline{l'_j}\) and \(l_i=l_{i-1}\) hold; \(l_{i}\perp \overline{l'_j}\) and \(l'_j=l'_{j-1}\) hold, respectively. It is straight-forward to prove the following lemma.
Lemma A.8
One has \(D=D_{1}\cup D_{2}\), where \(D_{1}, D_{2}\subset R_{i,j}\) are nonsingular irreducible hypersurfaces of \(R_{i,j}\). The intersection \(D_1\cap D_{2}\) is isomorphic to \(R_{i-1,j-1}\).
Denote by \(r_{i,j}\) the natural embedding \(R_{i,j}\rightarrow BF_{i}\times BF_{j}\) from Definition 3.4. Consider the following morphisms:
The proof of the following theorem is similar to the proof of Theorem A.4
Theorem A.9
-
(i)
The normal bundles of the embeddings
$$\begin{aligned}&g_1\circ r_{i-1,j-1}:R_{i-1,j-1}\rightarrow BF_{i-1}\times BF_{j},\\&g_2\circ r_{i-1,j-1}:R_{i-1,j-1}\rightarrow BF_{i}\times BF_{j-1}, \end{aligned}$$are the restrictions of \((\beta _{i-1}^{\vee }\oplus {\underline{{\mathbb {C}}}})\boxtimes \beta _{j-1}^{\vee }\) and \(\beta _{i-1}^{\vee }\boxtimes (\beta _{j-1}^{\vee }\oplus {\underline{{\mathbb {C}}}})\), respectively;
-
(ii)
The morphisms \(\pi _{1}:R_{i,j}\rightarrow BF_{i-1}\times BF_{j}\) and \(\pi _{2}:R_{i,j}\rightarrow BF_{i}\times BF_{j-1}\) are the blow-ups along the centers \(g_1\circ r_{i-1,j-1}(R_{i-1,j-1})\) and \(g_2\circ r_{i-1,j-1}(R_{i-1,j-1})\) with exceptional divisors \(D_1\) and \(D_2\), respectively;
-
(iii)
The exceptional divisors \(D_1\) and \(D_2\) are the total spaces of the algebraic fiber bundles \({\mathbb {P}}((\beta _{i-1}\oplus {\underline{{\mathbb {C}}}})\boxtimes {\underline{{\mathbb {C}}}})\rightarrow R_{i-1,j-1}\) and \({\mathbb {P}}({\underline{{\mathbb {C}}}}\boxtimes (\beta _{j-1}\oplus {\underline{{\mathbb {C}}}}))\rightarrow R_{i-1,j-1}\), respectively.
The proof of the following theorem is similar to the proof of Theorem A.5.
Theorem A.10
-
(i)
Let \(i,j\geqslant 0\) be any integers such that \(i\geqslant j+1\). Then, the following morphism:
$$\begin{aligned} p:R_{i,j}\rightarrow BF_{i-j-1},\ (l_{0},\dots ,l_{i},l'_{0},\dots , l'_{j})\mapsto (l_{0},\dots ,l_{i-j-1}), \end{aligned}$$is an algebraic \(R_{j+1,j}\)-bundle.
-
(ii)
Let \(i\geqslant 1\) be any integer. Then, the following morphisms:
$$\begin{aligned}&p_{1}:R_{i,i}\rightarrow {\mathbb {P}}^1,\ (l_{0},\dots ,l_{i},l'_{0},\dots , l'_{j})\\&\quad \mapsto (l_{0},l_{1})\,;\,p_{2}:R_{i,i}\rightarrow {\mathbb {P}}^1,\ (l_{0},\dots ,l_{i},l'_{0},\dots , l'_{j})\mapsto (l'_{0},l'_{1}), \end{aligned}$$are algebraic fiber bundles with fibers \(R_{i-1,i}\) and \(R_{i,i-1}\), respectively.
Cohomology Rings of \(BR_{i,j}\) and \(R_{i,j}\)
In this section, we prove that the cohomology rings of the hypersurfaces \(BR_{i,j}\) and \(R_{i,j}\) are isomorphic to the quotients of the known cohomology rings of the ambient varieties \(BF_{i}\times {\mathbb {P}}^{j}\) and \(BF_{i}\times BF_{j}\) by the annihilator ideals of the first Chern classes of the respective normal line bundles for any integers \(i,j\geqslant 0\). We deduce the formulas for the Hodge–Deligne polynomials of the hypersurfaces \(BR_{i,j}\) and \(R_{i,j}\) from the Hodge–Deligne polynomial of \(H_{i,j}\) using the blow-up descriptions of \(BR_{i,j}\) and \(R_{i,j}\) from Sect. A. In particular, we compute all Betti numbers of \(BR_{i,j}\) and \(R_{i,j}\) for any integers \(i,j\geqslant 0\). In the following, by omitting the coefficient group in singular cohomology we assume \({\mathbb {Z}}\)-coefficients.
1.1 Cohomology Ring of the Blow-Up of a Complex Manifold Along a Submanifold
Let \(\iota :Z\subset X\) be any holomorphic embedding of complex compact connected manifolds. Consider the blow-up \(\pi :{{\,\mathrm{Bl}\,}}_{Z} X\rightarrow X\) of X along Z. The exceptional divisor E of \(\pi \) is the holomorphic fiber bundle \(E\simeq {\mathbb {P}}(\nu )\rightarrow Z\), where the projection map is given by the restriction of \(\pi \) to E, and \(\nu \rightarrow Z\) is the normal bundle of \(\iota \). The restriction of the projection map \(\pi \) to E induces the structure of a \(H^{*}(Z\,;\,{\mathbb {Z}})\)-module on \(H^{*}({\mathbb {P}}(\nu )\,;\,{\mathbb {Z}})\).
Theorem B.1
(Leray, Hirsch, see [5, §15]) Let \(\xi \rightarrow B\) be a complex vector bundle of rank k over B. Consider the fiberwise projectivization \(p:{\mathbb {P}}(\xi )\rightarrow B\) of \(\xi \). Let \(v=c_1(\zeta ^{\vee })\in H^2({\mathbb {P}}(\xi );{\mathbb {Z}})\) be the first Chern class of the dual to the tautological line bundle \(\zeta \) over \({\mathbb {P}}(\xi )\). Then, the following rings
are isomorphic. In particular, \(H^{*}({\mathbb {P}}(\xi ))\) is a free \(H^{*}(B)\)-module with generators \(1,v,\dots ,v^{k-1}\).
Example B.2
By applying Theorem B.1 recurrently to the \({\mathbb {P}}^1\)-bundle \(BF_{n}={\mathbb {P}}(\beta _{n-1}\oplus {\underline{{\mathbb {C}}}})\rightarrow BF_{n-1}\), one obtains an isomorphism
of graded rings, where \(x_0:=0\), see [8].
Let Y be any compact complex submanifold of X which intersects Z transversally in X.
Proposition B.3
([12, 13]) The normal bundle of the hypersurface E in \({{\,\mathrm{Bl}\,}}_{Z} X\) is isomorphic to the tautological line bundle \(\zeta \rightarrow {\mathbb {P}}(\nu )\). The strict transform \({\widetilde{Y}}\) of Y under \(\pi \) is isomorphic to \({{\,\mathrm{Bl}\,}}_{Z\cap Y} Y\). The following abelian groups:
are naturally isomorphic, where k is the codimension of Z in X. The ring \(H^{*}({{\,\mathrm{Bl}\,}}_{Z} X;{\mathbb {Z}})\) is isomorphic to the quotient of the ring on the right hand side of (40) by the relations
where \(\omega _{X}\in H^{2k}(X;{\mathbb {Z}})\) is Poincaré dual to the homology class \(\iota _*[Z]\in H_{2(n-k)}(X;{\mathbb {Z}})\), and v restricts to \(c_1(\zeta ^{\vee })\).
1.2 Cohomology Ring of a Hypersurface
Let \(X^n\) be any compact complex manifold with no torsion in \(H^*(X;{\mathbb {Z}})\). By the Poincaré duality, the \({\mathbb {Z}}\)-bilinear form \(Q_{X}\),
given by the natural pairing with the fundamental class \([X]\in H_{2n}(X;{\mathbb {Z}})\), is nondegenerate.
In addition, let \(X^{n}\) be connected and simply connected. Then, the group \(H^2(X;{\mathbb {Z}})\) is isomorphic to the Picard group of equivalence classes of the holomorphic line bundles over X modulo holomorphic isomorphisms. Let \(\xi \rightarrow X\) be any holomorphic line bundle. In the following, we assume that the divisor corresponding to \(\xi \) is represented by an irreducible nonsingular hypersurface D in X. In this case, the homology class of D in \(H_{2(n-1)}(X;{\mathbb {Z}})\) is Poincaré dual to \(x=c_{1}(\xi )\in H^2(X;{\mathbb {Z}})\). Consider the homomorphism \(\iota ^*: H^*(X;{\mathbb {Z}})\rightarrow H^*(D;{\mathbb {Z}})\) induced by the natural embedding \(\iota :D\rightarrow X\).
Proposition B.4
Suppose that all odd cohomology groups \(H^{2k+1}(X;{\mathbb {Z}})\) vanish and that \(\iota ^*\) is an epimorphism. Then, \({{\,\mathrm{ker}\,}}\iota ^{*}\) is the annihilator ideal \({{\,\mathrm{Ann}\,}}x\) of x in the ring \(H^*(X;{\mathbb {Z}})\). In particular, the quotient homomorphism \(H^*(X;{\mathbb {Z}})/ {{\,\mathrm{Ann}\,}}x \rightarrow H^*(D;{\mathbb {Z}})\) induced by \(\iota ^*\) is an isomorphism of rings.
Proof
Since \(\iota ^*\) is an epimorphism, we conclude from \(H^{2k+1}(X;{\mathbb {Z}})=0\) that \(H^{2k+1}(D;{\mathbb {Z}})=0\) holds for any integer \(k\geqslant 0\). The universal coefficients formula then implies that the groups \(H^*(X;{\mathbb {Z}})\),\(H^*(D;{\mathbb {Z}})\) have no torsion. The class \(\iota _{*}(D)\in H_{2(n-1)}(X;{\mathbb {Z}})\) is Poincaré dual to \(x\in H^{2}(X;{\mathbb {Z}})\). This means that the identity
holds for any \(y\in H^{2(n-1)}(X;{\mathbb {Z}})\). For any elements \(\alpha ,\beta \in H^{*}(X;{\mathbb {Z}})\) of degree 2k and \(2(n-k-1)\), respectively, we deduce the following identities:
from (42). Let \(\alpha \) be any element of \({{\,\mathrm{ker}\,}}\iota ^*\). Then the left hand side of (43) is zero. Hence, \(\alpha x\) belongs to the kernel of the bilinear form \(Q_{X}\). Then, \(\alpha x=0\), because the bilinear form \(Q_X\) is nondegenerate. We conclude that \({{\,\mathrm{ker}\,}}\iota ^*\subseteq {{\,\mathrm{Ann}\,}}x\).
Let \(\alpha \in {{\,\mathrm{Ann}\,}}x\) be any element. Then, the right-hand side of (43) is zero for any \(\beta \in H^*(X;{\mathbb {Z}})\). We conclude from (43) that \(\langle \iota ^*(\alpha ){\widetilde{\beta }},[D]\rangle =0\) for any \({\widetilde{\beta }}\in H^*(D\,;\,{\mathbb {Z}})\), because \(\iota ^*\) is epimorphic. Hence, \(\iota ^*(\alpha )\) belongs to the kernel of the bilinear form \(Q_D\). We conclude that \(\iota ^*(\alpha )=0\), because \(Q_D\) is nondegenerate. This implies that \({{\,\mathrm{Ann}\,}}x\subseteq {{\,\mathrm{ker}\,}}\iota ^*\) holds. The proof is complete. \(\square \)
In general, the embedding of a hypersurface to the ambient manifold does not induce epimorphism of the respective cohomology groups.
Example B.5
For any integers \(n,d>0\), let \(f_{d}:X_d\subset {\mathbb {P}}^n\) be the embedding of a generic hypersurface \(X_d\) of degree d to \({\mathbb {P}}^n\). One can check that for any even n and any integer \(d>2\) the group \(H^{n-1}(X_d;{\mathbb {R}})\) is nonzero and the homomorphism \(f_{d}^{*}\) is not epimorhic. For \(d=2\) and \(n=3\), the Veronese embedding \(f_{2}:{\mathbb {P}}^1\times {\mathbb {P}}^1\rightarrow {\mathbb {P}}^3\) of the nonsingular quadric induces the homomorphism
of the respective cohomology rings, which is clearly not onto. (The last example was pointed out to the author by A. Ayzenberg.)
Lemma B.6
Let \(\xi ,\nu \) be complex vector bundles over a compact topological space B. Suppose that \(\nu \) is a subbundle of \(\xi \). Let \(\alpha :{\mathbb {P}}(\nu )\rightarrow {\mathbb {P}}(\xi )\) be the corresponding embedding. Then the induced homomorphism \(\alpha ^*:H^*({\mathbb {P}}(\xi );{\mathbb {Z}})\rightarrow H^*({\mathbb {P}}(\nu );{\mathbb {Z}})\) is onto.
Proof
Consider the tautological line bundles \(\zeta \rightarrow {\mathbb {P}}(\nu )\), \(\zeta '\rightarrow {\mathbb {P}}(\xi )\) of the respective projective fiber bundles. Let \(k={{\,\mathrm{rk}\,}}\nu \), \(r={{\,\mathrm{rk}\,}}\xi \). By Theorem B.1, the following free \(H^*(B)\)-modules:
are isomorphic, where \(u=c_1(\zeta ^{\vee })\), \(v=c_1((\zeta ')^{\vee })\). By the definition, \(\alpha ^*(\zeta ')=\zeta '|_{\alpha ({\mathbb {P}}(\nu ))}=\zeta \). Hence, \(\alpha ^*(v)=u\). Now, the statement follows from (44), because \(k\leqslant r\). \(\square \)
Recall that Z is a submanifold and D is a hypersurface in X. Assume that Z and D intersect transversally in X. Then, by Proposition B.3, the strict transform \({\widetilde{D}}\) of D with respect to the blow-up \({{\,\mathrm{Bl}\,}}_{Z} X\rightarrow X\) is isomorphic to \({{\,\mathrm{Bl}\,}}_{Z\cap D} D\). Let \({\widetilde{\iota }}:{\widetilde{D}} \rightarrow {\widetilde{X}}\simeq {{\,\mathrm{Bl}\,}}_{Z} X\) be the corresponding embedding.
Lemma B.7
Suppose that the embeddings \(D\rightarrow X\) and \(Z\cap D\rightarrow Z\) induce epimorphisms of the respective cohomology rings. Then, the embedding \({\widetilde{D}}\rightarrow {\widetilde{X}}\) induces an epimorphism of the respective cohomology rings.
Proof
Let \(E'={\mathbb {P}}(\nu ')\) be the exceptional divisor of the blow-up \({{\,\mathrm{Bl}\,}}_{Z\cap D} D\rightarrow D\), where \(\nu \) and \(\nu '\) are the normal bundles of the inclusions \(Z\subset X\) and \(Z\cap D\subset D\), respectively. The normal vector bundle \(\nu '\) is a subbundle of \(\nu |_{Z\cap D}\) due to the sequence \(Z\cap D\rightarrow D\rightarrow X\) of embeddings. Consider the following commutative diagram
where the vertical arrows are the isomorphisms from Proposition B.3, and the lower arrow is induced by the embeddings \(\iota \) and \({\mathbb {P}}(\nu ')\rightarrow {\mathbb {P}}(\nu )\) (by naturality). By the condition of the lemma, \(\iota ^*:H^*(X)\rightarrow H^*(D)\) is epimorphic. By Lemma B.6 and the assumption, the composition \(H^*({\mathbb {P}}(\nu ))\rightarrow H^*({\mathbb {P}}(\nu |_{Z\cap D})) \rightarrow H^*({\mathbb {P}}(\nu '))\), induced by the natural embeddings, is epimorphic. Then, the lower arrow in (45) is epimorphic. By the commutativity of (45) we conclude that \({\widetilde{\iota }}^*\) is epimorphic. This completes the proof. \(\square \)
Let \(Z_0\subset Z_1\subset \dots \subset Z_k\) be any closed connected submanifolds of the complex manifold X. Denote by \({\widetilde{Z}}_j\) the strict transform of the subvariety \(Z_j\) under the blow-up \({\widetilde{X}}={{\,\mathrm{Bl}\,}}_{Z_0} X\rightarrow X\) of X along \(Z_{0}\), where \(j=1,\dots ,k\). We generalize Lemma B.7 as follows.
Lemma B.8
-
(i)
Assume that \(Z_j\) and D intersect transversally in X for any \(j=0,\dots ,k\). Then, \({\widetilde{Z}}_j\) and \({\widetilde{D}}\) intersect transversally in \({\widetilde{X}}\), where \(j=1,\dots ,k\);
-
(ii)
In addition to the condition (i), suppose that the embeddings \(D\rightarrow X\) and \(Z_j\cap D\rightarrow Z_j\) induce epimorphisms of the respective cohomology rings for any \(j=0,\dots ,k\). Then, the embeddings \({\widetilde{D}}\rightarrow {\widetilde{X}}\) and \({\widetilde{Z}}_j\cap {\widetilde{D}}\rightarrow {\widetilde{Z}}_j\) induce epimorphisms of the respective cohomology rings for any \(j=1,\dots ,k\).
Proof
The claim (i) follows from Proposition B.3 immediately. Now we prove (ii). The claim about \({\widetilde{D}}\rightarrow {\widetilde{X}}\) follows by substituting \(X,Z_0,D\) for X, Z, D in Lemma B.7. The claim about \({\widetilde{Z}}_j\cap {\widetilde{D}}\rightarrow {\widetilde{Z}}_j\) follows by substituting \(Z_i,Z_0,Z_i\cap D\) for X, Z, D in Lemma B.7. \(\square \)
See Sect. 3 for the definitions of \(f_{i,j}\), \(r_{i,j}\).
Theorem B.9
- (1):
-
The embedding \(f_{i,j}:BR_{i,j}\rightarrow BF_{i}\times {\mathbb {P}}^{j}\) induces epimorphism in cohomology. One has the ring isomorphism
$$\begin{aligned} H^*(BR_{i,j})\simeq \frac{{\mathbb {Z}}[x_1,\dots ,x_i,y]}{(x_q^2-x_q x_{q-1},\ y^{j+1}|\ q=1,\dots ,i)}\bigg /{{\,\mathrm{Ann}\,}}(x_i+y), \end{aligned}$$where \(x_0:=0\).
- (2):
-
The embedding \(r_{i,j}:R_{i,j}\rightarrow BF_{i}\times BF_{j}\) induces epimorphism in cohomology. One has the ring isomorphism
$$\begin{aligned} H^*(R_{i,j})\simeq \frac{{\mathbb {Z}}[x_1,\dots ,x_i,y_1,\dots ,y_j]}{(x_q^2-x_q x_{q-1},\ y_r^2-y_r y_{r-1}|\ q=1,\dots ,i;\ r=1,\dots , j)}\bigg /{{\,\mathrm{Ann}\,}}(x_i+y_j), \end{aligned}$$where \(x_0:=0,y_0:=0\).
Proof
Propositions A.1, A.6 and Lemma B.8 imply that \(f_{i,j}^*\), \(r_{i,j}^*\) are epimorphic. The respective kernels are given in Proposition B.4. It remains to compute the cohomology of the respective Cartesian products. This follows by Künneth formula from the computation of the cohomology rings of \({\mathbb {P}}^n\), \(BF_n\) (see (39)). \(\square \)
Example B.10
By Theorem A.9, \(R_{2,2}\) is the blow-up of \(BF_{1}\times BF_{2}\) along \(R_{1,1}\). The normal bundle of the composition \(R_{1,1}\rightarrow BF_{1}\times BF_{1}\rightarrow BF_{1}\times BF_{2}\) of embeddings is the restriction \(\nu \) of \((\beta _{1}^{\vee }\oplus {\underline{{\mathbb {C}}}})\boxtimes \beta _{1}^{\vee }\) to \(R_{1,1}\). The irreducible rational curve \(R_{1,1}\) is obtained by taking subsequently the divisors corresponding to the algebraic line bundles \(\beta _1^{\vee }\boxtimes \beta _{1}^{\vee }\), \({\underline{{\mathbb {C}}}}\boxtimes \beta _{2}^{\vee }\) over \(BF_{1}\times BF_{2}\). Hence, \(\omega _{R_{1,1}}=(x_1+y_1)y_2\). Clearly, \(H^*(R_{1,1}\,;\,{\mathbb {Z}})\simeq {\mathbb {Z}}[t]/(t^2)\), where \(\eta \rightarrow {\mathbb {P}}^1\) is the tautological line bundle and \(t=c_1(\eta ^{\vee })\). It is not hard to compute the Chern class \(c(\nu )\) to be \(1+3t\) of \(\nu \). Hence, by Proposition B.3, one has
Here we can vanish t by expressing the additive generators tv and \(tv^2\) as \(x_1v\) and \(x_1v^2\), respectively.
Example B.11
It is not hard to compute the ideal \({{\,\mathrm{Ann}\,}}(x_2+y_2)\) of the ring \(H^{*}(BF_{2}\times BF_{2};{\mathbb {Z}})\) to be
Hence, by Theorem B.9, one has
The isomorphism
of polynomial rings induces the isomorphism between the quotient rings, which are given on the right hand sides of (47) and (46). A similar computation shows that
1.3 Betti Numbers
Consider the Hodge–Deligne polynomial \(e(X)(u,v):=\sum _{i,j} h^{i,j}(X)u^i v^j\) of a quasiprojective complex algebraic variety X (see [10, 16]).
Proposition B.12
([10, p.929])
-
(i)
For any quasiprojective complex algebraic varieties \(Y\subseteq X\) one has
$$\begin{aligned} e(X)(u,v)=e(Y)(u,v)+e(X\setminus Y)(u,v); \end{aligned}$$ -
(ii)
For any integer \(n\geqslant 0\) one has \(e({\mathbb {P}}^n)(u,v)= 1+uv+\dots +(uv)^n\);
-
(iii)
For any algebraic F-bundle \(E\rightarrow B\), where B, F are nonsingular projective varieties, one has
$$\begin{aligned} e(E)(u,v)=e(B)(u,v) e(F)(u,v). \end{aligned}$$ -
(iv)
For any closed immersion \(Z\subset X\) of nonsingular projective algebraic varieties, the identity
$$\begin{aligned} e({{\,\mathrm{Bl}\,}}_{Z} X)(u,v)=e(X)(u,v) + (uv+\dots +(uv)^{k-1})e(Z)(u,v), \end{aligned}$$holds, where k is the complex codimension of \(Z\subset X\).
For any complex projective manifold X, the k-th Betti number \(b_{k}(X)\) of X is equal to \(\sum _{i+j=k} h^{i,j}(X)\) by the Hodge decomposition, where \(k\geqslant 0\) is any integer. If X has only diagonal Hodge numbers, i.e., \(h^{i,j}(X)=0\) for any \(i\ne j\), then we put \(e(X)(t):=e(X)(u,v)\), where \(t=uv\).
Proposition B.13
Let \(i,j\geqslant 0\) be any integers. Then, the following relations hold.
where \(0<i,j\) and \(i\ne j\);
Proof
By Proposition 5.5 the variety \(BR_{i,j}\) is the algebraic \({\mathbb {P}}^{j-1}\)-bundle over \(BF_{i}\) for any integers i, j such that \(0\leqslant i\leqslant j\) and \(j>0\). The variety \(BF_{i}\) is the tower of algebraic \({\mathbb {P}}^1\)-bundles over the point. Hence, by Proposition B.12 one obtains the formula (48) from the Hodge–Deligne polynomial of the projective space.
We prove (49) by the induction on j. By Theorem A.4 (ii), the variety \(BR_{i,1}\) is the blow-up of \(BF_{i-1}\times {\mathbb {P}}^1\) along its subvariety \(BF_{i-2}\). Hence, by Proposition B.12,
which proves the induction basis \(j=1\). Assume that (49) holds for \(j=j_{0}-1\geqslant 1\). By Theorem A.4 (ii), the variety \(BR_{i,j}\) is the blow-up of \(BF_{i-1}\times {\mathbb {P}}^j\) along its subvariety \(BR_{i-1,j-1}\). We conduct the computation for \(j=j_{0}\) using the induction hypothesis and Proposition B.12 as follows.
This proves the identity (49).
It is enough to prove (50) only for any integers \(i,j\geqslant 0\) such that \(i<j\), because \(R_{i,j}\simeq R_{j,i}\). We prove (50) by the induction on j. For \(j=1\), (50) follows from (49), since \(R_{1,j}\simeq R_{j,1}=BR_{j,1}\). Assume that (50) holds for \(j=j_{0}-1\). Let \(j=j_0\). By Theorem A.9 (ii), the variety \(R_{i,j}\) is the blow-up of \(BF_{i}\times BF_j\) along its subvariety \(R_{i-1,j-1}\). We conduct the computation for \(j=j_{0}\) using the induction hypothesis and Proposition B.12 as follows.
This proves the identity (50).
Finally, prove (51) by the induction on j. Note that \(R_{2,2}\) is the blow-up of \(BF_{1}\times BF_{2}\) along its subvariety \({\mathbb {P}}^1\). By Proposition B.12, then one has the identity
which proves the induction basis \(j=2\). Assume that (51) holds for \(i=i_0-1\). By Theorem A.9 (ii), the variety \(R_{i,i}\) is the blow-up of \(BF_{i-1}\times BF_{i}\) along its subvariety \(R_{i-1,i-1}\). We conduct the computation for \(i=i_0\) using the induction hypothesis and Proposition B.12 as follows.
The proof is complete. \(\square \)
Corollary B.14
Let \(i,j,k\geqslant 0\) be any integers. Then, one has the following formulas:
Remark B.15
The identities from Proposition B.13 agree with the various algebraic fiber bundle structures on \(BR_{i,j}\) and \(R_{i,j}\) from Sect. A and the property of Hodge–Deligne polynomial from Proposition B.12 (iii).
Rights and permissions
About this article
Cite this article
Solomadin, G. Cohomology Rings and Algebraic Torus Actions on Hypersurfaces in the Product of Projective Spaces and Bounded Flag Varieties. Arnold Math J. 9, 105–150 (2023). https://doi.org/10.1007/s40598-022-00203-4
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40598-022-00203-4