E8 und die binäre Ikosaedergruppe.
We present a new method to compute normal forms, applied to the germs of reversible mappings. We translate the classification problem of these germs to the theory of ideals in the space of the coefficients of their jets. Integral factorization coupled with Gröbner basis constructionjs the key factor that makes the process efficient. We also show that a language with typed objects like AXIOM is very convenient to solve these kinds of problems.
2000 Mathematics Subject Classification: 14B05, 32S25.The smooth equimultiple locus of embedded algebroid surfaces appears naturally in many resolution processes, both classical and modern. In this paper we explore how it changes by blowing–up.* Supported by FQM 304 and BFM 2000–1523. ** Supported by FQM 218 and BFM 2001–3207.
We define a generalised Euler characteristic for arc-symmetric sets endowed with a group action. It coincides with the Poincaré series in equivariant homology for compact nonsingular sets, but is different in general. We put emphasis on the particular case of , and give an application to the study of the singularities of Nash function germs via an analog of the motivic zeta function of Denef and Loeser.
Let be a complex nonsingular projective 3-fold of general type. We prove and for some positive integer . A direct consequence is the birationality of the pluricanonical map for all . Besides, the canonical volume has a universal lower bound .
Locally analytically, any isolated double point occurs as a double cover of a smooth surface. It can be desingularized explicitly via the canonical resolution, as it is very well-known. In this paper we explicitly compute the fundamental cycle of both the canonical and minimal resolution of a double point singularity and we classify those for which the fundamental cycle differs from the fiber cycle. Moreover we compute the conditions that a double point singularity imposes to pluricanonical systems....