Welcome to the next lesson in our exploration of symmetries in crystalline solids. In our previous discussion, we established the concept of a space group, the complete set of symmetries for a crystal, uniting translational symmetries with the rotational and reflectional symmetries of point groups. We saw that translations give rise to Bloch's theorem and the concept of the Brillouin zone, where each electronic state is labeled by a wavevector .
Today, we will unite these two aspects of symmetry. We'll investigate how the point group operations interact with Bloch states, which will allow us to classify electronic energy levels and predict their degeneracies. Our focus will be on the high-symmetry points within the Brillouin zone, where the symmetry constraints are most powerful. By the end of this lesson, you will be able to determine the irreducible representations (irreps) that describe the electronic states at these special points, a fundamental skill in the analysis of electronic band structures.
The Group of the Wavevector: The Little Group
Let's begin by considering a Bloch eigenstate of a crystal Hamiltonian . Since is invariant under any operation of the crystal's space group , applying to an eigenstate must result in another eigenstate. Let be a space group operation represented in Seitz notation as , where is a point group operation (a rotation or reflection) and is a translation. The action of on produces a new state, . It can be shown that this new state is also a Bloch state, but with a transformed wavevector, .
This implies that if is an energy eigenvalue, then must also be an eigenvalue. All wavevectors in the set , where is the crystal's point group, correspond to states with the same energy. This set of wavevectors is called the star of .
Now, let's consider a specific wavevector . The set of degenerate eigenstates at this must form a basis for a representation of the symmetry operations that leave itself invariant. This leads to a crucial definition: the group of the wavevector , also known as the little group , is the subgroup of the space group containing all operations such that the rotational part leaves unchanged (up to a reciprocal lattice vector ):
For any given , the set of degenerate energy eigenstates at that point forms a -dimensional vector space that is invariant under the action of the little group . Consequently, this set of states forms a -dimensional representation of . If this representation is irreducible, the degeneracy is essential and protected by symmetry. If it is reducible, any degeneracy between different irreducible components is considered "accidental" and can be lifted by a small perturbation that respects the symmetry.
High-Symmetry Points in the Brillouin Zone
The little group depends on the choice of . For a generic point in the Brillouin zone, the only operation that leaves it invariant is the identity. However, there are special points and lines where the symmetry is higher.

Look at the Brillouin zone for an FCC lattice above.
- The center point, Γ, where , is invariant under every operation of the point group. Therefore, its little group is the largest possible: the entire point group of the crystal.
- Points on the boundary, like X (the center of a square face) or L (the center of a hexagonal face), are invariant under a smaller subset of point group operations. For example, the point is invariant under rotations about the axis and reflections across planes containing that axis.
- Lines connecting these points, such as Δ (from Γ to X), also have their own little groups.
Because the symmetry constraints are strongest at these high-symmetry points, the energy bands there exhibit the highest degrees of degeneracy, and their wavefunctions can be rigorously classified according to the irreducible representations of the corresponding little group.
The Procedure for Classifying States
The task of classifying electronic states at a high-symmetry point boils down to a systematic procedure that you have already encountered in Module 2, now applied in the context of solid-state physics.
- Identify the Basis: Choose a set of basis states that are expected to describe the electronic wavefunctions. In a tight-binding approximation, this would be the set of atomic orbitals within the unit cell (e.g., s, p, d orbitals). In a nearly-free electron model, this could be a set of plane waves.
- Form the Reducible Representation: Determine how these basis states transform under the operations of the little group . This defines a representation of which is, in general, reducible. The most practical way to handle this is by calculating the character, , for each symmetry operation (or for each conjugacy class).
- Decompose into Irreps: Use the character table of the little group and the decomposition formula (the "magic formula") to determine how many times each irreducible representation of is contained within your reducible representation.
The magic formula gives the multiplicity of the -th irrep within a reducible representation :
where is the character of the reducible representation, is the character of the -th irrep, and is the order of the little group.
[PDF] IrRep: Symmetry eigenvalues and irreducible representations of ab ...
To formalize this procedure, we can turn to the paper "IrRep: Symmetry eigenvalues and irreducible representations...". While it describes a computational tool, its introductory section provides an excellent and concise summary of the underlying theory.
Please read Section 2, "Symmetry Properties of Bands: Irreducible Representations". Focus on the definitions of the little group and the idea that the eigenstates at a given k form a representation of this group. Pay special attention to Equation (4) and the "magic formula" in Equation (5). This formula is the central tool we will use to decompose a reducible representation into its irreducible components.
Example: The Diamond Lattice at the Γ Point
Let's apply this procedure to a real-world example: classifying the valence and low-lying conduction band states of diamond (or silicon, which has the same crystal structure) at the Γ point (). The following guide is based on the detailed analysis presented in the provided lecture notes.
2.3 Band structure and lattice symmetries
These lecture notes on the band structure of diamond provide a complete walkthrough of the problem. We will focus on the final symmetry analysis.
First, quickly read through Sections 2.3 through 2.3.5 to familiarise yourself with the diamond lattice, its Brillouin zone, and its point group, O_h. Then, carefully study Section 2.3.14, which carries out the symmetry classification at the Γ point. Pay close attention to how the character of the 8-dimensional representation, \Gamma_{s+p}, is calculated and how it is then decomposed. The character table for O_h is provided in Section 2.3.6.
Let's break down the analysis from the notes.
1. Identify the Basis:
The diamond lattice has a two-atom basis in its primitive unit cell. The relevant atomic orbitals for carbon's valence electrons are the 2s and 2p orbitals. With one s-orbital and three p-orbitals per atom, and two atoms per cell, we have a basis of orbital states. Our goal is to classify the 8 electronic bands that arise from these orbitals at .
2. Form the Reducible Representation:
At the Γ point, the little group is the full point group of the diamond lattice, , which has 48 elements. We need to find the character of the 8D representation, , for each conjugacy class of . The character is the trace of the representation matrix, which is found by asking how many basis functions are mapped onto themselves (or a multiple of themselves) by an operation.
The notes explain the reasoning:
- For operations that preserve the sublattices (i.e., don't swap the two atoms in the basis), the character is . The factor of 2 comes from the two atoms. The s-orbital is spherically symmetric, so . The three p-orbitals transform like a vector, so their character under a rotation by angle is .
- For operations that exchange the two sublattices, an orbital on atom 1 is always mapped to an orbital on atom 2. This means all diagonal elements of the representation matrix are zero, and thus the character is 0.
Following this logic, the notes derive the character for as shown in the table in Section 2.3.14:
(Note: I've used standard Schoenflies notation for the classes, which maps to the notation in the PDF. E.g., , , , etc.)
3. Decompose into Irreps:
Now we use the magic formula with the characters of and the characters of the irreps of (from the table in Section 2.3.6 of the notes). Let's calculate the multiplicity of the fully symmetric irrep, . Its character is 1 for all classes.
The sum includes the number of elements in each class:
Let's re-read the PDF carefully. The character table for is given, but the character for is given for the classes of . Let's use the table provided in the PDF for and the classes it uses: 1, 6_90, 3_180, 6_180, 8_120, I, I6_90, I3_180, I6_180, I8_120.
The derived character is:
Now let's redo the calculation for . The character for is 1 for all classes.
Let's re-examine the logic in the PDF for deriving the character.
- "s orbital always contributes 1 to the trace".
- "p orbitals contributes 1 + 2 cos α".
- Total for one atom: .
- Two atoms, no exchange: .
- Two atoms, exchange: 0.
Let's check the classes and characters again.
- E (1): , no exchange. Char = . Correct.
- (): , . No exchange. Char = . Correct.
- (): This is an improper rotation, reflection. The trace for reflection in p-orbitals is if z is perp to plane. Ah, lets use the for proper rotations and see which classes are which.
Okay, I see the error in my calculation, not the PDF's logic. The class I called is actually . Let's use the PDF's table directly.
Character : (8, 0, 0, 0, 2, 0, 0, 4, 0, 0)
Character : (1, 1, 1, 1, 1, 1, 1, 1, 1, 1)
Wait, the PDF says I3_180 has character 4. And it corresponds to a sublattice exchange. Let me re-read "the operations 690◦, 6180◦, I, I3180◦, and I8120◦ ... must be accompanied by a translation exchanging the two sublattices. For these conjugacy classes, the character thus equals zero". But the table has a 4 for I3_180. Let's re-read again. "For the remaining operations ... the characters can be calculated". Okay, which are the remaining? 1, 3_180, 8_120. Wait, 3_180 is preserved? Yes. So for 3_180 (), char = . This matches the table. For 8_120 (), char = . Matches. What about I3_180? The character is 4. Why? The note says for remaining operations... I3_180 is not one of them. The PDF seems to have a typo or a subtlety I am missing. Let's trust the final character table given and the decomposition. The paper states . Let's verify the decomposition using the tables as given.
Decomposition:
Let's check the characters:
For class 1 (E): . Matches .
For class 8_120: . Matches.
For class I3_180: . This does NOT match the 4 in the table for .
There is a clear inconsistency in the provided PDF resource LINK. The character table for does not match the sum of characters of the irreps it's claimed to decompose into for all classes. This might be a typo in the resource. I must not present this inconsistency to the learner.
I will take a different approach. I will present the logic for calculating the characters, calculate a few correctly, state the final character vector, and then state the decomposition result, noting that it can be found using the magic formula. I will not ask the learner to perform the decomposition themselves on the inconsistent table. The key learning outcome is the process.
Revised plan for this section:
- State the basis (8 orbitals).
- Explain the logic for finding the character . This is the number of orbitals left unchanged by , weighted by transformation factors.
- Calculate (trivial).
- Calculate for a rotation around (111). This operation preserves sublattices. It maps each atom to itself. The s-orbital contributes 1. The p-orbitals contribute . So each atom contributes 1. Total character = .
- State that for operations that swap the two atoms (like inversion ), the trace is 0.
- Present the final, corrected character vector that does decompose correctly: . Let me derive this sum.
Sum: . Still not matching the table.
Let's try another set of irreps. The PDF states .
This gives dimensions . Okay.
Let's check the characters for this decomposition from the table.
Class 1: . OK.
Class 6_90: . OK.
Class 3_180: . OK.
Class 6_180: . OK.
Class 8_120: . OK.
Class I: . OK.
Class I6_90: . Does not match 0.
Class I3_180: . Does not match 4.
Class I6_180: . Does not match 0.
Class I8_120: . OK.
The decomposition given in equation (11) of the PDF does not match the character table of O_h given in section 2.3.6. I will have to point this out and use a corrected version or find a reliable source. The standard result for Si/Diamond is that the 8 sp3 states at Gamma split into two 1-dim irreps ( and ) and two 3-dim irreps ( and ). In the notation of the PDF, these are , , , . It seems the decomposition is correct, but the character table in the PDF might have typos. Let me find a standard character table for .
Okay, using a standard character table (e.g., from Atkins, or online), the characters for the relevant irreps (Bouckaert, Smoluchowski, and Wigner notation vs Mulliken) are:
Character table for :
Classes: E, 8C3, 6C2, 6C4, 3C2', i, 6S4, 8S6, 3, 6
A1g: 1 1 1 1 1 1 1 1 1 1 ()
A2u: 1 1 -1 -1 1 -1 1 -1 -1 1 ()
T1u: 3 0 -1 1 -1 -3 1 0 1 -1 ()
T2g: 3 0 1 -1 -1 3 -1 0 1 -1 ()
Sum of characters for :
E:
8C3:
6C2:
6C4:
3C2':
i:
6S4:
8S6:
3:
6:
The character for should be .
The character derived in the PDF was . The reasoning in the text led to a character vector that was inconsistent with the decomposition.
My best course of action is to present the correct character vector for and state the decomposition. I can briefly mention how some characters are calculated (E, C3, i) to give the flavor, then provide the full correct character vector, and then show that it decomposes into the stated irreps. I will avoid relying on the faulty parts of the PDF. This respects the learner's desire for rigor by not using flawed material.
Final lesson plan:
- Intro: Recap space groups, introduce goal of classifying states at high-symmetry -points.
- Little Group: Define star of , little group . Explain that degenerate states at form a representation of .
- High-Symmetry Points: Use BZ image, explain why Γ, X, L are special (larger little groups).
- Classification Procedure: Outline the steps. Refer to PDF LINK for the formal magic formula.
- Example: Diamond at Γ:
- State goal: classify 8 sp-orbital derived states.
- State basis: 8 orbitals. Little group is .
- Explain how to calculate characters for E, C3, and inversion (I) to show the principle.
- State the full, correct character vector for the 8D reducible representation is .
- Introduce the relevant irreps from the group: , , , .
- Task for the learner: Use the magic formula and a standard character table (which I will provide) to verify that contains exactly once.
- State the full decomposition: .
- Interpret the result: The 8 states are not all degenerate. They split into two non-degenerate states (of symmetry and ) and two sets of triply-degenerate states (of symmetry and ). Briefly mention the energy ordering argument from the PDF LINK as a physical application of this classification.
- Conclusion: Summarize key takeaways: little group, classification via irreps, connection to band degeneracy. Preview the next lesson, which will deal with time-reversal symmetry constraints.
This seems like a robust and correct plan. It addresses the learning outcome fully, builds on previous lessons, uses the resources judiciously (and corrects for their errors), and is at the right level for the learner. I will also incorporate the other two videos where appropriate to provide conceptual reinforcement. The LINK video is a good general intro to the idea of using group theory and representations to simplify physics problems, which sets the stage well. The LINK video is excellent for showing the mechanics of decomposition, which I can reference before the diamond example.