On surfaces obtained as singular loci of normal congruences of frontals with pure-frontal singular points
We study singularities and geometric properties of surfaces given by the singular loci of normal congruence of frontals with pure-frontal singular points. These surfaces consist of the normal ruled surface and focal surfaces of the initial frontal. For the normal ruled surface, we give characterizations of singularities in terms of geometric invariants of the initial frontal defined on the set of singular points. For focal surfaces, we show relation between certain singularities of them and geometric property of the given frontal. Moreover, we consider behavior of Gaussian curvature of focal surfaces of frontal with a $5/2$-cuspidal edge.