# 세미나 및 콜로퀴엄

구글 Calendar나 iPhone 등에서 구독하면 세미나 시작 전에 알림을 받을 수 있습니다.

(This is a reading seminar for graduate students.)

Grothendieck's $K_0$-group has an exact sequence $K_0(Z)\to K_0(X)\to K_0(X-Z)\to 0$ for a closed immersion $Z\to X$ of regular noetherian schemes, whose kernel of the leftmost map is usually nontrivial. To prolong this sequence functorially, Quillen defined higher algebraic $K$-groups as the higher homotopy groups of some mysterious category associated to an exact category. For this, we introduce simplicial sets, $Q$-construction of an exact category, higher $K$-groups of schemes, and their remarkable theorems, part of which extends the previously mentioned exact sequence for $K_0$ and relates higher K-theory with Chow groups. This is the first half of Quillen's algebraic $K$-theory.

Finite element discretization of solutions with respect to simplicial/cubical meshes has been studied for decades, resulting in a clear understanding of both the relevant mathematics and computational engineering challenges. Recently, there has been both a desire and need for an equivalent body of research regarding discretization with respect to generic polygonal/polytopal meshes. General meshes offer a very convenient framework for mesh generation, mesh deformations, fracture problems, composite materials, topology optimizations, mesh refinements and coarsening; for instance, to handle hanging nodes, different cell shapes within the same mesh and non-matching interfaces. Such a flexibility represents a powerful tool towards the efficient solution of problems with complex inclusions as in geophysical applications or posed on very complicated or possibly deformable geometries as encountered in basin and reservoir simulations, in fluid-structure interaction, crack propagation or contact problems.

In this talk, a new computational paradigm for discretizing PDEs is presented via staggered Galerkin approach on general meshes. First, a class of locally conservative, lowest order staggered discontinuous Galerkin method on general quadrilateral/polygonal meshes for elliptic problems are proposed. The method can be flexibly applied to rough grids such as highly distorted meshes. Next, adaptive mesh refinement is an attractive tool for general meshes due to their flexibility and simplicity in handling hanging nodes.

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 $k.$

In this talk, we give a classification of such finite groups for the case when $k$ is a finite field and $g$ is a prime number. If $g=2,$ then we need a notion of maximality in a certain sense, and for $g geq 3,$ we achieve a rather complete list without conveying maximality.

(This is a reading seminar for graduate students.)

Grothendieck's $K_0$-group has an exact sequence $K_0(Z)\to K_0(X)\to K_0(X-Z)\to 0$ for a closed immersion $Z\to X$ of regular noetherian schemes, whose kernel of the leftmost map is usually nontrivial. To prolong this sequence functorially, Quillen defined higher algebraic $K$-groups as the higher homotopy groups of some mysterious category associated to an exact category. For this, we introduce simplicial sets, $Q$-construction of an exact category, higher $K$-groups of schemes, and their remarkable theorems, part of which extends the previously mentioned exact sequence for $K_0$ and relates higher K-theory with Chow groups. This is the second half of Quillen's algebraic $K$-theory.

Recently, the classification of isoparametric hypersurfaces in spheres has been completed. Therefrom, various new research projects in geometry have been initiated. The study of minimal lagrangian submanifolds via isoparametric hypersurfaces is one of the most active projects a la mode. In this talk, we have an introduction to the study of Isoparametric hypersurfaces and minimal Lagrangian submanfolds, and discuss the relationship between them.

Let K be a field. The monodromy group of a rational function $r(X) = f(X)/g(X) \in K(X)$, i.e., the Galois group of $f(X) − tg(X)$ over $K(t)$, is an important object of study in problems from number theory, geometry, arithmetic dynamics, etc.

Classifying which finite groups occur as monodromy groups has been of great interest, since this knowledge helps reducing many arithmetic problems to pure group theory. The celebrated Guralnick-Thompson conjecture (1990; eventually proved by Frohardt and Magaard) asserts that apart from alternating and cyclic groups, only finitely many simple groups occur as composition factors of monodromy groups of rational functions over C (so-called "geometric" monodromy groups). In the case of functionally indecomposable $r(X)$, later work by Neftin, Zieve and others classified not only the "exceptional" groups, but actually the rational functions with exceptional monodromy group, assuming sufficiently large degree. In joint work in progress with Mueller, Neftin and Zieve, we reach a similar result for "arithmetic" monodromy groups. That is, we extend the above classification to arbitrary fields of characteristic zero. As a consequence, we also prove a generalization of the Guralnick-Thompson conjecture for arbitrary fields.