Abstract:We show that modular forms of fractional weights on principal congruence subgroups of odd levels, which are found by T. Ibukiyama, naturally appear as characters being multiplied $\eta^{c_{\text{eff}}}$ of the so-called minimal models of type $(2, p)$, where $c_{\text{eff}}$ is the effective central charge of a minimal model. Using this fact and modular invariance property of the space of characters, we give a different proof of the result showned by Ibukiyama that is the explicit formula representing $\mathrm{SL}_{2}(\mathbb{Z})$ on the space of the ibukiyama modular forms. We also find several pairs of spaces of the Ibukiyama modular forms on $\Gamma(m)$ and $\Gamma(n)$ with $m|n$ having the property that the former are included in the latter. Finally, we construct vector-valued modular forms of weight $k\in\frac{1}{5}\mathbb{Z}_{>0}$ starting from the Ibukiyama modular forms of weight $k\in\frac{1}{5}\mathbb{Z}_{>0}$ with some multiplier system by a symmetric tensor product of this representation and show that the components functions coincides with the solution space of some monic modular linear differential equation of weight $k$ and the order $1+5k$.
What problem does this paper attempt to address?
The main problems that this paper attempts to solve include:
1. **Fractional Weights of Modular Forms**: Study the modular forms of fractional weights with odd levels on the principal congruence subgroups. These modular forms were discovered by T. Ibukiyama, and they naturally appear in the so - called minimal models of type (2, p).
2. **The Role of Minimal Models and Modular Invariance**: By using the modular invariance property, the author gives a new proof of the explicit formula of Ibukiyama modular forms on SL2(Z) and explores the relationship between these modular forms and the role of minimal models.
3. **Construction of Vector - valued Modular Forms**: Starting from Ibukiyama modular forms, vector - valued modular forms are constructed through the symmetric tensor product of their representations, and the consistency between the component functions of these vector - valued modular forms and the solution spaces of certain monodromy linear differential equations (MLDE) is shown.
4. **Inclusion Relations of Modular Form Spaces**: Look for several pairs of Ibukiyama modular form spaces on Γ(m) and Γ(n) such that the former is included in the latter, and verify this property.
### Specific Problems and Their Solutions
- **Problem 1**: How to prove that Ibukiyama modular forms satisfy a certain monodromy linear differential equation (MLDE), and that its solution space is equal to the given modular form space?
- **Solution**: By using the properties of modular invariance and the role of minimal models, the author proves that Ibukiyama modular forms satisfy MLDE under specific conditions, and that its solution space is consistent with the modular form space.
- **Problem 2**: How to construct vector - valued modular forms and verify the relationship between their component functions and the MLDE solution space?
- **Solution**: Vector - valued modular forms are constructed through the symmetric tensor product of Ibukiyama modular forms, and it is verified that the component functions of these vector - valued modular forms do match the solution space of MLDE.
- **Problem 3**: How to determine the inclusion relations between modular form spaces of different levels?
- **Solution**: Through specific calculations and verifications, the author has found several pairs of modular form spaces on Γ(m) and Γ(n) such that the former is included in the latter.
### Conclusion
This paper, through in - depth research on the relationship between Ibukiyama modular forms and the role of minimal models, not only provides new proof methods, but also reveals the inclusion relations of modular forms at different levels, and successfully constructs vector - valued modular forms, further expanding the application scope of modular form theory.
### Related Formulas
- **Definition of Ibukiyama Modular Forms**:
\[
f_r(\tau)=\frac{\Theta_{\mathbf{m}_r}(p\tau)}{\eta(\tau)^{3 / p}} e\left(\frac{(p - 1)(r - 1)}{4p}\right), \quad \mathbf{m}_r=\left(\frac{r}{2p},\frac{1}{2}\right)
\]
- **Effective Central Charge**:
\[
c_{\text{eff}}=c - 24h_{\min}
\]
- **Central Charge and Conformal Weight of Minimal Models**:
\[
c = c_{P,Q}=1-\frac{6(P - Q)^2}{PQ}, \quad h_{r,s}=\frac{(rQ - sP)^2-(P - Q)^2}{4PQ}
\]
- **Modular Linear Differential Equation**:
\[
d_k^n(f)+\sum_{i = 0}^{n - 1}P_i d_k^i(f)=0
\]
where \(d_k\) is the Serre derivative, and \(P_i\) is a holomorphic modular form of weight \(2(n - i)\).
Through these formulas and derivations, the paper successfully solves the above - mentioned problems and provides a solid foundation for further research.