--- abstract: 'A framework is developed to describe the Zariski topologies on the prime and primitive spectra of a quantum algebra $A$ in terms of the (known) topologies on strata of these spaces and maps between the collections of closed sets of different strata. A conjecture is formulated, under which the desired maps would arise from homomorphisms between certain central subalgebras of localized factor algebras of $A$. When the conjecture holds, $\operatorname{\operatorname{spec}}A$ and $\operatorname{\operatorname{prim}}A$ are then determined, as topological spaces, by a finite collection of (classical) affine algebraic varieties and morphisms between them. The conjecture is verified for ${{{\mathcal O}}_q}(GL_2(k))$, ${{{{\mathcal O}}_q}(SL_3(k))}$, and ${{{\mathcal O}}_q}(M_2(k))$ when $q$ is a non-root of unity and the base field $k$ is algebraically closed.' address: - | Department of Mathematics\ University of Glasgow\ Glasgow G12 8QW\ Scotland. - | Department of Mathematics\ University of California\ Santa Barbara, CA 93106\ USA. author: - 'K.A. Brown' - 'K.R. Goodearl' title: Zariski topologies on stratified spectra of quantum algebras --- [^1] Introduction {#intro} ============ For many quantum algebras $A$, by which we mean quantized coordinate rings, quantized Weyl algebras, and related algebras, good piecewise pictures of the prime and primitive spectra are known. More precisely, in generic cases there are finite stratifications of these spectra, based on a rational action of an algebraic torus, such that each stratum is homeomorphic to the prime or primitive spectrum of a commutative Laurent polynomial ring. What is lacking is an understanding of how these strata are combined topologically, i.e., of the Zariski topologies on the full spaces $\operatorname{\operatorname{spec}}A$ and $\operatorname{\operatorname{prim}}A$. We develop a framework for the needed additional data, in terms of maps between the collections of closed sets of different strata, together with a conjecture stating how these maps should arise from homomorphisms between certain central subalgebras of localizations of factor algebras of $A$. In the stratification picture just mentioned (see Theorem \[strat.thm\] for details), each stratum is "classical" in that it is homeomorphic to either a classical affine algebraic variety or the scheme of irreducible closed subvarieties of an affine variety. One would like $\operatorname{\operatorname{spec}}A$ and $\operatorname{\operatorname{prim}}A$ themselves to be fully describable in terms of classical data. This is a key aspect of our main goal: to formulate a conjectural picture which describes the topological spaces $\operatorname{\operatorname{spec}}A$ and $\operatorname{\operatorname{prim}}A$ in terms of completely classical data, namely a finite collection of affine varieties together with suitable morphisms between them. We verify this picture in three basic cases – the generic quantized coordinate rings of the groups $GL_2(k)$ and $SL_3(k)$, and of the matrix variety $M_2(k)$. Our analysis of the described picture brings with it new structural information about the algebras ${{{{\mathcal O}}_q}(SL_3(k))}$ and ${{{\mathcal O}}_q}(M_2(k))$. All prime factor rings of these algebras are Auslander-Gorenstein and Cohen-Macaulay with respect to GK-dimension, and all but one of the factor rings modulo prime ideals invariant under the natural acting tori are noncommutative unique factorization domains in the sense of Chatters @Cha. The exceptional case gives an example of a noetherian domain (and maximal order) with infinitely many height $1$ prime ideals, all but exactly four of which are principal. This is a previously unobserved phenomenon, which does not occur in the commutative case @Bouv. Throughout, we work over an algebraically closed base field $k$, of arbitrary characteristic. Stratified topological data {#strat.topo} =========================== Determining the global Zariski topology on the prime or primitive spectrum of a quantum algebra, given knowledge of the subspace topologies on all strata, requires some relations between the topologies of different strata. We give such relations in terms of maps between collections of closed sets. An abstract framework for this data is developed in the present section. We denote the closure of a set $S$ in a topological space by ${\overline{S}}$. \[finstrat\] A *finite stratification* of a topological space $T$ is a finite partition $T = \bigsqcup\, \{ S \in {{\mathcal S}}\}$ such that 1. Each set in ${{\mathcal S}}$ is a nonempty locally closed subset of $T$. 2. The closure of each set in ${{\mathcal S}}$ is a union of sets from ${{\mathcal S}}$. In this setting, we define a relation $\le$ on ${{\mathcal S}}$ by the rule $$\label{S2S1bar} S \le S' \quad\iff\quad S' \subseteq {\overline{S}}\,,$$ and we observe as follows that $\le$ is a partial order. Reflexivity and transitivity are clear. If $S_1, S_2 \in {{\mathcal S}}$ satisfy $S_1 \le S_2$ and $S_2 \le S_1$, then ${\overline{S}}_1 = {\overline{S}}_2$. Inside this closed set, $S_1$ and $S_2$ are both dense and open (by condition (2)), so $S_1 \cap S_2 \ne \varnothing$, and consequently $S_1 = S_2$. In view of the above observation, it is convenient to present finite stratifications as partitions indexed by finite posets. Consequently, we rewrite the definition in the following terms. A *finite stratification* of a topological space $T$ is a partition $T = \bigsqcup_{i\in \Pi} S_i$ such that 1. $\Pi$ is a finite poset. 2. Each $S_i$ (for $i\in \Pi$) is a nonempty locally closed subset of $T$. 3. For each $i \in \Pi$, the closure of $S_i$ in $T$ is given by ${\overline{S}}_i = \bigsqcup_{\, j\in\Pi,\; j\ge i} S_j$. Observe that the ordering on $\Pi$ matches that of . Namely, for $i,j \in \Pi$, we have $$\label{SjSibar} i \le j \quad\iff\quad S_j \subseteq {\overline{S}}_i\,.$$ \[CLetc\] We shall write $\operatorname{\operatorname{CL}}(T)$ to denote the collection of all closed subsets of a topological space $T$. Suppose that $T = \bigsqcup_{\, i\in \Pi} S_i$ is a finite stratification of $T$. For $i<j$ in $\Pi$, define a map $\phi_{ij} : \operatorname{\operatorname{CL}}(S_i) \rightarrow \operatorname{\operatorname{CL}}(S_j)$ by the rule $$\phi_{ij}(Y) = {\overline{Y}}\cap S_j\,.$$ (These maps can be defined for any pair of elements $i,j \in \Pi$, but the cases in which $i \not< j$ will not be needed.) The family $(\phi_{ij})_{i,j\in\Pi,\, i< j}$ will be referred to as the *associated family of maps* for the given stratification. \[topostrat\] Let $T$ be a topological space with a finite stratification $T = \bigsqcup_{\, i\in \Pi} S_i$, and let $(\phi_{ij})_{i,j\in\Pi,\, i< j}$ be the associated family of maps. <span>(a)</span> Each $\phi_{ij}$ maps $\varnothing \mapsto \varnothing$ and $S_i \mapsto S_j$. <span>(b)</span> Each $\phi_{ij}$ preserves finite unions. <span>(c)</span> A subset $X\subseteq T$ is closed in $T$ if and only if 1. $X\cap S_i \in \operatorname{\operatorname{CL}}(S_i)$ for all $i \in \Pi$; and 2. $\phi_{ij}(X\cap S_i) \subseteq X\cap S_j$ for all $i< j$ in $\Pi$. Statements (a) and (b) are clear. \(c) If $X$ is a closed subset of $T$, then (1) is obvious. As for (2): Given $i < j$ in $\Pi$, we see that $$\phi_{ij}(X\cap S_i) = \overline{X\cap S_i} \cap S_j \subseteq {\overline{X}}\cap {\overline{S}}_i \cap S_j = X\cap S_j\,,$$ taking account of . Conversely, let $X$ be a subset of $T$ for which (1) and (2) hold. Write $X= \bigsqcup_{\, i\in\Pi} X_i$, where $X_i := X\cap S_i$. By our assumptions, $X_i \in \operatorname{\operatorname{CL}}(S_i)$ for all $i$ and $\phi_{ij}(X_i) \subseteq X_j$ for all $i< j$. Set $Y := \bigcup_{\, i\in\Pi} {\overline{X}}_i$, which is closed in $T$ because $\Pi$ is finite. Obviously, $X\subseteq Y$ and $Y = \bigcup_{\, i,j\in\Pi} {\overline{X}}_i \cap S_j$. Consider $i,j\in \Pi$ such that ${\overline{X}}_i \cap S_j \ne \varnothing$. If $i=j$, then ${\overline{X}}_i \cap S_j = X_i \subseteq X$. Now assume that $i \ne j$. Then ${\overline{S}}_i \cap S_j \ne \varnothing$, whence $S_j \subseteq {\overline{S}}_i$ and $i< j$ (by condition (5) of Definition \[finstrat\]). Consequently, ${\overline{X}}_i \cap S_j = \phi_{ij}(X_i) \subseteq X_j \subseteq X$. We have now shown that ${\overline{X}}_i \cap S_j \subseteq X$ for all $i,j \in \Pi$, and thus $Y=X$. This shows that $X$ is closed in $T$, and completes the proof. \[topodata\] We mention that data of the above kind can be used to construct topologies, as follows. Suppose that $\Pi$ is a finite poset, $(S_i)_{i\in\Pi}$ is a family of topological spaces indexed by $\Pi$, and maps $\phi_{ij}: \operatorname{\operatorname{CL}}(S_i) \rightarrow \operatorname{\operatorname{CL}}(S_j)$ are given for all $i< j$ in $\Pi$. Arrange for the spaces $S_i$ (or suitable copies of them) to be pairwise disjoint, and set $T := \bigsqcup_{\, i\in\Pi} S_i$. Assume that conditions (a) and (b) of Lemma \[topostrat\] hold, and let ${{\mathcal C}}$ be the collection of those subsets $X$ of $T$ satisfying conditions (c)(1), (c)(2) of the lemma. Then ${{\mathcal C}}$ is the collection of closed sets for a topology on $T$, and the partition $T = \bigsqcup_{\, i\in\Pi} S_i$ is a finite stratification. We leave the easy proof to the reader. $H$-strata {#Hstrata} ========== In this section, we review the toric stratifications of the spectra of quantum algebras and develop maps that, conjecturally, provide the data needed to invoke the framework of Section \[strat.topo\]. \[AHetc\] In general, we will work with algebras $A$ and tori $H$ satisfying the following conditions: 1. $A$ is a noetherian $k$-algebra, satisfying the noncommutative Nullstellensatz over $k$. 2. $H$ is a $k$-torus, acting rationally on $A$ by $k$-algebra automorphisms. 3. $A$ has only finitely many $H$-prime ideals. See, e.g., @McRob [§9.1.4] for the definition of the noncommutative Nullstellensatz over $k$, and @BG [§II.2] for a discussion of rational actions. It is standard to denote the set of all $H$-prime ideals (= $H$-stable prime ideals) of $A$ by ${H\text{-}\operatorname{spec}}A$. By assumption (3), this set is finite, and we view it as a poset with respect to $\subseteq$. Thus, we will often take $\Pi = {H\text{-}\operatorname{spec}}A$. Recall that for $J \in {H\text{-}\operatorname{spec}}A$, the *$J$-stratum* of $\operatorname{\operatorname{spec}}A$ is the set $$\operatorname{\operatorname{spec}}_J A := \{ P \in \operatorname{\operatorname{spec}}A \mid \bigcap_{h\in H} h.P = J \},$$ and the corresponding $J$-stratum in $\operatorname{\operatorname{prim}}A$ is $$\operatorname{\operatorname{prim}}_J A := \bigl( \operatorname{\operatorname{spec}}_J A \bigr) \cap \operatorname{\operatorname{prim}}A.$$ These sets give finite stratifications of $\operatorname{\operatorname{spec}}A$ and $\operatorname{\operatorname{prim}}A$ (see Observation \[phiJK\]). We shall express the closed subsets of $\operatorname{\operatorname{spec}}A$ and $\operatorname{\operatorname{prim}}A$ in the forms $$V(I) := \{ P\in \operatorname{\operatorname{spec}}A \mid P \supseteq I \} \qquad\text{and}\qquad V_p(I) := \{ P\in \operatorname{\operatorname{prim}}A \mid P \supseteq I \},$$ for ideals $I$ of $A$. The rational action of $H$ on $A$ makes $A$ a graded algebra over the character group $X(H)$ (cf. @BG [Lemma II.2.11]). The nonzero homogeneous elements for this grading are precisely the $H$-eigenvectors. It will be convenient to express many statements in terms of homogeneous elements rather than $H$-eigenvectors, in $A$ as well as in factors of $A$ modulo $H$-primes and localizations thereof. This also allows us to refer to homogeneous components of elements. (Since the mentioned $X(H)$-gradings are the only gradings used in this paper, we may use the term "homogeneous" without ambiguity.) Now $X(H)$ is a free abelian group of finite rank, so it can be made into a totally ordered group in various ways. Fix such a totally ordered abelian group structure on $X(H)$. This allows us to refer to *leading terms* and *lowest degree terms* of nonhomogeneous elements when needed. For reference, we quote the parts of the Stratification and Dixmier-Moeglin Equivalence Theorems (@BG [Theorems II.2.13, II.8.4, Proposition II.8.3]) relevant to our present work. \[strat.thm\] Impose Assumptions <span>\[AHetc\]</span>, and let $J \in {H\text{-}\operatorname{spec}}A$. <span>(a)</span> The set ${{\mathcal E}}_J$ of all regular homogeneous elements in $A/J$ is a denominator set, and the localization $A_J := (A/J)[{{\mathcal E}}_J^{-1}]$ is an $H$-simple ring <span>(</span>with respect to the induced $H$-action<span>)</span>. <span>(b)</span> $\operatorname{\operatorname{spec}}_J A \approx \operatorname{\operatorname{spec}}A_J \approx \operatorname{\operatorname{spec}}Z(A_J)$ via localization, contraction, and extension. <span>(c)</span> $Z(A_J)$ is a Laurent polynomial ring over $k$ in at most $\operatorname{\operatorname{rank}}H$ indeterminates. <span>(d)</span> $\operatorname{\operatorname{prim}}_J A$ equals the set of maximal elements of $\operatorname{\operatorname{spec}}_J A$, and the maps in <span>(b)</span> restrict to a homeomorphism $\operatorname{\operatorname{prim}}_J A \approx \max Z(A_J)$. When working with specific algebras such as ${{{{\mathcal O}}_q}(SL_n(k))}$ or ${{{{\mathcal O}}_q}(M_n(k))}$, it may be convenient to shrink the denominator sets ${{\mathcal E}}_J$. This can be done without loss of the above properties in the following circumstances. \[shrinkEJ\] Impose Assumptions <span>\[AHetc\]</span>, and let $J \in {H\text{-}\operatorname{spec}}A$. Suppose that ${{\mathcal E}}\subseteq {{\mathcal E}}_J$ is a denominator set such that all nonzero $H$-primes of $A/J$ have nonempty intersection with ${{\mathcal E}}$. Then: <span>(a)</span> The localization $A_{{\mathcal E}}:= (A/J)[{{\mathcal E}}^{-1}]$ is $H$-simple. <span>(b)</span> $\operatorname{\operatorname{spec}}_J A \approx \operatorname{\operatorname{spec}}A_{{\mathcal E}}\approx \operatorname{\operatorname{spec}}Z(A_{{\mathcal E}})$ and $\operatorname{\operatorname{prim}}_J A \approx \max Z(A_{{\mathcal E}})$ via localization, contraction, and extension. <span>(c)</span> $Z(A_J) = Z(A_{{\mathcal E}})$. Similar observations have been made in a number of instances, such as @primOqSL3 [§3.2]. We repeat the arguments for the reader's convenience. \(a) Any $H$-prime of $A_{{\mathcal E}}$ contracts to an $H$-prime of $A/J$ disjoint from ${{\mathcal E}}$, and is thus zero by virtue of our hypothesis on ${{\mathcal E}}$. Consequently, $A_{{\mathcal E}}$ has no nonzero $H$-primes, and therefore it is $H$-simple. \(b) Note that all nonzero $H$-ideals of $A/J$ have nonempty intersection with ${{\mathcal E}}$, because $A_{{\mathcal E}}$ is $H$-simple. The $J$-stratum $\operatorname{\operatorname{spec}}_J A$ may be rewritten in the form $$\operatorname{\operatorname{spec}}_J A = \{ P \in \operatorname{\operatorname{spec}}A \mid P \supseteq J \text{\;and\;} P/J \text{\;contains no nonzero\;} H\text{-ideals of\;} A/J \},$$ from which we see that $$\operatorname{\operatorname{spec}}_J A = \{ P \in \operatorname{\operatorname{spec}}A \mid P \supseteq J \text{\;and\;} (P/J)\cap {{\mathcal E}}= \varnothing \}.$$ Consequently, localization provides a homeomorphism $\operatorname{\operatorname{spec}}_J A \approx \operatorname{\operatorname{spec}}A_{{\mathcal E}}$. The homeomorphism $\operatorname{\operatorname{spec}}A_{{\mathcal E}}\approx \operatorname{\operatorname{spec}}Z(A_{{\mathcal E}})$ follows from @BG [Corollary II.3.9] because $A_{{\mathcal E}}$ is $H$-simple. Finally, because $\operatorname{\operatorname{prim}}_J A$ is the collection of maximal elements in $\operatorname{\operatorname{spec}}_J A$, the composite homeomorphism $\operatorname{\operatorname{spec}}_J A \rightarrow \operatorname{\operatorname{spec}}Z(A_{{\mathcal E}})$ restricts to a homeomorphism $\operatorname{\operatorname{prim}}_J A \rightarrow \max Z(A_{{\mathcal E}})$. \(c) Since $Z(A_{{\mathcal E}})$ is central in $\operatorname{\operatorname{Fract}}A/J$, we must have $Z(A_{{\mathcal E}}) \subseteq Z(A_J)$. Conversely, consider an element $c \in Z(A_J)$. As is easily checked, the homogeneous components of $c$ are all central (e.g., @BG [Exercise II.3.B]), and so to prove that $c \in Z(A_{{\mathcal E}})$, there is no loss of generality in assuming that $c$ itself is homogeneous. Set $I := \{ a \in A_{{\mathcal E}}\mid ac \in A_{{\mathcal E}}\}$, and observe that $I$ is a nonzero $H$-stable ideal of $A_{{\mathcal E}}$ (it is nonzero because $A_J$ is a localization of $A_{{\mathcal E}}$). Since $A_{{\mathcal E}}$ is $H$-simple, we have $I = A_{{\mathcal E}}$, whence $c \in A_{{\mathcal E}}$ and thus $c \in Z(A_{{\mathcal E}})$. \[phiJK\] Under Assumptions \[AHetc\], we have partitions $$\label{specprimpartitions} \operatorname{\operatorname{spec}}A = \bigsqcup_{J\in\Pi} \operatorname{\operatorname{spec}}_J A \qquad\text{and}\qquad \operatorname{\operatorname{prim}}A = \bigsqcup_{J\in\Pi} \operatorname{\operatorname{prim}}_J A \,,$$ where $\Pi := {H\text{-}\operatorname{spec}}A$. These partitions are finite stratifications, because $$\begin{aligned} \operatorname{\operatorname{spec}}_J A &= V(J) \setminus \biggl(\, \bigsqcup_{K\in\Pi,\,K \supsetneq J} V(K) \biggr) \\ \overline{\operatorname{\operatorname{spec}}_J A} &= V(J) = \bigsqcup_{K\in\Pi,\,K\supseteq J} \operatorname{\operatorname{spec}}_K A \end{aligned}$$ for $J \in \Pi$, and similarly for $\operatorname{\operatorname{prim}}_J A$ and its closure. The last step requires the fact that $\overline{\operatorname{\operatorname{prim}}_J A} = V_p(J)$. We shall later need a slight generalization: $$\label{VpPprimclosure} \overline{V_p(P) \cap \operatorname{\operatorname{prim}}_J A} = V_p(P) \text{\;for all\;} P \in \operatorname{\operatorname{spec}}_J A.$$ This follows from the assumption that $A$ is a Jacobson ring, as in @BGtams [Proposition 1.3(a)]; we include the short argument. Any primitive ideal of $A$ that contains $P$ also contains $J$, so it belongs to $\operatorname{\operatorname{prim}}_L A$ for some $H$-prime $L \supseteq J$. Hence, $$P = \bigcap\, \{ Q \in \operatorname{\operatorname{prim}}A \mid Q \supseteq P \} = \bigcap_{L \in \Pi,\, L\supseteq J} V_p(P)\cap \operatorname{\operatorname{prim}}_L A\,.$$ Since ${H\text{-}\operatorname{spec}}A$ is finite and $\bigcap \bigl( V_p(P) \cap \operatorname{\operatorname{prim}}_L A \bigr) \supseteq L \supsetneq J$ for all $H$-primes $L$ that properly contain $J$, we conclude that $$\label{PcapVpPprimJ} P = \bigcap\, \bigl( V_p(P) \cap \operatorname{\operatorname{prim}}_J A \bigr) \text{\;for all\;} P \in \operatorname{\operatorname{spec}}_J A.$$ This implies . We shall use the following notation for the maps described in Definition \[CLetc\] relative to the above stratifications: $$\label{phiJKdef} \begin{aligned} \phi^s_{JK} : \operatorname{\operatorname{CL}}(\operatorname{\operatorname{spec}}_J A) &\longrightarrow \operatorname{\operatorname{CL}}(\operatorname{\operatorname{spec}}_K A), &\phi^s_{JK}(Y) &= {\overline{Y}}\cap \operatorname{\operatorname{spec}}_K A \\ \phi^p_{JK} : \operatorname{\operatorname{CL}}(\operatorname{\operatorname{prim}}_J A) &\longrightarrow \operatorname{\operatorname{CL}}(\operatorname{\operatorname{prim}}_K A), &\phi^p_{JK}(Y) &= {\overline{Y}}\cap \operatorname{\operatorname{prim}}_K A \end{aligned}$$ for $J \subset K$ in $\Pi$. In view of Lemma \[topostrat\], the Zariski topologies on $\operatorname{\operatorname{spec}}A$ and $\operatorname{\operatorname{prim}}A$ are determined by the topologies on the strata $\operatorname{\operatorname{spec}}_J A$ and $\operatorname{\operatorname{prim}}_J A$ together with the maps $\phi^\bullet_{JK}$. Since the spaces $\operatorname{\operatorname{spec}}_J A$ and $\operatorname{\operatorname{prim}}_J A$ are given (and computible) by Theorem \[strat.thm\], what remains is to determine the maps $\phi^\bullet_{JK}$. \[eg.oqk2\] Let $A = {{{\mathcal O}}_q}(k^2)$ with $q$ not a root of unity, standard generators $x$, $y$, and the standard action of $H = ({k^\times})^2$. (E.g., see @BG [Examples II.1.6(a), II.2.3(a), II.8.1].) Consider the $H$-primes $J := \langle x\rangle$ and $K := \langle x,y\rangle$, and recall that $$\begin{aligned} \operatorname{\operatorname{prim}}_J A &= \{ \langle x, y-\beta\rangle \mid \beta \in {k^\times}\} &\operatorname{\operatorname{spec}}_J A &= \{ J \} \sqcup \operatorname{\operatorname{prim}}_J A \\ \operatorname{\operatorname{prim}}_K A &= \operatorname{\operatorname{spec}}_K A = \{ K \}\,. \end{aligned}$$ The maps $\phi^\bullet_{JK}$ can be described as follows: $$\begin{aligned} \phi^s_{JK}(Y) &= \begin{cases} \varnothing &(Y \text{\;finite,\;} J \notin Y)\\ \{ K \} &(Y \text{\;infinite or\;} J \in Y) \end{cases} &&(Y \in \operatorname{\operatorname{CL}}(\operatorname{\operatorname{spec}}_J A) \\ \phi^p_{JK}(Y) &= \begin{cases} \varnothing &(Y \text{\;finite})\\ \{ K \} &(Y \text{\;infinite}) \end{cases} &&(Y \in \operatorname{\operatorname{CL}}(\operatorname{\operatorname{prim}}_J A) . \end{aligned}$$ Observe that the two "natural" possibilities for maps between collections of closed sets are ruled out by the fact that for primitive ideal strata, $\phi^p_{JK}$ maps all singletons to the empty set. Namely, there is no continuous map $f : \operatorname{\operatorname{prim}}_K A \rightarrow \operatorname{\operatorname{prim}}_J A$ such that $\phi^p_{JK}(Y) = f^{-1}(Y)$ for $Y \in \operatorname{\operatorname{CL}}(\operatorname{\operatorname{prim}}_J A)$, and there is no map $g : \operatorname{\operatorname{prim}}_J A \rightarrow \operatorname{\operatorname{prim}}_K A$ such that $\phi^p_{JK}(Y) = \overline{g(Y)}$ for $Y \in \operatorname{\operatorname{CL}}(\operatorname{\operatorname{prim}}_J A)$. Nor can $\phi^s_{JK} : \operatorname{\operatorname{spec}}_J A \rightarrow \operatorname{\operatorname{spec}}_K A$ be described in either of these ways. On the other hand, $\phi^p_{JK}$ can easily be obtained from a combination of two such maps. For instance, we can define continuous maps $f: \operatorname{\operatorname{prim}}_K A \rightarrow {{\mathbb A}}^1_k$ and $g: \operatorname{\operatorname{prim}}_J A \rightarrow {{\mathbb A}}^1_k$ by the rules $$f(\langle x,y\rangle) = 0 \qquad\text{and}\qquad g(\langle x,\, y-\beta\rangle) = \beta,$$ with the help of which $\phi^p_{JK}$ can be expressed in the form $$\phi^p_{JK}(Y) = f^{-1} \bigl( \overline{g(Y)} \bigr)$$ for $Y \in \operatorname{\operatorname{CL}}(\operatorname{\operatorname{prim}}_J A)$. It will be convenient to introduce the following notation for maps of this type. \[ftopg\] Suppose that $f: S' \rightarrow W$ and $g: S \rightarrow W$ are continuous maps between topological spaces. We define a map $$f{\overline{\,|\,}}g : \operatorname{\operatorname{CL}}(S) \longrightarrow \operatorname{\operatorname{CL}}(S')$$ according to the rule $$(f{\overline{\,|\,}}g)(Y) = f^{-1} \bigl( \overline{g(Y)} \bigr).$$ (The notation $f{\overline{\,|\,}}g$ is meant to abbreviate $f^{-1} \circ \overline{(-)} \circ g$.) \[topwanted\] Under Assumptions \[AHetc\], we would like good descriptions of the maps $\phi^\bullet_{JK}$ (for $J \subset K$ in ${H\text{-}\operatorname{spec}}A$) in the form $f{\overline{\,|\,}}g$. There is always a trivial way to do this. For instance, if we let $f: \operatorname{\operatorname{spec}}_K A \rightarrow \operatorname{\operatorname{spec}}A$ and $g: \operatorname{\operatorname{spec}}_J A \rightarrow \operatorname{\operatorname{spec}}A$ be the inclusion maps, then $\phi^s_{JK} = f{\overline{\,|\,}}g$ by definition of $\phi^s_{JK}$. However, this is no help towards our goal of describing the topological space $\operatorname{\operatorname{spec}}A$. By the Stratification Theorem \[strat.thm\], each $\operatorname{\operatorname{prim}}_J A$ is the topological space underlying an affine variety $\max Z(A_J)$ over $k$, and $\operatorname{\operatorname{spec}}_J A$ is the space underlying the corresponding scheme $\operatorname{\operatorname{spec}}Z(A_J)$. In the first case, it is natural to ask for $\phi^p_{JK} = f{\overline{\,|\,}}g$ where $f$ and $g$ are morphisms of varieties, and in the second case, to ask for $\phi^s_{JK} = f{\overline{\,|\,}}g$ where $f$ and $g$ are morphisms of schemes. In both cases, $f$ and $g$ would be comorphisms of $k$-algebra maps $R \rightarrow Z(A_K)$ and $R\rightarrow Z(A_J)$, for some affine commutative $k$-algebra $R$. Given the forms of $A_J$ and $A_K$, it is natural to conjecture that an appropriate $R$ would be the center of some localization of $A/J$, specifically, the localization of $A/J$ with respect to the set ${{\mathcal E}}_{JK}$ of those homogeneous elements of $A/J$ which are regular modulo $K/J$. However, such a localization does not always exist, even in case $H$ is trivial and $A$ has only finitely many prime ideals. On the other hand, if $(A/J)[{{\mathcal E}}_{JK}^{-1}]$ did exist, its center could be described in the form $$Z((A/J)[{{\mathcal E}}_{JK}^{-1}]) = \{ z \in Z(A_J) \mid zc \in A/J \text{\;\;for some\;} c \in {{\mathcal E}}_{JK} \},$$ which does not require the existence of $(A/J)[{{\mathcal E}}_{JK}]^{-1}]$. Thus, we propose to work with algebras of the latter type. \[ZJK\] Impose Assumptions \[AHetc\]. For $J \subset K$ in ${H\text{-}\operatorname{spec}}A$, set $$\begin{aligned} {{\mathcal E}}_{JK} &:= \{ \text{homogeneous elements\;} c \in A/J \mid c \text{\;is regular modulo\;} K/J \} \label{defZJK} \\ Z_{JK} &:= \{ z \in Z(A_J) \mid zc \in A/J \text{\;for\;} \text{some\;} c \in {{\mathcal E}}_{JK} \}. \label{defEJK}\end{aligned}$$ It is easily checked that $Z_{JK}$ is a $k$-subalgebra of $Z(A_J)$. For, given any $z_1,z_2 \in Z(A_J)$, there exist $c_1,c_2 \in {{\mathcal E}}_{JK}$ such that $z_ic_i \in A/J$ for $i=1,2$, whence $c_1c_2 \in {{\mathcal E}}_{JK}$ and $$\label{ZJKsubalg} \begin{aligned} (z_1z_2)(c_1c_2) &= z_1c_1z_2c_2 \in A/J \\ (z_1\pm z_2)(c_1c_2) &= z_1c_1c_2 \pm c_1z_2c_2 \in A/J. \end{aligned}$$ Note also that $Z_{JK} \supseteq Z(A/J)$. In general, it appears that we must allow the possibility that $Z_{JK}$ might not be affine, although that will be the case in all the examples we analyze. This is not a problem, however, since we are only concerned with $\max Z_{JK}$ and $\operatorname{\operatorname{spec}}Z_{JK}$ as topological spaces. In examples, $Z_{JK}$ can often be computed as the center of a localization of $A/J$, as the following analog of Lemma \[shrinkEJ\] shows. \[EAtils\] Impose Assumptions <span>\[AHetc\]</span>, and let $J \subset K$ in ${H\text{-}\operatorname{spec}}A$. Suppose there exists a denominator set ${\widetilde{{{\mathcal E}}}}_{JK} \subseteq {{\mathcal E}}_{JK}$ such that 1. $(L/J) \cap {\widetilde{{{\mathcal E}}}}_{JK} \ne \varnothing$ for all $H$-primes $L \supseteq J$ such that $L \nsubseteq K$. Then $$\label{Zunchanged} Z_{JK} = Z \bigl( (A/J)[{\widetilde{{{\mathcal E}}}}_{JK}^{-1} ] \bigr).$$ We may assume that $J=0$. Consider an element $z \in Z (A[{\widetilde{{{\mathcal E}}}}_{JK}^{-1} ])$. Then $z \in Z(\operatorname{\operatorname{Fract}}A)$ and $z= ac^{-1}$ for some $a \in A$ and $c \in {\widetilde{{{\mathcal E}}}}_{JK}$. Since then $c \in {{\mathcal E}}_J$, we have $z \in A_J$ and hence $z \in Z(A_J)$. Moreover, $c \in {{\mathcal E}}_{JK}$ and $zc \in A$, whence $z \in Z_{JK}$. Conversely, given $z \in Z_{JK}$, we have $z \in Z(A_J)$ and $zb \in A$ for some $b \in {{\mathcal E}}_{JK}$. Choose primes $L_1,\dots,L_n$ minimal over $AbA$ such that $L_1L_2 \cdots L_n \subseteq AbA$. Since $b$ is homogeneous, the $L_i$ are $H$-primes, and since $b \notin K$, no $L_i$ is contained in $K$. By hypothesis (1), there exist elements $c_i \in L_i \cap {\widetilde{{{\mathcal E}}}}_{JK}$ for $i=1,\dots,n$. Now $c := c_1c_2 \cdots c_n \in {\widetilde{{{\mathcal E}}}}_{JK}$ and $c \in AbA$. Moreover, $zc \in zAbA = AzbA \subseteq A$, so we can write $z = ac^{-1}$ with $a := zc \in A$. This shows that $z \in A[{\widetilde{{{\mathcal E}}}}_{JK}^{-1} ]$. Since also $z \in Z(\operatorname{\operatorname{Fract}}A)$, we conclude that $z \in Z (A[{\widetilde{{{\mathcal E}}}}_{JK}^{-1} ])$. This establishes the last equality of . \[ZJK+map\] Impose Assumptions <span>\[AHetc\]</span>, let $J \subset K$ in ${H\text{-}\operatorname{spec}}A$, and let $\pi_{JK}$ denote the quotient map $A/J \rightarrow A/K$. There is a unique $k$-algebra map $f_{JK} : Z_{JK} \rightarrow Z(A_K)$ such that $$\label{fdef} f_{JK}(z) = \pi_{JK}(zc)\pi_{JK}(c)^{-1} \text{\;for\;} z \in Z(A_J) \text{\;and\;} c\in {{\mathcal E}}_{JK} \text{\;with\;} zc \in A/J.$$ Assuming existence, uniqueness of $f_{JK}$ is clear. There is no loss of generality in assuming that $J=0$. Write $\pi := \pi_{JK}$ and $f:= f_{JK}$. Set ${{\mathcal E}}:= {{\mathcal E}}_{JK}$, and note that $\pi(c)$ is invertible in $A_K$ for all $c \in {{\mathcal E}}$. We will also use the fact that, by Theorem \[strat.thm\](a), $\pi({{\mathcal E}}) = {{\mathcal E}}_K$ is a denominator set in $A/K$. We wish to define $f$ first as a map $Z_{JK} \rightarrow A_K$, via the rule . Suppose that $z\in Z(A_J)$ and $c_1,c_2\in {{\mathcal E}}$ such that $zc_1,zc_2 \in A$. Since $c_1,c_1z,zc_i \in A$, we see that $$\pi(c_1) \pi(zc_i) \pi(c_i)^{-1} = \pi(c_1zc_i) \pi(c_i)^{-1} = \pi(c_1z)$$ for $i=1,2$, whence $\pi(zc_1) \pi(c_1)^{-1} = \pi(zc_2) \pi(c_2)^{-1}$. Therefore we have a well defined map $f: Z_{JK} \rightarrow A_K$ defined by . Next, we show that $f$ maps $Z_{JK}$ to $Z(A_K)$. It suffices to show, for each $z\in Z_{JK}$, that $f(z)$ commutes with $\pi(a)$ for all $a\in A$, since $A_K = \pi(A)[\pi({{\mathcal E}})^{-1}]$. Choose $c\in {{\mathcal E}}$ such that $zc\in A$, and observe that $\pi(zc)\pi(c) = \pi(c)\pi(zc)$, whence $$\pi(c)^{-1} \pi(zc) = \pi(zc) \pi(c)^{-1} = f(z).$$ Since also $\pi(c) \pi(azc) = \pi(zca) \pi(c)$, we see that $$\pi(a) f(z) = \pi(azc) \pi(c)^{-1} = \pi(c)^{-1} \pi(zca) = f(z) \pi(a).$$ Thus $f(z) \in Z(A_K)$, as desired. Finally, let $z_1,z_2 \in Z_{JK}$, and choose $c_1,c_2 \in {{\mathcal E}}$ such that $z_ic_i \in A$ for $i=1,2$. In view of and the centrality of $f(z_2)$, we find that $$\begin{aligned} f(z_1z_2) &= \pi(z_1z_2c_1c_2) \pi(c_1c_2)^{-1} = \pi(z_1c_1) \pi(z_2c_2) \pi(c_2)^{-1} \pi(c_1)^{-1} \\ &= \pi(z_1c_1) f(z_2) \pi(c_1)^{-1} = \pi(z_1c_1) \pi(c_1)^{-1} f(z_2) = f(z_1) f(z_2) \\ f(z_1+z_2) &= \pi((z_1+z_2)c_1c_2) \pi(c_1c_2)^{-1} \\ &= \pi(z_1c_1) \pi(c_2) \pi(c_2)^{-1} \pi(c_1)^{-1} + \pi(c_1) \pi(z_2c_2) \pi(c_2)^{-1} \pi(c_1)^{-1} \\ &= f(z_1) + \pi(c_1) f(z_2) \pi(c_1)^{-1} = f(z_1) + f(z_2).\end{aligned}$$ Since it is clear from that $f(1)=1$, we conclude that $f$ is indeed an algebra homomorphism. Given a homomorphism $d : R \rightarrow S$ between commutative $k$-algebras, where $S$ is affine but $R$ might not be, we shall use the same notation $d^\circ$ for both of the comorphisms $$\max S \longrightarrow \max R \qquad\text{and}\qquad \operatorname{\operatorname{spec}}S \longrightarrow \operatorname{\operatorname{spec}}R$$ corresponding to $d$. \[fJKgJKconj\] Impose Assumptions <span>\[AHetc\]</span>, and let $J \subset K$ in ${H\text{-}\operatorname{spec}}A$. Identify $\operatorname{\operatorname{spec}}_J A$, $\operatorname{\operatorname{spec}}_K A$, $\operatorname{\operatorname{prim}}_J A$, $\operatorname{\operatorname{prim}}_K A$ with $\operatorname{\operatorname{spec}}Z(A_J)$, $\operatorname{\operatorname{spec}}Z(A_K)$, $\max Z(A_J)$, $\max Z(A_K)$ via the homeomorphisms of Theorem <span>\[strat.thm\]</span>. Define the subalgebra $Z_{JK} \subseteq Z(A_J)$ as in Definition <span>\[ZJK\]</span> and the homomorphism $f_{JK} : Z_{JK} \rightarrow Z(A_K)$ as in Lemma <span>\[ZJK+map\]</span>. Finally, define $g_{JK} : Z_{JK} \rightarrow Z(A_J)$ to be the inclusion map. We conjecture that the maps $\phi^s_{JK}$ and $\phi^p_{JK}$ defined in are both given by the formula $$\label{JKconj} \phi^\bullet_{JK} = f_{JK}^\circ {\overline{\,|\,}}g_{JK}^\circ \,.$$ In all the examples we have computed, the algebras $Z_{JK}$ are affine, so that the homomorphisms $f_{JK}$ and $g_{JK}$ arise from morphisms among the affine varieties $\max Z(A_J)$ and $\max Z_{JK}$. Thus, if Conjecture \[fJKgJKconj\] and the aforementioned affineness hold, the topological spaces $\operatorname{\operatorname{spec}}A$ and $\operatorname{\operatorname{prim}}A$ are determined (via the framework of Section \[strat.topo\]) by a finite amount of classical data. Reduction to inclusion control {#control} ============================== Here we establish conditions under which Conjecture \[fJKgJKconj\] holds. These conditions, expressed in terms of inclusions involving certain prime ideals, are shown to hold when suitable prime ideals in factor algebras are generated by normal elements. As a first instance, we verify the latter conditions in the case of ${{{\mathcal O}}_q}(GL_2(k))$. \[conjreduc\] Impose Assumptions <span>\[AHetc\]</span>, and let $J \subset K$ in ${H\text{-}\operatorname{spec}}A$. Write $Z_{JK} \cdot {{\mathcal E}}_{JK} = \{ zc \mid z \in Z_{JK},\; c \in {{\mathcal E}}_{JK} \}$. <span>(a)</span> Conjecture <span>\[fJKgJKconj\]</span> holds for $\phi^s_{JK}$ if and only if $$\label{inclwish} (P/J) \cap Z_{JK} \cdot {{\mathcal E}}_{JK} \subseteq Q/J \implies P \subseteq Q$$ for all $P \in \operatorname{\operatorname{spec}}_J A$ and $Q \in \operatorname{\operatorname{spec}}_K A$. <span>(b)</span> Conjecture <span>\[fJKgJKconj\]</span> holds for $\phi^p_{JK}$ if and only if the implication holds for all $P \in \operatorname{\operatorname{spec}}_J A$ and $Q \in \operatorname{\operatorname{prim}}_K A$. <span>(c)</span> Conjecture <span>\[fJKgJKconj\]</span> holds for $\phi^s_{JK}$ if and only if it holds for $\phi^p_{JK}$. Since the closed sets in $\operatorname{\operatorname{spec}}_L A$ and $\operatorname{\operatorname{prim}}_L A$, for $H$-primes $L \supseteq J$, have the forms $$\begin{aligned} V(I)\cap \operatorname{\operatorname{spec}}_L A &= V(I+J)\cap \operatorname{\operatorname{spec}}_L A \\ V_p(I)\cap \operatorname{\operatorname{prim}}_L A &= V_p(I+J)\cap \operatorname{\operatorname{prim}}_L A\end{aligned}$$ for ideals $I$ of $A$, there is no loss of generality in assuming that $J=0$. Let us label the homeomorphism $\operatorname{\operatorname{spec}}_J A \rightarrow \operatorname{\operatorname{spec}}Z(A_J)$ of Theorem \[strat.thm\] in the form $T \mapsto T^* := TA_J \cap Z(A_J)$, and similarly for the homeomorphism $\operatorname{\operatorname{spec}}_K A \rightarrow \operatorname{\operatorname{spec}}Z(A_K)$. The restrictions of these maps to homeomorphisms from $\operatorname{\operatorname{prim}}_J A$ and $\operatorname{\operatorname{prim}}_K A$ onto $\max Z(A_J)$ and $\max Z(A_K)$, respectively, are then also given in the form $T \mapsto T^*$. \(a) We are aiming to characterize the condition $$\label{expandJKconj} \phi^s_{JK}(Y) = (f_{JK}^\circ {\overline{\,|\,}}g_{JK}^\circ)(Y) \text{\;for all\;} Y \in \operatorname{\operatorname{CL}}(\operatorname{\operatorname{spec}}_J A)$$ by means of . Any $Y \in \operatorname{\operatorname{CL}}(\operatorname{\operatorname{spec}}_J A)$ has the form $Y = V(I) \cap \operatorname{\operatorname{spec}}_J A$ for some ideal $I$ of $A$. Now $V(I) = V(P_1) \cup \cdots\cup V(P_n)$ where $P_1,\dots, P_n$ are the primes of $A$ minimal over $I$, so $Y$ is the union of the closed sets $Y_i := V(P_i) \cap \operatorname{\operatorname{spec}}_J A$. Since $\phi^s_{JK}$ and $f_{JK}^\circ {\overline{\,|\,}}g_{JK}^\circ$ preserve finite unions, they agree on $Y$ if and only if they agree on each $Y_i$. Thus, holds if and only if $\phi^s_{JK}(Y) = (f_{JK}^\circ {\overline{\,|\,}}g_{JK}^\circ)(Y)$ for all $Y = V(P)\cap \operatorname{\operatorname{spec}}_J A$, where $P$ is a prime of $A$ that contains $J$. If $P \notin \operatorname{\operatorname{spec}}_J A$, then $P$ must lie in $\operatorname{\operatorname{spec}}_L A$ for some $H$-prime $L \supsetneq J$, in which case $Y$ is empty. That case is no problem, since $\phi^s_{JK}(\varnothing) = \varnothing = (f_{JK}^\circ {\overline{\,|\,}}g_{JK}^\circ)(\varnothing)$. Hence, we conclude that holds if and only if $$\label{VPreduce} \begin{aligned} \phi^s_{JK}(Y) &= (f_{JK}^\circ {\overline{\,|\,}}g_{JK}^\circ)(Y) \text{\;for all\;} Y \text{\;of the form\;} \\ Y &= V(P)\cap \operatorname{\operatorname{spec}}_J A \text{\;with\;} P \in \operatorname{\operatorname{spec}}_J A. \end{aligned}$$ We next characterize the sets $\phi^s_{JK}(Y)$ and $(f_{JK}^\circ {\overline{\,|\,}}g_{JK}^\circ)(Y)$ appearing in , i.e., we assume that $Y = V(P)\cap \operatorname{\operatorname{spec}}_J A$ for some $P \in \operatorname{\operatorname{spec}}_J A$. Since $P \in Y \subseteq V(P)$ and $\overline{ \{P\} } = V(P)$, we see that ${\overline{Y}}= V(P)$, and hence $$\label{phiJKY} \phi^s_{JK}(Y) = V(P) \cap \operatorname{\operatorname{spec}}_K A.$$ For $Q \in \operatorname{\operatorname{spec}}_K A$, we have $Q \in (f_{JK}^\circ {\overline{\,|\,}}g_{JK}^\circ)(Y)$ if and only if $f_{JK}^\circ(Q^*) \in \overline{ g_{JK}^\circ(Y) }$. On one hand, $f_{JK}^\circ(Q^*) = f_{JK}^{-1}(Q^*)$. On the other hand, since the set $g_{JK}^\circ(Y) = \{ T^*\cap Z_{JK} \mid T \in Y \}$ has a unique smallest element, namely $P^*\cap Z_{JK}$, the closure of $g_{JK}^\circ(Y)$ in $\operatorname{\operatorname{spec}}Z_{JK}$ is just the set of primes of $Z_{JK}$ that contain $P^*\cap Z_{JK}$. Thus, $$Q \in (f_{JK}^\circ {\overline{\,|\,}}g_{JK}^\circ)(Y) \iff f_{JK}^{-1}(Q^*) \supseteq P^*\cap Z_{JK}.$$ Note that $P^*\cap Z_{JK} = PA_J \cap Z(A_J) \cap Z_{JK} = PA_J \cap Z_{JK}$. Since $f_{JK}(P^*\cap Z_{JK}) \subseteq Z(A_K)$, we have $f_{JK}(P^*\cap Z_{JK}) \subseteq Q^*$ if and only if $f_{JK}(P^*\cap Z_{JK}) \subseteq QA_K$. Hence, $$Q \in (f_{JK}^\circ {\overline{\,|\,}}g_{JK}^\circ)(Y) \iff f_{JK}(PA_J\cap Z_{JK}) \subseteq QA_K \,.$$ Given $Q \in \operatorname{\operatorname{spec}}_K A$, we want to show that $f_{JK}(PA_J\cap Z_{JK}) \subseteq QA_K$ if and only if $P \cap Z_{JK} \cdot {{\mathcal E}}_{JK} \subseteq Q$. To do so, we first observe that $$\label{PAJcapZJK} PA_J\cap Z_{JK} = \{ pc^{-1} \mid p \in P,\; c\in {{\mathcal E}}_{JK} \} \cap Z_{JK} \,.$$ The inclusion $(\supseteq)$ is clear. If $z \in PA_J\cap Z_{JK}$, there is some $c \in {{\mathcal E}}_{JK}$ such that $zc \in A$, whence $zc \in PA_J \cap A = P$. This establishes $(\subseteq)$ and . Consequently, $$f_{JK}(PA_J\cap Z_{JK}) = \{ \pi(p) \pi(c)^{-1} \mid p \in P,\; c\in {{\mathcal E}}_{JK},\; pc^{-1} \in Z_{JK} \}.$$ For $p \in P$ and $c\in {{\mathcal E}}_{JK}$, we have $\pi(p) \pi(c)^{-1} \in QA_K$ if and only if $\pi(p) \in QA_K$, if and only if $\pi(p) \in QA_K \cap (A/K) = Q/K$, if and only if $p \in Q$. Thus, $$\begin{aligned} f_{JK}&(PA_J\cap Z_{JK}) \subseteq QA_K \\ &\iff \{ p \in P\mid pc^{-1} \in Z_{JK} \text{\; for some\;} c \in {{\mathcal E}}_{JK} \} \subseteq Q \\ &\iff P \cap Z_{JK} \cdot {{\mathcal E}}_{JK} \subseteq Q, \end{aligned}$$ as desired. On combining the results above, we obtain $$\label{descrhightopY} (f_{JK}^\circ {\overline{\,|\,}}g_{JK}^\circ)(Y) = \{ Q \in \operatorname{\operatorname{spec}}_K A \mid P \cap Z_{JK} \cdot {{\mathcal E}}_{JK} \subseteq Q\}.$$ It is clear from and that $\phi^s_{JK}(Y) \subseteq (f_{JK}^\circ {\overline{\,|\,}}g_{JK}^\circ)(Y)$. Therefore holds if and only if $$\label{inclcond} \{ Q \in \operatorname{\operatorname{spec}}_K A \mid P \cap Z_{JK} \cdot {{\mathcal E}}_{JK} \subseteq Q\} \subseteq V(P)$$ for all $P \in \operatorname{\operatorname{spec}}_J A$ and $Q\in \operatorname{\operatorname{spec}}_K A$. This completes the proof of (a). \(b) The proof is the same as for (a), modulo changing $V(-)$ to $V_p(-)$ throughout, except for two points. Namely, if $P \in \operatorname{\operatorname{spec}}_J A$ and $Y = V_p(P) \cap \operatorname{\operatorname{prim}}_J A$, we need to know that ${\overline{Y}}= V_p(P)$ in $\operatorname{\operatorname{prim}}A$ and that $$\label{gJKYclosure} \overline{g_{JK}^\circ(Y)} = \{ M \in \max Z_{JK} \mid M \supseteq P^*\cap Z_{JK} \}$$ in $\max Z_{JK}$. The first statement is given by . Now set $Y^* := \{ T^* \mid T \in Y \}$, which is a closed subset of $\max Z(A_J)$. Obviously $T^* \supseteq P^*$ for all $T^* \in Y^*$. On the other hand, if $M \in \max Z(A_J)$ with $M \supseteq P^*$, then $M=T^*$ for some $T \in \operatorname{\operatorname{prim}}_J A$, and $T^*$ belongs to the closure of $\{ P^* \}$ in $\operatorname{\operatorname{spec}}Z(A_J)$. It follows that $T$ must belong to the closure of $\{ P \}$ in $\operatorname{\operatorname{spec}}_J A$, yielding $T \supseteq P$ and $T \in Y$. Thus, $$Y^* = \{ M \in \max Z(A_J) \mid M \supseteq P^* \}.$$ Since $Z(A_J)$ is a commutative affine algebra, it is a Jacobson ring, and so we must have $P^* = \bigcap Y^*$. Consequently, $$P^* \cap Z_{JK} = \bigcap\, \{T^* \cap Z_{JK} \mid T \in Y \} = \bigcap g_{JK}^\circ(Y),$$ and follows. \(c) If holds for $P \in \operatorname{\operatorname{spec}}_J A$ and $Q \in \operatorname{\operatorname{spec}}_K A$, then it holds a priori for $P \in \operatorname{\operatorname{spec}}_J A$ and $Q \in \operatorname{\operatorname{prim}}_K A$. Conversely, assume that holds for $P \in \operatorname{\operatorname{spec}}_J A$ and $Q \in \operatorname{\operatorname{prim}}_K A$. Let $P \in \operatorname{\operatorname{spec}}_J A$ and $Q \in \operatorname{\operatorname{spec}}_K A$ such that $(P/J) \cap Z_{JK} \cdot {{\mathcal E}}_{JK} \subseteq Q/J$. If $Q' \in \operatorname{\operatorname{prim}}_K A$ and $Q \subseteq Q'$, then $(P/J) \cap Z_{JK} \cdot {{\mathcal E}}_{JK} \subseteq Q'/J$, and so $P \subseteq Q'$ by our assumption. By , the intersection of those $Q' \in \operatorname{\operatorname{prim}}_K A$ that contain $Q$ equals $Q$, whence $P \subseteq Q$. This verifies that holds for $P \in \operatorname{\operatorname{spec}}_J A$ and $Q \in \operatorname{\operatorname{spec}}_K A$. \[normgen\] Impose Assumptions <span>\[AHetc\]</span>, let $J \subset K$ in ${H\text{-}\operatorname{spec}}A$, and let $P \in \operatorname{\operatorname{spec}}_J A$. If $P/J$ is generated by some set of normal elements of $A/J$, then holds for all $Q \in \operatorname{\operatorname{spec}}_K A$. We may assume that $J = 0$. Suppose $Q \in \operatorname{\operatorname{spec}}_K A$ and $P \nsubseteq Q$. Then there is a normal element $p \in P \setminus Q$. Write $p = c_1+ \cdots+ c_n$ where the $c_i$ are nonzero homogeneous elements with distinct degrees. Since $p$ is not in $Q$, it is not in $K$, so the $c_i$ cannot all lie in $K$. We may assume that $c_1 \notin K$. By standard results (e.g., @Ymem [Proposition 6.20]), all the $c_i$ are normal; in fact, there is an automorphism $\phi$ of $A$ such that $pa = \phi(a)p$ and $c_ia = \phi(a)c_i$ for all $a \in A$ and all $i$. In particular, $c_1$ is regular in $A$ and regular modulo $K$, so that $c_1 \in {{\mathcal E}}_J \cap {{\mathcal E}}_{JK}$. For any $a\in A$, we have $pc_1^{-1}\phi(a) = pac_1^{-1} = \phi(a)pc_1^{-1}$ in $\operatorname{\operatorname{Fract}}A$. Hence, the element $z := pc_1^{-1}$ lies in $Z(A_J)$. The fact that $zc_1= p \in A$ now implies $z \in Z_{JK}$. Consequently, $p \in Z_{JK} \cdot {{\mathcal E}}_{JK}$, and therefore $P\cap Z_{JK} \cdot {{\mathcal E}}_{JK} \nsubseteq Q$. \[oqgl2\] Let $A = {{{\mathcal O}}_q}(GL_2(k))$ with $q \in {k^\times}$ not a root of unity, and use the standard abbreviations for the generators of $A$, namely $$\begin{matrix} a&b\\ c&d \end{matrix} \quad := \quad \begin{matrix} X_{11}&X_{12}\\ X_{21}&X_{22} \end{matrix}$$ and $\Delta^{-1}$, where $\Delta := ad-qbc$ denotes the quantum determinant in $A$. There is a standard rational action of $H = ({k^\times})^4$ on $A$ such that $$\label{kx4action} (\alpha_1,\alpha_2,\beta_1,\beta_2) . X_{ij} = \alpha_i \beta_j X_{ij} \qquad\text{for\;} i,j=1,2.$$ As is well known, $A$ has exactly four $H$-primes, and the poset ${H\text{-}\operatorname{spec}}A$ may be displayed in the following form, where we abbreviate the descriptions of the $H$-prime ideals by omitting angle brackets and commas. For instance, $bc$ stands for $\langle b,c\rangle$. $$\xymatrixrowsep{1.2pc}\xymatrixcolsep{0.6pc} \xymatrix{ &bc {\ar@{-}}[dl] {\ar@{-}}[dr] \\ b {\ar@{-}}[dr] &&c {\ar@{-}}[dl] \\ &0 }$$ Finally, $A$ satisfies the noncommutative Nullstellensatz by @BG [Corollary II.7.18], and so Assumptions \[AHetc\] hold. Define the following multiplicative sets consisting of homogeneous normal elements: $$\begin{aligned} {\widetilde{{{\mathcal E}}}}_0 &:= \{{k^\times}b^\bullet c^\bullet \Delta^\bullet \} \subseteq {{\mathcal E}}_0 &{\widetilde{{{\mathcal E}}}}_b &:= \{ {k^\times}c^\bullet \Delta^\bullet \} \subseteq {{\mathcal E}}_b \\ {\widetilde{{{\mathcal E}}}}_c &:= \{ {k^\times}b^\bullet \Delta^\bullet \} \subseteq {{\mathcal E}}_c &{\widetilde{{{\mathcal E}}}}_{bc} &:= \{ {k^\times}\Delta^\bullet \} \subseteq {{\mathcal E}}_{bc} \,, \end{aligned}$$ where $x^\bullet$ abbreviates "arbitrary nonnegative powers of $x$" and elements are interpreted as cosets where appropriate, and set ${\widetilde{A}}_J := (A/J)[{\widetilde{{{\mathcal E}}}}_J^{-1}]$. Observe that each nonzero $H$-prime of $A/J$ has nonempty intersection with ${\widetilde{{{\mathcal E}}}}_J$. Hence, Lemma \[shrinkEJ\](c) shows that $Z({\widetilde{A}}_J) = Z(A_J)$. These centers have the following forms: $$\begin{aligned} Z(A_0) &= k[(bc^{-1})^{\pm1}, \Delta^{\pm1}] &Z(A_b) &= k[(ad)^{\pm1}] \\ Z(A_c) &= k[(ad)^{\pm1}] &Z(A_{bc}) &= k[a^{\pm1},d^{\pm1}]. \end{aligned}$$ Next, set ${\widetilde{{{\mathcal E}}}}_{J,K} := {\widetilde{{{\mathcal E}}}}_J \setminus K$ for $H$-primes $J \subset K$, and observe that $$\begin{aligned} {\widetilde{{{\mathcal E}}}}_{0,b} &= \{ {k^\times}c^\bullet \Delta^\bullet \} &{\widetilde{{{\mathcal E}}}}_{0,c} &= \{ {k^\times}b^\bullet \Delta^\bullet \} &{\widetilde{{{\mathcal E}}}}_{0,bc} &= \{ {k^\times}\Delta^\bullet \} \\ {\widetilde{{{\mathcal E}}}}_{b,bc} &= \{ {k^\times}(ad)^\bullet \} &{\widetilde{{{\mathcal E}}}}_{c,bc} &= \{ {k^\times}(ad)^\bullet \} \,. \end{aligned}$$ Moreover, $\pi_{J,K}({\widetilde{{{\mathcal E}}}}_{J,K}) = {\widetilde{{{\mathcal E}}}}_K$, and hence $Z_{J,K} = Z \bigl( (A/J)[{\widetilde{{{\mathcal E}}}}_{J,K}^{-1}] \bigr)$ by Lemma \[EAtils\]. These algebras have the following descriptions: $$\begin{aligned} Z_{0,b} &= k[ bc^{-1}, \Delta^{\pm1}] &Z_{0,c} &= k[ b^{-1}c, \Delta^{\pm1}] &Z_{0,bc} &= k[ \Delta^{\pm1}] \\ Z_{b,bc} &= k[ (ad)^{\pm1}] &Z_{c,bc} &= k[ (ad)^{\pm1}] \,. \end{aligned}$$ The maximal ideal spaces of the $Z(A_J)$ and the $Z_{J,K}$ are copies of the affine varieties ${k^\times}$, $({k^\times})^2$, and $k \times {k^\times}$. We can picture these spaces together with the associated maps $f_{J,K}^\circ$ and $g_{J,K}^\circ$ as in Figure \[figprimoqgl2\] below. $$\xymatrixrowsep{4pc}\xymatrixcolsep{1.8pc} \xymatrix{ \save [0,0]+(-5,5);[2,1]+(10,-5) **\frm{.}\restore &{k^\times}&&\save [0,0]+(-5,5);[2,2]+(5,-5) **\frm{.}\restore &({k^\times})^2 \ar[lll]_(0.62){\txt{mult}} \ar[dllll]_(0.72){\txt{mult}\;} \ar[rrr]^(0.62){\txt{mult}} &&&{k^\times}\save [0,0]+(-10,5);[2,0]+(10,-5) **\frm{.}\restore \\ {k^\times}&&&{k^\times}\ar[ull]^(0.35){\txt{id}} \ar[dll]_(0.29){(0,-)} &&{k^\times}\ar[urr]^(0.45){\txt{id}} \ar[drr]^(0.29){(0,-)} \\ \dropdownright{\max Z_{J,K}} \dropdownrightmore{(J=0,0,b)} {\save+<8ex,-14ex>\drop{(K=b,bc,bc)}\restore} &k\times{k^\times}&&&({k^\times})^2 \dropdown{\max Z(A_J)} \dropdownmore{(J=0,b,c,bc)} \ar[lll]_(0.62){\txt{incl}} \ar[ullll]_(0.77){\txt{pr}_2} \ar[rrr]^(0.62){\txt{incl}} &&&k\times{k^\times}\dropdown{\max Z_{J,K}} \dropdownmore{(J=0,c)} {\save+<0ex,-14ex>\drop{(K = c,bc)}\restore} }$$ In order to see that the topology on $\operatorname{\operatorname{prim}}A$ is determined by this picture, and similarly for the topology on $\operatorname{\operatorname{spec}}A$, we need to show that Conjecture \[fJKgJKconj\] holds. This will follow from Propositions \[conjreduc\] and \[normgen\] provided we verify that 1. For each $J \in {H\text{-}\operatorname{spec}}A$ and each non-minimal $P \in \operatorname{\operatorname{spec}}_J A$, the ideal $P/J$ of $A/J$ is generated by normal elements. In the case $J=b$, we find that $P = \langle b,\, ad-\mu \rangle$ for some $\mu \in {k^\times}$. Then $P/J$ is normally generated because $ad-\mu$ is normal (in fact, central) in $A/J$. The case $J=c$ is exactly analogous. In the case $J= bc$, the algebra $A/J$ is commutative, so all its ideals are centrally generated. Finally, consider the case $J=0$. The maximal elements of $\operatorname{\operatorname{spec}}_0 A$ are of the form $\langle b-\lambda c,\, \Delta-\mu \rangle$ for $\lambda,\mu \in {k^\times}$. These ideals are normally generated because $b- \lambda c$ is normal and $\Delta - \mu$ is central. The remaining nonzero elements of $\operatorname{\operatorname{spec}}_0 A$ are height $1$ primes of $A$. Each of these is generated by a normal element because $A$ is a noncommutative UFD @LLR [Corollary 3.8]. This finishes the verification of $(*)$, and we conclude that Conjecture \[fJKgJKconj\] holds for this example. Quantum $SL_3$ {#oqsl3} ============== The purpose of this section is to verify Conjecture \[fJKgJKconj\] for ${{{{\mathcal O}}_q}(SL_3(k))}$ for generic $q$, thus showing that $\operatorname{\operatorname{spec}}{{{{\mathcal O}}_q}(SL_3(k))}$ and $\operatorname{\operatorname{prim}}{{{{\mathcal O}}_q}(SL_3(k))}$ can be entirely determined by classical (i.e., commutative) algebro-geometric data. Side benefits of our analysis provide new information about the structure of prime factor algebras, such as that all $H$-prime factors of ${{{{\mathcal O}}_q}(SL_3(k))}$ are noncommutative UFDs. Moreover, as we show in the following section, all prime factors of ${{{{\mathcal O}}_q}(SL_3(k))}$ are Auslander-Gorenstein and GK-Cohen-Macaulay, extending a result of @primOqSL3 from primitive factors to prime factors. Throughout the section, let $A = {{{{\mathcal O}}_q}(SL_3(k))}$, with $q \in {k^\times}$ not a root of unity, and let $X_{ij}$, for $i,j = 1,2,3$, denote the standard generators of $A$. Recall that all prime ideals of $A$ are completely prime (e.g., @BG [Corollary II.6.10]). There is a natural rational action of the torus $$\label{OqSL3torus} H := \{ (\alpha_1,\alpha_2,\alpha_3,\beta_1,\beta_2,\beta_3) \mid \alpha_1\alpha_2\alpha_3\beta_1\beta_2\beta_3 = 1 \}$$ on $A$ such that $$\label{HSLaction} (\alpha_1,\alpha_2,\alpha_3,\beta_1,\beta_2,\beta_3) \cdot X_{ij} = \alpha_i \beta_j X_{ij}$$ for $(\alpha_1,\alpha_2,\alpha_3,\beta_1,\beta_2,\beta_3) \in H$ and $i,j = 1,2,3$. As is well known (see, e.g., @primOqSL3), $A$ has exactly $36$ $H$-primes. Since $A$ satisfies the noncommutative Nullstellensatz @BG [Corollary II.7.18], Assumptions \[AHetc\] hold. \[Hprimesindexed\] As in @primOqSL3, we index the $H$-primes of $A$ in the form $Q_{w_+,w_-}$ for $(w_+,w_-)$ in $S_3 \times S_3$. Generating sets for these ideals are given in Figure \[Hprimegens\], taken from @primOqSL3 [Figure 1] – see @primOqSL3 [Subsection 2.1 and Corollary 2.6]. In this figure, bullets and squares stand for $1\times 1$ and $2\times 2$ quantum minors, respectively, while circles are placeholders. It is clear from Figure \[Hprimegens\] that the height of any $H$-prime $Q_w$ is at least as large as the number of generators $g$ given for $Q_w$ in the figure. On the other hand, these generators can be arranged in a polynormal sequence, and so by the noncommutative Principal Ideal Theorem (e.g., @McRob [Theorem 4.1.11]), $\operatorname{\operatorname{ht}}(Q_w) \le g$. Thus, the height of $Q_w$ exactly equals the number of generators for $Q_w$ given in Figure \[Hprimegens\]. The $H$-primes of $A$ are permuted by various symmetries of $A$. We summarize the three discussed in @primOqSL3 [§1.4]. First, there is the *transpose automorphism* $\tau$, which satisfies $\tau(X_{ij}) = X_{ji}$ for $i,j = 1,2,3$; moreover, $\tau([I|J]) = [J|I]$ for all quantum minors $[I|J]$. Second, there is the antipode $S$ of $A$, which is an anti-automorphism such that $S([I|J]) = (-q)^{\Sigma I - \Sigma J} [{\widetilde{J}}|{\widetilde{I}}]$ for all $[I|J]$, where ${\widetilde{I}}:= \{1,2,3\} \setminus I$ and similarly for ${\widetilde{J}}$. Finally, there is an anti-automorphism $\rho$ of $A$ such that $\rho(X_{ij}) = X_{4-j,4-i}$ for all $i$, $j$; it satisfies $\rho([I|J]) = [w_0(J)|w_0(I)]$ for all $[I|J]$, where $w_0 = (321)$ is the longest element of $S_3$. $$\xymatrixrowsep{0.1pc}\xymatrixcolsep{0.1pc} \xymatrix{ &&&&\ar@{=}[28,0] \\ &&&{\save+<-0.5ex,0ex>\drop{w_-}\restore} \\ &&& &&&{\save+<0ex,0ex>\drop{321}\restore} &&&&{\save+<0ex,0ex>\drop{231}\restore} &&&&{\save+<0ex,0ex>\drop{312}\restore} &&&&{\save+<0ex,0ex>\drop{132}\restore} &&&&{\save+<0ex,0ex>\drop{213}\restore} &&&&{\save+<0ex,0ex>\drop{123}\restore} \\ &{\save+<0ex,0ex>\drop{w_+}\restore} \\ \ar@{=}[0,28] &&&&& &&&&& &&&&& &&&&& &&&&& &&&{\save+<0ex,4ex>\drop{}\restore} \\ &&& &&{{*{\circ}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{*{\circ}+0}&{{*{}+0}{\ar@{-}}[r] {\ar@{-}}[d] &{*{}+0}{\ar@{-}}[d]}&&{{*{\circ}+0}&{*{\circ}+0}&{*{\bullet}+0}}&&{{*{\circ}+0}&{*{\bullet}+0}&{*{\bullet}+0}}&&{{*{\circ}+0}&{*{\circ}+0}&{*{\bullet}+0}}&&{{*{\circ}+0}&{*{\bullet}+0}&{*{\bullet}+0}}\\ &&{\save+<0ex,0ex>\drop{321}\restore} & &&{{*{\circ}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{*{\circ}+0}&{{*{}+0}{\ar@{-}}[r] &{*{}+0}}&&{{*{\circ}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{{*{\circ}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{{*{\circ}+0}&{*{\circ}+0}&{*{\bullet}+0}}&&{{*{\circ}+0}&{*{\circ}+0}&{*{\bullet}+0}}\\ &&& &&{{*{\circ}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{{*{\circ}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{{*{\circ}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{{*{\circ}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{{*{\circ}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{{*{\circ}+0}&{*{\circ}+0}&{*{\circ}+0}}\\ \\ &&& &&{{*{\circ}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{*{\circ}+0}&{{*{}+0}{\ar@{-}}[r] {\ar@{-}}[d] &{*{}+0}{\ar@{-}}[d]}&&{{*{\circ}+0}&{*{\circ}+0}&{*{\bullet}+0}}&&{{*{\circ}+0}&{*{\bullet}+0}&{*{\bullet}+0}}&&{{*{\circ}+0}&{*{\circ}+0}&{*{\bullet}+0}}&&{{*{\circ}+0}&{*{\bullet}+0}&{*{\bullet}+0}}\\ &&{\save+<0ex,0ex>\drop{231}\restore} & &&{{*{\circ}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{*{\circ}+0}&{{*{}+0}{\ar@{-}}[r] &{*{}+0}}&&{{*{\circ}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{{*{\circ}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{{*{\circ}+0}&{*{\circ}+0}&{*{\bullet}+0}}&&{{*{\circ}+0}&{*{\circ}+0}&{*{\bullet}+0}}\\ &&& &&{{*{\bullet}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{{*{\bullet}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{{*{\bullet}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{{*{\bullet}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{{*{\bullet}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{{*{\bullet}+0}&{*{\circ}+0}&{*{\circ}+0}}\\ \\ &&& &&{{*{\circ}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{*{\circ}+0}&{*{}+0}{\ar@{-}}[dd] {\ar@{-}}[r] &{*{}+0}{\ar@{-}}[d] &&{{*{\circ}+0}&{*{\circ}+0}&{*{\bullet}+0}}&&{{*{\circ}+0}&{*{\bullet}+0}&{*{\bullet}+0}}&&{{*{\circ}+0}&{*{\circ}+0}&{*{\bullet}+0}}&&{{*{\circ}+0}&{*{\bullet}+0}&{*{\bullet}+0}}\\ &&{\save+<0ex,0ex>\drop{312}\restore} & &&{{*{}+0}{\ar@{-}}[r] {\ar@{-}}[d] &{*{}+0}{\ar@{-}}[d]}&{*{\circ}+0}&&{*{}+0}{\ar@{-}}[rr] {\ar@{-}}[d] &&{*{}+0}&&{{*{}+0}{\ar@{-}}[r] {\ar@{-}}[d] &{*{}+0}{\ar@{-}}[d]}&{*{\circ}+0}&&{{*{}+0}{\ar@{-}}[r] {\ar@{-}}[d] &{*{}+0}{\ar@{-}}[d]}&{*{\circ}+0}&&{{*{}+0}{\ar@{-}}[r] {\ar@{-}}[d] &{*{}+0}{\ar@{-}}[d]}&{*{\bullet}+0}&&{{*{}+0}{\ar@{-}}[r] {\ar@{-}}[d] &{*{}+0}{\ar@{-}}[d]}&{*{\bullet}+0}\\ &&& &&{{*{}+0}{\ar@{-}}[r] &{*{}+0}}&{*{\circ}+0}&&{{*{}+0}{\ar@{-}}[r] &{*{}+0}}&{*{\circ}+0}&&{{*{}+0}{\ar@{-}}[r] &{*{}+0}}&{*{\circ}+0}&&{{*{}+0}{\ar@{-}}[r] &{*{}+0}}&{*{\circ}+0}&&{{*{}+0}{\ar@{-}}[r] &{*{}+0}}&{*{\circ}+0}&&{{*{}+0}{\ar@{-}}[r] &{*{}+0}}&{*{\circ}+0}\\ \\ &&& &&{{*{\circ}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{*{\circ}+0}&{{*{}+0}{\ar@{-}}[r] {\ar@{-}}[d] &{*{}+0}{\ar@{-}}[d]}&&{{*{\circ}+0}&{*{\circ}+0}&{*{\bullet}+0}}&&{{*{\circ}+0}&{*{\bullet}+0}&{*{\bullet}+0}}&&{{*{\circ}+0}&{*{\circ}+0}&{*{\bullet}+0}}&&{{*{\circ}+0}&{*{\bullet}+0}&{*{\bullet}+0}}\\ &&{\save+<0ex,0ex>\drop{132}\restore} & &&{{*{\bullet}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{*{\bullet}+0}&{{*{}+0}{\ar@{-}}[r] &{*{}+0}}&&{{*{\bullet}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{{*{\bullet}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{{*{\bullet}+0}&{*{\circ}+0}&{*{\bullet}+0}}&&{{*{\bullet}+0}&{*{\circ}+0}&{*{\bullet}+0}}\\ &&& &&{{*{\bullet}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{{*{\bullet}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{{*{\bullet}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{{*{\bullet}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{{*{\bullet}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{{*{\bullet}+0}&{*{\circ}+0}&{*{\circ}+0}}\\ \\ &&& &&{{*{\circ}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{*{\circ}+0}&{{*{}+0}{\ar@{-}}[r] {\ar@{-}}[d] &{*{}+0}{\ar@{-}}[d]}&&{{*{\circ}+0}&{*{\circ}+0}&{*{\bullet}+0}}&&{{*{\circ}+0}&{*{\bullet}+0}&{*{\bullet}+0}}&&{{*{\circ}+0}&{*{\circ}+0}&{*{\bullet}+0}}&&{{*{\circ}+0}&{*{\bullet}+0}&{*{\bullet}+0}}\\ &&{\save+<0ex,0ex>\drop{213}\restore} & &&{{*{\circ}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{*{\circ}+0}&{{*{}+0}{\ar@{-}}[r] &{*{}+0}}&&{{*{\circ}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{{*{\circ}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{{*{\circ}+0}&{*{\circ}+0}&{*{\bullet}+0}}&&{{*{\circ}+0}&{*{\circ}+0}&{*{\bullet}+0}}\\ &&& &&{{*{\bullet}+0}&{*{\bullet}+0}&{*{\circ}+0}}&&{{*{\bullet}+0}&{*{\bullet}+0}&{*{\circ}+0}}&&{{*{\bullet}+0}&{*{\bullet}+0}&{*{\circ}+0}}&&{{*{\bullet}+0}&{*{\bullet}+0}&{*{\circ}+0}}&&{{*{\bullet}+0}&{*{\bullet}+0}&{*{\circ}+0}}&&{{*{\bullet}+0}&{*{\bullet}+0}&{*{\circ}+0}}\\ \\ &&& &&{{*{\circ}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{*{\circ}+0}&{{*{}+0}{\ar@{-}}[r] {\ar@{-}}[d] &{*{}+0}{\ar@{-}}[d]}&&{{*{\circ}+0}&{*{\circ}+0}&{*{\bullet}+0}}&&{{*{\circ}+0}&{*{\bullet}+0}&{*{\bullet}+0}}&&{{*{\circ}+0}&{*{\circ}+0}&{*{\bullet}+0}}&&{{*{\circ}+0}&{*{\bullet}+0}&{*{\bullet}+0}}\\ &&{\save+<0ex,0ex>\drop{123}\restore} & &&{{*{\bullet}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{*{\bullet}+0}&{{*{}+0}{\ar@{-}}[r] &{*{}+0}}&&{{*{\bullet}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{{*{\bullet}+0}&{*{\circ}+0}&{*{\circ}+0}}&&{{*{\bullet}+0}&{*{\circ}+0}&{*{\bullet}+0}}&&{{*{\bullet}+0}&{*{\circ}+0}&{*{\bullet}+0}}\\ &&& &&{{*{\bullet}+0}&{*{\bullet}+0}&{*{\circ}+0}}&&{{*{\bullet}+0}&{*{\bullet}+0}&{*{\circ}+0}}&&{{*{\bullet}+0}&{*{\bullet}+0}&{*{\circ}+0}}&&{{*{\bullet}+0}&{*{\bullet}+0}&{*{\circ}+0}}&&{{*{\bullet}+0}&{*{\bullet}+0}&{*{\circ}+0}}&&{{*{\bullet}+0}&{*{\bullet}+0}&{*{\circ}+0}}\\ &&&&& }$$ Recall that a *noncommutative unique factorization domain* in the sense of @Cha [Definition, p.50], @ChJo [Definition, p.23] is a domain $R$ such that each nonzero prime ideal of $R$ contains a *prime element*, i.e., a nonzero normal element $p$ such that $R/Rp$ is a domain. \[HUFDfactors\] For any $H$-prime $J$ of $A$, the algebra $A/J$ is a noncommutative UFD. By arguments of Launois, Lenagan, and Rigal in @LLR [Proposition 1.6, Theorem 3.6] (cf. @GYcgl [Theorem 2.3]), it suffices to show that each nonzero $H$-prime of $A/J$ contains a prime $H$-eigenvector, i.e., for all $H$-primes $Q_v \supset Q_w$ in $A$ with $\operatorname{\operatorname{ht}}(Q_v/Q_w) = 1$, the ideal $Q_v/Q_w$ is generated by a normal $H$-eigenvector. In $25$ cases, namely when $w_- \ne 231$ and $w_+ \ne 312$, this is clear by inspection from Figure \[Hprimegens\]. Since $$\begin{aligned} S(Q_{321,231}) &= Q_{321,312} &S(Q_{312,321}) &= Q_{231,321} &S(Q_{312,231}) &= Q_{231,312} \end{aligned}$$ the cases $w= (321,231), (312,321), (312,231)$ follow immediately from the earlier cases. Next, observe that $S(Q_{132,231})$ must be an $H$-prime of height $3$. Since $$S(Q_{132,231}) = \langle X_{13}, [23|13],[23|12] \rangle \subseteq Q_{132,312}$$ and $\operatorname{\operatorname{ht}}(Q_{132,312}) = 3$, we find that $S(Q_{132,231}) = Q_{132,312}$. Hence, the case $w= (132,231)$ follows from the earlier cases. The cases $$w= (213,231),\, (123,231),\, (312,132),\, (312,213),\, (312,123)$$ are handled similarly. Only the cases $w= (231,231),(312,312)$ remain. Since $\tau$ interchanges $Q_{231,231}$ and $Q_{312,312}$, it suffices to deal with one of these cases. We concentrate on $w= (231,231)$. There are four indices $v$ such that $Q_v$ is an $H$-prime of height $3$ containing $Q_w$. In two of these cases, namely when $v= (132,231)$ or $v= (213,231)$, it is clear that $Q_v/Q_w$ is generated by a normal $H$-eigenvector. The remaining two cases are when $v= (231,132)$ or $(231,213)$. Since $\rho(Q_w) = Q_w$ and $\rho(Q_{231,132}) = Q_{231,213}$, we need only consider the case $v= (231,132)$. Note that $X_{12}$ is normal modulo $Q_{321,312}$. Applying $S$, we find that $[13|23]$ is normal modulo $Q_{321,231}$, and hence normal modulo $Q_w$. Next, observe that $S$ sends the ideal $K := Q_w + \langle [13|23] \rangle$ to $Q_{312,132}$, which is an $H$-prime of height $3$, so $K$ must be an $H$-prime of height $3$. However, $K \subseteq Q_v$ and $Q_v$ is an $H$-prime of height $3$, so we conclude that $K = Q_v$. This implies that $Q_v/Q_w$ is generated by the normal $H$-eigenvector $[13|23] + Q_w$, completing the proof. Recall that a *polynormal regular sequence* in a ring $R$ is a sequence of elements $u_1,\dots,u_n$ such that each $u_i$ is regular and normal modulo $\langle u_1,\dots,u_{i-1} \rangle$. If the $u_i$ are all normal in $R$, we refer to $u_1,\dots,u_n$ as a *regular normal sequence*. \[P/Jnormgen\] For any $J \in {H\text{-}\operatorname{spec}}A$ and $P \in \operatorname{\operatorname{spec}}_J A$, the ideal $P/J$ is generated by normal elements. In fact, $P/J$ is generated by a regular normal sequence, and thus $P$ is generated by a polynormal regular sequence. The argument of @primOqSL3 [§2.4(4)] shows that $J$ has a polynormal regular sequence of generators, and so we only need to show that $P/J$ has a regular normal sequence of generators. There is nothing to prove in case $P/J = 0$. If $P/J$ has height $1$, then $P/J$ is generated by a normal element $u$ because $A/J$ is a noncommutative UFD (Theorem \[HUFDfactors\]), and $u$ is regular because $A/J$ is a domain. Assume now that $\operatorname{\operatorname{ht}}(P/J) \ge 2$. Write $J = Q_w$, and let $Q^+_w$ denote the corresponding $H$-prime in ${{{{\mathcal O}}_q}(GL_3(k))}$. According to @primOqSL3 [Corollary 5.4, Theorem 5.5], the elements listed in position $w$ of @primOqSL3 [Figure 6] give regular normal sequences in ${{{{\mathcal O}}_q}(GL_3(k))}/Q^+_w$ and the ideals they generate cover all quotients $P^+/Q^+_w$ where $P^+ \in \operatorname{\operatorname{prim}}_w {{{{\mathcal O}}_q}(GL_3(k))}$. Consequently, the elements listed in position $w$ of @primOqSL3 [Figure 7] are normal in $A/Q_w$ and the ideals they generate cover all quotients $P'/Q_w$ where $P' \in \operatorname{\operatorname{prim}}_w A$. Note that in all but three cases, the number of elements listed is at most two. In these three cases, the quotients $P'/Q_w$ can be generated by two of the three elements listed, since $$\begin{gathered} \begin{aligned} {}[23|23] - \alpha^{-1} &= -\alpha^{-1} [23|23] (X_{11} - \alpha) &&\quad (w = (132,132)) \\ [12|12] - \alpha^{-1} &= -\alpha^{-1} [12|12] (X_{33} - \alpha) &&\quad (w = (213,213)) \end{aligned} \\ \begin{aligned} X_{33} - \alpha^{-1} \beta^{-1} &= -\alpha^{-1} X_{33} (X_{11}-\alpha) -\alpha^{-1} \beta^{-1} X_{11}X_{33} (X_{22}-\beta) \\ &\qquad (w= (123,123)). \end{aligned}\end{gathered}$$ Thus, in all cases, $P'/Q_w$ can be generated by two or fewer normal elements, and we conclude that $\operatorname{\operatorname{ht}}(P'/Q_w) \le 2$. Observe next that in the four cases $$w= (132,123), \, (213,123), \, (123,132), \, (123,213),$$ the quotients $P'/Q_w$ where $P' \in \operatorname{\operatorname{prim}}_w A$ can be generated by single normal elements, so they have height $1$. Since the primitive ideals in $\operatorname{\operatorname{spec}}_w A$ coincide with the maximal elements of that stratum, our assumption $\operatorname{\operatorname{ht}}(P/Q_w) \ge 2$ implies that $P \in \operatorname{\operatorname{prim}}_w A$. There are only six cases where this can occur: $$w = (321,321), \, (231,231), \, (312,312), \, (132,132), \, (213,213), (123,123).$$ In the first three of these cases, the first element of the regular normal sequence in position $w$ of @primOqSL3 [Figure 6] is $D_q - \alpha$, where $D_q$ is the quantum determinant and $\alpha \in {k^\times}$. Choosing $\alpha = 1$, we find that the remaining elements listed – i.e., those in position $w$ of @primOqSL3 [Figure 7] – give regular normal sequences in $A/Q_w$ and the ideals they generate cover all quotients $P'/Q_w$ where $P' \in \operatorname{\operatorname{prim}}_w A$. Thus, $P/Q_w$ is generated by a regular normal sequence in these cases. This likewise holds in the case $w = (123,123)$, since in that case, $A/Q_w$ is a commutative Laurent polynomial ring. The cases $w= (132,132),(213,213)$ remain. In both of these cases, $A/Q_w$ is isomorphic to the algebra $B := {{{\mathcal O}}_q}(GL_2(k))$, via an isomorphism that carries $P/Q_w$ to a maximal element of $\operatorname{\operatorname{spec}}_0 B$. As noted in Example \[oqgl2\], the maximal elements of $\operatorname{\operatorname{spec}}_0 B$ have the form $\langle b - \lambda c, \, \Delta - \mu \rangle$ for $\lambda, \mu \in {k^\times}$. The quotients $B/ \langle \Delta - \mu \rangle$ are isomorphic to ${{{\mathcal O}}_q}(SL_2(k))$, so they are domains. Consequently, $(\Delta - \mu, \, b - \lambda c)$ is a regular normal sequence in $B$. Therefore $P/Q_w$ is generated by a regular normal sequence in the final two cases. We now see that Conjecture \[fJKgJKconj\] holds in the present situation: \[conjverifOqSL3\] Let $A = {{{{\mathcal O}}_q}(SL_3(k))}$, with $q \in {k^\times}$ not a root of unity and $k={\overline{k}}$, and let the torus $H$ of act rationally on $A$ as in . Then both cases of Conjecture <span>\[fJKgJKconj\]</span> hold. Theorem \[P/Jnormgen\] and Propositions \[normgen\], \[conjreduc\]. Homological applications {#Homological} ======================== We establish the announced homological conditions for prime factor algebras of ${{{{\mathcal O}}_q}(SL_3(k))}$ here, and then show that these conditions do not hold for all prime factors of quantized coordinate rings of larger algebraic groups. We begin with the following consequence of Theorem \[P/Jnormgen\]. It was obtained for primitive factor algebras in @primOqSL3 [Theorem 6.1]. \[homolconseq\] Let $A = {{{{\mathcal O}}_q}(SL_3(k))}$, with $q \in {k^\times}$ not a root of unity and $k={\overline{k}}$. Then all prime factor algebras of $A$ are Auslander-Gorenstein and GK-Cohen-Macaulay. By Theorem \[P/Jnormgen\], any prime ideal $P$ of $A$ has a polynormal regular sequence of generators. Moreover, $A$ is Auslander-regular and GK-Cohen-Macaulay (e.g., @BG [Proposition I.9.12]). It thus follows from standard results, collected in @primOqSL3 [Theorem 7.2], that $A/P$ must be Auslander-Gorenstein and GK-Cohen-Macaulay. We now show that Theorem \[homolconseq\] does not extend to $\mathcal{O}_q(G)$ for an arbitrary group $G$, but rather is a consequence of the special circumstance that all the $H$-strata of ${{{{\mathcal O}}_q}(SL_3(k))}$ have dimension at most 2. We also prove that Theorem \[homolconseq\] cannot be improved so as to conclude that the prime factors of ${{{{\mathcal O}}_q}(SL_3(k))}$ have finite global dimension. For these results we need the following lemma. \[freeness\] Impose Assumptions <span>\[AHetc\]</span>. For any $J \in {H\text{-}\operatorname{spec}}A$, the algebra $A_J$ is a free module over its center. Moreover, there is a $Z(A_J)$-basis for $A_J$ that contains $1$. Theorem \[strat.thm\](a) says that $A_J$ is $H$-simple,
{'source': 'arXiv_out/1311'}