<p>Let S be a polynomial ring K[x1,...,xn] over a field K and let F be a non-negatively graded free module over S generated by m basis elements. In this thesis, we study four kinds of upper bounds: degree bounds for Gröbner bases of submodules of F, bounds for arithmetic degrees of S-ideals, regularity bounds for radicals of S-ideals, and Stillman bounds. </p> <p><br></p> <p>Let M be a submodule of F generated by elements with degrees bounded above by D and dim(F/M)=r. We prove that if M is graded, the degree of the reduced Gröbner basis of M for any term order is bounded above by 2[1/2((Dm)^{n-r}m+D)]^{2^{r-1}}. If M is not graded, the bound is 2[1/2((Dm)^{(n-r)^2}m+D)]^{2^{r}}. This is a generalization of bounds for ideals in a polynomial ring due to Dubé (1990) and Mayr-Ritscher (2013).</p> <p><br></p> <p>Our next results are concerned with a homogeneous ideal I in S generated by forms of degree at most d with dim(S/I)=r. In Chapter 4, we show how to derive from a result of Hoa (2008) an upper bound for the regularity of sqrt{I}, which denotes the radical of I. More specifically we show that reg(sqrt{I})<= d^{(n-1)2^{r-1}}. In Chapter 5, we show that the i-th arithmetic degree of I is bounded above by 2*d^{2^{n-i-1}}. This is done by proving upper bounds for arithmetic degrees of strongly stable ideals and ideals of Borel type.</p> <p><br></p> <p>In the last chapter, we explain our progress in attempting to make Stillman bounds explicit. Ananyan and Hochster (2020) were the first to show the existence of Stillman bounds. Together with G. Caviglia, we observe that a possible way of making their results explicit is to find an effective bound for an invariant called D(k,d) and supplement it into their proof. Although we are able to obtain this bound D(k,d) and realize Stillman bounds via an algorithm, it turns out that the computational complexity of Ananyan and Hochster's inductive proof would make the bounds too large to be meaningful. We explain the bad behavior of these Stillman bounds by giving estimates up to degree 3.</p>

<p>Let p be a prime number and F be a finite extension of Q_p. We established an algorithm to compute the semisimplification of the reduction of some irreducible two dimensional crystalline representations with two parameter {h,a_p} when v_p(a_p) is large enough. We improve the known results when p|h. We also extend the algorithm to the two dimensional semistable and non-crystalline representation. We compute the semi-simplification of the reduction when v_p(L) large enough and p=2. These results solve the difficulties with the case p=2. The strategies are based on the study of the Kisin modules over O_F and Breuil modules over S_F. By the theory of Breuil and Theorem of Colmez-Fontaine, these modules are closely related to semistable representations.</p>

<pre>In the first part of this thesis we show that, for a given non-arithmetic closed hyperbolic <i>$</i><i>n</i><i>$</i> manifold <i>$</i><i>M</i><i>$</i>, there exist for each positive integer <i>$</i><i>j</i><i>$</i>, a set <i>$</i><i>M_</i><i>1</i><i>,...,M_j</i><i>$</i> of pairwise nonisometric, strongly isospectral, finite covers of <i>$</i><i>M</i><i>$</i>, and such that for each <i>$</i><i>i,i'</i><i>$</i> one has isomorphisms of cohomology groups <i>$</i><i>H^*(M_i,</i><i>\Zbb</i><i>)=H^*(M_{i'},</i><i>\Zbb</i><i>)</i><i>$</i> which are compatible with respect to the natural maps induced by the cover. In the second part, we prove that hyperbolic <i>$</i><i>2</i><i>$</i>- and <i>$</i><i>3</i><i>$</i>-manifolds which arise from principal congruence subgroups of a maixmal order in a quaternion algebra having type number <i>$</i><i>1</i><i>$</i> are absolutely spectrally rigid. One consequence of this is a partial answer to an outstanding question of Alan Reid, concerning the spectral rigidity of Hurwitz surfaces.</pre>

<p>The main focus of this dissertation is to find and explain the periodic points of certain algebraic functions that are related to some modular functions, which themselves can be represented by continued fractions. Some of these continued fractions are first explored by Srinivasa Ramanujan in early 20th century. Later on, much work has been done in terms of studying the continued fractions, and proving several relations, identities, and giving different representations for them.</p> <p><br></p> <p>The layout of this report is as follows. Chapter 1 has all the basic background knowledge and ingredients about algebraic number theory, class field theory, Ramanujan’s theta functions, etc. In Chapter 2, we look at the Ramanujan-Göllnitz-Gordon continued fraction that we call v(τ) and evaluate it at certain arguments in the field K = Q(√−d), with −d ≡ 1 (mod 8), in which the ideal (2) = ℘₂℘′₂  is a product of two prime ideals. We prove several identities related to itself and with other modular functions. Some of these are new, while some of them are known but with different proofs. These values of v(τ) are shown to generate the inertia field of ℘₂ or ℘′₂ in an extended ring class field over the field K. The conjugates over Q of these same values, together with 0, −1 ± √2, are shown to form the exact set of periodic points of a fixed algebraic function ˆF(x), independent of d. These are analogues of similar results for the Rogers-Ramanujan continued fraction. See [1] and [2]. This joint work with my advisor Dr. Morton, is submitted for publication to the New York Journal.</p> <p><br> In Chapters 3 and 4, we take a similar approach in studying two more continued fractions c(τ) and u(τ), the first of which is more commonly known as the Ramanujan’s cubic continued fraction. We show what fields a value of this continued fraction generates over Q, and we describe how the periodic points for described functions arise as values of these continued fractions. Then in the last chapter, we summarise all these results, give some possible directions for future research as well as mentioning some conjectures.</p>

<p dir="ltr">Let k be a perfect field of characteristic p > 2. We extend the equivalence of categories between Fontaine-Laffaille modules and Z_p lattices inside crystalline representations with Hodge-Tate weights at most p-2 of Fontaine to the situation where the base ring is the power series ring in d variables over the ring of Witt vectors of k. </p>

<p>The goal of this dissertation is to broaden the classes of ideals for which the generators of residual intersections are known. This is split into two main parts.</p> <p>The first part is Chapter 5, where we prove that, for an ideal I in a local Cohen-Macaulay ring R, under suitable technical assumptions, we are able to express s-residual intersections, for s ≥ μ(I) − 2, in terms of (μ(I) − 2)-residual intersections. This result implies that s- residual intersections can be expressed in terms of links, if μ(I) ≤ ht(I) + 3 and some other hypotheses are satisfied. In Chapter 5, we prove our result using two different methods and two different sets of technical assumptions on the depth conditions satisfied by the ideal I. For Section 5.2 and Section 5.3 we use the properties of Fitting ideals and methods developed in [33] to prove our main result. In these sections, we require I to satisfy the Gs condition and be weakly (s − 2)-residually S2. In Section 5.4, we prove analogous results to those in Section 5.2 and Section 5.3 using disguised residual intersections, a notion developed by Bouca and Hassansadeh in [5].</p> <p>The second part is Chapter 6 where we prove that the n-residual intersections of ideals generated by maximal minors of a 2 × n generic matrix for n ≥ 4 are sums of links. To prove this, we require a series of technical results. We begin by proving the main theorem for this chapter in a special case, using the results of Section 6.1 to compute the generators of the relevant links in a our special case, and then using these generators to compute the Gro ̈bner Basis for the sum of links in Section 6.2. The computation of the Gro ̈bner basis, as well as an application of graph theoretic results about binomial edge ideals [17], allow us to show that our main theorem holds in this special case. Lastly, we conclude our proof in Section 6.3, where we show that n-residual intersections of ideals generated by maximal minors of 2 × n generic matrices commute with specialization maps, and use this to show that the generic n-residual intersections of ideals generated by maximal minors of a 2 × n generic matrix for n ≥ 4 are sums of links. This allows us to prove the main theorem of Chapter 6.</p>

<p dir="ltr">Applications of the Hardy-Littlewood Method to a class of partition generating functions, in which partitions are weighted (or "signed") using certain functions from multiplicative number theory.</p>

We generalize the work of Gelbart, Miller, Pantchichkine, and Shahidi on constructing p-adic measures to the case of totally real fields K. This measure is the Mellin transform of the reciprocal of the p-adic L-function which interpolates the special values at negative integers of the Hecke L-function of K. To define this measure as a distribution, we study the non-constant terms in the Fourier expansion of a particular Eisenstein series of the Hilbert modular group of K. Proving the distribution is a measure requires studying the structure of the Iwasawa algebra.

<p>The defining equations of Rees algebras provide a natural pathway to study these rings. However, information regarding these equations is often elusive and enigmatic. In this dissertation we study Rees algebras of particular classes of ideals and modules over hypersurface rings. We extend known results regarding Rees algebras of ideals and modules to this setting and explore the properties of these rings.</p> <p><br></p> <p>The majority of this thesis is spent studying Rees algebras of ideals in hypersurface rings, beginning with perfect ideals of grade two. After introducing certain constructions, we arrive in a setting similar to the one encountered by Boswell and Mukundan in [3]. We establish a similarity between Rees algebras of ideals with linear presentation in hypersurface rings and Rees algebras of ideals with <em>almost</em> linear presentation in polynomial rings. Hence we adapt the methods developed by Boswell and Mukundan in [3] to our setting and follow a path parallel to theirs. We introduce a recursive algorithm of <em>modified Jacobian dual iterations</em> which produces a minimal generating set for the defining ideal of the Rees algebra.</p> <p><br></p> <p>Once success has been achieved for perfect ideals of grade two, we consider perfect Gorenstein ideals of grade three in hypersurface rings and their Rees algebras. We follow a path similar to the one taken for the previous class of ideals. A recursive algorithm of <em>gcd-iterations</em> is introduced and it is shown that this method produces a minimal generating set of the defining ideal of the Rees algebra. </p> <p><br></p> <p>Lastly, we extend our techniques regarding Rees algebras of ideals to Rees algebras of modules. Using <em>generic Bourbaki ideals</em> we study Rees algebras of modules with projective dimension one over hypersurface rings. For such a module $E$, we show that there exists a generic Bourbaki ideal $I$, with respect to $E$, which is perfect of grade two in a hypersurface ring. We then adapt the techniques used by Costantini in [9] to our setting in order to relate the defining ideal of $\mathcal{R}(E)$ to the defining ideal of $\mathcal{R}(I)$, which is known from the earlier work mentioned above.</p> <p><br></p> <p>In all three situations above, once the defining equations have been determined, we investigate certain properties of the Rees algebra. The depth, Cohen-Macaulayness, relation type, and Castelnuovo-Mumford regularity of these rings are explored.</p>

<p dir="ltr">In this article, we establish results concerning the nilpotent representation theory of groups. In particular, we utilize a theorem of Stallings to provide a general method that constructs pairs of groups that have isomorphic universal nilpotent quotients. We then prove by counterexample that absolute Galois groups of number fields are not determined by their universal nilpotent quotients. We also show that this is the case for residually nilpotent Kleinian groups and in fact, there exist non-isomorphic pairs that have arbitrarily large nilpotent genus. We additionally provide examples of non-isomorphic curves whose geometric fundamental groups have isomorphic universal nilpotent quotients and the isomorphisms are compatible with the outer Galois actions. </p>