Abelian gauge symmetries and proton decay in globalF-theory GUTs | Synapse