Se propone desarrollar una formulación cuántica consistente del modelo sigma no lineal en presencia de simetría gauge local, mediante la implementación rigurosa del formalismo BRST. A partir del análisis clásico de los bosones de Goldstone y su interacción con campos gauge no abelianos, se buscará identificar los grados de libertad físicos del sistema a través de una caracterización cohomológica del espacio de estados. Como parte del estudio, se derivarán explícitamente la corriente y la carga BRST, se establecerán las transformaciones invariantes de los campos, y se analizará la estructura del espacio de Hilbert cuántico resultante, garantizando así la unitariedad y consistencia de la teoría.