User david dynerman - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T01:32:03Z http://mathoverflow.net/feeds/user/4891 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/59071/what-elementary-problems-can-you-solve-with-schemes What elementary problems can you solve with schemes? David Dynerman 2011-03-21T15:48:21Z 2013-04-04T00:18:00Z <p>I'm a graduate student who's been learning about schemes this year from the usual sources (e.g. Hartshorne, Eisenbud-Harris, Ravi Vakil's notes). I'm looking for some examples of elementary self-contained problems that scheme theory answers - ideally something that I could explain to a fellow grad student in another field when they ask "What can you do with schemes?"</p> <p>Let me give an example of what I'm looking for: In finite group theory, a well known theorem of Burnside's is that a group of order $p^a q^b$ is solvable. It turns out an easy way to prove this theorem is by using fairly basic character theory (a later proof using only 'elementary' group theory is now known, but is much more intricate). Then, if another graduate student asks me "What can you do with character theory?", I can give them this example, even if they don't know what a character is. </p> <p>Moreover, the statement of Burnside's theorem doesn't depend on character theory, and so this is also an example of character theory proving something external (e.g. character theory isn't just proving theorems about character theory).</p> <p>I'm very interested in learning about similar examples from scheme theory. </p> <blockquote> <p>What are some elementary problems (ideally not depending on schemes) that have nice proofs using schemes?</p> </blockquote> <p>Please note that I'm <b>not</b> asking for large-scale justification of scheme theoretic algebraic geometry (e.g. studying the Weil conjectures, etc). The goal is to be able to give some concrete notion of what you can do with schemes to, say, a beginning graduate student or someone not studying algebraic geometry.</p> http://mathoverflow.net/questions/31355/what-can-be-said-about-a-group-from-its-presentation/35770#35770 Answer by David Dynerman for What can be said about a group from its presentation? David Dynerman 2010-08-16T15:02:57Z 2010-08-16T15:02:57Z <p>Continuing the idea that working with bare presentations is "hard", automatic groups sometimes can give you a handle, if you're trying to study a specific group . <a href="http://en.wikipedia.org/wiki/Automatic_group" rel="nofollow">Automatic groups</a> are groups with finite state machines that can, essentially, solve the word problem for that group. </p> <p>If you're studying a particular group and are lucky, a procedure such as Knuth-Bendix can compute an automatic structure for you. Then lots of hard computations become easy (e.g. the order of the group).</p> <p>Magma has some of these algorithms implemented, see <a href="http://magma.maths.usyd.edu.au/magma/htmlhelp/text869.htm" rel="nofollow">this Magma documentation page</a>.</p> http://mathoverflow.net/questions/19264/what-is-the-etymology-for-the-term-conductor/19270#19270 Answer by David Dynerman for What is the etymology for the term conductor? David Dynerman 2010-03-25T03:31:23Z 2010-03-25T03:31:23Z <p>The first time I ever saw a conductor defined is not in the sense mentioned above, but in linear algebra, from Hoffman &amp; Kunze's book. In their chapter on elementary canonical forms they define the conductor of vector $\alpha$ into a subspace $W$ with respect to a linear operator $T$ to be the ideal</p> <blockquote> <p><code>$S_T(\alpha;W) = \{ g \in F[x] \mid g(T)\alpha \in W \}$</code></p> </blockquote> <p>Where the ambient vector space is over the field $F$. Interestingly, they say that they themselves call this the 'stuffer' ideal (from German, das eistopfende Ideal), but claim that "Conductor" is more commonly used, and add that this term is</p> <p>"preferred by those who envision a less aggressive operator $g(T)$, gently leading the vector $\alpha$ into $W$."</p> <p>Hoffman &amp; Kunze, Linear Algebra 2nd Edition, p. 201</p> http://mathoverflow.net/questions/126722/why-does-the-naive-choice-of-homogeneous-coordinate-ring-of-a-product-of-projecti Comment by David Dynerman David Dynerman 2013-04-06T18:24:31Z 2013-04-06T18:24:31Z It's helpful to remember that a graded ring S gives not only a projective scheme but also an embedding (via S(1)), and lots of rings can give the same projective scheme. If S is the ring you cite from Hartshorne, then S(1) gives the Segre embedding of your projective variety. I'm also interested in knowing if there are other easy rings to write down whose Proj gives you X x X. In the case when S is the polynomial ring k[x,y], then the total tensor product just gives you k[x,y,z,w], so you just get P^3 which isn't what we want. http://mathoverflow.net/questions/5243/why-is-it-a-good-idea-to-study-a-ring-by-studying-its-modules/5742#5742 Comment by David Dynerman David Dynerman 2011-03-28T19:29:44Z 2011-03-28T19:29:44Z The introduction to section 12.A in Isaacs Algebra: A Graduate Course talks a little about this view.