  We formulate a few conjectures on some hypothetical coherent sheaves on the
stacks of arithmetic local Langlands parameters, including their roles played
in the local-global compatibility in the Langlands program. We survey some
known results as evidences of these conjectures.
