User alexander woo - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T00:10:47Z http://mathoverflow.net/feeds/user/3077 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/110962/smoothness-properties-of-the-springer-fiber/110967#110967 Answer by Alexander Woo for Smoothness properties of the Springer fiber Alexander Woo 2012-10-29T06:10:11Z 2012-10-29T06:10:11Z <p>I am pretty sure what you are aware of is all that is known (publicly at least) about Springer components. You may want to try asking Fresse or Melnikov or Perrin directly. You should not expect a general result, but they may be making further progress on special cases.</p> <p>As for your secondary question, my understanding (keeping in mind that I only understand this vaguely) is that Kazhdan--Lusztig polynomials were originally defined to answer precisely this question. In particular, the coefficients of $q^{(\ell(w)-\ell(v)-1)/2}$ (the largest possible by definition) in $P_{v,w}(q)$ give these matrix coefficients. (In particular, the Kazhdan--Lusztig cell representations of the Hecke algebra are the Springer representations.) Either you consider this an explicit and practical expression, or, given the state of explicit combinatorial knowledge about Kazhdan--Lusztig polynomials, you consider this as evidence the problem is impossible.</p> http://mathoverflow.net/questions/106230/schubert-varieties-which-admit-small-resolutions-of-singularities/106293#106293 Answer by Alexander Woo for Schubert varieties which admit small resolutions of singularities Alexander Woo 2012-09-04T02:01:54Z 2012-09-05T19:51:05Z <p>For the Hermitian symmetric $G/P$, Nicolas Perrin explicitly classified all the Schubert varieties admitting a small resolution. (More explicitly, he classifies all the minimal models and quotes a theorem that says a small resolution is a smooth minimal model.) If I remember correctly, except for some very small rank exceptions, type A, and the obvious cases (e.g. projective space), all $G/P$ have a Schubert without a small resolution. Fortunately, there are few enough minimal models for the Hermitian symmetric cases that even in the non-smooth case, their intersection cohomology have a reasonable description, leading to the (previously known) explicit formulas for KL-polynomials. (These formulas are summarized in a paper by Boe that proves the final cases and summarizes and refers to the cases done earlier.)</p> <p>In type A, there is a Schubert without a small resolution for any 2-step flag variety where the two steps are not adjacent. (The example mentioned in the Zelevinsky paper (which he notes as being due to MacPherson) generalizes to all such cases.) This also means there is a Schubert without a small resolution for any 3-or-more-step flag variety.</p> <p>This leaves as the only case (barring low rank exceptions) adjacent 2-step flag varieties. I have not seen this resolved in the literature. I suspect there is a Schubert variety in those cases without a small resolution provided the steps are at least two away from both ends. In fact I have an explicit expected counterexample, but I have never learned the tools necessary to prove it actually is one.</p> http://mathoverflow.net/questions/105495/what-can-an-algebraic-geometer-do-outside-academia/105593#105593 Answer by Alexander Woo for What can an algebraic geometer do outside academia? Alexander Woo 2012-08-27T01:45:17Z 2012-08-27T01:45:17Z <p>People not originally from the US (or at least not from an English speaking country) tend to have a little more trouble with this question, because they have more difficulty understanding the following:</p> <p>Traditionally in the United States, higher education is not specific training for a career. Rather, it is training to be a thoughtful contributing citizen. Skills necessary for being a thoughtful contributing citizen tends to be useful in all kinds of intellectual and non-intellectual work. Companies looking for intelligent employees therefore look for intelligent, hard-working people who have done well at studying something, not necessarily anything related to what they do.</p> <p>As a graduate of a liberal arts college, I saw music majors and English majors get all kinds of jobs. What were the most common?</p> <p>1) Sales. Plenty of companies need people to sell something. One might sell large software packages to businesses. One might sell re-insurance to insurance companies. One might sell medical devices to doctors. Since salespeople generally are mostly paid on commission, hiring a salesperson is low risk. Traditionally, salespeople know almost nothing about what they are selling; they are just good at convincing people to buy whatever they are selling.</p> <p>2) Technical sales support. Someone has to understand what they are selling. Except technical sales support people are not actually experts in what is being sold. They've just had a little more training so they can answer the 98% of questions that aren't actually that technical.</p> <p>3) Software. If you've learned how to program, the vast majority of jobs in the software industry don't require that much software engineering knowledge, and you've probably learned enough. We are not talking about making a database or operating system run faster; we're talking about changing the interface of MathOverflow to move the answer box 5 pixels to the right, or just making sure this webpage is displaying the answers to this question and not some other random question.</p> <p>4) Consulting. There is both software consulting (see software) and management consulting. This involves being in a group that is hired to look at a company's operations, gather qualitative and quantitative data, and make recommendations. The whole point is that you are mostly not experts and therefore (at least supposedly) have a fresh view on what they are doing and can recommend the obvious stupid things they are missing.</p> <p>5) Investment banking. See Sales, except you're selling financial products to companies. Except that in this industry, sales is frequently done in teams, so your role might be closer to that of a consultant (assembling data to support the sale) than an actual salesperson.</p> http://mathoverflow.net/questions/102696/realizing-not-quite-barycentric-subdivision-of-a-polytope Realizing not-quite-barycentric subdivision of a polytope Alexander Woo 2012-07-19T19:48:12Z 2012-07-20T04:46:16Z <p>Given a poset $S$, one can form a new poset $I(S)$ whose elements are intervals in $S$ (i.e. either $\emptyset$ or $[a,b]$ for some $a\leq b\in S$) with ordering by (set) inclusion. If $S$ is ranked, then $I(S)$ will also be ranked (by $r([a,b])=r(b)-r(a)$).</p> <p>If $S$ is the face lattice of a $d$-dimensional polytope $P$, is there a canonical way to construct a $d+1$-dimensional polytope $I(P)$ with face lattice $I(S)$? Is there a name for this construction?</p> <p>Notes:</p> <p>1) The 2-faces will always be quadrilaterals.</p> <p>2) The underlying cellular complex is not the barycentric subdivision, whose faces are the chains of $S$, not the intervals.</p> <p>3) If you apply the construction to a simplex, you should get a cube (of one higher dimension).</p> <p>4) Of course the best construction should preserve symmetries and intertwine the inclusion of a face $F$ into $P$ with that of $I(F)$ into $I(P)$.</p> <p>5) The only polytope I actually need an answer for right now is the regular 3-dimensional cube. If this construction only works for, say, simple polytopes, I'm fine with that.</p> http://mathoverflow.net/questions/96705/computer-package-for-representation-theory-of-the-symmetric-group/96709#96709 Answer by Alexander Woo for Computer package for representation theory of the symmetric group Alexander Woo 2012-05-11T21:05:11Z 2012-05-11T21:05:11Z <p>Another answer: John Stembridge's Maple code for dealing with Weyl groups may also have something along these lines.</p> http://mathoverflow.net/questions/96705/computer-package-for-representation-theory-of-the-symmetric-group/96708#96708 Answer by Alexander Woo for Computer package for representation theory of the symmetric group Alexander Woo 2012-05-11T21:04:11Z 2012-05-11T21:04:11Z <p>The combinatorics package in Sage should do these things, at least if you are just interested in the decompositions into irreducibles and not actual matrices.</p> http://mathoverflow.net/questions/90532/any-software-to-compute-multivariable-resultant/90537#90537 Answer by Alexander Woo for any software to compute multivariable resultant? Alexander Woo 2012-03-08T03:57:02Z 2012-03-08T03:57:02Z <p>Singular and Macaulay2 do it according to the documentation, though I haven't personally tried using either of them for this purpose. They are likely to be faster than Maple; I don't know about MARS.</p> http://mathoverflow.net/questions/85985/symmetric-polynoms-are-hopf-algebra-what-for-one-needs-co-product/86025#86025 Answer by Alexander Woo for Symmetric polynoms are Hopf algebra ? What for one needs co-product ? Alexander Woo 2012-01-18T19:03:26Z 2012-01-18T19:03:26Z <p>There is also a motivation coming from the (co)homology of Grassmannians.</p> <p>(Note I'm making this answer community wiki - I would like someone to expand on this, since I don't have the time right now to look up sources to do so and don't want to risk getting something wrong by going off the top of my head.)</p> http://mathoverflow.net/questions/84399/schubert-problems-to-cycle-class-in-grassmanian/84530#84530 Answer by Alexander Woo for Schubert problems to cycle class in Grassmanian Alexander Woo 2011-12-29T17:23:47Z 2011-12-29T17:23:47Z <p>For simplicity, I am supposing your family is a pure-dimensional (though not necessarily irreducible) subvariety $V$ in the Grassmannian.</p> <p>As you probably know, given a fixed $i$, the classes $[X_\lambda]$ of Schubert subvarieties $X_\lambda$, where $\lambda$ is a partition which has $i$ boxes and fits inside a $k \times n-k$ rectangle, form a basis of $H^{2i}(G_{k,n})$. (The Chow ring and cohomology ring are the same for Grassmannians over $\mathbb{C}$.) (I am assuming a particular indexing convention for Schubert varieties; with a different indexing convention, $\lambda$ should have $k(n-k)-i$ boxes.)</p> <p>Under the intersection pairing $\langle \cdot, \cdot\rangle$ between $H^{2i}$ and $H^{2[k(n-k)-i]}$, the Schubert bases are dual to each other. To be precise, $\langle[X_\lambda],[X_\mu]\rangle = 1$ if $\lambda^*=\mu$ and $\langle[X_\lambda],[X_\mu]\rangle=0$ if <code>$\lambda^*\neq\mu$</code>. Here <code>$\lambda^*$</code> is the box-complement to $\lambda$. Take all the squares in the $k\times (n-k)$ rectangle which are not part of $\lambda$, rotate 180 degrees, and you have the partition <code>$\lambda^*$</code>. In notation, <code>$\lambda^*_i = n-k+1-\lambda_{k+1-i}$</code>.</p> <p>This means that the class $[V]$ is given by $$[V]=\sum_{\lambda} \langle [V], [S_{\lambda^*}]\rangle [S_\lambda],$$ where the sum is over all partitions $\lambda$ fitting inside a $k\times n-k$ rectangle with $\mathrm{codim} V$ boxes.</p> <p>There cannot be any easier method because it takes $d$ pieces of information to determine an element in a vector space of dimension $d$.</p> http://mathoverflow.net/questions/83400/jacobian-conjecture-for-unit-triangular-matrices Jacobian Conjecture for unit triangular matrices Alexander Woo 2011-12-14T06:27:15Z 2011-12-15T04:14:55Z <p>This question is about the Jacobian conjecture for a special case. I will first explain the Jacobian conjecture (since it is something every mathematician should know about).</p> <p>Let $k$ be an algebraically closed field.</p> <p>Consider a map $$F: k^n \rightarrow k^n,$$ defined by $$F(x_1,\ldots,x_n)=(f_1(x_1,\ldots,x_n),\ldots,f_n(x_1,\ldots,x_n)),$$ where $f_1,\ldots,f_n$ are polynomials.</p> <p>The Jacobian of $F$, which I denote $J$, is the determinant of the matrix $dF$ where the $(i,j)$-th entry of $dF$ is $\partial f_i/\partial x_j$. (The matrix $dF$ gives the induced map on the tangent bundle, or maybe it's the cotangent bundle; it doesn't matter for this question.)</p> <p>Since $F$ is given by polynomials, the entries of $dF$ are polynomials and $J$ is a polynomial. Hence $F$ is a nonsingular map if and only if $J$ is a constant.</p> <p>The inverse function theorem tells us that $F$ has a smooth inverse map if and only if $J$ is constant. The Jacobian conjecture says that this smooth map is in fact also given by polynomials (in the case where the original map $F$ is given by polynomials).</p> <p><strong>Question</strong>: I would like to know if the Jacobian conjecture is known (or trivial) for the special case where the matrix $dF$ is a triangular matrix with $1$'s on the diagonal. If it is not known, I would like to know if the full Jacobian conjecture is known to be equivalent to this special case.</p> <p>Motivation: This is a possible strategy for proving that a particular family of maps I have constructed for a particular purpose is in fact invertible within the category of affine algebraic varieties.</p> <p>EDIT: Clarifying in light of Tom's remark. The inverse function theorem just says that $F$ has a local inverse. The Jacobian conjecture is that $F$ has a global inverse which is given by polynomials.</p> http://mathoverflow.net/questions/79742/motivating-algebra-and-analysis-for-average-undergraduates/79792#79792 Answer by Alexander Woo for Motivating Algebra and Analysis for Average Undergraduates Alexander Woo 2011-11-02T01:46:22Z 2011-11-02T01:46:22Z <p>If you color the Cayley table of a group $G$ according to what coset of some subgroup $H$ an element belongs to, then you get a nice pattern if and only if $H$ is normal.</p> http://mathoverflow.net/questions/79742/motivating-algebra-and-analysis-for-average-undergraduates/79756#79756 Answer by Alexander Woo for Motivating Algebra and Analysis for Average Undergraduates Alexander Woo 2011-11-01T19:35:50Z 2011-11-01T19:46:20Z <p>1) For everyone except mathematicians (and, prior to 1820 or so, everyone except George Berkeley), the ultimate reason for believing calculus is that it helps engineers build bridges that don't collapse. Analysis does not justify calculus; applications do. Do some naive manipulations with series get one into trouble? Yes, but it is not necessary to develop analysis to deal with the problem; one just has to learn by experience not to do those manipulations. (This is not a new point of view. I am just trying to explain what Wittgenstein tried to explain to Turing in 1946.)</p> <p>2) In the same sense that literature is an unnecessary, parasitic phenomenon upon ordinary language, "higher mathematics" is an unnecessary, parasitic phenomenon upon ordinary calculation. English majors study Shakespeare because it is a great historical achievement of our civilization and its study teaches us various useful skills. Math majors study analysis and algebra for the same reason. (EDIT: I reread this, and realized that it's possible for people to misread it. I have the greatest respect both for the study of literature and the study of higher mathematics and think both are worthwhile pursuits. I think the viewpoint that denigrates these pursuits is a bad viewpoint, but at the same time I don't think it is an irrational viewpoint.)</p> <p>3) In my experience, although students may ask for motivation, what they are really looking for is something with which they are familiar to which they can compare the new stuff they are learning, so that they can build a context for the new concepts. I hope you will get some answers answering this implied question, but since I believe in brutal honesty with students, I think my above points needed mentioning.</p> http://mathoverflow.net/questions/78187/virtual-algebraic-calculation-within-proofs/78192#78192 Answer by Alexander Woo for Virtual algebraic calculation within proofs Alexander Woo 2011-10-15T07:02:42Z 2011-10-15T07:02:42Z <p>A very elementary example (simpler than the ones you've given) is the generating function for the number of partitions of $n$, denoted $p_n$: $$\sum_{n\geq 0} p_n q^n = \prod_{i\geq 0} \frac{1}{1-q^i}.$$</p> http://mathoverflow.net/questions/76942/what-motivates-modern-algebraic-geometry-for-a-combinatorial-constructive-algebra/76967#76967 Answer by Alexander Woo for What motivates modern algebraic geometry for a combinatorial/constructive algebraist? Alexander Woo 2011-10-02T04:46:18Z 2011-10-02T16:30:59Z <p>Positivity of Kazhdan--Lusztig polynomials (and all the other positivity results in Kazhdan--Lusztig theory in general).</p> <p>Consider the Hecke algebra $H_n(q)$. It is a particular deformation of the group algebra of the symmetric group (or some other Coxeter group). As such, it has a basis $T_w$ indexed by permutations, and multiplication is given by $$T_wT_{s_i}=T_{ws_i}$$ if $\ell(ws_i)=\ell(w)+1$, and $$T_wT_{s_i}=qT_{ws_i}+(1-q)T_w$$ if $\ell(ws_i)=\ell(w)-1$.</p> <p>Define an involution on $H_n(q)$ (usually called the bar involution) by $\overline{q}=q^{-1}$ and $\overline{T_w}=(T_{w^{-1}})^{-1}$. Kazhdan and Lusztig proved that there exists a unique basis $C^\prime_w$ such that</p> <p>1) $\overline{C^\prime_w}=C^\prime_w$</p> <p>2) If we write $C^\prime_w=\sum_x P_{x,w}(q)T_x$, then the degree of $P_{x,w}(q)$ is bounded above by $(\ell(w)-\ell(x)-1)/2$.</p> <p>3) $P_{w,w}(q)=1$.</p> <p>The polynomials $P_{x,w}(q)$ (and in particular their coefficient in the maximum degree they are allowed) turn out to give a very nice combinatorial way to construct representations of $S_n$ (or the Coxeter group in question), and a similar theory also constructs representations of finite groups of Lie type.</p> <p>Now, the only way to prove that $P_{x,w}(q)$ have positive integer coefficients so far is to show that they are the Poincare polynomials for local intersection cohomology on Schubert varieties. Even better, one should interpret the Hecke algebra as a kind of Grothendieck group on the category of perverse sheaves on the flag variety. Springer in the early 1980s used this interpretation to show that, if one takes a product $C_vC_w$ and expands this product in the $C$ basis, the coefficients are all polynomials with positive integer coefficients. (The $C^\prime$ basis is a variant of the $C$ basis that is a little easier to write.)</p> <p>(The best references I know are Humphrey's book on reflection groups and Coxeter groups and Bjorner and Brenti's book on Combinatorics of Coxeter groups, both of which have a chapter devoted to this subject.)</p> http://mathoverflow.net/questions/76667/giambelli-and-porteous-formula/76668#76668 Answer by Alexander Woo for Giambelli and Porteous Formula Alexander Woo 2011-09-28T18:02:50Z 2011-09-28T18:02:50Z <p>William Fulton, Flags, Schubert polynomials, degeneracy loci, and determinantal formulas, Duke Math J. 65 (1992) 381--420</p> http://mathoverflow.net/questions/74017/parabolic-convolution-of-perverse-sheaves-in-terms-of-the-hecke-algebra Parabolic convolution of perverse sheaves in terms of the Hecke algebra Alexander Woo 2011-08-30T00:21:40Z 2011-09-27T17:59:29Z <p>It is "well-known" that the Hecke algebra $\mathcal{H}$ can be thought of as the Grothendieck group for the category of perverse sheaves on $G/B$, where the product in $\mathcal{H}$ corresponds to convolution of sheaves by the Borel subgroup. This means, given perverse sheaves $X$ and $Y$ on $G/B$ and their classes $[X]$ and $[Y]$ in the Grothendieck group considered as elements of $\mathcal{H}$, the element $[X][Y]$ is (the class of) the sheaf</p> <p>$$q_B(\pi^*(X)\boxtimes Y),$$</p> <p>where $\pi$ is the quotient map $G\rightarrow G/B$ and $q_B$ is the operation that takes a sheaf on $G\times G/B$ which is equivariant under the action of $B$ by $b\cdot (g, hB) = (gb^{-1}, bhB)$ and quotients out by this action, mapping to a sheaf on $G/B$.</p> <p>Now I want to think about convolution using a parabolic subgroup larger than the Borel. Suppose $P$ is a parabolic, $X$ is a perverse sheaf on $G/B$ which is pulled back from $G/P$, and $Y$ is $P$-equivariant.</p> <p>What is the class of</p> <p>$$q_P(\pi^*(X)\boxtimes Y),$$</p> <p>where $q_P$ now quotients by the action of $P$ by $p\cdot (g, hB) = (gp^{-1}, pHB)$ in terms of the Hecke algebra?</p> <p>Motivation: Actually, I only care about the case where $X$ and $Y$ are IC sheaves of Schubert varieties, so $[X]$ and $[Y]$ are Kazhdan--Lusztig basis elements. In this case, by the Decomposition Theorem the product will give a positive, bar--invariant sum of Kazhdan--Lusztig basis elements, so if you find good choices of $X$ and $Y$ and understand this product, you get a good inductive method for calculating Kazhdan--Lusztig polynomials. In some cases I am interested in, I have calculated the product geometrically by localization, but sticking to algebra would make things cleaner and likely easier to write up in general. There are cases in which this has been done, most notably Polo's paper showing that any polynomial with positive integer coefficients and constant term 1 is a Kazhdan--Lusztig polynomial; an answer to this question should allow one to dispense with geometry in his paper and formulate his calculations entirely within the Hecke algebra (given a theorem that says the algebraic analogue of parabolic convolution produces positive sums of Kazhdan--Lusztig elements).</p> <p>Although everything makes sense for an arbitrary Kac-Moody group, I am happy with an answer for the finite dimensional case, or even with answers for type A.</p> <p>Pre-emptive requests: (1) I expect parabolic Kazhdan--Lusztig elements will come up. As there are several variants, please tell us which one you mean, with reference to a paper using your notation. (2) As you may have noted from my vague description of $q_B$ and any other mistakes I might have made above, I don't really understand perverse sheaves and intersection cohomology. Please feel free to correct me, and please give me an answer I can understand.</p> http://mathoverflow.net/questions/76380/a-meta-mathematical-question-related-to-hilbert-tenth-problem/76392#76392 Answer by Alexander Woo for A meta-mathematical question related to Hilbert tenth problem Alexander Woo 2011-09-26T05:23:16Z 2011-09-26T05:23:16Z <p>I would take the sentence to mean something like:</p> <p>Given any model of PA in any axiomatic system, there is no Turing machine that ... according to whether the sentence is true or false for that model.</p> http://mathoverflow.net/questions/75180/how-important-is-it-for-one-on-the-job-market-to-have-thought-about-suitable-reu/75195#75195 Answer by Alexander Woo for How important is it for one on the job market to have thought about suitable REU projects? Alexander Woo 2011-09-12T04:59:14Z 2011-09-12T04:59:14Z <p>1) If you are genuinely seriously interested in mentoring undergraduates in REU projects, then you would naturally be fantasizing about projects you might do. If you aren't all that interested in it, you can't fake it just by thinking up some projects. Note that there is some middle ground between 'genuinely seriously interested' and 'not all that interested'. Thinking up projects does show that you are interested in it. The ones you think up don't need to be great; they just need to be not delusional. Keep in mind that weaker schools will only have someone who is potential grad student material only once every several years, so those schools, if they are interested in undergraduate research, will want projects that someone who is not grad student material can tackle. (As a rough and not particularly accurate guide, by 'weaker school' I mean median SAT of incoming freshman below 1150 or so for a small liberal arts college; larger universities may have some stronger students even if the average is somewhat lower.) People in applied and computational areas have a huge advantage here because they can propose research that does not involve proving any theorems.</p> <p>The truth is that you'll probably have a failure or two before you have a success, and it's not a big deal unless it is a total failure where the student gets nothing out of it. So don't worry too much about the specifics of the project; the point of having one is to show you are serious and not completely delusional (given the school and its students) about it.</p> <p>2) Unless the advertisement does not ask for a research statement or asks for undergraduate research to be addressed elsewhere, it goes in a section of your research statement.</p> <p>Keep in mind that many schools that care seriously about undergraduate research will care only a little about your research except inasmuch as it generates projects for undergraduates. When applying for positions at such schools, you may need to reshape your research statement to say only generalities about your own research (since no one there will understand most of it anyway) and focus on the accessible parts and the undergraduate research. It may also be the case that such a school will not ask for or read a research statement, in which case you need to be prepared to put the material as a section in your teaching statement.</p> <p>3) It absolutely does NOT have to be in your primary research area, as long as it is an area where you have enough of an idea what is going on to actually guide a project. (In other words, you should know enough that having the project turn out to be a fairly well-known solved problem is not at all a risk.) In fact, many professors at undergraduate institutions have gradually migrated out of their dissertation areas to research areas that are more friendly to their students.</p> http://mathoverflow.net/questions/74201/smoothness-of-hypersurfaces-in-grassmannians/74216#74216 Answer by Alexander Woo for Smoothness of hypersurfaces in Grassmannians Alexander Woo 2011-09-01T01:46:29Z 2011-09-01T01:46:29Z <p>For Grassmannians and more generally for homogeneous spaces, it is sometimes far easier to check if a subvariety is smooth by checking on each chart since all the charts are affine space (of much smaller dimension).</p> <p>Take local equations defining your variety on each chart and use the Jacobian criterion on each of those sets of equations.</p> <p>To get local equations from global equations (for the Grassmannian), recall that a chart is where a given particular Pluecker coordinate $p_I$ does not vanish, and the chart itself is affine space with coordinates $p_J/p_I$ where $J$ differs from $I$ by one element, and other Pluecker coordinates can be written as determinants of these. (I can give more details, but I won't figure them out if no one is interested.)</p> <p>Sometimes for general reasons you will know that if the variety is singular there must be a singular point on a specific chart, which will make your life even easier.</p> http://mathoverflow.net/questions/73492/how-misleading-is-it-to-regard-fracdydx-as-a-fraction/73542#73542 Answer by Alexander Woo for How misleading is it to regard $\frac{dy}{dx}$ as a fraction? Alexander Woo 2011-08-24T03:38:08Z 2011-08-24T03:38:08Z <p>I find $dy/dx$ misleading because it treats $x$ and $y$ as similar objects.</p> <p>When you use this notation, you lose the important point that $y$ is a function of $x$; instead you end up looking at $x$ and $y$ as related quantities.</p> <p>I think it is important for calculus students to get the idea that differentiation is an operation that takes one function and produces a new function. In that way, it is fundamentally different from addition (or unary negation) of numbers (which is not the same thing as addition of functions).</p> <p>Note that I am a lot more interested in (theoretical) computer science than (any form of) physics - this may bias my point of view.</p> http://mathoverflow.net/questions/64567/what-does-the-space-induced-by-this-unusual-metric-on-r-z-look-like What does the space induced by this unusual metric(?) on R/Z look like? Alexander Woo 2011-05-11T05:44:11Z 2011-05-11T17:44:26Z <p>The motivation for this question comes from music theory. Dmitri Tymoczko models "good" voice leading as minimizing distance between pitches in successive chords. While this theory works well for upper voices, it does not work so well for the bass, which tends to move by 4ths and 5ths quite frequently. (Tymoczko explicitly excludes the bass from his model.)</p> <p>Taking log (all logs are base 2 in this question) of frequency and taking pitches which differ by an octave as equivalent, we get $\mathbb{R}/\mathbb{Z}$. For the upper voices, we want the standard metric on this.</p> <p>For the bass, we want moving by a fifth or a fourth - meaning by $\pm \log (3/2)$ to be small. So we want $d(x,x\pm\log(3/2))=k_1$, where $k_1$ is probably somewhere around $0.05$. To make this a metric space, let's declare that $d(x,y)$ should be the minimum of $|x-y|$, $k_1+||x-y|-\log(3/2)|$, and $k_1+||x-y|-\log(4/3)|$.</p> <p>We probably want moving by a major third - meaning by $\pm\log(5/4)$ to also be small, but not as small. I suspect $2k_1$ would make the most mathematical sense, but any constant of roughly that magnitude is fine. Ditto for minor thirds - this would be movement by $\pm\log(6/5)$, with a slightly larger constant.</p> <p>If we do this, we might as well make all movements by $\pm\log(p/q)$ small if $q$ is small.</p> <p>CLARIFICATION: I also want the standard metric to be one of the options for getting from $x$ to $y$. So the distance between $0$ and $\sqrt{1/500}$ should be $\sqrt{1/500}$, while the distance between $0$ and $7/12$ should be $k_1+|\log(3/2)-7/12|$. (Musically, $|\log(3/2)-7/12|$ is how far off an even-tempered 5th is from Pythagorean tuning.)</p> <p>Question 1: Can one actually define something along these lines that satisfies the triangle inequality? (I don't think I actually have; I probably need to take the minimum (or infimum) of some infinite sequence, but am not entirely sure that works.)</p> <p>Question 2: Assuming the answer to (1) is yes, what does this metric space look like? Can someone help me with a picture that seems less exotic, perhaps comparing it to the Hawaiian Earring or something of that sort? In particular, what might the fundamental group look like?</p> <p>My background: I'm a combinatorialist and algebraic geometer who happens to be the one least unqualified here to be supervising an undergraduate independent study on mathematics in music theory. I did the standard first year graduate courses in point set topology and algebraic topology, but that was almost a dozen years ago.</p> http://mathoverflow.net/questions/61701/picard-group-of-schubert-varieties/61721#61721 Answer by Alexander Woo for Picard group of Schubert varieties Alexander Woo 2011-04-14T16:25:21Z 2011-04-14T17:04:02Z <p>Alex Yong and I work this out in our paper for the case of the Borel subgroup, but I'm pretty sure it's the same for every parabolic.</p> <p>When is a Schubert variety Gorenstein?, Advances in Math. 207 (2006), 205-220.</p> <p>Please note our conventions in that paper are backwards from yours in that our Schubert varieties are $\overline{B_-wB/B}$.</p> <p>We don't say explicitly what happens for groups other than GL_n, but you can do the same thing using the appropriate Monk-Chevalley formula for the group in question.</p> <p>EDIT: More details upon glancing at my own paper... Mathieu (reference in comments) shows that every line bundle on a Schubert variety is the restriction of a line bundle on the homogeneous space. (Actually, iirc the proof in the finite dimensional case predates Mathieu.) This means the Picard group of the Schubert variety will be the same as that of the homogeneous space unless some nontrivial line bundle restricts to a trivial one. For $G/P$ where $P$ is a maximal parabolic, this only happens if your Schubert variety is a point.</p> <p>What we do is actually work out the Picard group as a subgroup of the class group.</p> http://mathoverflow.net/questions/51891/teaching-undergraduate-students-to-write-proofs/51916#51916 Answer by Alexander Woo for Teaching undergraduate students to write proofs Alexander Woo 2011-01-13T05:21:39Z 2011-01-16T21:29:55Z <p>I am teaching such a course - in a 4 week intensive one course at a time format - right now. This is a reminder to myself to say something intelligent about it in February, and a placeholder for my future answer. (If you see this in mid-February, a reminder to actually put up an answer will be much appreciated. I am posting under my real name and can be Googled.)</p> <p>One of the things I am thinking about now, 2 weeks in:</p> <p>It has surprised me the extent that what one might simply call cognitive deficits are an obstacle. Some of my students have trouble consistently being able to keep three ideas with their precise statements in their head at the same time. (I mean to say that if they make a special effort for one or two statements, they can, but it is a struggle for them to do this routinely over even a short proof.) This is a serious problem because when a step involves going from a statement with two quantifiers to another statement, the first statement with the quantifiers has already fills up their head and there is no room for the next statement.</p> <p>What I am suggesting to my students, with absolute seriousness, is to do a Sudoku puzzle or two every day, preferably with a pen (to force themselves to think through inferences rather than going by trial and error). The inferences involved in doing Sudoku might be quite simple to most of us, but you do have to keep a few facts in your head simultaneously to make the inference, and I am hoping the practice does improve their working memory.</p> http://mathoverflow.net/questions/44983/resources-for-teaching-arithmetic-to-calculus-students Resources for teaching arithmetic to calculus students Alexander Woo 2010-11-05T18:59:16Z 2010-11-05T21:42:00Z <p>Every time we teach calculus we discover that a significant portion of our students never understood arithmetic. I don't mean that they can't multiply numbers, but rather that they don't know intuitively that a car going 15 miles an hour goes 1 mile in 60/15=4 minutes (i.e. that division is the arithmetic operation corresponding to this problem).</p> <p>It would be entirely inappropriate to teach them as if they were 10 years old, even if we had 3 months to teach them arithmetic.</p> <p>Usually these are fairly intelligent individuals considering that they managed to get through high school mathematics well enough to get into a good college or university despite this handicap, and this deficiency in their background is not their fault in any way. They are likely to be able to pick up arithmetic quite quickly, and figure out from that why they have been a little befuddled through all of high school math.</p> <p>I would hope this problem has been studied and ways to help these students have been proposed.</p> <p>I am looking for references either to resources for these students or resources for instructors trying to help these students in the context of a calculus (or precalculus) class.</p> http://mathoverflow.net/questions/41742/reference-for-the-bruhat-minimal-permutations-not-less-than-a-fixed-permutation/41814#41814 Answer by Alexander Woo for Reference for: the Bruhat-minimal permutations not less than a fixed permutation pi? Alexander Woo 2010-10-11T17:40:45Z 2010-10-20T06:17:58Z <p>Vic Reiner, Alex Yong, and I spell this out in Sections 4.1 and 4.2 of our paper on the cohomology rings of Schubert varieties: <a href="http://arxiv.org/abs/0809.2981" rel="nofollow">http://arxiv.org/abs/0809.2981</a></p> <p>This is not really original to us: for type A we refer back to Lascoux and Schutzenberger's paper Trellis et bases des groupes de Coxeter, Elect J. Combin. 3, no. 2 R27, though perhaps they don't state things exactly in this form.</p> <p>Note for Allen: The rest of our paper might not be as irrelevant to you as it might seem at first glance. Jim Carrell started a line of work back in the 80s relating cohomology rings of Schubert varieties to their local equations at the identity. Interestingly, their strongest results are only for type A.</p> http://mathoverflow.net/questions/40082/why-do-we-teach-calculus-students-the-derivative-as-a-limit/40386#40386 Answer by Alexander Woo for Why do we teach calculus students the derivative as a limit? Alexander Woo 2010-09-28T21:54:31Z 2010-09-28T21:54:31Z <p>The answer I give my students is that mathematicians want to know what a word (in this case 'derivative') means in all cases, and the definition of the derivative is a communal agreement about what to say in strange cases such as the absolute value function. (Well, since I banish symbolic stuff from the first two weeks, I say 'function whose graph has a sharp corner like this one (draws on board)'.)</p> <p>If students press further, I point out that in a literature class they are expected to learn the communal agreement on the difference between a 'simile' and a 'metaphor'. It helps that I am at a liberal arts institution and not a technical one.</p> <p>Let me also use this opportunity to share a pedagogical trick:</p> <p>I find it helpful (third time I've tried it) to break up the definition of $f^\prime(2)$ into two parts:</p> <p>1) Define a new function $E_2$ by the formula $$E_2(x)=\frac{f(x)-f(2)}{x-2}.$$ 2) Take the limit of $E_2$ at 2.</p> <p>To pull this off, you do need to take the function $E_2$ somewhat seriously; graph it, write formulas for it, et c.</p> <p>Rationale:</p> <p>1) It always helps to break up complicated definitions into smaller pieces.</p> <p>2) It emphasizes that you take limits of functions (in the sense of machines that accept a single number as input and gives a single number of output) rather than of symbolic expressions.</p> <p>3) Students get to really understand why a discontinuous function or something like the absolute value function is not differentiable (at the relevant point).</p> http://mathoverflow.net/questions/36821/explicit-equations-for-schubert-varieties/36923#36923 Answer by Alexander Woo for Explicit equations for Schubert varieties Alexander Woo 2010-08-27T21:04:23Z 2010-09-01T14:31:06Z <p>Other possible answers:</p> <p>1) You might want equations for the preimage of the Schubert variety in GL_n (i.e. the Schubert variety in Stiefel coordinates). Their closures in M_n are matrix Schubert varieties, and their equations are given by Fulton in a paper in Duke Math J. in 1992 (not entirely sure about the year). Knutson and Miller say a lot more about these equations in their Annals of Math. paper (around 2003).</p> <p>2) You might want equations for local affine neighborhoods in the Schubert variety. This is easy to get from (1) and the description of opposite Schubert cells as sets of matrices. Alex Yong and I work it out in a recent J. Algebra paper. One can derive a different (but somehow equivalent) set of local equations from standard monomial theory also.</p> http://mathoverflow.net/questions/35988/why-were-matrix-determinants-once-such-a-big-deal/36051#36051 Answer by Alexander Woo for Why were matrix determinants once such a big deal? Alexander Woo 2010-08-19T02:57:47Z 2010-08-19T02:57:47Z <p>Warning: I am basically just speculating, and not commenting with actual knowledge of the history.</p> <p>I suspect that a lot of the nineteenth century work on determinants was motivated by invariant theory. Before Hilbert proved abstractly the finite generation of invariants, there was a small industry trying to explicitly compute invariants (for example the projective invariants of the action of $GL_2$ acting on binary forms) with the aim of giving a constructive proof that they were finitely generated.</p> <p>These invariants often have a basis consisting of various sorts of determinantal expressions, and if you want to prove finite generation, you have to construct ways of taking certain determinantal expressions and writing them in terms of other determinantal expressions.</p> <p>Within a decade or so of Hilbert's paper, people generally lost interest in constructive invariant theory. (After all, the abstract methods answered the most interesting questions and seemed much more likely than constructive methods to answer the most interesting remaining questions.)</p> <p>I have wondered whether all the work on syzygies of determinantal varieties actually reduces to identities which were well known (to the right people) in the 19th century.</p> http://mathoverflow.net/questions/34066/irreducible-components-of-quotients-of-cohen-macaulay-rings-of-the-correct-dime Irreducible components of quotients of Cohen-Macaulay rings of the "correct" dimension Alexander Woo 2010-07-31T23:13:46Z 2010-08-01T13:47:06Z <p>Suppose $R$ is a Cohen-Macaulay ring. It is well known that if $I$ is an ideal of $R$ generated by $n$ elements, and $I$ has codimension $n$, then $R/I$ is also Cohen-Macaulay.</p> <p>Now suppose that $I$ does not have codimension $n$, but (the scheme defined by) $R/I$ has several irreducible components, one of which has codimension $n$. Is (the coordinate ring of) that component necessarily Cohen-Macaulay?</p> <p>Because being Cohen-Macaulay is a local condition, it is clear that the component is generically (in fact everywhere it does not intersect the other components) Cohen-Macaulay, but there is no reason obvious to me why this would extend to the whole component.</p> http://mathoverflow.net/questions/31694/how-can-i-get-a-small-resolution-for-the-binomial-fourfold-x-1-x-2-x-3-y-1-y/31752#31752 Answer by Alexander Woo for How can I get a small resolution for the binomial fourfold $x_1 x_2 x_3- y_1 y_2=0$ in $\mathbb{C}^5$? Alexander Woo 2010-07-13T19:19:44Z 2010-07-13T19:41:35Z <p>Warning: This seems to be a really bad way of answering this question (but it at least tells you there is one).</p> <p>The intersection of the opposite Schubert cell $X_\circ^{13425}$ with the Schubert variety $X_{34512}$ is defined by that equation in the appropriate coordinates. This tells you that locally around the Schubert point $e_{13425}$, the Schubert variety is isomorphic to the product of that fourfold with $\mathbb{C}^{4}$.</p> <p>Since the permutation $34512$ is 321 and hexagon avoiding, the Bott--Samelson resolution is small for that Schubert variety.</p> <p>As you have a binomial, I would expect there to be some toric answer that is at least a little more general than this one.</p> http://mathoverflow.net/questions/130371/semi-small-resolutions-of-peterson-varieties Comment by Alexander Woo Alexander Woo 2013-05-12T06:21:58Z 2013-05-12T06:21:58Z I would love to be contradicted, but my educated guess is that this is not known. http://mathoverflow.net/questions/127269/does-there-exist-a-topology-for-a-set-x-which-is-compact-and-hausdorff Comment by Alexander Woo Alexander Woo 2013-04-11T18:36:23Z 2013-04-11T18:36:23Z A silly solution: Pick one element x. Declare every finite set NOT containing x to be open. Declare the COMPLEMENT of every finite set NOT containing x to be open. This is a compact Hausdorff topology. http://mathoverflow.net/questions/127120/syzygies-of-determinantal-varieties-looking-for-english-text/127121#127121 Comment by Alexander Woo Alexander Woo 2013-04-10T20:45:51Z 2013-04-10T20:45:51Z You have the right reference. Lascoux's paper isn't a complete solution; he has to assume some constants he constructs are nonzero, but does not prove that the constants actually are nonzero. (This is acknowledged in the paper; it was the best that could be done at the time.) The paper that finishes off this problem in characteristic zero is by Pragacz and Weyman in the late 80s; I don't have the reference offhand but you'll find it in Weyman's book. http://mathoverflow.net/questions/126060/on-mentioning-recommenders-names-in-cover-letter-for-postdoctoral-applications/126068#126068 Comment by Alexander Woo Alexander Woo 2013-03-31T05:21:12Z 2013-03-31T05:21:12Z their research statement, which helped since we were hiring specifically in applied algebra. Some applicants also used part of their cover letter to convince us they were interested teaching our population of students; they couldn't do so in their teaching statement since that was used for a much broader range of types of schools. http://mathoverflow.net/questions/126060/on-mentioning-recommenders-names-in-cover-letter-for-postdoctoral-applications/126068#126068 Comment by Alexander Woo Alexander Woo 2013-03-31T05:17:37Z 2013-03-31T05:17:37Z I strongly disagree with what you have written about the cover letter. Beyond having a reasonable number of publications, what I looked for in our search this year was an indication that the applicant fit our position, and the easiest place to see this was the one paragraph synopses of research and teaching in the cover letter. (The research and teaching statements are too long for a first screening.) Customization of cover letters clearly made a difference. Some relatively pure algebraists made a case for their involvement with applications in their cover letter that they did not in... http://mathoverflow.net/questions/125846/3d-generalizations-of-permutations-rsk-correspondence-contingency-tables-etc Comment by Alexander Woo Alexander Woo 2013-03-28T19:37:34Z 2013-03-28T19:37:34Z There are papers on &quot;permutation arrays&quot; by Eriksson and Linusson which might be useful; there is a paper by Billey and Vakil using this to solve Schubert problems. http://mathoverflow.net/questions/121660/a-known-pythagorean-identity-in-algebra/121668#121668 Comment by Alexander Woo Alexander Woo 2013-02-13T22:33:43Z 2013-02-13T22:33:43Z To be more specific, this is Equation 2.2 in Section 2 of Chapter I, found on p. 19 of the 2nd edition. http://mathoverflow.net/questions/121660/a-known-pythagorean-identity-in-algebra Comment by Alexander Woo Alexander Woo 2013-02-13T00:42:14Z 2013-02-13T00:42:14Z What's the complete homogeneous symmetric function analogue? I might recognize that more easily. I get the feeling this is standard or at least a routine application of something standard in symmetric function theory. The right hand sides look like the squares of Cauchy kernels. http://mathoverflow.net/questions/120831/is-it-possible-to-create-mathematics-with-no-references Comment by Alexander Woo Alexander Woo 2013-02-05T05:26:34Z 2013-02-05T05:26:34Z Your 'original' state of mind is nonsense and madness. The use of language is a social activity. Any communication of mathematics requires language, and not only any language, but mathematical language. Therefore, any communication of mathematics is social and requires inhabiting a context of other mathematics. And if you are thinking of 'mathematics before it is communicated' I'm afraid that Wittgenstein eviscerated that notion (and all other similar notions) with his argument about the beetle in a box (Philosophical Investigations I.293). http://mathoverflow.net/questions/118664/is-the-quasisymmetric-expansion-of-the-inner-product-of-two-schur-functions-known Comment by Alexander Woo Alexander Woo 2013-01-12T02:03:18Z 2013-01-12T02:03:18Z Send me an e-mail if you want suggestions of whom to ask (but I don't want to publicly put people on the spot). http://mathoverflow.net/questions/116716/why-is-there-a-unique-increasing-maximal-path-in-any-bruhat-interval-under-any-re Comment by Alexander Woo Alexander Woo 2012-12-19T00:48:34Z 2012-12-19T00:48:34Z Michael: Many people who might have an answer to your question (myself included) don't remember the details of the increasing-Bruhat-path interpretation of $R$-polynomials and are too lazy to reach for their copy of Bjorner--Brenti to find it. (In my case, it's not just laziness; I'm about 1000 miles away from my office at the moment.) Providing some partial explanation might help you get an answer. http://mathoverflow.net/questions/116666/triality-of-spin8 Comment by Alexander Woo Alexander Woo 2012-12-18T01:45:51Z 2012-12-18T01:45:51Z You ask for an explicit construction of these automorphisms. Unfortunately, there are a number of different ways to understand Spin(8) explicitly, and without knowing how you understand Spin(8) explicitly, we can't really figure out how to answer your question in a way that's useful to you. http://mathoverflow.net/questions/116344/for-a-weyl-group-what-is-the-connection-between-its-exponents-and-lengths-of-its Comment by Alexander Woo Alexander Woo 2012-12-14T05:20:51Z 2012-12-14T05:20:51Z Yes this is true. Unfortunately I can't remember a proof or a good reference at the moment. (I believe the fact because the covariant ring is the cohomology ring of the flag variety which has a basis of Schubert classes.) http://mathoverflow.net/questions/114173/a-combinatory-thing Comment by Alexander Woo Alexander Woo 2012-11-22T17:53:31Z 2012-11-22T17:53:31Z Any chance you could rewrite your question in math notation rather than physics notation, or explain the physics notation for the benefit of us mathematicians who don't understand it? http://mathoverflow.net/questions/112629/has-the-notion-of-space-been-reconsidered-in-20th-century Comment by Alexander Woo Alexander Woo 2012-11-17T16:18:02Z 2012-11-17T16:18:02Z The philosophical landscape on the relationship between mathematics and physics changed greatly over the 20th century. The generation of Hilbert and Riemann thought that reality IS mathematical, whether they interpreted the word 'reality' in a realist or Kantian idealist sense. Nowadays, most philosophers, and even most mathematicians and physicists, only accept the weaker claim that reality can be described mathematically, or perhaps that reality is best described mathematically. In our context, questions like Riemann's or Hilbert's 6th problem (axiomatize physics) seem quite nonsensical.