  Quantum entanglement was first recognized as a feature of quantum mechanics
in the famous paper of Einstein, Podolsky and Rosen [18]. Recently it has been
realized that quantum entanglement is a key ingredient in quantum computation,
quantum communication and quantum cryptography ([16],[17],[6]). In this paper,
we introduce algebraic sets, which are determinantal varieties in the complex
projective spaces or the products of complex projective spaces, for the mixed
states in bipartite or multipartite quantum systems as their invariants under
local unitary transformations. These invariants are naturally arised from the
physical consideration of measuring mixed states by separable pure states. In
this way algebraic geometry and complex differential geometry of these
algebraic sets turn to be powerful tools for the understanding of quantum
enatanglement. Our construction has applications in the following important
topics in quantum information theory: 1) separability criterion, it is proved
the algebraic sets have to be the sum of the linear subspaces if the mixed
states are separable; 2) lower bound of Schmidt numbers, that is, generic low
rank bipartite mixed states are entangled in many degrees of freedom; 3)
simulation of Hamiltonians, it is proved the simulation of semi-positive
Hamiltonians of the same rank implies the projective isomorphisms of the
corresponding algebraic sets; 4) construction of bound enatanglement, examples
of the entangled mixed states which are invariant under partial transpositions
(thus PPT bound entanglement) are constructed systematically from our new
separability criterion. On the other hand many examples of entangled mixed
states with rich algebraic-geometric structure in their associated
determinantal varieties are constructed and studied from this point of view.
