We construct from a finitary exact category with duality A a module over its Hall algebra, called the Hall module, encoding the first order self-dual extension structure of A. We study in detail Hall modules arising from the representation theory of a quiver with involution. In this case we show that the Hall module is naturally a module over the specialized reduced σ-analogue of the quantum Kac-Moody algebra attached to the quiver. For finite type quivers, we explicitly determine the decomposition of the Hall module into irreducible highest weight modules.Date: November 9, 2018. 2010 Mathematics Subject Classification. Primary: 16G20 ; Secondary 17B37. Key words and phrases. Representations of quivers, Hall algebras, quantum groups. 1 2 M. B. YOUNGinterest. In Theorem 2.9, we prove an identity relating E, the Euler form and the stacky number of self-dual extensions in the case that A is hereditary. The proof develops some basic self-dual homological algebra and uses the combinatorics of self-dual analogues of Grothendieck's extensions panachées [12], [4].In Section 3 we study Hall modules arising from the representation theory of a quiver with contravariant involution (Q, σ). From the involution and a choice of signs we define a duality structure on Rep Fq (Q), with q odd. For particular signs, the self-dual objects coincide with the orthogonal and symplectic representations of Derksen and Weyman [7]. The module and comodule structures are incompatible in that M Q is not a Hopf module, even in a twisted sense. In Theorem 3.5, we instead show that the action and coaction of the simple representationsThe proof is combinatorial in nature and involves counting configurations of pairs of self-dual exact sequences, in the spirit of Green's proof of the bialgebra structure of the Hall algebra [11]. We describe in Theorem 3.10 the decomposition of M Q into irreducible highest weight B σ (g Q )-modules. The generators are cuspidal elements of M Q , i.e. elements that are annihilated by the coaction of each [S i ]. The proof relies on a canonically defined non-degenerate bilinear form on the Hall module and a characterization of irreducible highest weight modules due to Enomoto and Kashiwara [9].In Section 4 we restrict attention to finite type quivers. Unlike ordinary quiver representations, self-dual representations in general have non-trivial F q /F q -forms. We extend results of [7] (over algebraically closed fields) to explicitly describe all such forms and classify the indecomposable self-dual F q -representations. The classification is summarized in Theorem 4.2 where a partial root theoretic interpretation of the indecomposables is given. The main application of this result is to the explicit decomposition of Hall modules of finite type quivers into irreducible highest weight B σ (g Q )-modules; see Theorems 4.4 and 4.6. The generators are written as alternating sums of the F q /F q -forms of self-dual indecomposables.In [8], Enomoto proved a result related to Theorems 3.5 and 3.10, showing that induction and restr...