Arxiv

Abstract: In this talk, we will give an explicit upper bound of the average analytic rank of elliptic curves with a prescribed level structure, under the Hasse-Weil conjecture and generalized Riemann hypothesis for the elliptic curve L-functions. After introducing the previous results and an overview of the proof, we will focus on how recent results on counting rational points in the weighted projective spaces due to Deng, Phillips, and Bruin-Manterola Ayala have been used for our results. This is a joint work with Peter J. Cho and Junyeong Park.

Abstract : Let X be a smooth projective curve over a perfect field of characteristic p>0, and Y be a finite Galois covering of X (possibly allowing ramification). We first review the “refined’’ Riemann-Roch theorem for equivariant vector bundles on Y (due to Nakajima, Köck, and Fischbacher-Weitz & Köck), starting with the modular representation theory of finite groups and local integral normal basis theorem. We then explain how to use it to deduce the p-part of the BSD-like formula for Hasse-Weil-Artin L-functions over global function fields.

This is joint work in progress with Ki-Seng Tan, Fabien Trihan and Kwok-Wing Tsoi.

Abstract: In this series of talks, I will give a survey on some recent progress in the mod p Langlands program for GL_2(K), where K is a finite unramified extension of Qp. The talks are based on joint work with Breuil-Herzig-Morra-Schraen and with Wang. 

In the first talk, I will recall the mod p Langlands correspondence in the case of GL_2(Qp), including the classification of Barthel-Livné and Breuil, and the construction of Colmez’s functor. In the second talk, I will talk about the Gelfand-Kirillov dimension of admissible smooth representations of GL_2(K) coming from mod p cohomology of Shimura curves, and the relation to p-adic Langlands. In the last talk I will explain a generalization of Colmez’s functor in the case of GL_2(K).

Abstract: In this series of talks, I will give a survey on some recent progress in the mod p Langlands program for GL_2(K), where K is a finite unramified extension of Qp. The talks are based on joint work with Breuil-Herzig-Morra-Schraen and with Wang. 

In the first talk, I will recall the mod p Langlands correspondence in the case of GL_2(Qp), including the classification of Barthel-Livné and Breuil, and the construction of Colmez’s functor. In the second talk, I will talk about the Gelfand-Kirillov dimension of admissible smooth representations of GL_2(K) coming from mod p cohomology of Shimura curves, and the relation to p-adic Langlands. In the last talk I will explain a generalization of Colmez’s functor in the case of GL_2(K).

Abstract: In this series of talks, I will give a survey on some recent progress in the mod p Langlands program for GL_2(K), where K is a finite unramified extension of Qp. The talks are based on joint work with Breuil-Herzig-Morra-Schraen and with Wang. 

In the first talk, I will recall the mod p Langlands correspondence in the case of GL_2(Qp), including the classification of Barthel-Livné and Breuil, and the construction of Colmez’s functor. In the second talk, I will talk about the Gelfand-Kirillov dimension of admissible smooth representations of GL_2(K) coming from mod p cohomology of Shimura curves, and the relation to p-adic Langlands. In the last talk I will explain a generalization of Colmez’s functor in the case of GL_2(K).

• Abstract: Harder's conjecture predicts surprising congruences between the Hecke eigenvalues of a classical modular form and a vector-valued Siegel modular form of degree 2. We will discuss approaches to prove the conjecture in some cases using liftings of Siegel modular forms as an application of Arthur's endoscopic classification of automorphic representations. This is joint work with H. Katsurada.

• Abstract: In 2009, Kaneko introduced the “value” of the elliptic modular j-function at real quadratic irrationals using cycle integrals and offered various observations. Unfortunately, many of them remain unsolved, but some have recently been addressed and solved. Additionally, new approaches have emerged within the theory of mock modular forms, pioneered by Duke, Imamoglu, and Tóth in 2011. In this talk, I will provide an overview of these recent developments and introduce a connection with a hyperbolic Eisenstein series and the classical Rademacher symbol.

• Abstract: For a positive integer n, a positive definite integral quadratic form is called primitively n-universal if it primitively represents all positive definite integral quadratic forms of rank n. Ju, Kim, Kim, Kim, and Oh proved that there are exactly 107 primitively 1-universal quaternary quadratic forms up to isometry. In this talk, we prove that the minimal rank of a primitively 2-universal integral quadratic form is six, and we prove that there are exactly 201 primitively 2-universal senary integral quadratic forms up to isometry. This is joint work with Prof. Byeong-Kweon Oh.

• Abstract: We discuss dynamical and multifractal aspects of the Ostrowski map, which is given by the skew-product extension of continued fraction transformation. We plan to outline the set up and strategy based on transfer operator analysis, as well as some historical remarks (joint with Valérie Berthé).

• Abstract: In a series of two talks, we will discuss how to study crystalline / semistable local systems on the generic fiber of a p-adic formal scheme in terms of (log) prismatic F-crystals. We will first introduce some motivational background from prismatic cohomology. This is based on joint works with Heng Du, Tong Liu, and Koji Shimizu.

• Abstract: In a series of two talks, we will discuss how to study crystalline / semistable local systems on the generic fiber of a p-adic formal scheme in terms of (log) prismatic F-crystals. We will first introduce some motivational background from prismatic cohomology. This is based on joint works with Heng Du, Tong Liu, and Koji Shimizu.

• Abstract: The Emerton-Gee stack provides a geometric framework to study p-adic Galois representations and their families. It plays a central role in recent progress on the Serre weight conjectures and the formulation of the categorical mod p and p-adic local Langlands conjecture.

One of the most striking features of the Emerton-Gee stack is that irreducible components in its reduced substack bijects with irreducible representations of the finite group GL_n(F_q) with mod p coefficients. Here, we already see a connection between Galois representations and representations of (finite) reductive groups, as we anticipate in the Langlands program.

In the first talk, I will introduce the Emerton-Gee stack while providing some relevant backgrounds (e.g. algebraic stacks). Then I will discuss what is known about its irreducible components (with illustration!).

In the second talk, I will discuss a work in progress studying the geometry of irreducible components.

• Abstract: The Emerton-Gee stack provides a geometric framework to study p-adic Galois representations and their families. It plays a central role in recent progress on the Serre weight conjectures and the formulation of the categorical mod p and p-adic local Langlands conjecture.

One of the most striking features of the Emerton-Gee stack is that irreducible components in its reduced substack bijects with irreducible representations of the finite group GL_n(F_q) with mod p coefficients. Here, we already see a connection between Galois representations and representations of (finite) reductive groups, as we anticipate in the Langlands program.

In the first talk, I will introduce the Emerton-Gee stack while providing some relevant backgrounds (e.g. algebraic stacks). Then I will discuss what is known about its irreducible components (with illustration!).

In the second talk, I will discuss a work in progress studying the geometry of irreducible components.

• Abstract: Emerton and Gee have constructed moduli stacks of p-adic Galois representations of p-adic local fields. In this pair of talks, we will discuss what is known about these stacks in the two-dimensional case, including my work with Caraiani, Emerton, and Gee on the geometric Breuil-Mezard conjecture for potentially Barsotti-Tate representations; work of my student Kalyani Kansal on the intersections between irreducible components of these stacks; and work with Bellovin, Borade, Hilado, Kansal, Lee, Levin, and Wiersema on loci of crystalline representations with non-regular Hodge-Tate weights.

• Abstract: Emerton and Gee have constructed moduli stacks of p-adic Galois representations of p-adic local fields. In this pair of talks, we will discuss what is known about these stacks in the two-dimensional case, including my work with Caraiani, Emerton, and Gee on the geometric Breuil-Mezard conjecture for potentially Barsotti-Tate representations; work of my student Kalyani Kansal on the intersections between irreducible components of these stacks; and work with Bellovin, Borade, Hilado, Kansal, Lee, Levin, and Wiersema on loci of crystalline representations with non-regular Hodge-Tate weights.

• Abstract: Next year marks the 30th anniversary of Wiles’s proof of the modularity of semistable elliptic curves over the rational numbers, and the many mathematical ideas that were introduced in this celebrated argument have blossomed in the intervening years. In the course of the development of these ideas, a deep connection between p-adic Galois representations and the mod p and p-adic representation theory of p-adic groups has begun to emerge; and in more recent years, some of the geometric structures underlying this connection have begun to come into focus. In this talk we will attempt to give some indication of this circle of ideas.

• Abstract : In his (lost) notebooks, Ramanujan recorded an asymptotic expansion for a partial theta series and many $q$-series identities involving partial or false theta series. These theta-like series appear frequently in the study of partition function, knot theory, quantum invariants, and etc. In this talk, I will discuss their roles in $q$-series and related areas with emphasizes on asymptotic behaviors, modular properties, and $q$-combinatorics. 

• Abstract : In this talk, we will introduce a new method of analyzing the orbital integral for a regular semisimple element and for the unit element of the Hecke algebra in gl_n defined over any local field of characteristic 0 or > n, using smoothening of a certain scheme defined over DVR.

As an application, we will provide another proof of the known formula for gl_2. We will also provide a new closed formula for gl_3 and a lower bound for gl_n with any n>3.

Finally, we will propose a conjecture about estimation of a "potential" formula for gl_n.

This is a joint work with Yuchan Lee.

• Abstract : The notion of admissibility is central in the theory of representations of reductive groups. It means that the space of vectors fixed by compact open subgroups is finite dimensional. In the global case (and in characteristic 0) it is related to the finite dimensionality of the space of automorphic forms of a fixed level (and weight).

In the local case, it is know that every smooth irreducible mod p representation of GL_2 over a p-adic field F is admissible if F = Q_p. In this talk we shall construct non-admissible_ smooth irreducible mod p representations of GL_2(F) if the residue field of F is a proper extension of F_p. This is joint work with Daniel Le and Mihir Sheth (and extends work of Le and Ghate-Sheth for F/Q_p unramified).

• Abstract : The zig-zag conjecture predicts that the reductions of two-dimensional crystalline representations of the Galois group of Q_p of exceptional weights vary essentially through an alternating sequence of explicit irreducible and reducible representations.

Here exceptional means that the slope is a half-integer and the weight is two more than twice the slope modulo (p-1). This conjecture is known to be true for some small slopes: slope 1/2 (Buzzard-Gee), slope 1 (Bhattacharya-Ghate-Rozenstajn), and slope 3/2 (Ghate-Rai).

In this talk we shall give a proof of the zig-zag conjecture on the inertia subgroup, for half-integral slopes bounded by (p-1)/2, for weights that are p-adically close to weights bounded by p+1.  The proof uses a recent limiting argument of Ghate-Chitrao-Yasuda connecting two-dimensional crystalline and semi-stable representations, and work of Breuil-Mezard and Guerberoff-Park on the reductions of semi-stable representations of weights bounded by p+1.

• Abstract : For a polynomial $T(x)=x(x+1)/2$ and positive integers $a_1,a_2,\dots,a_k$, an integer-valued quadratic polynomial of the form $a_1T(x_1)+a_2T(x_2)+\cdots+a_kT(x_k)$ is called a triangular form of rank $k$. A triangular form is called regular if it represents all positive integers that are locally represented. In this talk, we find a way to classify all regular triangular forms of rank exceeding 3.

• Abstract :  In this talk, we introduce some interesting arithmetic properties of solutions to inhomogeneous Markoff-Hurwitz equations, in particular we study counterexamples to the Hasse principle as well as the question of finite generation of the solution set under Vieta involutions, sign changes and permutations of coordinates. This is a joint work with D. Schindler and J. Sivaraman. 

• Abstract :  We construct an explicit sequence of crystalline representations converging to a given irreducible two-dimensional semi-stable representation of the Gaois group of Q_p. The convergence takes place in the blow-up space of two-dimensional trianguline representations studied by Colmez and Chenevier. Our convergence result can be used to compute the reductions of any irreducible two-dimensional semi-stable representation in terms of the reductions of certain nearby crystalline representations of exceptional weight.

In particular, this provides an alternative approach to computing the reductions of irreducible two-dimensional semi-stable representations that circumvents the somewhat technical machinery of integral p-adic Hodge theory. For instance, using our zig-zag conjecture on the reductions of crystalline representations of exceptional weights, we recover completely the work of Breuil-M\'ezard and Guerberoff-Park on the reductions of irreducible semi-stable representations of weights at most p+1, at least on the inertia subgroup. As new cases of the zig-zag conjecture are proved, we further obtain some new information about the reductions for small odd weights.

Finally, we use the above ideas to explain away some apparent violations to local constancy in the weight of the reductions of crystalline representations of small weight that were noted in our earlier work and which provided the initial impetus for this work.

This is joint work with Anand Chitrao and Seidai Yasuda.

• Abstract :  In this talk, we study congruences between the q-expansions of modular forms. In particular, we classify possible levels of newforms congruent to a given Eisenstein series. 

• Abstract :  We give an overview of ring parametrizations given in Manjul Bhargava's "Higher Composition Laws", and discuss how they can be interpreted from various perspectives. Our general philosophy is that rings of rank n can be related to certain n points in projective spaces, and we seek to study 'arithmetic moduli' structure of these n points using tools in algebraic geometry or representation theory. 

• Abstract :  A positive definite and integral quadratic form is said to be universal if it represents all positive integers, and is said to be primitively universal if it represents all positive integers primitively. We also say it is primitively almost universal if it represents almost all positive integers primitively. Conway and Schneeberger proved that there are exactly 204 equivalence classes of universal quaternary quadratic forms. Recently, Earnest and Gunawardana proved that among 204 equivalence classes of universal quaternary quadratic forms, there are exactly 152 equivalence classes of primitively almost universal quaternary quadratic forms. In this talk, we prove that there are exactly 107 equivalence classes of primitively universal quaternary quadratic forms. 

• Abstract :  Strong multiplicity one theorem says that if two newforms have the same Hecke eigenvalues for almost all primes, then two newforms are the same. From this, investigating the number of ratios of the Hecke eigenvalues of two newforms can be viewed as the determination problem of a newform. Before, Choi and Lim proved that if the number of ratios of the Fourier coefficients of two weakly holomorphic modular forms on $\mathrm{SL}_{2}(\mathbb{Z})$ is finite, then one is a constant multiple of the other. In this talk, we give the lower bound for the number of ratios of the Hecke eigenvalues of two distinct newforms on $\mathrm{SL}_{2}(\mathbb{Z})$. To do this, we introduce the result of Ribet about the image of the Galois representation attached to two newforms and the result of Serre on the Chebotarev density theorem. This is joint work with Dohoon Choi. 

• Abstract :  The complexity of Euclid's algorithm for integers was successfully analyzed by Baladi and Vallee in 2005. It is an isolated example among numerous Euclidean domains and it is natural to ask whether their strategy, also known as the thermodynamic formalism, is valid in a wider context. The talk will be a report on the case of norm-Euclidean quadratic fields. We will focus on the symboilc models that allow us to apply the formalism in the first place. 

• Abstract :  The conjectural mod p Langlands program relates continuous mod p local Galois representations to smooth admissible representation of p-adic groups (with coefficients in a field of characteristic p). Except for GL_1 and GL_2(Q_p), there is no known construction of mod p Langlands correspondence. However, it is possible to construct a candidate using the space of mod p automorphic forms and the Talyor-Wiles method. It is not clear whether this candidate, constructed by taking non-canonical choices of global data, is determined by the initial mod p local Galois representation.

The mod p local-global compatibility says the reverse: we can recover the initial local Galois representation from the smooth admissible representation of p-adic group constructed above. In this talk, we will discuss this statement in the case of GSp_4(Q_p) and local Galois representations that are upper-triangular, maximally non-split, and generic. One of the main ingredients in the proof is explicit Jantzen filtration of lattices in a certain tame type. This is joint work with John Enns.

• Abstract :  The theory of automorphic forms, a vast generalization of modular forms, is now one of the main research object in modern number theory. However, the passage from modular forms to automorphic forms is not so clear at first glance and it makes people feel automorphic forms being difficult. The aim of these lecture series is to make graduate students or a novice who are interested in number theory be familiar with the theory of automorphic forms.

In the first week, we discuss how the theory of classical modular forms and Maass forms can be incorporated into the theory of automorphic forms using abstract language. In the second week, we explain how the theory Hecke action of modular forms can be translated into the Hecke algebra action of automorphic forms. If times permits, we also discuss how the original Ramanuzan conjecture on Tau function can be generalized to ‘Generalized Ramanuzan conjecture’ in the framework of automorphic representation theory. This course is quite modest and require no prerequisite on number theory. The undergraduate level of complex analysis and abstract algebra are enough because we review some basic theory of modular forms and algebraic number theory in the first week.

Language : Korean

References :

1. ‘Automorphic forms and representations’ -Daniel Bump-

2. ‘Automorphic forms on adele groups’ -Stephen. Gelbart-

• Abstract :  The unique basis functions $j_m$ of the form $q^{-m}+O(q)$ for the space of weakly holomorphic modular functions on the full modular group form a Hecke system. This feature was a critical ingredient in proofs of arithmetic properties of Fourier coefficients of modular functions and denominator formula for the Monster Lie algebra. In this talk, I will consider the basis functions of the space of harmonic weak Maass functions of an arbitrary level, which generalize $j_m$, and show that they form a Hecke system as well. As applications, I will establish some divisibility properties of Fourier coefficients of weakly holomorphic modular forms on modular curves of genus $\ge1$. Furthermore, I will present a general duality relation that these modular forms satisfy. This is a joint work with Daeyeol Jeon and Soon-Yi Kang. 

• Abstract :  We  will  describe  the  problem  of  mod  p  reduction  of  p-adic  Galois  representations.   For two  dimensional  crystalline  representations  of  the  local  Galois  group  Gal(Q¯ p |Qp ),  the  reduction  can  be computed using the compatibility of p-adic and mod p Local Langlands Correspondences; this method was first introduced by Christophe Breuil in 2003. After giving a sketch of the background and history of the problem, we will discuss how the reductions behave for representations with slopes in the half-open interval [1, 2) (Joint works with Eknath Ghate, and also with Sandra Rozensztajn for slope 1). Next we will discuss the radius of local constancy of this reduction process in the weight space. If time permits, we will explain the proof in detail in one special case

• Abstract : In this talk, we are interested in relation between algebraic and analytic theories of quadratic forms which are linked by their theta series, with a particular interest in the ternary case. Schulze-Pillot's result will be described which explains the connection between the spinor genus theory on the algebraic side and a natural decomposition of theta series as a modular form of weight 3/2 on the analytic side. Moreover, we will present a recent work that extends Schulze-Pillot's result to quadratic forms with congruence conditions in terms of quadratic lattice cosets. This is joint work with Ben Kane. 

• Abstract : A number field F is called p-rational for an odd prime p, if the Galois group of the maximal pro-p extension of F that is unramified outside p is pro-p free. It was introduced by Abbas Movahhedi to find non-abelian number fields for which the Leopoldt conjecture at p is true. In this talk, we briefly explain the theory of p-rationality. We also show that if l is a Sophie Germain prime such that p is primitive root modulo l, then Q(\zeta_{2l+1})^{+} is p-rational if p is less than 4l. We also give a heuristic evidence for the recent conjecture of Georges Gras that a number field is p-rational for all but finitely many primes p. 

• Abstract : We reprove the main equidistribution instance in the Ferrero-Washington proof of the vanishing of cyclotomic Iwasawa \mu-invariant, based on the ergodicity of a certain p-adic skew-extension dynamical system which can be identified with Bernoulli shift (joint with Bharathwaj Palvannan). 

• Abstract : In this talk, we are interested in relation between prime-producing polynomials and class number one problem of number fields.

First, we recall the results for prime-producing polynomials related to class number one problem of quadratic number fields.

Next, we discuss topics related to this problem for cubic number fields.

• Abstract : The classification of discrete series is one main subject in Langlands program with numerous applications. We first explain the result on the classification of discrete series of odd GSpin groups, generalizing the Mœglin-Tadić classification for classical groups. Note that our approach will give alternate proof for classical groups. This is a joint project with Ivan Matić. If time permits, we will explain one application of those, degenerate principal series for classical groups and GSpin groups, which is a joint work with Ivan Matić and Baiying Liu. 

• Abstract : We consider the non-existence of rational curves on certain Kummer varieties. In particular, we prove that if the $j$-invariants of a $21$-tuple of elliptic curves $E_1,\ldots,E_{21}$ over $\mathbb{C}$ are algebraically independent over $\mathbb{Q}$, there is no hyperelliptic curve which admits a non-trivial morphism to each of the $E_i$. This is a joint work with Michael Larsen and Sailun Zhan. 

• Abstract : Simpson conjectured that for a reductive group $G$, rigid $G$-local systems on a smooth projective complex variety are integral. I will discuss a proof of integrality for cohomologically rigid $G$-local systems. This generalizes and is inspired by work of Esnault and Groechenig for $GL_n$. Surprisingly, the main tools used in the proof (for general $G$ and $GL_n$) are the work of L. Lafforgue on the Langlands program for curves over function fields, and work of Drinfeld on companions of $\ell$-adic sheaves. The major differences between general $G$ and $GL_n$ are first to make sense of companions for $G$-local systems, and second to show that the monodromy group of a rigid G-local system is semisimple. All work is joint with Stefan Patrikis.

• Abstract : In this talk, we consider the following questions:

1. For a random matrix A∈Mat_n(Z_p) and given finite abelian p-groups G_1 and G_2, what is the probability that coker(A)≅G_1 and coker(A+I_n)≅G_2 as n->∞?

2. Similarly, for a given finite Z_p[t]/(t^2+1)-module G, what is the probability that coker(A^2+I_n)≅G as n->∞?

The above questions generalize the result of Friedman and Washington on the distribution of the cokernels of random p-adic integral matrices. First we explain the relation between the Cohen-Lenstra heuristics and the work of Friedman and Washington. After that, we explain four possible ways to generalize the work of Friedman and Washington, which include the answers to the above questions.

• Abstract : We discuss the Diophantine study of integral points on certain moduli spaces that arise in geometry. First, we study the integral points on moduli spaces of SL2-local systems on surfaces with prescribed boundary monodromy, and establish their decidability and effective finite generation using mapping class group action and differential geometric tools. The second family we discuss are the moduli spaces of Stokes matrices with prescribed Coxeter invariants. For these, we present recent and ongoing work on the structure of the integral points under a nonlinear braid group action (partly joint with Yu-Wei Fan), and highlight an exceptional connection to the first moduli spaces.

• Abstract : Let $E$ be an elliptic curve over the rational number field $\mathbb{Q}$. Selmer Groups and Ideal Class Groups are important and widely-studied objects in number theory. Brumer and Kramer studied relations between these two objects in their paper in 1977. They actually found an upper bound for the $2$-Selmer rank of $E$ in terms of the ideal class group of a certain cubic field extension of $\mathbb{Q}$. As an application, they determined the Mordell-Weil ranks of (most) elliptic curves of prime conductor assuming BSD conjecture. In this talk, we will talk about a generalization of Brumer-Kramer's work to the case of elliptic curves over an arbitrary number field. We will give both upper and lower bounds for the $2$-Selmer rank in terms of a (modified) ideal class group, and the bounds turn out to be sharp in many cases. This is joint work with Hwajong Yoo. 

• Abstract : We delve into an innocuous question about counting "square-free numbers" in various forms, following the philosophy of Weil's three columns.

Example 1. We count square-free integers.

Example 2. We count square-free polynomials of a fixed degree over a finite field.

Example 3. We compute the Betti numbers of the space of square-free polynomials of a fixed degree over complex numbers by quoting a theorem of Arnol'd in topology.

By viewing Example 3 as counting square-free 0-cycles on the affine line over complex numbers, we add one more example to this list, using our main result.

Example 4. We compute the Betti numbers of the space of square-free 0-cycles of fixed degree on a punctured elliptic curve over complex numbers.

We briefly explain how Examples 3 and 4 can be obtained by showing that the mixed Hodge structure of the i-th singular cohomology group with rational coefficients is pure of some weight different from i. This is joint work with Yifeng Huang.

• Abstract : The global Gan-Gross-Prasad (GGP) conjecture predicts that the non-vanishing of automorphic periods is equivalent to that of central L-values. In this talk, we discuss the GGP conjecture for symplectic groups and the proof of one direction of the conjecture. As an application, we prove that the non-vanishing of infinitely many quadratic twists of central L-values of GL_{2n}.

• Abstract : We discuss a variant of the Birch and Swinnerton-Dyer conjecture for elliptic curves. More refined arithmetic information than the original Birch and Swinnerton-Dyer conjecture is observed from this variant.

  • 1. Statement of the main results.

  • 2. Preliminaries on Selmer groups, modular symbols, and Kolyvagin systems.

  • 3. Proof of the rank zero case.

  • 4. Proof of the positive rank case.

• Abstract : In model theory of valued fields, one of fundamental results is the AKE-principle proved by Ax-Kochen and independently Ershov. It says that given two unramified Henselian valued fields of equal characteristic zero, two valued fields are elementary equivalent if and only if their residue fields and value groups are elementary equivalent. The AKE principle induces the transfer principle for first order sentence between unramified local fields of characteristic (0,p) and (p,p) and using the transfer principle, Ax and Kochen proved the Artin conjecture on the Diophantine dimension for unramified local fields of characteristic (0,p), which led them to win Cole prize.

 In the first part of the talk, I will briefly recall basic model theory, and introduce the AKE-principle and its several applications. In the second part, I will introduce my contributions to the AKE-principle for finitely ramified case, based on my work and joint work with Wan Lee.

• Abstract : Homomorphic encryption is an encryption method to enable arbitrary computation on encrypted data without decryption. It has emerged as one of the promising solutions to address privacy issues in computation over sensitive data.  In this talk, I will introduce the basic construction of homomorphic encryption. We then focus on the recent development of (approximate) homomorphic encryption.  We conclude with the state-of-art benchmarks of the encryption systems in real-world applications such as machine learning and biomedical study. 

• Abstract : In 1976 D. Goldfeld used the theory of elliptic curves to give an effective resolution of quadratic class number problem, and 10 years later J. Oesterle gave an explicit result for imaginary quadratic fields. We extend the results to real quadratic fields and show an explicit lower bound on class numbers for 

1) narrow Richaud-Degert type real quadratic fields under the BSD rank conjecture, and

2) a certain family of wide Richaud-Degert type real quadratic fields without the BSD rank conjecture. 

This is a joint work with Dongho Byeon.

• Abstract : A sequence $S$ over a finite group $G$ is a multiset of terms from $G$ which is unordered, repetition of terms allowed. We say that $S$ is a product-one sequence if its terms can be ordered so that their product (under the group operation) equals the identity element $1_G$ of the group. Since the 1960s, the study of product-one sequences has developed into a flourishing branch of additive and combinatorial number theory.

In this introductory talk, we will briefly discuss some of the product-one problems, including the Davenport constant and the Er\H{o}s-Ginzburg-Ziv theorem, and then explain its close connection to the study of non-unique factorization over fairly general monoids and rings, including those of principal interest to algebraic number theory.

• Abstract : An integer partition is called an $s$-core partition if $s$ is not a hook length of the partition, and is called an $(s_1, s_2, \ldots, s_k)$-core partition if it is an $s_i$-core for all $1\le i\le k$. In this talk, we first discuss some results on simultaneous core partitions and self-conjugate core partitions. Then, we talk about bar-cores, core shifted Young diagrams (or CSYDs), and doubled distinct cores, which seem irrelevant at first, but we eventually show that they are related to each other. Moreover, we give $NE$ lattice path interpretations of these core partitions on $(s,t)$-cores and free Motzkin path interpretations of these core partitions on $(s,s+d,s+2d)$-cores. 

• Abstract  :  For a positive integer $n$, let $T(n)$ be the set of all integers greater than or equal to $n$. An integral quadratic form $f$ is called tight $T(n)$-universal if the set of nonzero integers that are represented by $f$ is exactly $T(n)$. The smallest possible rank over all  tight $T(n)$-universal quadratic forms is defined by $t(n)$.  In this talk, we find all tight $T(n)$-universal diagonal quadratic forms. We also prove that $t(n) \in \Omega(\log_2(n)) \cap O(\sqrt{n})$. Explicit lower and upper bounds for $t(n)$ will be provided for some small integer $n$.

This is a joint work with Byeong-Kweon Oh.

• Abstract  :  Since the smallest $m$-gonal number is $m-3$ except $0$ and $1$, in constructing an universal $m$-gonal form, escalating process to represent from $1$ to at least $m-4$ must occur. But the representability of every positive integer up to $m-4$ does not characterize the universality i.e., there are $m$-gonal forms which represent every positive integer up to $m-4$ but not universal. Then one may question that how far is it to an $m$-gonal form which represents every positive integer up to $m-4$ from an universal form?

Firstly, we show that for any $m$-gonal form which represents every positive integer up to $m-4$, to complete a universal form one more extra unary piece would be enough for $m \ge 12$.

Even though the representability of every positive integer up to $m-4$ is not enough to imply the universality in general, for some specific  pairs of first coefficients, the representability of $m$-gonal form whose first coefficients are specific (kinds of very nice) is equivalent its universality.

Secondly, we classify such the first five coefficients and see some applications to determine the optimal (i.e., minimal) rank of some specific type of $m$-gonal forms to be univesal.

In order to show both of above two arguments, we adopt the arithmetic theory of quadratic form.

Especially, the proof relies on observation of particular representation of specific type of binry quadratic form by a diagonal quadratic form.

• Abstract : The values of the classical $j$-invariant at CM points are called singular moduli. Zagier proved that the Galois traces of singular moduli are Fourier coefficients of a weakly holomorphic modular form of weight $3/2$.  

The goal of this talk is to extend the Zagier's work. Namely, we construct the real-valued class invariants by using the modular functions defined by Weber's resolvents and identify their Galois traces with Fourier coefficients of a weight $3/2$ weakly holomorphic modular form by using Shimura's reciprocity law. This is a joint work with Ho Yun Jung, Chang Heon Kim and Soonhak Kwon.

• Abstract : In this talk, we will discuss the analogue of Iwasawa's mu=0 conjecture for a non-cyclotomic $\mathbb{Z}_p$-extension. This is joint work with Yukako Kezuka and Yongxiong Li. 

• Abstract :  The aim of this talk is to explain how to construct $p$-adic  $L$-function and  introduce basic theories related p-adic number theory. Using these theory, we studied some theorem about p-adic zeta function. Finally, we give some problems about p-adic zeta function for our future work.

• Abstract : Non-vanishing of special values of Dirichlet $L$-series can be determined via their regulators. We are interested in $p$-adic analogues, i.e., we study conjectures of Gross and Leopoldt.  Since Iwasawa, it is known that characteristic polynomials of certain Iwasawa modules are related to them. We discuss whether these can be generalized. 

• Abstract : An algebraic function field is an algebraic extension of finite degree over the rational function field. This field extension occurs in various branches of mathematics such as algebraic geometry, number theory, and compact Riemann surfaces.

In the first half of this talk, I will give a brief overview of the general theory of algebraic function fields, including basic concepts, class groups, and Galois extensions of function fields. For the second half, I will focus on cyclic extensions over the rational function field and discuss the structures of class groups of such field extensions.

• Abstract : In the first half of this introductory talk, we review basic concepts of Diophantine geometry including elliptic curves, hyperelliptic curves their L-functions, and Birch—Swinnerton-Dyer conjecture. Also, we introduce some known results on BSD conjecture and arithmetic statistics.

After that, we explain how to give a bound on the number of rational points on elliptic curves and hyperelliptic curves. Based on this technique, we talk about problems of constructing abelian varieties with given algebraic/analytic rank, which sometimes make an example satisfying BSD conjecture.

• Abstract : In the late 20th century, there had been many studies on the connection between modular forms and Galois representation, highlighted by the proof of Taniyama-Shimura conjecture by Taylor and Wiles. This is now a part of Langlands program, whose goal is relating various L-functions in automorphic and arithmetic context. 

One can also ask how the structure of one side is reflected on the other side. Serre conjectured that certain 2-dimensional mod p Galois representations arise from modular forms and specified the explicit weight and level of modular form that gives rise to a given mod p Galois representation. Higher dimensional analogue of the weight part of Serre's conjectures is formulated by Herzig and is proven by Le-Le Hung-Levin-Morra in their recent work.

In this talk, I will discuss the weight part of Serre's conjectures in higher dimension and how it is related to the representation of finite groups and lifting local Galois representations. Then I will explain the connection between these objects under the Langlands philosophy, to formulate the explicit Serre weight conjectures. If time permits, I will discuss the conjecture for the group GSp(4) and its relation to the case of GL(4).

• Abstract : Let $X$ be an abelian variety of dimension $g$ over a field $k$. In general, the group $\textrm{Aut}_k(X)$ of automorphisms of $X$ over $k$ is not finite. But if we fix a polarization $\mathcal{L}$ on $X$, then the group $\textrm{Aut}_k(X,\mathcal{L})$ of automorphisms of the polarized abelian variety $(X,\mathcal{L})$ over $k$ is known to be finite. Then it is natural to ask which finite groups can be realized as the full automorphism group of a polarized abelian variety over some field $k.$ In one of earlier works, a complete classification of such finite groups was given for the case when $k$ is a finite field, $g$ is an odd prime, and $X$ is simple. One interesting thing is that the maximal such a finite group was a cyclic group of order $4g+2$ only when $g$ is a Sophie Germain prime. Another notable thing is the fact that the abelian variety that was constructed to achieve the maximal cyclic group splits over $\overline{k}$, an algebraic closure of $k.$  

In this talk, we provide a construction of an absolutely simple abelian variety of dimension $g$ ($g$ being a Sophie Germain prime) over a finite field $k$, which attains the maximal automorphism group. This can be regarded as the counterpart for the previous construction. Also, we briefly describe the asymptotic behavior of the characteristic of the base field $k$ for which we can give such a construction. Finally, if time permits, we take a closer look at the case of $g=5$ by introducing the Newton polygon of an abelian variety of dimension $5.$