'Reference' request: Program to work with cyclic quotient singularities. - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T20:36:54Z http://mathoverflow.net/feeds/question/89529 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/89529/reference-request-program-to-work-with-cyclic-quotient-singularities 'Reference' request: Program to work with cyclic quotient singularities. Jesus Martinez Garcia 2012-02-25T22:48:32Z 2012-02-26T22:46:45Z <p>I'm looking for program code to deal with cyclic quotient singularities on normal surfaces. In particular, at the moment I need that given a singularity $p$ like $p=\frac{1}{n}(1,a)$ the code computes:</p> <ol> <li>Its continuous fraction decomposition (i.e. $\frac{1}{n}(1,a)=[b_1,\ldots,b_k]$). Of course, the $b_i$ are the self-intersection numbers of the exceptional curves of the minimal resolution.</li> <li>The discrepancies of the resolution, i.e. if the minimal resolution of $p$ is $f:Y\rightarrow X$ and has exceptional curves $E_i$, then we can write $$f^*(K_X)=K_Y+\sum a_i E_i.$$ I want to find the values of $a_i$ automatically.</li> </ol> <p>I know there is code written for 1. for instance in Magma or in several pages on the Internet, but I haven't seen any for the second one, and having asked around no one seem to know about it.</p> <p>I know both things are pretty much automatic, for the second one we just need to intersect the above formula with each E_i, use the genus formula and resolve a linear system of equations. It should not be a difficult task (albeit a boring one) to write this code myself in Maple (which is the only mathematical language I've ever used) but I'd like to save myself the hassle and time. Moreover, I will most likely need to add code for other computations on top of this code. Code that maybe (let me dream), other people may useful in the future. I'd rather prefer to add something to an existing library than have several partial-functional libraries in different languages around.</p> <p>Also, if no one knows about (2) but knows code or settings in Magma, Macaulay2... that deals easily with (1), please refer me to it and I'll build (2) over that.</p> <p>Thanks!</p> http://mathoverflow.net/questions/89529/reference-request-program-to-work-with-cyclic-quotient-singularities/89612#89612 Answer by stankewicz for 'Reference' request: Program to work with cyclic quotient singularities. stankewicz 2012-02-26T22:46:45Z 2012-02-26T22:46:45Z <p>On page 19 of <a href="http://www.cems.uvm.edu/~voight/notes/cfrac.pdf" rel="nofollow">http://www.cems.uvm.edu/~voight/notes/cfrac.pdf</a> is a maple program for computing the so-called Hirzebruch-Jung continued fraction expansion. So that's (1).</p> <p>For (2), at least when $n$ is prime, see page 93 (page 100 of the actual pdf) of Giancarlo A. Urzua's Thesis here: <a href="http://deepblue.lib.umich.edu/bitstream/2027.42/60657/1/gian_1.pdf" rel="nofollow">http://deepblue.lib.umich.edu/bitstream/2027.42/60657/1/gian_1.pdf</a></p> <p>See also <a href="http://math.stanford.edu/~conrad/papers/j1p.pdf" rel="nofollow">http://math.stanford.edu/~conrad/papers/j1p.pdf</a> to see how far out the Hirzebruch-Jung resolution can take you. I think Corollary 2.4.3 should be the natural generalization of the above.</p>