Skip to main content
Dmitry Vaintrob's user avatar
Dmitry Vaintrob's user avatar
Dmitry Vaintrob's user avatar
Dmitry Vaintrob
  • Member for 14 years, 5 months
  • Last seen more than 1 year ago
  • Cambridge, MA
Loading…
revised
Question about local description of the branch locus
some last-minute edits to part after "Edit".
Loading…
revised
Question about local description of the branch locus
Added the explanation after "Edit", in response to request for clarification
Loading…
comment
Question about local description of the branch locus
The problem is local, so we can assume $X$ affine. And since the equation for each added coordinate is independent of the rest, you get that your space is the fiber product over $X$ of the spaces defined by $O_X[T_i]/(T_i^n-x_i).$ (This is a very fundamental property of tensor products, which can be checked from the definition). If you believe what I said about ramification of fiber products, this reduces to checking what you said for a single $O_X[T_i]/(T^i-x_i). Now if a space is given by an equation like this over a base, the ramification divisor is the vanishing locus of the derivative.
accepted
Loading…
comment
A basis for Schur functors
Thanks. Could you say how Young symmetrizers give a basis? As far as I understand them, they project $V^{\otimes n}$ to the Schur functor, but they certainly don't project basis vectors to linearly independent elements. Is there some dual way of looking at them that fixes this problem?
revised
Loading…
answered
Loading…
asked
Loading…
Loading…
awarded
Loading…
comment
Can a simple lie algebra be determined by weights of its representation?
Thanks Victor! These are indeed counterexamples to my (intended) question.
comment
A product identity for partitions
Thanks! The paper is exactly what I need. The trick seems to be to rotate a rectangle in the young tableau.
accepted
asked
Loading…
accepted
comment
de jong's alteration theorem for families
Thanks! I didn't see his Theorem 5.9. Is it kosher on MO to accept an answer and rewrite an edited version of a question? Qing, you're right that I'd like $S'\to S$ to be surjective (and not necessarily smooth), and it's enough for $X'/S'$ to be semistable rather than smooth. This is more like Theorem 6.5 in dJ's original paper, and for this the general case is equivalent to the $S$ local one. Is there a counterexample with some $S$ some higher-dimensional local ring?