Antenne collective

Bonjour,
Propriétaire de 2 logements dans une résidence de 6 appartements, je viens de constater, lors du dernier état des lieux d'entrée, que l'antenne collective n'est plus branchée.
Initialement placée au milieu de la toiture, elle aurait bougée avec le vent et de ce fait elle a été déplacée sur la façade en bout d'immeuble mais non raccordée aux appartements.
.Les 4 autres propriétaires habitent sur place et n'ont visiblement pas besoin de l'antenne collective sous prétexte de box, wi-fi etc...
Mais l'un de me locataires aimerait bien avoir accès à la télévision dans sa chambre d'une part,et d'autre part je viens en conséquence d'établir un bail erroné, mentionnant l'existence d'une antenne collective...
Puis-je demander au syndic de faire le nécessaire pour le branchement qui s'impose ?
Merci d'avance