No description available.

Polynomial functors were introduced by Professors Eilenberg and Mac Lane in 1954, who used them to study certain homology rings. Strict polynomial functors were invented by Professors Friedlander and Suslin in 1997, in order to develop the theory of group schemes. The first real investigation of their intrinsic properties was performed in 1988, when Professor Pirashvili showed that polynomial functors are equivalent to modules over a certain ring. A similar study was conducted on strict polynomial functors in 2003 by Dr. Salomonsson in his doctoral thesis. A radically different method of attack was initiated by Dr. Dreckman and Professors Pirashvili, Franjou, and Baues in the year 2000. Their approach was to combinatorially encode polynomial functors, and utilised for this purpose the category of sets and surjections. Dr. Salomonsson would later repeat the feat for strict polynomial functors, employing instead the category of multi-sets. This thesis proposes the following: 1:o. To generalise the notion of polynomial functor to more general base rings than Z, so that it smoothly agree with the existing definition of strict polynomial functor, allowing for easy comparison. This results in the definition of numerical functors. 2:o. To make an extensive study of numerical maps of modules, to see how they fit into Professor Roby's framework of strict polynomial maps. 3:o. To conduct a survey of numerical rings. 4:o. To develop the theories of numerical and strict polynomial functors so that they run in parallel. 5:o. To show how also numerical functors may be interpreted as modules over a certain ring. 6:o. To expound the theory of mazes, which will be seen to vastly generalise the category of surjections employed by Professor Pirashvili et al., since they turn out to encode, not only polynomial or numerical functors, but all module functors over any base ring. 7:o. To simplify Dr. Salomonsson's construction involving multi-sets, making it more amenable to a comparison with mazes. 8:o. To prove comparison theorems interrelating numerical and strict polynomial functors. 9:o. And, finally, to indicate how polynomial functors may be used to extend the operad concept.

京都大学 / 0048 / 新制・論文博士 / 博士(理学) / 乙第13201号 / 論理博第1560号 / 新制||理||1635(附属図書館) / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)教授 宍倉 光広, 教授 泉 正己, 教授 國府 寛司 / 学位規則第4条第2項該当 / Doctor of Science / Kyoto University / DFAM

Neste trabalho, nos concentramos no estudo da topologia da fibração de Milnor associada a um germe de aplicação polinomial f : (Rn , 0) → (Rp , 0) com uma singularidade isolada na origem. O primeiro resultado é uma extensão da caracterização de germes de aplicações triviais nos pares de dimensões (n; p) quando n - p = 3: Uma caracterização inicial foi apresentada por Church e Lamotke em 1975. O segundo resultado é a caracterização de NS-pares (S5 , K2), usando a topologia de espaços de configuração. Como uma consequência desta caracterização, mostramos a existência de germe de aplicação polinomial real nos pares de dimensões (6; 3) com uma singularidade isolada na origem tal que sua fibra de Milnor não é difeomorfa a um disco. A existência desses exemplos coloca um fim ao problema da não-trivialidade proposto por Milnor em 1968 e além disso, nos permite apresentar um novo resultado sobre a topologia da fibra de Milnor real nos pares de dimensões (2n; n) e (2n + 1; n); n ≥ 3: Tal resultado garante a existência de germes de aplicações polinomiais (Rn , 0) → (Rp, 0); n ≥ p ≥ 2; com uma singularidade isolada na origem tais que suas fibras de Milnor têm o tipo de homotopia de um buquê de um número positivo de esferas. / In this work, we focus on the study of the topology of the Milnor fibration associated with a polynomial map germ f : (Rn , 0) → (Rp , 0) with an isolated singularity at the origin. The first result is an extension of the characterization of trivial map germs in the pairs of dimensions (n; p) when n - p = 3: An initial characterization was presented by Church and Lamotke in 1975. The second result is a characterization of NS-pairs (S5 , K2), using the topology of configuration spaces. As a consequence of this characterization, we show the existence of real polynomial map germs in the pairs of dimensions (6; 3) with an isolated singularity at the origin such that its Milnor fibers are not diffeomorphic to a disc. The existence of such examples ends a non-triviality problem posed by Milnor in 1968 and furthermore, it allows us to show a new result about the topology of the real Milnor fibers in the pairs of dimensions (2n; n) and (2n + 1; n); n ≥ 3. This result ensure the existence of polynomial map germs (Rn , 0) → (Rp, 0); n ≥ p ≥ 2; with an isolated singularity at the origin such that its Milnor fibers has the homotopy type of a bouquet of a positive number of spheres.

Neste trabalho, nos concentramos no estudo da topologia da fibração de Milnor associada a um germe de aplicação polinomial f : (Rn , 0) → (Rp , 0) com uma singularidade isolada na origem. O primeiro resultado é uma extensão da caracterização de germes de aplicações triviais nos pares de dimensões (n; p) quando n - p = 3: Uma caracterização inicial foi apresentada por Church e Lamotke em 1975. O segundo resultado é a caracterização de NS-pares (S5 , K2), usando a topologia de espaços de configuração. Como uma consequência desta caracterização, mostramos a existência de germe de aplicação polinomial real nos pares de dimensões (6; 3) com uma singularidade isolada na origem tal que sua fibra de Milnor não é difeomorfa a um disco. A existência desses exemplos coloca um fim ao problema da não-trivialidade proposto por Milnor em 1968 e além disso, nos permite apresentar um novo resultado sobre a topologia da fibra de Milnor real nos pares de dimensões (2n; n) e (2n + 1; n); n ≥ 3: Tal resultado garante a existência de germes de aplicações polinomiais (Rn , 0) → (Rp, 0); n ≥ p ≥ 2; com uma singularidade isolada na origem tais que suas fibras de Milnor têm o tipo de homotopia de um buquê de um número positivo de esferas. / In this work, we focus on the study of the topology of the Milnor fibration associated with a polynomial map germ f : (Rn , 0) → (Rp , 0) with an isolated singularity at the origin. The first result is an extension of the characterization of trivial map germs in the pairs of dimensions (n; p) when n - p = 3: An initial characterization was presented by Church and Lamotke in 1975. The second result is a characterization of NS-pairs (S5 , K2), using the topology of configuration spaces. As a consequence of this characterization, we show the existence of real polynomial map germs in the pairs of dimensions (6; 3) with an isolated singularity at the origin such that its Milnor fibers are not diffeomorphic to a disc. The existence of such examples ends a non-triviality problem posed by Milnor in 1968 and furthermore, it allows us to show a new result about the topology of the real Milnor fibers in the pairs of dimensions (2n; n) and (2n + 1; n); n ≥ 3. This result ensure the existence of polynomial map germs (Rn , 0) → (Rp, 0); n ≥ p ≥ 2; with an isolated singularity at the origin such that its Milnor fibers has the homotopy type of a bouquet of a positive number of spheres.