Algebraic group not implies topological group: Difference between revisions

Latest revision as of 17:43, 27 July 2013

Statement

An algebraic group comes equipped with a Zariski topology on its underlying set. With this topology, it need not be a topological group.

Related facts

Topological and quasitopological groups

Algebraic group implies quasitopological group: This basically says that the left and right multiplication maps and the inverse map are continuous.
Topological group implies quasitopological group

Failure of Hausdorffness

For topological groups, the T0 condition is equivalent to the T1 condition, which is equivalent to the Hausdorff condition, which is equivalent to regularity and to complete regularity. See T0 topological group and equivalence of definitions of T0 topological group.

However, for quasitopological groups, being a T0 quasitopological group is equivalent to being $T_{1}$ but it is not equivalent to the Hausdorff condition. In fact, if the underlying variety is irreducible (which is always the case for a connected algebraic group), and the group is nontrivial, then it is not Hausdorff.

Proof

Where the naive reasoning fails

The naive reasoning may be that for an algebraic group $G$ , the group multiplication is an algebraic map from $G\times G$ to $G$ , hence it is a continuous map from $G\times G$ to $G$ .

The problem is that the Zariski topology on $G\times G$ is not the product topology on $G\times G$ arising from Zariski topologies on $G$ . In fact, the Zariski topology on $G\times G$ is a lot finer, i.e., has a lot more open sets. Thus, continuity of multiplication with respect to the Zariski topology is a lot weaker than continuity with respect to the product topology.

Example

Consider any example of a one-dimensional algebraic group over an infinite field $K$ . For concreteness, we take the additive group of $K$ . The group operation $K\times K\to K$ is given by $(g,h)\mapsto g+h$ . The Zariski topology is the cofinite topology in this case. However, we know that infinite group with cofinite topology is not a topological group, so $K$ is not a topological group with the Zariski topology.

Proof based on how topological groups behave

See the discussion #Failure of Hausdorffness. This can be converted to a proof.

@@ Line 5: / Line 5: @@
 ==Related facts==
-===Topological and semitopological groups===
+===Topological and quasitopological groups===
-* [[Algebraic group implies semitopological group]]: This basically says that the left and right multiplication maps and the inverse map are continuous.
+* [[Algebraic group implies quasitopological group]]: This basically says that the left and right multiplication maps and the inverse map are continuous.
-* [[Topological group implies semitopological group]]
+* [[Topological group implies quasitopological group]]
 ===Failure of Hausdorffness===
-For [[topological group]]s, the T0 condition is equivalent to the T1 condition, which is equivalent to the Hausdorff condition, which is equivalent to regularity and to complete regularity. See [[T0 topological group]] and [[equivalence of definition of T0 topological group]].
+For [[topological group]]s, the T0 condition is equivalent to the T1 condition, which is equivalent to the Hausdorff condition, which is equivalent to regularity and to complete regularity. See [[T0 topological group]] and [[equivalence of definitions of T0 topological group]].
-However, for [[semitopological group]]s, being a [[T0 semitopological group]] is equivalent to being <math>T_1</math> but it is ''not'' equivalent to the Hausdorff condition. In fact, if the underlying variety is irreducible (which is always the case for a [[connected algebraic group]]), and the group is nontrivial, then it is ''not'' Hausdorff.
+However, for [[quasitopological group]]s, being a [[T0 quasitopological group]] is equivalent to being <math>T_1</math> but it is ''not'' equivalent to the Hausdorff condition. In fact, if the underlying variety is irreducible (which is always the case for a [[connected algebraic group]]), and the group is nontrivial, then it is ''not'' Hausdorff.
 ==Proof==
@@ Line 26: / Line 26: @@
 ===Example===
-Consider any example of a one-dimensional algebraic group over an infinite field <math>K</math>. For concreteness, we take the additive group of <math>K</math>. The group operation <math>K \times K \to K</math> is given by <math>(g,h) \mapsto g + h</math>.
+Consider any example of a one-dimensional algebraic group over an infinite field <math>K</math>. For concreteness, we take the additive group of <math>K</math>. The group operation <math>K \times K \to K</math> is given by <math>(g,h) \mapsto g + h</math>. The Zariski topology is the cofinite topology in this case. However, we know that [[infinite group with cofinite topology is not a topological group]], so <math>K</math> is not a topological group with the Zariski topology.
-If we take the ''product'' topology on <math>K \times K</math> with respect to the Zariski topology on <math>K</math>, we get a topology with a basis given by sets of the form <math>U \times V</math> where both <math>U,V</math> are cofinite. In particular, this means that for any proper closed subset <math>C</math> of <math>K \times K</math>, there are finite subsets <math>A,B</math>  of <math>K</math> such that for each element of <math>C</math>, either the first coordinate lies in <math>A</math> or the second coordinate lies in <math>B</math>.
-Consider the inverse image of 0 under the addition map <math>K \times K \to K</math>. Since the topology on <math>K</math> is T1, the point <math>\{ 0 \}</math> is closed. However, its inverse image under the addition map is not closed with respect to the topology described above. The upshot is that the addition map is not continuous with respect to the topology.
 ===Proof based on how topological groups behave===
 See the discussion [[#Failure of Hausdorffness]]. This can be converted to a proof.