Math 2.0

Group theory and generalizations Definition

Borel subgroup

Builds on Linear algebraic groupSolvable groupZariski topologyGeneral linear group

Definition

Let kk be an algebraically closed field, and let GG be a linear algebraic group over kk. A Borel subgroup of GG is a subgroup B⊆GB \subseteq G such that:

  1. BB is closed in the Zariski topology;
  2. BB is connected and solvable;
  3. BB is maximal among the subgroups with properties 1 and 2.

Remarks

Over an arbitrary field kk, a closed subgroup BB of GG is called a Borel subgroup if B×kkˉB \times_k \bar{k} is a Borel subgroup of G×kkˉG \times_k \bar{k}.

Example: in G=GLnG = \mathrm{GL}_n the group BB of invertible upper triangular matrices is a Borel subgroup. It is closed, cut out by xij=0x_{ij} = 0 for i>ji > j. It is connected and solvable, since its commutator subgroup consists of unipotent upper triangular matrices. It is maximal: by the Lie–Kolchin theorem, a connected solvable subgroup B′⊇BB' \supseteq B fixes some full flag, and the only full flag fixed by BB is the standard one, so B′⊆BB' \subseteq B.

Non-example: in GL2\mathrm{GL}_2, the diagonal torus TT is closed, connected and solvable, but it fails clause 3, since T⊊BT \subsetneq B for the upper triangular group BB.

All Borel subgroups of GG are conjugate, and G/BG / B is a projective variety.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. General linear group object
  2. Linear algebraic group concept
  3. Solvable group concept
  4. Zariski topology concept
  5. Borel subgroup definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Borel_subgroup
About this page
TagR7FTZ813DA
URIm2://R7FTZ813DA
Kinddefinition
WritingW0 stub
MSC20G07, 20G15
DefinesBorel subgroup
UsesLinear algebraic group, Solvable group, Zariski topology, General linear group

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.