Submitted by Cláudia Bueno (claudiamoura18@gmail.com) on 2016-03-10T17:35:32Z No. of bitstreams: 2 Dissertação - Adriana Marcela Fonce Camacho - 2014.pdf: 981401 bytes, checksum: a14522ebe9ae77cf599946d25752f8b4 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2016-03-14T14:08:40Z (GMT) No. of bitstreams: 2 Dissertação - Adriana Marcela Fonce Camacho - 2014.pdf: 981401 bytes, checksum: a14522ebe9ae77cf599946d25752f8b4 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2016-03-14T14:08:40Z (GMT). No. of bitstreams: 2 Dissertação - Adriana Marcela Fonce Camacho - 2014.pdf: 981401 bytes, checksum: a14522ebe9ae77cf599946d25752f8b4 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2014-08-22 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This work is based mainly on the Brunder and Godinho article [2] which shows proof of the conjecture of Artin methods using p-adic, although the conjecture is stated on the real numbers which makes the proof is show an equivalence on the field of the number p-adic method with the help of colored variables ya contraction of variables so as to prove the statement, taking the first level and ensuring a nontrivial solution in the following levels. / Este trabalho é baseado principalmente no artigo de Brunder e Godinho [2] o qual mostra a prova da conjetura de Artin usando métodos p-ádicos, ainda que a conjetura se afirma sobre o números reais o que faz a prova é mostrar uma equivalência sobre o corpo dos número p-ádicos com ajuda do método de variáveis coloridas e a contração de variáveis para assim provar a afirmação, tomando o primeiro nível e assim garantindo uma solução não trivial nos níveis seguintes.

Neste trabalho apresentamos uma descrição geométrica do grupo de tranças no disco Bpnq e sua apresentação em termos de geradores e relatores no famoso teorema da apresentação de Artin. Mostraremos também que o grupo de tranças puras PBpnq, grupo que possui a permutação trivial das cordas, é bi-ordenável, ou seja, exibiremos uma ordenação para PBpnq que será invariante pela multiplicação em ambos os lados. Esse processo é dado a partir da combinação da técnica de pentear Artin e a expansão Magnus para grupos livres. / In this work, we present a geometric description of the braids groups of the disk Bpnq and its presentation in terms of generators and relations in the famous theorem of Artin\'s presentation. We also show that groups of pure braids, denoted by PBpnq, groups that have the trivial permutation of the strings, are bi-orderable, that is, we will present the explicit construction of a strict total ordering of pure braids PBpnq which is invariant under multiplying on both sides. This process is given from the combination of the techniques of combing Artin and Magnus expansion to free groups.

Neste trabalho apresentamos uma descrição geométrica do grupo de tranças no disco Bpnq e sua apresentação em termos de geradores e relatores no famoso teorema da apresentação de Artin. Mostraremos também que o grupo de tranças puras PBpnq, grupo que possui a permutação trivial das cordas, é bi-ordenável, ou seja, exibiremos uma ordenação para PBpnq que será invariante pela multiplicação em ambos os lados. Esse processo é dado a partir da combinação da técnica de pentear Artin e a expansão Magnus para grupos livres. / In this work, we present a geometric description of the braids groups of the disk Bpnq and its presentation in terms of generators and relations in the famous theorem of Artin\'s presentation. We also show that groups of pure braids, denoted by PBpnq, groups that have the trivial permutation of the strings, are bi-orderable, that is, we will present the explicit construction of a strict total ordering of pure braids PBpnq which is invariant under multiplying on both sides. This process is given from the combination of the techniques of combing Artin and Magnus expansion to free groups.

In this dissertation, we will investigate aspects of Auslander-Reiten theory adapted to the setting of systems of submodule embeddings. Using this theory, we can compute Auslander-Reiten quivers of such categories, which among other information, yields valuable information about the indecomposable objects in such a category. A main result of the dissertation is an adaptation to this situation of the Auslander and Ringel-Tachikawa Theorem which states that for an artinian ring R of finite representation type, each R-module is a direct sum of finite-length indecomposable R-modules. In cases where this applies, the indecomposable objects obtained in the Auslander-Reiten quiver give the building blocks for the objects in the category. We also briefly discuss in which cases systems of submodule embeddings form a Frobenius category, and for a few examples explore pointwise Calabi-Yau dimension of such a category. / by Audrey Moore. / Thesis (Ph.D.)--Florida Atlantic University, 2009. / Includes bibliography. / Electronic reproduction. Boca Raton, Fla., 2009. Mode of access: World Wide Web.

by Ka-hon Yeung. / Thesis (M.Phil.)--Chinese University of Hong Kong, 1991. / Bibliography: leaves 155-158. / Chapter 1) --- INTRODUCTION --- p.1 / Chapter 2) --- BACKGROUND MATERIALS AND DEFINITIONS --- p.3 / Chapter §1. --- THE RIEMANN ZETA FUNCTION --- p.3 / Chapter §2. --- THE DEDEKIND ZETA FUNCTION --- p.9 / Chapter §3. --- THE DIRICHLET L-FUNCTION --- p.11 / Chapter §4. --- PLACES AND ABSOLUTE VALUES --- p.13 / Chapter §5. --- THE HECKE L-FUNCTION --- p.14 / Chapter §6. --- CLASS FIELD THEORY --- p.17 / Chapter §7. --- LINEAR REPRESENTATIONS OF FINITE GROUPS --- p.19 / Chapter §8. --- THE ARTIN L-FUNCTION --- p.22 / Chapter 3) --- WORKS OF VARIOUS PEOPLE IN THE EVALUATION OF L-FUNCTIONS --- p.28 / Chapter §1. --- CLASS NUMBER FORMULA --- p.28 / Chapter §2. --- WORKS OF SHINTANI --- p.35 / Chapter §3. --- WORKS OF STARK --- p.65 / Chapter 4) --- STARK'S CONJECTURE --- p.90 / Chapter § 1. --- WORKS OF STARK --- p.90 / Chapter §2. --- WORKS OF TATE --- p.102 / Chapter §3. --- WORKS OF SANDS --- p.132 / NOTE --- p.146 / APPENDIX --- p.153 / BIBLIOGRAPHY --- p.155

Nous etudions la fonction de Artin qui apparait dans la version forte du theoreme d'approximation de Artin. Nous montrons que cette fonction n'est en general pas majoree par une fonction affine comme cela a ete conjecture. Nous faisons le lien avec un resultat d'approximation diophantienne dans le corps des series en plusieurs variables.

This thesis consists of four papers and an introduction.  In Paper I we calculate the second order derivatives of the Ronkin function of an affine polynomial in three variables. This gives an expression for the real Monge-Ampére measure associated to the hyperplane amoeba. The measure is expressed in terms of complete elliptic integrals and hypergeometric functions.  In Paper II and III we prove that a certain semi-explicit cohomological residue associated to a Cohen-Macaulay ideal or more generally an ideal of pure dimension, respectively, is annihilated precisely by the given ideal. This is a generalization of the local duality principle for the Grothendieck residue and the cohomological residue of Passare. These results follow from residue calculus, due to Andersson and Wulcan, but the point here is that our proof is more elementary. In particular, it does not rely on the desingularization theorem of Hironaka. In Paper IV we prove a global uniform Artin-Rees lemma for sections of ample line bundles over smooth projective varieties. We also prove an Artin-Rees lemma for the polynomial ring with uniform degree bounds. The proofs are based on multidimensional residue calculus. / <p>At the time of the doctoral defense, the following papers were unpublished and had a status as follows: Paper 1: Manuscript. Paper 3: Manuscript. Paper 4. Manuscript.</p>

Let p be an odd prime, and define f(x) as follows: f(x) as the sum from 1 to k of a_i times x raised to the power of (p to the power of (alpha_i+1)) in F_(p to the power of n)[x] where 0 is less than or equal to alpha_1 < alpha_2 < ... < alpha_k where alpha_k is equal to alpha. We consider the exponential sum S(f, n) equal to the sum_(x as x runs over the finite field with (p to the n elements) of zeta_(p to the power of Tr_n (f(x))), where zeta_p equals e to the power of (2i times pi divided by p) and Tr_n is the trace from the finite field with p to the n elements to the finite field with p elements.We provide necessary background from number theory and review the basic facts about quadratic forms over a finite field with p elements through both the multivariable and single variable approach. Our main objective is to compute S(f, n) explicitly. The sum S(f, n) is determined by two quantities: the nullity and the type of the quadratic form Tr_n (f(x)). We give an effective algorithm for the computation of the nullity. Tables of numerical values of the nullity are included. However, the type is more subtle and more difficult to determine. Most of our investigation concerns the type. We obtain "relative formulas" for S(f, mn) in terms of S(f, n) when the p-adic order of m is less than or equal to the minimum p-adic order of the alphas. The formulas are obtained in three separate cases, using different methods: (i) m is q to the s power, where q is a prime different from 2 and p; (ii) m is 2 to the s power; and (iii) m is p. In case (i), we use a congruence relation resulting from a suitable Galios action. For case (ii), in addition to the congruence in case (i), a special partition of the finite field with p to the 2n elements is needed. In case (iii), the congruence method does not work. However, the Artin-Schreier Theorem allows us to compute the trace of the extension from the finite field with p to the pn elements to the fi nite field with p to the n elements rather explicitly.When the 2-adic order of each of the alphas is equal and it is less than the 2-adic order of n, we are able to determine S(f, n) explicitly. As a special case, we have explicit formulas for the sum of the monomial, S(ax to the power of (1+ (p to the power of alpha)).Most of the results of the thesis are new and generalize previous results by Carlitz, Baumert, McEliece, and Hou.

Οι αντιμεταθετικοί δακτύλιοι έχουν την προέλευσή τους από τη θεωρία αριθμών και από την αλγεβρική γεωμετρία στον 19ο αιώνα. Σήμερα είναι ιδιαίτερα σημαντικοί και έχουν ενδιαφέρουσα επίδραση στην αλγεβρική γεωμετρία και στην θεωρία αριθμών, χρησιμοποιώντας μεθόδους αντιμεταθετικής άλγεβρας. Εδώ περιγράφουμε τις βασικές μεθόδους και κάνουμε τα πρώτα βήματα σε αυτό το θέμα. Στο εξής όλοι οι δακτύλιοι θα είναι αντιμεταθετικοί, εκτός αν θεωρήσουμε κάτι άλλο. Το κεντρικό θέμα της αξιωματικής ανάπτυξης της γραμμικής άλγεβρας είναι ένας διανυσματικός χώρος επί ενός σώματος. Η αξιωματοποίηση της γραμμικής άλγεβρας, η οποία επιτεύχθηκε το 1920, μορφοποιήθηκε σε μια μεγάλη έκταση, από την επιθυμία να εισάγουμε γεωμετρικές έννοιες στη μελέτη συγκεκριμένων κλάσεων των συναρτήσεων στην ανάλυση. Κατ’ αρχάς, ασχοληθήκαμε αποκλειστικά με τους διανυσματικούς χώρους των πραγματικών αριθμών ή των μιγαδικών αριθμών. Η έννοια ενός module είναι μια άμεση γενίκευση ενός διανυσματικού χώρου. Η γενίκευση αυτή επιτυγχάνεται απλά αντικαθιστώντας το σώμα των συντελεστών διά ενός δακτυλίου. Ο ευκολότερος τρόπος για να ορίσουμε ένα module μπορούμε να πούμε ότι είναι ένα αλγεβρικό σύστημα το οποίο ικανοποιεί τα ίδια αξιώματα όπως ένας διανυσματικός χώρος εκτός του ότι οι συντελεστές ανήκουν σ’ ένα δακτύλιο R με μονάδα αντί ενός σώματος F. Αυτή η φαινομενικά σεμνή γενίκευση οδηγεί σε μια αλγεβρική δομή η οποία είναι μεγίστης σημασίας. Ιστορικά ο πρώτος δακτύλιος που μελετήθηκε ήταν ο δακτύλιος ℤ των ακεραίων, ο όρος “δακτύλιος” πρωτοχρησιμοποιήθηκε από τον Hilbert (1897) στο “Zahlbericht” του για έναν δακτύλιο αλγεβρικών ακεραίων. Στο ℤ κάθε δακτύλιος είναι κύριος. Στην πραγματικότητα τα ιδεώδη είχαν πρώτα εισαχθεί (από Kummer) ως “ιδεώδεις αριθμοί” στους δακτυλίους αλγεβρικών ακεραίων οι οποίοι εστερούντο μοναδικής παραγοντοντοποίησης (unique factorization). Στο ℤ μπορούμε από δύο αριθμούς a,b να ορίσουμε τον μέγιστο κοινό διαιρέτη (ΜΚΔ) αυτών, (a,b), το γινόμενό τους ab και το ελάχιστο κοινό πολλαπλάσιο (ΕΚΠ) αυτών, [a,b]. Αυτές οι πράξεις αντιστοιχούν σε πράξεις ιδεωδών σε κάθε δακτύλιο. / Commutative ring has its origins in number theory its origins in number theory and algebraic geometry in the 19th century. Today it is of particular importance in algebraic geometry, and there has been an interesting interaction of algebraic geometry and number theory, using the methods of commutative algebra. Here we can do no more than describe the basic techniques and take the first steps in the first steps in the subject. Throughout this chapter all rings will be commutative, unless otherwise stated. The central concept of the axiomatic development of linear algebra is that of a vector space over a field. The axiomatization of linear algebra, which was effected in the 1920’s, was motivated to a large extend by the desire to introduce geometric notions in the study of certain classes of functions in analysis. At first one dealt exclusively with vector spaces over the reals or the complexes. It soon became apparent that this restriction was rather artificial , since a large body of the results depended only on the solution of linear equations and thus were valid for arbitrary fields. This led to the study of vactor spaces over arbitrary fields and this is what presently constitutes linear algebra. The concept of a module is an immediate generalization of that of a vector space. One obtains the generalization by simply replacing the underlying field by any ring.In the first place, one learns from experience that the internal logical structure of mathematics strongly urges the pursuit of such ‘natural’ generalizations. These often result in an improved insight into the theory which led to them in the first place. The easiest way to define a module is to say that it is an algebraic system that satisfies the same axioms as a vector space except that the scalars come from a ring R with a 1 instead of from a field F. This seemingly modest generalization leads to an algebraic structure that is of the greatest importance. We use here the term R-module, it being understood that the scalars are written on the left. Historically the first ring to studied was the ring Z of integers, the term ‘ring’ was first used by Hilbert (1897) in his ‘Zahlbericht’ for a ring of algebraic integers. In Z every ideal is principal, in fact ideals were first introduced (by Kummer) as ‘ideal numbers’ in rings of algebraic integers which lacked unique factorization. In Z we can from any two numbers a,b form their highest common factor (HCF, also greatest common divisor, GCD) (a,b), their product ab and their least common multiple (LCM) [a,b]. These operations correspond to operations on ideals in any ring. Valuation theory may be described as the study of divisibility (in commutative rings) in its purest form, but that is only one aspect. The general formulation leads to the introduction of topological concepts like completion, which provides a powerful tool. It also emphasizes the parallel with the absolute value on the real and complex numbers. After the initial definitions we shall prove the essential uniqueness of the absolute value on R and C, and go on to describe the p-adic numbers, before looking at simple cases of the extension problem.

One of the central themes of modern Number Theory is to study properties of Galois and automorphic representations and connections between them. In our dissertation, we describe two different projects that study properties of these objects. In our first project, which is analytic in nature, we consider Artin representations of Q of dimension 3 that are self-dual. We show that these occur with density 0 when counted using the conductor. This provides evidence that self-dual representations should be rare in all dimensions. Our second project, which is more algebraic in nature, is related to automorphic representations. We show the existence of canonical models for certain unitary Shimura varieties. This should help us in computing certain cohomology groups of these varieties, in which regular algebraic automorphic representations having useful properties should be found.