This thread on physicsforums elaborates a bit on the difference between Levi-Civita symbols and tensors. Based on that, I conclude...
1) Your index notation formula for the magnetic field should use the Levi-Civita tensor, then. The "symbol" is a convenient thing, but this expression must be written with tensors.
2) Carroll likely made a mistake and meant to talk about the Levi-Civita tensor's transformation properties.
3) Any expression where the same index appears on the bottom twice (or the top twice) is just laziness on the part of the author. It's a common laziness, especially in contexts where one doesn't discriminate between covariant and contravariant components, however.
Actually, I'm not sure what your question is here.
4) Again, I would say that this expression should use the tensor, not the symbol.
5) I see no reason why you wouldn't.
Just some general remarks on the Levi-Civita tensor/symbol and what they represent: a flat space has a unique "volume form" or "pseudoscalar". There is a unit volume element that all other volumes are scalar multiples of. This volume has an orientation (think of a volume spanned by vectors according to the right-hand rule vs. a left-hand rule).
The Levi-Civita tensor and symbol are related to this notion. The tensor represents the components of the unit volume element with respect to volume elements built by combinations of basis vectors.
The volume element can be used to perform duality operations. This is the foundation of the Hodge star operator. Using the $N$-dimensional Levi-Civita tensor on a tensor object with $k$ free indices yields a new object with $N-k$ free indices. This can be described geometrically, too. In 3d, scalars would go to volumes, vectors to planes, planes to vectors, and volumes to scalars under this duality operation. It is the explicit mapping of planes to vectors that is so often performed with duality--it allows us to cheat in 3d by dealing with only scalars and vectors. Planes and volumes can then be mapped back to vectors and scalars by duality. This is exactly what is done with the magnetic field and angular momentum. You should see clearly that both of these vectors, if not for the use of the Levi-Civita tensor, would be expressions with 2 free indices, and antisymmetric on those indices. These objects are called bivectors.
The Levi-Civita tensor and symbol are often used in physics and math to treat expressions through duality rather than directly--even when, in my opinion, this obscures the real physics of the problem or covers up for a shortcoming of the notation. Just the other day around here we had a question about building up 4-volumes from a single plane. Geometrically, this is obvious--you can't build a 4-volume from a single plane. But in index notation, it was cumbersome at best, involving finding the dual plane through use of the Levi-Civita tensor and taking traces.
Overall, the Levi-Civita tensor and its many indices can be difficult to work with, especially in arbitrary coordinate systems. I once heard a professor bemoan that all the identities another professor had taught students with Levi-Civita had only used the symbol--i.e. the tensor in cartesian coordinates--and so they weren't valid in arbitrary coordinate systems. The solution suggested was to teach students about tensor densities, which was met with skepticism at best, since there were only three professors in the whole department that, in the other professor's view, either cared about or even knew about tensor densities. I think part of this view is why the Levi-Civita symbol is often used instead; it's just easier to prove some things in cartesian coordinates, even if the resulting expression is not really correct (not really a tensor because the metric determinant has been ignored, etc.).
1.) Always choose indices in such a way that the free indices on both sides of the equation match. Furthermore, make sure that you don't mix up summation indices of different summations.
2.) Linearity implies that if you enter a sum as the argument of a Poisson brackets, you get a sum of Poisson brackets, with each of them having a single term your original sum as the argument, i.e.
\begin{equation}[\Sigma^N_{\alpha=1}B_\alpha,A]=[B_1,A]+[B_2,A]+[B_3,A]+\ldots+[B_N,A] \end{equation}
3.) If you mean something like
\begin{equation}\epsilon_{ijk}(A_{jl}\delta_{lk}+B_{kl}\delta_{jl})=\epsilon_{ijk}A_{jl}\delta_{lk}+\epsilon_{ijk}B_{kl}\delta_{jl}=\epsilon_{ijk}A_{jk}+\epsilon_{ijk}B_{kj},\end{equation}
the answer is yes.
Best Answer
The basic problem is that in $n$ dimensions you have $n$ indices on your orientation tensor so you have to map a $[q, 0]$-tensor to a $[0, n-q]$-tensor with one application.
You can probably get it with two, that is in $n$ dimensions we probably would have $$A^{[ab]} = \frac12 A^{ab} - \frac12 A^{ba} \propto \epsilon^{abcd\dots p} ~\epsilon_{cd\dots pqr}~A^{qr}$$ but there is a reason that this is a “weird thing to do” and it's that you can antisymmetrize in a non-orientable space so these notions must be formally separate, and we are here just describing a property that the orientation tensor should have when it exists.