Abstract
We characterize the actions of compact tori on smooth closed manifolds for which the orbit space is a topological manifold (either closed or with boundary). For closed manifolds, the result was originally proved by Styrt in 2009. We give a new proof for closed manifolds which is also applicable to manifolds with boundary. In our arguments, we use the result of Provan and Billera who characterized matroid complexes which are pseudomanifolds. We study the combinatorial structure of torus actions whose orbit spaces are manifolds. In two appendix sections, we give an overview of two theories related to our work. The first one is the combinatorial theory of Leontief substitution systems from mathematical economics. The second one is the topological Kaluza–Klein model of Dirac’s monopole studied by Atiyah. The aim of these sections is to draw some bridges between disciplines and motivate further studies in toric topology.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The classical object of toric topology are the actions of compact tori T on smooth manifolds X which have the orbit space X/T diffeomorphic to a simple polytope as a manifold with corners. The examples include smooth projective toric varieties and their topological generalizations: quasitoric manifolds and torus manifolds, and moment-angle manifolds. All these manifolds are examples of torus actions of complexity zero. Note that the notion of complexity can be defined even in the situations when fixed points are not isolated; see Definition 2.1. In general, it is known that orbit spaces of actions of complexity zero are manifolds with corners.
Buchstaber and Terzić [10, 11] initiated the study of orbit spaces of torus actions of positive complexity. In particular, they proved that the canonical torus action on a Grassmann manifold \({{\,\textrm{Gr}\,}}_{4,2}\) of 2-planes in \({\mathbb {C}}^4\) has orbit space homeomorphic to a sphere and a similar result for the canonical torus action of the variety of full flags in \({\mathbb {C}}^3\). In [2], the first author proved a local statement that, under certain assumption, the orbit space of a complexity one action in general position is a closed topological manifold. This result was later extended by Cherepanov in [13]: the orbit spaces of complexity one actions in non-general position are manifolds with corners.
A natural question arises: describe torus actions on manifolds which have orbit spaces either manifolds or manifolds with boundary. This question stays in parallel to the seminal work of Vinberg [27], and the later works of Mikhailova and Lange [20,21,22, 25] who classified all finite group actions whose orbit spaces are closed manifolds. Using the slice theorem, the questions of this sort reduce to linear representations of the corresponding group. We prove the following results about linear representations.
Theorem 1.1
Assume that the orbit space of a representation of a compact torus T on a real vector space V is homeomorphic to \({\mathbb {R}}^m\) for some m. Then, the representation is weakly equivalent to a Cartesian product of complexity one representations in general position and, probably, a trivial representation.
Theorem 1.2
Assume that the orbit space of a representation of a compact torus T on a real vector space V is homeomorphic to a half-space \({\mathbb {R}}_{\geqslant 0}\times {\mathbb {R}}^{m-1}\). Then, the representation is weakly equivalent to a complexity zero representation, probably multiplied by a Cartesian product of complexity one representations in general position and a trivial representation.
By a Cartesian product, we mean the following: given a representation of G on V and a representation of H on W, we have a natural representation of \(G\times H\) on \(V\oplus W\), which is called a Cartesian product. This is not to be confused with direct sums or tensor products: in these cases, the acting group is usually assumed the same.
After we obtained these results, we found that Theorem 1.1 was already proved by Styrt [26] in a greater generality. The arguments of his proof are essentially similar to ours. However, in our case, one essential step of the proof is simplified, since we refer to a known result of Provan and Billera [8] from matroid theory. The same result is applied in the proof of Theorem 1.2. The cited result about matroids (see Proposition 3.8) was originally motivated by the combinatorial study of Leontief substitution systems. For this reason, we call the products of representations of complexities zero and one, which appear in the statements of the theorems, Leontief representations; see Definition 2.7.
The paper has the following structure. Section 2 contains all basic definitions, examples, and a rigorous statement of the result. Theorems 1.1 and 1.2 are proved in Sect. 3. In Sects. 4 and 5, we recall basic notions related to torus actions on smooth manifolds, and introduce Leontief torus actions, which are basically the actions whose orbit space is a manifold (with or without boundary). We study the combinatorial structure of Leontief torus actions and relate these results to the works [2, 13] on torus actions of complexity one.
There are two appendix sections with a general exposition of two topics related to our work. Appendix A contains a brief overview of Leontief substitution systems and explains the (somewhat equivocal) choice of the term Leontief representation. Appendix B is devoted to the topological aspects of Kaluza–Klein model with Dirac’s magnetic monopoles. Essentially, this model is a very particular example of a torus action of complexity one in general position. The important property of this model is that the orbit space of an action is an open manifold. Keeping this in mind, one can consider Leontief torus actions as the most general higher dimensional analogues of the topological Kaluza–Klein theory. This observation may become a good motivation for the further study of such torus actions.
2 Definitions and Results
In this paper, \(T^k\) denotes the compact k-dimensional torus considered as a Lie group. The lattice \(N={{\,\textrm{Hom}\,}}(T^k,S^1)\cong {\mathbb {Z}}^k\) is called the weight lattice, and its dual lattice \(N^*={{\,\textrm{Hom}\,}}(S^1,T^k)\) is called the lattice of one-dimensional subgroups.
Consider a representation of \(T=T^k\) on \(V={\mathbb {R}}^{m}\). It decomposes into a direct sum of irreducible representations. An irreducible representation of the abelian group T has real dimension 1 or 2. One-dimensional representations are trivial (no-actions). A two-dimensional real representation \(V(\alpha )\) is determined by a nonzero weight \(\alpha \in N\), so that
Since neither a complex structure nor an orientation is fixed on \({\mathbb {R}}^2\), the weight \(\alpha \) is determined uniquely up to sign. Therefore, an arbitrary representation V of a torus decomposes into the sum
where the torus action is trivial on \({\mathbb {R}}^{m-2r}\), and \(\alpha _1,\ldots ,\alpha _r\in N\) is a collection of nonzero vectors of the weight lattice N, defined up to sign.
In the following, we consider weights as rational vectors in the vector space \(N_{\mathbb {Q}}=N\otimes {\mathbb {Q}}\cong {\mathbb {Q}}^k\). Moreover, since weights are defined up to sign, we can treat them as rational lines (one-dimensional vector subspaces). Although a rational line contains infinitely many nonzero integral vectors, the choice of a representative is nonessential for our arguments. It follows that any torus representation is completely characterized by a multiset \(\alpha =\{\alpha _1,\ldots ,\alpha _r\}\) of vectors (or lines) in \(N_{\mathbb {Q}}\). Here, in the following, the term multiset refers to the fact that some of \(\alpha _i\)’s may coincide, and their order is irrelevant.
Notice that the summand \({\mathbb {R}}^{m-2r}\) in (2.1) is the fixed point subspace of the representation. In particular, the origin 0 is always a fixed point. So far, the fixed points of the representation are isolated if and only if \(m=2r\).
In the following, it is assumed that torus representations are effective, which means that their weights span the vector space \(N_{\mathbb {Q}}\).
Definition 2.1
Consider a representation of \(T=T^k\) on \(V={\mathbb {R}}^m\) with the weight system \(\alpha =\{\alpha _1,\ldots ,\alpha _r\}\). The number \(r-k=|\alpha |-{{\,\textrm{rk}\,}}\alpha \) is called the complexity of the representation.
Notice that complexity is always a nonnegative number and does not depend on the dimension of the trivial summand of the representation. If a representation V has isolated fixed point, its complexity equals \(\frac{1}{2}\dim V-\dim T\).
Change of coordinates in a torus motivates the definition of weakly equivalent representations.
Definition 2.2
Two representations V and W of T are called weakly equivalent, if there is an automorphism \(\psi :T\rightarrow T\) and an isomorphism \(g:V\rightarrow W\), such that \(g(tv)=\psi (t)g(v)\).
Example 2.3
A representation of complexity 0 takes the form
where \(\alpha =\{\alpha _1,\ldots ,\alpha _k\}\subset N={{\,\textrm{Hom}\,}}(T^k,T^1)\) is a rational basis of \(N_{\mathbb {Q}}\cong {\mathbb {Q}}^k\). Using Smith normal form over \({\mathbb {Z}}\), we can change coordinates in \(T^k\) (or equivalently in N). Therefore, up to weak equivalence, we have \(\alpha _i=d_ie_i\), where \(\{e_1,\ldots ,e_k\}\) is the basis of the lattice N, and \(d_i\)’s are nonzero integers satisfying \(d_1\mid d_2\mid \cdots \mid d_k\). Assuming there is no trivial component, a complexity zero action takes the form
for \(z_i\in {\mathbb {C}}\). If \(d_i=1\) for any i, the representation is called standard. This class of representations is well studied and widely used in toric topology.
However, even for general \(d_i\)’s, the orbit space of the complexity zero representation (without trivial component) is a nonnegative cone \({\mathbb {R}}_{\geqslant 0}^k\). As a topological space, it is homeomorphic to the half-space \({\mathbb {R}}_{\geqslant 0}\times {\mathbb {R}}^{k-1}\).
Definition 2.4
A representation of \(T=T^{n-1}\) on \(V\cong {\mathbb {R}}^{2n}\) is called a complexity one representation in general position if its trivial part vanishes, and any \(n-1\) of the weights \(\alpha =\{\alpha _1,\ldots ,\alpha _n\}\subset N_{\mathbb {Q}}\cong {\mathbb {Q}}^{n-1}\) are linearly independent over \({\mathbb {Q}}\).
For a complexity one representation in general position, the collection \(\alpha =\{\alpha _1,\ldots ,\alpha _n\}\subset N\) determines a group homomorphism
Since \(\alpha \) spans \(N_{\mathbb {Q}}\), the kernel \({{\,\textrm{Ker}\,}}A\) is a finite abelian group. The image of A is a codimension 1 toric subgroup \(\{(t_1,\ldots ,t_n)\in T^n\mid \prod _{i=1}^{n}t_i^{c_i}=1\}\) where \(c_1\alpha _1+\cdots +c_n\alpha _n=0\) is a unique (up to multiplier) linear relation on n vectors \(\alpha _i\) in \(N_{\mathbb {Q}}\cong {\mathbb {Q}}^{n-1}\), and \(c_i\)’s do not have a nontrivial common divisor. The condition that any \(n-1\) of \(\alpha _i\)’s are independent is equivalent to \(c_i\ne 0\) for any i.
Since \(\alpha _i\) are only defined up to sign, we can assume that \(c_i\)’s are natural numbers. The orbit space for the original representation naturally coincides with that of the image of A, which implies the following observation.
Lemma 2.5
The orbit space of a complexity one representation of \(T^{n-1}\) in general position on \(V\cong {\mathbb {R}}^{2n}\) is homeomorphic to the orbit space of the action of the subgroup \(H=\left\{ (t_1,\ldots ,t_n)\in T^n\mid \prod _{i=1}^nt_i^{c_i}=1\right\} \), where \(c_i>0\), induced by the standard action of \(T^n\) on \({\mathbb {C}}^n\cong {\mathbb {R}}^{2n}\).
Notice that the stabilizer subgroups of the original action and those of H do not necessarily coincide: the former depends on the finite group \({{\,\textrm{Ker}\,}}A\) described above, while the latter do not. However, in all statements about orbit spaces of general representations of complexity one, we can replace such actions with the particular model action of H introduced in Lemma 2.5. In particular, this argument proves the following statement.
Proposition 2.6
([2, Lm.2.11] or [26, Thm.3.6]) For a representation of \(T^{n-1}\) on \({\mathbb {C}}^n\) of complexity one in general position, we have a homeomorphism \({\mathbb {C}}^n/T^{n-1}\cong {\mathbb {R}}^{n+1}\).
Definition 2.7
Consider a collection of complexity one representations in general position \(T^{n_i-1}\rightarrow {{\,\textrm{GL}\,}}({\mathbb {C}}^{n_i})\), for \(i\in \{1,\ldots ,s\}\), a complexity zero representation \(T^d\rightarrow {{\,\textrm{GL}\,}}({\mathbb {C}}^d)\), and a trivial representation on \({\mathbb {R}}^l\). Then, the product representation of \(T=T^d\times \prod _{i=1}^{s}T^{n_i-1}\) on \(V={\mathbb {R}}^l\times {\mathbb {C}}^d\times \prod _{i=1}^{s}{\mathbb {C}}^{n_i}\) is called a Leontief representation. It is called totally Leontief if \(d=0\).
The reason for the chosen name of the term is explained in Appendix A. For a totally Leontief representation, we have
so the orbit space is a topological manifold. Similarly, the orbit space of any non-totally Leontief representation is a half-space, that is a manifold with boundary.
Theorems 1.1 and 1.2 stated in the introduction assert that Leontief representations provide an exhaustive list of representations whose orbit spaces are manifolds (either open or bounded). The following is a reformulation of these theorems.
Theorem 2.8
Consider a representation \(T\rightarrow {{\,\textrm{GL}\,}}(V)\) of a compact torus.
-
1.
The orbit space V/T is homeomorphic to \({\mathbb {R}}^l\) if and only if the representation is weakly equivalent to a totally Leontief representation.
-
2.
The orbit space V/T is homeomorphic to a half-space \({\mathbb {R}}_{\geqslant 0}\times {\mathbb {R}}^{l-1}\) if and only if the representation is weakly equivalent to a non-totally Leontief representation.
The “if” parts of the statements are explained in (2.2) and Example 2.3, they are quite straightforward. The essence of the theorem is the “only if” part. The statement equivalent to the first item was proved in [26, Thm.1.3] in a bigger generality: Styrt characterized all representations of \(G\subset {{\,\textrm{GL}\,}}(V)\) with orbit spaces homeomorphic to \({\mathbb {R}}^d\), under the assumption that the connected component of G is a compact torus. However, Styrt did not introduce any specific technique to deduce this result from known results of combinatorial topology. Our proof of the first part of Theorem 2.8 essentially follows the lines of the proof in [26] for the particular case of \(G=T\); however, we simplify the argument by referring to some known results about matroids. A similar technique is applied to prove item 2 of Theorem 2.8.
3 Proofs
Recall that a(n abstract) simplicial complex on a vertex set A is a collection \(K\subseteq 2^A\) of subsets of A, such that (1) \(\varnothing \in K\); (2) if \(I\in K\) and \(J\subset I\), then \(J\in K\). The elements of A are called vertices, the elements of K are called simplices. The value \(\dim I = |I|-1\) is called the dimension of a simplex I. The maximal dimension of simplices is called the dimension of K. A simplex I is called maximal (or a facet), if there is no \(J\in K\) which strictly contains I. A simplicial complex is called pure if all facets have the same dimension. In a pure simplicial complex, a simplex J is called a ridge, if \(\dim J=\dim K-1\). An element \(i\in A\) is called a ghost vertex of K if \(\{i\}\notin K\).
If \(K_1,K_2\) are simplicial complexes on the vertex sets \(A_1,A_2\) respectively, then the join \(K_1*K_2\) is a simplicial complex \(\{I_1\sqcup I_2\subset A_1\sqcup A_2\mid I_1\in K_1, I_2\in K_2\}\). The full simplex on a set A is the simplicial complex \(\Delta _A=2^A\) of all subsets of A. The boundary of a simplex on a set A is the simplicial complex \(\partial \Delta _A=2^{[A]}\setminus \{A\}\) of all proper subsets of A. The ghost complex on a set A is the simplicial complex \(o_A=\{\varnothing \}\), in which all vertices are ghost.
Construction 3.1
Consider a multiset \(\alpha =\{\alpha _1,\ldots ,\alpha _r\}\) of vectors in a rational vector space \(N_{\mathbb {Q}}\), and assume that they span \(N_{\mathbb {Q}}\). Consider a simplicial complex \(K(\alpha )\) on the vertex set \([r]=\{1,\ldots ,r\}\) whose simplices are the linearly independent subsets of vectors
By definition, \(K(\alpha )\) is the independence complex of the linear matroid determined by the collection \(\alpha \). Denoting the dimension of \(N_{\mathbb {Q}}=\langle \alpha \rangle \) by k, it is seen that \(K(\alpha )\) is a pure \((k-1)\)-dimensional simplicial complex.
Remark 3.2
As proved by Björner [9], the independence complex of any matroid is shellable, hence homotopically Cohen–Macaulay. This implies that the geometrical realization \(|K(\alpha )|\) is homotopy equivalent to a wedge of \((k-1)\)-dimensional spheres.
Recall the classical notion of combinatorial topology.
Definition 3.3
A pure simplicial complex K is called a (closed) pseudomanifold if any ridge is contained in exactly two facets. A pure simplicial complex K is called a pseudomanifold with boundary if any ridge is contained in one or two facets.
Remark 3.4
If a ridge is contained in one facet, it is called a boundary ridge. When we use the term pseudomanifold with boundary, we assume that there exists at least one boundary ridge. Therefore, a pseudomanifold without boundary is not considered a pseudomanifold with boundary.
Our proof of Theorem 2.8 is essentially based on the next proposition. For convenience, we call the assumption of item 1 in Theorem 2.8the manifold case, and the assumption of item 2 the boundary case. Corresponding representations are called respectively representations of manifold type, and representations of boundary type.
Proposition 3.5
Consider a representation of a torus \(T=T^k\rightarrow {{\,\textrm{GL}\,}}(V)\), and let \(\alpha =\{\alpha _1,\ldots ,\alpha _r\}\in N_{\mathbb {Q}}\) be the defining multiset of weights. Then, the following holds true.
-
1.
In the manifold case, the simplicial complex \(K(\alpha )\) is a pseudomanifold.
-
2.
In the boundary case, the simplicial complex \(K(\alpha )\) is a pseudomanifold with boundary.
It will be more convenient for us to work with homology manifolds instead of topological manifolds. For a space Q, the relative homology modules \(H_*(Q,Q\setminus \{x\};R)\) are called the local homology modules at a point \(x\in Q\) with coefficients in an abelian group R. Recall that a d-dimensional Footnote 1 locally compact space Q is called a (closed) d-dimensional homology manifold (over R) if, for any \(x\in Q\), the local homology modules are isomorphic to those of \({\mathbb {R}}^d\)
A space Q is called a d-dimensional homology manifold with boundary, if its local homology modules are isomorphic to those of \({\mathbb {R}}_{\geqslant 0}\times {\mathbb {R}}^{d-1}\): either vanish (for boundary points) or satisfy (3.1) (for interior points). The next statement is a direct consequence of Künneth formula for relative homology groups.
Lemma 3.6
Let us fix a ring R of coefficients.
-
1.
If Q is a closed homology manifold, then so is \(Q\times {\mathbb {R}}^s\).
-
2.
If Q is a homology manifold with boundary, then so is \(Q\times {\mathbb {R}}^s\).
-
3.
If Q is not a homology manifold (with or without boundary), then neither is \(Q\times {\mathbb {R}}^s\).
The next technical lemma is needed for the proof of Proposition 3.5.
Lemma 3.7
Consider a \(T^1\)-representation on V, \(n=\dim _{\mathbb {C}}V\geqslant 1\), with no trivial component. Then, we have an alternative.
-
1.
\(n=1\), \(V/T^1\) is homeomorphic to \({\mathbb {R}}_{\geqslant 0}\).
-
2.
\(n=2\), \(V/T^1\) is homeomorphic to \({\mathbb {R}}^3\).
-
3.
\(n\geqslant 3\), \(V/T^1\) is not a homology manifold (neither closed nor a homology manifold with boundary) over any R.
Proof
Item (1) is straightforward; see Example 2.3). Item (2) follows from Proposition 2.6. The additional details concerning item (2) are provided in Appendix B. We concentrate on item (3).
Since there is no trivial component, we have \(V\cong V(\alpha _1)\oplus \cdots \oplus V(\alpha _n)\), where \(\alpha _1,\ldots ,\alpha _n\in {{\,\textrm{Hom}\,}}(T^1,T^1)\cong {\mathbb {Z}}\) is a collection of nonzero integers. In the complex coordinates associated with the irreducible summands \(V(\alpha _i)\), the representation takes the form
Restricting this action to the unit sphere \(S^{2n-1}=\{\sum _{i=1}^{n}|z_i|^2=1\}\), we get the weighted projective space \({\mathbb {C}}P^{n-1}(\alpha )={\mathbb {C}}P^{n-1}(\alpha _1,\ldots ,\alpha _n)\) as the orbit space. Therefore, \(V/T^1\) is an open cone \({{\,\textrm{Cone}\,}}{\mathbb {C}}P^{n-1}(\alpha )\) with an apex denoted by 0. We have
The weighted projective space \({\mathbb {C}}P^{n-1}(\alpha )\) has the same homology as an ordinary projective space \({\mathbb {C}}P^{n-1}\), over any R [19]. Therefore, we have a nonvanishing local homology module \(H_3({\mathbb {C}}^n/T,({\mathbb {C}}^n/T){\setminus }\{0\};R)\cong H_2({\mathbb {C}}P^{n-1})\cong R\) which is an obstruction for the \((2n-1)\)-dimensional space \({\mathbb {C}}^n/T\) to be a homology manifold when \(n\geqslant 3\). \(\square \)
Now, we can prove Proposition 3.5 by reducing it to the circle case.
Proof
Since the trivial component of the action does not affect the statement, we assume for simplicity that there is no trivial component.
Consider any ridge \(J=\{j_1,\ldots ,j_{k-1}\}\in K(\alpha )\). Recall that the multiset \(\alpha =\{\alpha _1,\ldots ,\alpha _r\}\) linearly spans \(N_{\mathbb {Q}}\cong {\mathbb {Q}}^k\). Let \(\Pi _J\subset N_{\mathbb {Q}}\) be the rational hyperplane spanned by \(\alpha _{j_1},\ldots ,\alpha _{j_{k-1}}\). We partition all weights’ indices into two disjoint classes: \([r]=A_J\sqcup B_J\), one for the weights lying in \(\Pi _J\), and another for the weights transversal to \(\Pi _J\)
Notice that the set \(B_J\) consists of all indices i, such that \(\{\alpha _j\mid j\in \{i\}\sqcup J\}\) is linearly independent and has rank k. Therefore, \(B_J\) parameterizes the ways to complement the ridge J to the facet in \(K(\alpha )\). Hence
Consider the decomposition of \(V=V_A\oplus V_B\) into two summands corresponding to the partition of the weights
Notice that \(V_A\) is the fixed point set of the one-dimensional toric subgroup
(more precisely, we take the connected component of 1 in these kernels to avoid disconnected groups). A general fact is described in Sect. 5: the flats of the linear matroid \(\alpha \) are in bijective correspondence with the fixed point sets of toric subgroups acting on V. Here, we apply this correspondence to the flat \(A_J\) of the matroid of weights.
Now, we can summarize the idea of proof as follows. If we take a generic point x in \(V_A\), its tangent space decomposes as the sum of the tangent and normal components (parallel to \(V_A\) and \(V_B\), respectively). Then, informally, the \(T^k\)-action in vicinity of x splits into “the product” of the \(T^k/G\)-action on the tangent component and the G-action on the normal component. Since x is generic in \(V_A\), the action of \(T^k/G\) is free on the tangent component, so the orbit space of the tangent space is a manifold, and does not affect the local topology of the orbit space by Lemma 3.6. The G-action on the normal component is a circle representation on \({\mathbb {C}}^{|B_J|}\). We are in position to apply Lemma 3.7. In the manifold case, this lemma implies \(|B_J|=2\), and in the boundary case, it implies \(|B_J|=1\) which proves the required statement according to (3.2).
To justify this argument, the Slice Theorem should be applied. Let x be a point in \(V_A\subset V\), such that all its coordinates in this subspace are nonzero. For example, one can take
Let \(\tau _xV\), \(\tau _xV_A\), and \(\nu _x\) be, respectively, the tangent space to V, the tangent space to \(V_A\), and the normal space of the embedding \(V_A\subset V\) taken at the point x. Obviously, \(\tau _xV=\tau _xV_A\oplus \nu _x\), \(\tau _xV_A\cong {\mathbb {C}}^{A_J}\) and \(\nu _x\cong {\mathbb {C}}^{B_J}\). The stabilizer \(T_x\) of the point x is the circle G introduced above, so the orbit \(T^kx\) is \((k-1)\)-dimensional. The Slice Theorem states that the orbit \(T^kx\) has a \(T^k\)-invariant neighborhood U equivariantly diffeomorphic to
Let \([x]\in V/T^k\) denote the class of the point x in the orbit space. Then, [x] has an open neighborhood in \(V/T^k\) equal to
Notice that the whole orbit \(T^kx\) lies inside \(V_A\), so \(\tau _xT^kx\subset \tau _xV_A\). Moreover, since G is the stabilizer of \(V_A\), the G-action on the whole subspace \(\tau _xV_A\) is trivial. Therefore, the G-action on \(\tau _xV/\tau _xT^kx\) has the same weights as the G-action on \(\tau _xV/\tau _xV_A=\nu _x\). On the other hand, the G-action on \(\nu _x\cong {\mathbb {C}}^{|B_J|}\) is nontrivial (its weights are the projections of \(\{\alpha _j\mid j\in B\}\) under the induced map \(N={{\,\textrm{Hom}\,}}(T^k,T^1)\rightarrow {{\,\textrm{Hom}\,}}(G,T^1)\cong {\mathbb {Z}}\), and these projections are nonzero by the construction of B). Therefore, applying Lemma 3.7 to the representation in (3.3), we see that the manifold case implies \(|B_J|=2\) and the boundary case implies \(|B_J|=1\) as desired. \(\square \)
If k denotes the dimension of the linear span of \(\alpha \), then \(K(\alpha )\) is a pure \((k-1)\)-dimensional simplicial complex. By Remark 3.2, \(K(\alpha )\) is homotopically equivalent to a wedge of \((k-1)\)-dimensional spheres. If, moreover, it is a pseudomanifold, there exists a fundamental class; therefore, the top homology group has rank 1. In this case, we necessarily have exactly one sphere in the wedge. If \(K(\alpha )\) is a pseudomanifold with boundary, then its top homology group vanishes; therefore, the wedge consists of no spheres at all: in this case, \(|K(\alpha )|\) is contractible. It happens that the condition of being both a matroid and a pseudomanifold puts even a stronger restriction on the combinatorics of a complex as proved by Provan and Billera in [8].
Proposition 3.8
([8])
-
1.
If K is an independence complex of a matroid and, at the same time, a closed pseudomanifold, then K is isomorphic to a join of boundaries of simplices, and, probably, a ghost complex.
-
2.
If K is an independence complex of a matroid and, at the same time, a pseudomanifold with boundary, then K is isomorphic to a join of a simplex, boundaries of simplices, and, probably, a ghost complex.
Remark 3.9
Note that the ghost complex on one vertex can be formally considered as the boundary of zero-dimensional simplex. Therefore, it will not be a mistake to remove the mention of ghost simplex from the formulation of Proposition 3.8.
To finalize the proof of Theorem 2.8, it remains to make a simple terminological observation.
Remark 3.10
Recall that any collection of vectors (weights) \(\alpha \) gives rise to the independence complex \(K(\alpha )\). Properties of simplicial complexes translate to weight systems as follows.
-
1.
There is an operation of direct sum of matroids. If \(\alpha \subset {\mathbb {Q}}^k\), and \(\beta \subset {\mathbb {Q}}^l\), then the direct sum is defined \(\alpha \sqcup \beta \subset {\mathbb {Q}}^k\times {\mathbb {Q}}^l\cong {\mathbb {Q}}^{k+l}\), where \(\alpha \) sits in the first summand, and \(\beta \) sits in the second. Then, \(K(\alpha \sqcup \beta )=K(\alpha )*K(\beta )\). Vice versa, if \(K(\alpha )\) splits as the join of two independence complexes, then the weights of \(\alpha \) split in two groups lying in transversal vector subspaces, corresponding to the join factors. Recalling that the ambient vector spaces in our considerations are \(N_{\mathbb {Q}}={{\,\textrm{Hom}\,}}(T,T^1)\otimes {\mathbb {Q}}\), it is seen that the join operation on the simplicial complexes corresponds to the direct product of torus representations.
-
2.
A simplex \(\Delta _A\) is an independence complex of a linearly independent set in \(N_{\mathbb {Q}}\). This situation corresponds to representations of complexity zero, see Example 2.3.
-
3.
A boundary of simplex \(\partial \Delta _A\) is an independence complex of a weight system \(\alpha _1,\ldots ,\alpha _{|A|}\) where every \(|A|-1\) vectors are independent, but the whole system is not. These are the weights of complexity one representations in general position by Definition 2.4.
-
4.
Ghost vertices resemble loops in a matroid. They correspond to zero weights, in other words, the trivial component of the action. In accordance with Remark 3.9, a trivial torus action on \({\mathbb {C}}\) (or \({\mathbb {R}}\)) can be considered as a degenerate case of complexity one torus action in general position.
Theorem 2.8 now follows from Propositions 3.5 and 3.8 and Remark 3.10.
4 Torus Actions
Construction 4.1
Consider a smooth action of a torus T on a connected smooth manifold X. If \(H\subset T\) is a connected subgroup, any connected component Y of the fixed point submanifold \(X^H\) is called an invariant submanifold of the action. Since T is commutative, invariant submanifolds are stable under T-action. The dimension of the generic toric orbit on Y is called the rank of an invariant submanifold Y. If \(Y\cap X^T\ne \varnothing \) (i.e., Y contains a T-fixed point), then Y is called a face submanifold of the torus action.
The collection of all face submanifolds in X is a poset (graded by the ranks) which we denote by S(X). The poset S(X) has the greatest element, the manifold X itself. All minimal elements have rank 0, these are the connected components of the fixed point set \(X^T\).
The orbit space Y/T of a face submanifold Y is called a face of the action. Faces are subspaces of the orbit space X/T. Obviously, they are partially ordered by inclusion, and the poset of faces is naturally identified with S(X). The poset S(X) of faces carries a lot of useful information about the torus action as evidenced by the next examples.
Example 4.2
If X is a smooth complete toric variety, S(X) is isomorphic to the poset of cones of its fan ordered by reversed inclusion. In particular, the Betti numbers of X are determined by the combinatorics of S(X), since they coincide with the h-numbers of the corresponding simplicial sphere. Similar statement holds for topological generalizations of toric varieties: quasitoric manifolds [14] and equivariantly formal torus manifolds [24].
Example 4.3
In [2, 3], the combinatorics and topology of the poset S(X) was described for torus actions of complexity one in general position with isolated fixed points. In particular, it was proved in [3], that the Betti numbers of equivariantly formal manifolds with the listed properties are determined by the poset S(X).
Remark 4.4
If a torus action on X is equivariantly formal and has isolated fixed points, we do not know if the poset S(X) determines the Betti numbers of X in general.
Remark 4.5
The study of general properties of the face posets of torus actions with isolated fixed points was initiated by the first author in [4, 5]. Nontrivial examples of such posets related to regular semisimple Hessenberg varieties appeared in [6].
The assumption that a face submanifold should intersect the fixed point set allows to localize consideration of orbit spaces to the vicinity of fixed points. In the vicinity of fixed points, the action can be linearized and reduced to the study of torus representations. Under appropriate assumptions about fixed points, we can prove a smooth version of Theorem 2.8. For convenience, we introduce the following notion.
Definition 4.6
A T-action on a smooth manifold X is called a Leontief (totally Leontief) action, if, for any fixed point \(x\in X^T\), the tangent representation \(\tau _xT\) is a Leontief (resp. totally Leontief) representation.
The action is called non-totally Leontief if it Leontief but not totally Leontief. Equivalently, all fixed points have Leontief tangent representations but at least one of these tangent representations is not totally Leontief.
Proposition 4.7
Let a torus T act smoothly on a connected closed smooth manifold X. Assume that each invariant submanifold of X is a face submanifold; in other words, each invariant submanifold contains a fixed point. The the following statements hold.
-
1.
The action is totally Leontief if and only if X/T is a closed topological manifold.
-
2.
The action is non-totally Leontief if and only if X/T is a topological manifold with boundary.
-
3.
The action is non-Leontief if and only if X/T is not a topological manifold.
Proof
The proof repeats [2, Thm.2.10] so we only sketch a general idea. In the vicinity of a fixed point x, the orbit space is homeomorphic to \(\tau _xX/T\), so the statement follows from Theorem 2.8. If \(x'\) is any other point, then \(x'\) lies in a principal orbit of some invariant submanifold Y. Since Y contains some fixed point x, we can continuously move \(x'\) until we get in the vicinity of x. Since [x] has a neighborhood in X/T homeomorphic to an open disc (or a half-space), the same holds for the orbit class \([x']\). \(\square \)
Remark 4.8
The assumption that each invariant submanifold is a face submanifold may seem complicated and hard to check in practice. However, most actions automatically satisfy this property. All actions with \(H^{{{\,\textrm{odd}\,}}}(X)=0\) have this property as follows from [24, Lm.2.2]. In particular, equivariantly formal torus actions with isolated fixed points have the property. Algebraic torus actions on smooth projective varieties satisfy this assumption according to Bialynicki–Birula theory; see details in [2].
5 Faces of Leontief Representations
If a torus representation \(T\rightarrow {{\,\textrm{GL}\,}}(V)\) is given, all invariant submanifolds of V, in the sense of Construction 4.1, are T-invariant vector subspaces of V. All of them are face submanifolds, since they necessarily contain the fixed point \(0\in V\). It is not very difficult to describe the combinatorial condition for a T-invariant vector subspace of V to be a face submanifold. Let us recall the notion of flats of a linear matroid.
Construction 5.1
Let \(\alpha =\{\alpha _1,\ldots ,\alpha _m\}\) be a linear matroid, that is a multiset of vectors in some vector space W. A subset \(\{i_1,\ldots ,i_s\}\subseteq [m]\), or the corresponding submultiset \(A=\{\alpha _{i_1},\ldots ,\alpha _{i_s}\}\), is called a flat of the linear matroid if A is an intersection of \(\alpha \) with some vector subspace \(\Pi \subset W\). Equivalently, A is a flat if and only if the linear span \(\langle A\rangle \) does not intersect the set \(\alpha \setminus A\). The dimension \(\dim \langle A\rangle \) is called the rank of a flat A. The flats of the matroid \(\alpha \) are partially ordered by inclusion; they form a graded poset, which is called the geometric lattice of the matroid \(\alpha \) and is denoted \({{\,\textrm{Flats}\,}}(\alpha )\).
In [4], we observed the following.
Proposition 5.2
Let \(V=\bigoplus _{i=1}^rV(\alpha _i)\oplus {\mathbb {R}}^{m-2r}\) be a representation of the torus with the weights \(\alpha \). Then, all face submanifolds of V have the form
where A is a flat of the rational matroid of weights \(\alpha \subset N_{\mathbb {Q}}\). Therefore, in particular, the poset S(V) is isomorphic to the geometric lattice \({{\,\textrm{Flats}\,}}(\alpha )\).
This statement was proved in the work [4] under the assumption that the trivial component \({\mathbb {R}}^{m-2r}\) vanishes; however, the proof follows the same lines in the general case.
Example 5.3
If the representation of \(T^n\) on \(V\cong {\mathbb {C}}^n\) is a representation of complexity zero, then \(\alpha =\{\alpha _1,\ldots ,\alpha _n\}\) is a basis of \(N_{\mathbb {Q}}\cong {\mathbb {Q}}^n\). In this case, every subset of \(\alpha \) is a flat, so the poset \(S(V)\cong {{\,\textrm{Flats}\,}}(\alpha )\) is the Boolean lattice \({\textbf{B}}_n\).
Example 5.4
If the representation of \(T^{n-1}\) on \(V={\mathbb {C}}^n\) is a representation of complexity zero, then we have a collection of n weights \(\alpha =\{\alpha _1,\ldots ,\alpha _n\}\) in \(N_{\mathbb {Q}}\cong {\mathbb {Q}}^{n-1}\). Every subset \(A\subseteq \alpha \) is a flat unless \(|A|= n-1\). Let us denote the resulting poset by \(\textbf{Sp}_{n-1}\)
This poset is isomorphic to the Boolean lattice \({\textbf{B}}_n\) with all coatoms removed.
Recall from Definition 2.7 that the product representation of \(T^d\times \prod _{i=1}^{s}T^{n_i-1}\) on \(V={\mathbb {R}}^l\times {\mathbb {C}}^d\times \prod _{i=1}^{s}{\mathbb {C}}^{n_i}\) is called a Leontief representation. We call it a Leontief representation of type \((d,{\underline{n}},l)=(d,\{n_1,\ldots ,n_s\},l)\). Since the product of matroids induces the product of the corresponding geometric lattices, we get the following consequence of Examples 5.3 and 5.4.
Proposition 5.5
For a Leontief representation V of type \((d,{\underline{n}},l)\), the face poset S(V) is isomorphic to
Let \(D, N_1,\ldots ,N_s\) be disjoint sets of cardinalities \(d,n_1,\ldots ,n_s\), respectively. Then, each face submanifold of V is encoded by a string \((A_0,A_1,\ldots ,A_s)\), where
In toric topology, the structure of the induced torus action on the face submanifolds sometimes plays an important role. If an effective action of T on X has rank k, and \(Y\subset X\) is a face submanifold of rank l, then the induced action of T on Y has noneffective kernel of dimension \(k-l\). We may quotient out this noneffective kernel.
It should be noted that the class of Leontief representations is closed under taking faces.
Lemma 5.6
Consider a Leontief representation V of type \((d,\{n_1,\ldots ,n_s\},l)\), and let U be a face submanifold of V corresponding to the string \((A_0,A_1,\ldots ,A_s)\) as in Proposition 5.5. Let \(\mathcal {M}=\{i\in [s]\mid |A_i|=n_i\}\). Then, U is a Leontief representation of type \((d',\underline{n'},l)\) where
In other words, the complexity one component \(A_i\), \(i=1,\ldots ,s\), of the string either contributes to a complexity one component (if \(|A_i|=n_i\)), or contributes to the complexity zero component (if \(|A_i|\leqslant n_i-2\)). The lemma is proved by a straightforward examination of flats in the weight matroid of a Leontief representation.
Lemma 5.6 immediately implies
Corollary 5.7
The induced action on a face submanifold of a Leontief action is Leontief.
Recall that a face of an action is the orbit space of a face submanifold. Corollary 5.7, Theorem 2.8, and Proposition 4.7 imply the following result.
Proposition 5.8
Let a torus T act smoothly on a closed smooth manifold X. Assume that each invariant submanifold of X is a face submanifold. If the orbit space X/T is a topological manifold (either closed or with boundary), then each face of the action is also a topological manifold (either closed or with boundary).
Example 5.9
For actions of complexity zero (which are particular cases of Leontief actions), the orbit space is a manifold with boundary. All its faces are also manifolds with boundary except for the minimal elements of S(X). These minimal elements are the connected components of \(X^T\): these are closed manifolds.Footnote 2 Note that an isolated point is considered a closed manifold not a manifold with boundary.
Example 5.10
For actions of complexity one in general position, all proper face submanifolds (all except X itself) have complexity 0. The local structure of faces in the vicinity of a fixed point was described in [2] and axiomatized in the notion of a sponge.
Finally, we make a simple observation which relates Leontief actions to the work of Cherepanov [13] on complexity one actions in non-general position.
Lemma 5.11
Every representation of complexity one is a Leontief representation.
Proof
A representation of complexity one is characterized by n weights \(\alpha _1,\ldots ,\alpha _n\) in the \((n-1)\)-dimensional vector space \(N_{\mathbb {Q}}\cong {\mathbb {Q}}^{n-1}\). Hence, there is a unique (up to multiplier) linear relation \(c_1\alpha _1+\cdots +c_n\alpha _n=0\). The weights’ subset \(\{\alpha _i\mid c_i\ne 0\}\) corresponds to a complexity one action in general position, while the remaining weights correspond to an action of complexity 0. \(\square \)
Corollary 5.12
For an action of complexity one in non-general position, the orbit space is a topological manifold with boundary. All its faces are topological manifolds, either closed or with boundary.
Notes
Only “tame” topological spaces appear as the orbit spaces of smooth actions of compact Lie groups on smooth manifolds. Therefore, all reasonable topological definitions of dimension agree on this class of spaces.
Abusing notation we identify \(X^T\) with \(X^T/T\).
References
Atiyah, M., Berndt, J.: Projective planes, Severi varieties and spheres, Surveys in Differential Geometry VIII, Papers in Honor of Calabi, Lawson, Siu and Uhlenbeck, 1–27 (2003)
Ayzenberg, A.: Torus actions of complexity one and their local properties. Proc. Steklov Inst. Math. 302(1), 16–32 (2018)
Ayzenberg, A., Masuda, M.: Orbit spaces of equivariantly formal torus actions. Transf. Groups (2023). https://doi.org/10.1007/s00031-023-09822-3
Ayzenberg, A., Cherepanov, V.: Matroids in toric topology, preprint arXiv:2203.06282
Ayzenberg, A.A., Masuda, M., Solomadin, G.: How is a graph not like a manifold?, to appear in Sbornik: Mathematics. Preprint arXiv:2203.10641
Ayzenberg, A.A., Buchstaber, V.M.: Cluster-permutohedra and submanifolds of flag varieties with torus actions, to appear in Int.Math.Res.Notices. Preprint arXiv:2203.14133
Bahri, A., Franz, M., Notbohm, D., Ray, N.: The classification of weighted projective spaces. Fundam. Math. 220, 217–226 (2013)
Billera, L.J., Provan, J.S.: Leontief substitution systems and matroid complexes. Math. Oper. Res. 7(1), 81–87 (1982)
Björner, A.: Homology and Shellability of Matroids and Geometric Lattices, In N. White (Ed.), Matroid Applications (Encyclopedia of Mathematics and its Applications) (1992), pp. 226-283. Cambridge: Cambridge University Press
Buchstaber, V.M., Terzić, S.: Topology and geometry of the canonical action of \(T^4\) on the complex Grassmannian \(G_{4,2}\) and the complex projective space \({{\mathbb{C} }P}^5\). Moscow Math. J. 16(2), 237–273 (2016)
Buchstaber, V.M., Terzić, S.: The foundations of (2n, k)-manifolds. Sb. Math. 210(4), 508–549 (2019)
Buchstaber, V., Panov, T.: Toric Topology, Math. Surveys Monogr., 204, AMS, Providence, RI, (2015)
Cherepanov, V.: Orbit spaces of torus actions on Hessenberg varieties. Sb. Math. 212(12), 115–136 (2021)
Davis, M., Januszkiewicz, T.: Convex polytopes, Coxeter orbifolds and torus actions. Duke Math. J. 62(2), 417–451 (1991)
Dirac, P.: Quantised Singularities in the Electromagnetic Field. Proc. Roy. Soc. (London) A 133(60), 60–72 (1931)
Fintushel, R.: Circle actions on simply connected 4-manifolds. Trans. Amer. Math. Soc. 230, 147–171 (1977)
Fintushel, R.: Classification of circle actions on 4-manifolds. Trans. Amer. Math. Soc. 242, 377–390 (1978)
Dantzig, G.B.: Optimal solution of a dynamic Leontief model with substitution. Econometrica 23(3), 295–302 (1955)
Kawasaki, T.: Cohomology of twisted projective spaces and lens complexes. Math. Ann. 206, 243–248 (1973)
Lange, C.: Characterization of finite groups generated by reflections and rotations. J. Topol. 9(4), 1109–1129 (2016)
Lange, C.: When is the underlying space of an orbifold a manifold? Trans. Amer. Math. Soc. 372, 2799–2828 (2019)
Lange, C., Mikhailova, M.A.: Classification of finite groups generated by reflections and rotations. Transf. Groups 21(4), 1155–1201 (2016)
Leontief, W.W.: Structure of the American Economy, 1919-1939. Oxford University Press, New York, (1951), 2-nd ed
Masuda, M., Panov, T.: On the cohomology of torus manifolds. Osaka J. Math. 43, 711–746 (2006)
Mikhailova, M.A.: On the quotient space modulo the action of a finite group generated by pseudoreflections. Izvest. Math. 24(1), 99–119 (1985)
Styrt, O.G.: On the orbit space of a compact linear Lie group with commutative connected component. Trans. Moscow Math. Soc. 70, 171–206 (2009)
Vinberg, E.B.: Discrete linear groups that are generated by reflections (Russian). Izvest. Math. 35, 1072–1112 (1971)
Acknowledgements
The article was prepared within the framework of the HSE University Basic Research Program. The authors would like to thank anonymous referees for their comments and suggestions.
Author information
Authors and Affiliations
Contributions
The authors have contributed equally to this article.
Corresponding author
Ethics declarations
Conflict of Interest
The authors declare no conflict of interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Leontief Substitution Systems
In this section, we explain the term Leontief representation by making a survey about Leontief substitution systems and drawing some analogies between the combinatorial theory which appeared in mathematical economics and representations described Sect. 2. It essentially follows the results of [8]; however, we provide some details which may be of use for researchers in toric topology.
Let A be a real matrix with g rows and f columns, and \(b\in {\mathbb {R}}^g\) be a column vector. Consider the convex polyhedron P determined by the system
Definition A.1
System (A.1) (and the corresponding polyhedron P) is called a Leontief substitution system if \(b\geqslant 0\), each column of A contains at most one positive entry, and P is nonempty. If, moreover, the polyhedron P is bounded, then it is called a totally Leontief substitution system.
Remark A.2
Leontief work influenced the field of mathematical economics. In particular, the general task of linear programming was, to much extent, motivated by the Leontief models. Originally, [23] Leontief systems were introduced to model the following setting.
Assume that we have g commodities (or resources, or “goods”), and f production sites (“factories”). In a production cycle, each factory consumes some commodities and either produces a new commodity, or does not produce anything at all. The production cycle of the jth factory is, therefore, characterized by some column vector \((a_{1,j},a_{2,j},\ldots ,a_{g,j})^t\) where \(a_{i,j}\) is the output of ith resource during a cycle. Since all resources, probably except one, are consumed by the factory rather than produced, all entries \(a_{i,j}\), probably except one, are nonpositive. Then, the system (A.1) with the \(g\times f\)-matrix \(A=(a_{i,j})\) is a Leontief system. It solves the problem of finding the necessary amount of production cycles \(x=(x_1,\ldots ,x_f)^t\geqslant 0\) for each factory, to get the prescribed vector of goods \(b=(b_1,\ldots ,b_g)^t\geqslant 0\). The term “substitution” in the definition of Leontief systems refers to the fact that one resource can be produced by several factories: the production of this resource can be substituted (in the economical sense rather than in the mathematical). This means that a positive entry can appear on the same position in several columns of A.
The polyhedron P, which is the set of all solutions to (A.1), may be further used in linear programming, if one needs to minimize a total cost of production given by a linear function. Therefore, the combinatorial structure of the polyhedron P of a Leontief system is of particular importance: for example, it allows to estimate the complexity of the simplex-method for the optimization task.
System (A.1) is called nondegenerate if the polyhedron P of its solutions is simple.
Example A.3
The system \(Ax=b\) where \(b=(1,\ldots ,1)^t\) and A is given by
is the simplest example of a Leontief substitution system. The polyhedron of solutions in this case is the Cartesian product of standard simplices and a nonnegative cone: \(P=\Delta ^{k_1-1}\times \cdots \times \Delta ^{k_s-1}\times {\mathbb {R}}_{\geqslant 0}^d\). This system is nondegenerate.
This example have relation to torus actions as follows. Consider the exponential map \(\exp :{\mathbb {R}}^f\rightarrow T^f\) given by
Let \(\Pi \) be the solution to the homogeneous system \(Ax=0\) with the matrix A written above. Then, \(\exp (\Pi )\subset T^f\) is a subtorus given by the relations
Restricting the standard representation of \(T^f\) on \({\mathbb {C}}^f\) to the subtorus \(\exp (\Pi )\), we obtain the product of s complexity one actions in general position and the standard representation of rank d. So far, the orbit space \({\mathbb {C}}^f/\exp (\Pi )\) is a manifold whenever the Leontief polyhedron P is bounded; otherwise, \({\mathbb {C}}^f/\exp (\Pi )\) has boundary.
Surprisingly, nondegenerate totally Leontief substitution systems are combinatorially equivalent to the system described in Example A.3. The following statements are proved in [8].
Proposition A.4
Consider a nondegenerate totally Leontief substitution system with a polyhedron P of solutions. If P is bounded, then P is combinatorially equivalent to a product of simplices.
Let P be a polyhedron of solutions of a system of type (A.1). For this polyhedron, a simplicial nerve-complex \(K_P\) is defined. The vertices of \(K_P\) correspond to facets of P, and a collection \(\{i_1,\ldots ,i_s\}\) is a simplex of \(K_P\) if and only the corresponding facets intersect: \({\mathcal {F}}_{i_1}\cap \ldots \cap {\mathcal {F}}_{i_s}\ne \varnothing \). Notice that a polyhedron P defined by (A.1) does not contain a line, since \(P\subset {\mathbb {R}}_{\geqslant 0}^g\). Therefore, P has a vertex. If a system (A.1) is nondegenerate, so that P is a simple polyhedron of some dimension k, then \(\dim K_P=k-1\). The nerve-complex \(K_P\) is either a simplicial sphere (if P is bounded) or a simplicial disc (if P is unbounded).
Unlike general polyhedra given by (A.1), nerve complexes of Leontief systems have specific combinatorics.
Lemma A.5
-
1.
For a nondegenerate totally Leontief system, the simplicial complex \(K_P\) is isomorphic to a join \(\Delta _{\mathcal {A}}=\partial \Delta _{A_1}*\cdots *\partial \Delta _{A_s}\) of boundaries of simplices. In this case, \(K_P\) is a matroid complex.
-
2.
For a nondegenerate non-totally Leontief system, the simplicial complex \(K_P\) is isomorphic to a subcomplex of \(\Delta _{\mathcal {A}}\) which is a PL-ball of the same dimension as \(\Delta _{\mathcal {A}}\).
Proposition A.4 is a reformulation of the first part of this lemma.
Remark A.6
Leontief (simplicial) complexes were introduced in [8] as an abstraction for the nerve complexes of nondegenerate Leontief substitution systems. We do not give the definition here; however, we notice that among all Leontief simplicial complexes; only \(\Delta _{\mathcal {A}}=\partial \Delta _{A_1}*\cdots *\partial \Delta _{A_s}\) and \(\Delta _{\mathcal {A}}*\Delta ^{d-1}\) are the independent complexes of a matroid; see [8, Thm.3.4]. Therefore, if a torus representation \(T\rightarrow {{\,\textrm{GL}\,}}(V)\) has weights \(\alpha \), then the following statements are equivalent:
-
1.
\(K(\alpha )\) is a Leontief complex;
-
2.
V is a Leontief representation.
This explains the name proposed for such representations in the current paper. Notice that both statements above are equivalent to V/T being a manifold (with or without boundary) as stated in Theorem 2.8.
Dirac Monopoles and Torus Actions
Proposition 2.6 is well known and extremely important for \(n=2\). According to Lemma 2.5, we may restrict ourselves to a circle action on \({\mathbb {C}}^2\cong {\mathbb {R}}^4\) given by
with \(c_1,c_2\) both nonzero and coprime. This \(T^1\)-representation can be rewritten in a more convenient and familiar form
where k, l are nonzero and coprime (it is easily seen that \(k=c_2\), \(l=c_1\)). So far, we get a particular example of the circle representation described in Lemma 3.7. Here, we fix the orientation of \({\mathbb {R}}^4\) (and the irreducible summands) compatible with the chosen complex structure.
Restricting (B.1) to the unit sphere \(S^3\subset {\mathbb {C}}^2\) and taking the quotient by \(T^1\), we get the weighted projective line \({\mathbb {C}}P^1(k,l)\). The latter is a (real) two-dimensional orbifold with two isolated singularities having the isotropy groups \({\mathbb {Z}}_k\) and \({\mathbb {Z}}_l\). The weighted projective line \({\mathbb {C}}P^1(k,l)\) is also the quotient of \({\mathbb {C}}^2\setminus \{0\}\) by the action of the algebraical torus \({\mathbb {C}}^\times \) given by the same formula (B.1), so it is also an algebraic variety. The underlying topological space of \({\mathbb {C}}P^1(k,l)\) is homeomorphic to \(S^2\). It is also isomorphic to \({\mathbb {C}}P^1\) as a variety. We refer to [7] as a good survey of the topology of weighted projective spaces. The quotient map takes the form
Of particular importance are the cases \((k,l)=(1,1)\) (the Hopf bundle), and \((k,l)=(1,-1)\) (inverse Hopf bundle).
Remark B.1
The homotopy type of the Hopf bundle \(p_{1,1}\) is the generator of the group \(\pi _3(S^2)\cong {\mathbb {Z}}\). In this homotopy group, the following identity holds \([p_{k,l}]=kl[p_{1,1}]\in \pi _3(S^2)\). This can be seen by composing \(p_{1,1}\) with the map \(S^3\rightarrow S^3\), \((z_1,z_2)\mapsto (z_1^k,z_2^l)\) having degree kl.
Taking the open cone of the map \(p_{k,l}\), we get the map
which, in particular, justifies Proposition 2.6 for \(n=2\) or Lemma 3.7.
The maps \({{\,\textrm{Cone}\,}}p_{1,1}, {{\,\textrm{Cone}\,}}p_{1,-1}:{\mathbb {R}}^4\rightarrow {\mathbb {R}}^3\) serve as the local topological models of Dirac magnetic monopoles in Kaluza–Klein theory. We give a brief overview of this theory below, and refer to [1, p.5] and references therein explaining the importance of Hopf bundles in theoretical physics.
Construction B.2
Consider a smooth \(T^1\)-action on an orientable 4-manifold X, such that all its stabilizer subgroups are connected, and fixed points of the action are isolated. Then, the orbit space \(Q=X/T\) is an orientable (topological) 3-manifold. The projection map \(p:X\rightarrow Q\) is called (a simplified topological) Kaluza–Klein model. The fixed points of the action are called magnetic monopoles.
Let \(x\in X^{T^1}\) be a fixed point. The tangent representation \(\tau _xX\) is a complexity one \(T^1\)-representation in general position with some nonzero weights \(k,l\in {{\,\textrm{Hom}\,}}(T^1,T^1)\). Since \(\tau _xX\) is oriented, the weights are defined up to simultaneous change of sign. If either \(|k|>1\) or \(|l|>1\), the representation (and hence the action on X) has disconnected stabilizers; see details in [2]. Therefore, we either have \((k,l)=(1,1)\) or \((1,-1)\), meaning that each tangent representation is the cone over either the Hopf bundle or the inverse Hopf bundle. We say that the magnetic monopole x has charge \(+1\) in the first case, and \(-1\) in the second case.
Remark B.3
The physical motivation for this construction goes as follows. The 3-manifold Q is interpreted as a physical space, while the acting torus \(T^1=U(1)\) is the gauge group of electromagnetism. Away from magnetic monopoles, the \(T^1\)-action is free, so it gives rise to a principal \(T^1\)-bundle over the physical space, resulting in a gauge theory. Historically, Kaluza–Klein model was a precursor of the more general Yang–Mills theory.
The quantum theory of magnetic monopole proposed by Dirac [15], being reformulated in topological terms, is based on the observation that there exist nontrivial \(T^1\)-bundles over \({\mathbb {R}}^3\setminus \{0\}\simeq S^2\), where 0 is the monopole. Principal \(T^1\)-bundles over \(S^2\) are classified by the homotopy classes
therefore, the charge gets quantized. If the charge is \(+1\) or \(-1\), one gets Hopf or inverse Hopf bundle, respectively. In this case, it is possible to compactify both the base \({\mathbb {R}}^3\setminus \{0\}\) and the total space of the fibration and get a well-defined map \({\mathbb {R}}^4\rightarrow {\mathbb {R}}^3\) which is either \({{\,\textrm{Cone}\,}}p_{1,1}\) or \({{\,\textrm{Cone}\,}}p_{1,-1}\). This observation elegantly embeds Dirac quantum monopoles into Kaluza–Klein model, at least on the topological level.
Notice, however, that this observation is not suitable for Dirac monopoles with charges q different from \(\pm 1\). If \(|q|\geqslant 2\), the total space of the corresponding \(S^1\)-fibration on \(S^2\) is homeomorphic to the lens space L(q; 1), and hence, compactifying it at the monopole point produces a singularity of type \({{\,\textrm{Cone}\,}}L(q;1)\) in the total space. In this case, X is not a manifold anymore.
In the terminology of Construction B.2, the following statement holds.
Proposition B.4
In a closed Kaluza–Klein model, the charges of all monopoles sum to zero.
The more general statement is proved in the seminal works of Fintushel [16, 17] who classified circle actions on 4-manifolds in terms of their orbit data. There is also a resemblance between global topological properties of X and Q.
Proposition B.5
Assume that Kaluza–Klein model \(X\mapsto X/T^1=Q\) is closed and there is at least one monopole. Then
-
1.
\(\pi _1(X)=1\) if and only if Q is homeomorphic to \(S^3\);
-
2.
the \(T^1\)-action on X is equivariantly formal if and only if Q is a homology 3-sphere.
Item (1) follows from [16] and Poincaré conjecture. Item (2) is the homological version of the first item: under the assumption of isolated fixed points, equivariant formality is equivalent to the condition \(H^{{{\,\textrm{odd}\,}}}(X;{\mathbb {Z}})=0\). For oriented 4-dimensional manifolds, this condition further simplifies to \(H_1(X;{\mathbb {Z}})=0\). This homological statement was proved in [3] in a more general context of complexity one actions in general position. In higher dimensions, we still have a correspondence between equivariant formality of a manifold, and the fact that its orbit space is a homology sphere.
Remark B.6
It should be noted that the classical Kaluza–Klein theory considers \(T^1\)-bundle not over a three-dimensional manifold, but over four-dimensional curved space-time, so the whole theory is five-dimensional. The aim of this theory is to incorporate both Maxwell equations and Einstein field equations uniformly as the Euler–Lagrange equations of a certain functional defined over a \(T^1\)-bundle on a space-time.
With time added into the model, magnetic monopoles become world lines, they are represented by one-dimensional curves. In this case, the local model of the monopole is a circle action on \({\mathbb {R}}^5\) which is the product of complexity one representation in general position on \({\mathbb {C}}^4\), and the trivial action on \({\mathbb {R}}^1\).
Globally, these world lines may be treated as the components of the fixed point \(X^{T^1}\) for a \(T^1\)-action on a 5-manifold X. Assume that the worldline of the monopole is oriented. Then, the trivial component of the tangent representation gets oriented. Then, the nontrivial transversal component becomes canonically oriented as well, so there is still a difference between Hopf and its inverse, and we can assign the charge \(\pm 1\) to the worldline depending upon which one is the case. Changing an orientation of the worldline switches its charge.
Usually, worldlines are assumed timelike, so we can choose their orientation canonically to agree with the causality in the ambient space-time \(Y=X/T^1\). However, allowing the curves \(X^{T^1}\) to be spacelike at some points, the situation when a couple of oppositely charged monopoles is born or dies becomes naturally incorporated into the model; see Fig. 1.
The previous remark motivates further topological study of complexity one \(T^1\)-actions in general position on five-dimensional manifolds. In particular, it may be instructive to find the correct analogue of Proposition B.5 for the five-dimensional Kaluza–Klein theory with monopoles.
Remark B.7
The important feature of the Kaluza–Klein model (either four- or five-dimensional) is that it is a torus action whose orbit space is a manifold without boundary, interpreted as the observed universe. If one restricts to the models where the gauge group is a compact torus, the analogue of the Kaluza–Klein model should be a smooth torus action on a manifold, whose orbit space is also a manifold. According to Proposition 4.7, such actions are precisely totally Leontief actions (under some assumptions on the fixed points which can be weakened in a natural way). Therefore, totally, Leontief torus action gives the broadest class of topological models generalizing Kaluza–Klein model.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Ayzenberg, A., Gorchakov, V. Toric Orbit Spaces Which are Manifolds. Arnold Math J. 10, 387–408 (2024). https://doi.org/10.1007/s40598-023-00242-5
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40598-023-00242-5
Keywords
- Torus representation
- Orbit space
- Matroid
- Pseudomanifold
- Hopf bundle
- Kaluza–Klein model
- Dirac monopole
- Leontief substitution system