User andrew dudzik - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T16:24:15Z http://mathoverflow.net/feeds/user/1770 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/53122/mathematical-urban-legends/65896#65896 Answer by Andrew Dudzik for Mathematical "urban legends" Andrew Dudzik 2011-05-24T20:10:19Z 2011-05-24T20:10:19Z <p>When I took analysis from Paul Sally, he claimed that a student once asked him in class, "Professor Sally, why is it called the p-adic <em>norm</em>? If it's a norm, what does it measure?" Without thinking, Paul loudly replied, "Well, it measures the p-ness of a number."</p> <p>I suspect that he just substituted himself into an existing urban legend, yet I would not be surprised if it were true.</p> http://mathoverflow.net/questions/60641/in-what-sense-is-the-etale-topology-equivalent-to-the-euclidean-topology In what sense is the étale topology equivalent to the Euclidean topology? Andrew Dudzik 2011-04-05T03:15:03Z 2011-04-05T10:09:16Z <p>I have heard it said more than once—on <a href="http://en.wikipedia.org/wiki/Etale_topology" rel="nofollow">Wikipedia</a>, for example—that the étale topology on the category of, say, smooth varieties over $\mathbb{C}$, is equivalent to the Euclidean topology. I have not seen a good explanation for this statement, however.</p> <p>If we consider the relatively simple example of $\mathbb{P}^1_\mathbb{C}$, it seems to me that an étale map is just a branched cover by a Riemann surface, together with a Zariski open subset of $\mathbb{P}^1_\mathbb{C}$ that is disjoint from the ramification locus. (If there is a misconception there, small or large, please let me know) The connection to the Euclidean topology on $\mathbb{P}^1_\mathbb{C}$, however, is not obvious to me.</p> <p>What is the correct formulation of the statement that the two topologies are equivalent, or what is a good way to compare them?</p> http://mathoverflow.net/questions/5427/asymptotics-of-power-series-with-branch-singularities Asymptotics of Power Series With Branch Singularities Andrew Dudzik 2009-11-13T19:39:10Z 2009-11-13T20:31:02Z <p>I am wondering if there are analytic tools to find asymptotic formulae for the coefficients of a complex power series of a function with branch singularities. For example, it is possible to show using elementary means that, for $q>1$, the coefficients of $\frac{1}{1-z} log(\frac{1}{1-qz})$ are asymptotic to $\frac{1}{1-q^{-1}} \frac{q^n}{n}$, but I would like to know if it is possible to see this from analytic properties of the function itself.</p> <p>Motivation: There are nice asymptotic formulae for the coefficients of power series of meromorphic functions. As a simple example, the coefficients of an entire function must be $O(\epsilon^n)$ for any $\epsilon$. In general, the sum of the principal parts of the poles of smallest modulus will provide a very good first approximation, and contour integration can be applied to get more delicate bounds, see e.g. Wilf's Generatingfunctionology.</p> http://mathoverflow.net/questions/131126/why-do-rigid-spaces-have-not-enough-points/131274#131274 Comment by Andrew Dudzik Andrew Dudzik 2013-05-20T23:11:05Z 2013-05-20T23:11:05Z Two more useful examples: 1) A descending sequence of discs with empty intersection gives another such skyscraper sheaf (which also comes from a Berkovich point). 2) There are (non-&quot;overconvergent&quot;) examples that don't come from Berkovich points, but do come from points in Huber's adic space. For example, let $F(V)=\mathbb{Z}$ if $V$ contains the open unit disc with finitely many open discs of radius $&lt;1$ removed, and $F(V)=0$ otherwise. One way to think of this second example is: the skyscraper sheaf at the origin of the canonical reduction, <code>$\mathbb{A}^1&#95;{\tilde{k}}$</code>. http://mathoverflow.net/questions/100265/not-especially-famous-long-open-problems-which-anyone-can-understand/100381#100381 Comment by Andrew Dudzik Andrew Dudzik 2012-07-02T02:14:36Z 2012-07-02T02:14:36Z This is open for $k\geq 7$. The proof for $k=6$ was done by Barajas and Serra using elaborate computer-assisted casework, and many simplifications that rely on the fact that $6+1$ is prime. It is worth noting that when the ratio of two speeds is irrational, the problem is made easier by density arguments, so the essentially hardest case is when all the speeds are integers. Therefore this is a combinatorial number theory question disguised as basic calculus. http://mathoverflow.net/questions/2770/can-any-topological-space-be-the-result-of-a-scheme/2805#2805 Comment by Andrew Dudzik Andrew Dudzik 2012-03-26T18:59:31Z 2012-03-26T18:59:31Z I think that Hochster uses the older language of preschemes. In modern terms, he proved that the underlying spaces of <i>separated</i> schemes are exactly the open subsets of spectral spaces (his &quot;locally spectral and quasispectral&quot; spaces) but that the underlying spaces of all schemes are more generally the spaces which are locally spectral. http://mathoverflow.net/questions/14518/applications-of-noncommutative-geometry/14541#14541 Comment by Andrew Dudzik Andrew Dudzik 2011-10-31T17:36:05Z 2011-10-31T17:36:05Z I just encountered the paper &quot;Noncommutative Coordinate Rings and Stacks&quot;: <a href="http://web.maths.unsw.edu.au/~danielch/paper/stacks.pdf" rel="nofollow">web.maths.unsw.edu.au/~danielch/paper/stacks.pdf</a> Chan and Ingalls construct a structure sheaf of noncommutative algebras over a stack that meets some restrictive conditions. I'm told that this result has been extended somewhat, but could not find a reference. Their condition seems to be met for $\mathcal{M}_g$, $g\geq 2$. Whether such a relationship exists in general seems to be an open question. http://mathoverflow.net/questions/78681/etale-space-construction-for-presheaves-on-a-grothendieck-site Comment by Andrew Dudzik Andrew Dudzik 2011-10-20T17:02:18Z 2011-10-20T17:02:18Z Martin Brandenburg [mentioned this][1] as a &quot;common false belief&quot;—the problem is that we might have to take a colimit over an indexing category that is not essentially small. But it should be possible to sheafify presheaves on most reasonable sites. For example, the category of &#233;tale maps to a scheme is essentially small (I think), so this problem does not arise. [1]: <a href="http://mathoverflow.net/questions/23478/examples-of-common-false-beliefs-in-mathematics/23640#23640" rel="nofollow" title="examples of common false beliefs in mathematics">mathoverflow.net/questions/23478/&hellip;</a> http://mathoverflow.net/questions/77980/reducibility-or-not-of-algebraic-curves/77993#77993 Comment by Andrew Dudzik Andrew Dudzik 2011-10-13T16:38:58Z 2011-10-13T16:38:58Z I agree that it's too bad that there isn't a better website for basic early-graduate-level questions, but there are books, courses, TAs, and other students to draw on. This graduate student avoids posting any question unless he thinks it will be of some interest to a nonzero number of research mathematicians. By the way, William Fulton has made his lovely little book on algebraic curves available for free online: <a href="http://www.math.lsa.umich.edu/~wfulton/CurveBook.pdf" rel="nofollow">math.lsa.umich.edu/~wfulton/CurveBook.pdf</a> http://mathoverflow.net/questions/77992/is-mathbbcx-y-isomorphic-to-mathbbcx-otimes-mathbbr-mathbbcy Comment by Andrew Dudzik Andrew Dudzik 2011-10-13T16:21:40Z 2011-10-13T16:21:40Z Another direct approach: since $\mathbb{C}[x] \cong \mathbb{R}[x] \otimes_\mathbb{R} \mathbb{C}$, by rearranging tensor products we can see that the right-hand side is $(\mathbb{C}\otimes_\mathbb{R} \mathbb{C})[x,y]$. http://mathoverflow.net/questions/77279/movies-about-mathematics-mathematicians/77295#77295 Comment by Andrew Dudzik Andrew Dudzik 2011-10-06T16:51:03Z 2011-10-06T16:51:03Z It's formatted like a silent film of a Noh play, and based on an obscure film by Yukio Mishima. These facts alone make it challenging for a modern Western viewer to issue sensible criticism. Interesting to note that Mishima's wife didn't want the original film released—likely not because of how it treated women, but because of how it treated harakiri. http://mathoverflow.net/questions/75100/example-of-a-group-which-has-textsl-n-mathbbz-as-the-automorphism-grou Comment by Andrew Dudzik Andrew Dudzik 2011-09-14T04:26:20Z 2011-09-14T04:26:20Z Don't forget that sometimes that automorphism is trivial... http://mathoverflow.net/questions/66427/is-kx-1-ldots-x-n-always-an-integral-extension-of-kf-1-ldots-f-n-fo/66438#66438 Comment by Andrew Dudzik Andrew Dudzik 2011-05-30T14:09:25Z 2011-05-30T14:09:25Z But $(\underline{f})$ may not be contained in $k[\underline{f}]$. http://mathoverflow.net/questions/5427/asymptotics-of-power-series-with-branch-singularities/5434#5434 Comment by Andrew Dudzik Andrew Dudzik 2009-11-15T00:44:01Z 2009-11-15T00:44:01Z This is pretty clear, so I'll mark it as an accepted answer shortly, but for now I'm holding out to see if someone can demonstrate how to work my example.