I wonder how modular property naturally arises in conformal theory. Is it obvious from physical viewpoint?
Yes -- see Cardy's paper Operator content of two-dimensional conformally invariant theories. In a nutshell, the torus partition function of a conformal theory can be computed using a transfer matrix in several ways. The equivalence of these different calculations is the modular invariance of the torus partition function.