1: \begin{abstract}

2: We study some functionals that describe the density of vortex lines in

3: superconductors subject to an applied magnetic field, and in Bose-Einstein

4: condensates subject to rotational forcing, in quite general domains in 3

5: dimensions. These functionals are derived from more basic models via

6: Gamma-convergence, here and in the companion paper \cite{BJOS1}. In our main results, we

7: use these functionals to obtain descriptions of the critical applied

8: magnetic field (for superconductors) and forcing (for Bose-Einstein),

9: above which ground states exhibit nontrivial vorticity, as well as a characterization of the vortex density in terms of a

10: non local vector-valued generalization of the classical obstacle problem.

11: \end{abstract}

12: