Researcher profile

Sungmun Cho

Sungmun Cho contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

preprint2020arXiv

A reformulation of the Siegel series and intersection numbers

In this paper, we will explain a conceptual reformulation and inductive formula of the Siegel series. Using this, we will explain that both sides of the local intersection multiplicities of [GK93] and the Siegel series have the same inherent structures, beyond matching values. As an application, we will prove a new identity between the intersection number of two modular correspondences over Fp and the sum of the Fourier coefficients of the Siegel-Eisenstein series for Sp_4 of weight 2, which is independent of p (> 2). In addition, we will explain a description of the local intersection multiplicities of the special cycles over F_p on the supersingular locus of the `special fiber&#39; of the Shimura varieties for GSpin(n; 2), n<=3 in terms of the Siegel series directly.

preprint2020arXiv

An explicit formula for the extended Gross-Keating datum of a quadratic form

In this paper, we give a formula for the extended Gross-Keating datum of a quadratic form defined over a finite extension of $\mathbb{Z}_p$ (for $p>2$) or a finite unramified extension of $\mathbb{Z}_2$. As an application, we describe an explicit formula for the Siegel series for $\mathbb{Z}_p$. We also present the details of algorithms implemented in a Mathematica package to compute the extended Gross-Keating datum and the Siegel series.

preprint2020arXiv

On the local density formula and the Gross-Keating invariant with an Appendix `The local density of a binary quadratic form&#39; by T. Ikeda and H. Katsurada

T. Ikeda and H. Katsurada have developed the theory of the Gross-Keating invariant of a quadratic form in their recent papers [IK1] and [IK2]. In particular, they prove that the local factor of the Fourier coefficients of the Siegel-Eisenstein series is completely determined by the Gross-Keating invariant with extra datum, called the extended GK datum, in [IK2]. On the other hand, such local factor is a special case of the local densities for a pair of two quadratic forms. Thus we propose a general question if the local density can be determined by certain series of the Gross-Keating invariants and the extended GK datums. In this paper, we prove that the answer to this question is affirmative, for the local density of a single quadratic form defined over an unramified finite extension of $\mathbb{Z}_2$. In the appendix, T. Ikeda and H. Katsurada compute the local density formula of a single binary quadratic form defined over any finite extension of $\mathbb{Z}_2$.

preprint2015arXiv

Group schemes and local densities of ramified hermitian lattices in residue characteristic 2 Part I

The obstruction to the local-global principle for a hermitian lattice (L, H) can be quantified by computing the mass of (L, H). The mass formula expresses the mass of (L, H) as a product of local factors, called the local densities of (L, H). The local density formula is known except in the case of a ramified hermitian lattice of residue characteristic 2. Let F be a finite unramified field extension of Q_2. Ramified quadratic extensions E/F fall into two cases that we call Case 1 and Case 2. In this paper, we obtain the local density formula for a ramified hermitian lattice in Case 1, by constructing a smooth integral group scheme model for an appropriate unitary group. Consequently, this paper, combined with the paper of W. T. Gan and J.-K. Yu, allows the computation of the mass formula for a hermitian lattice (L, H) in Case 1.

preprint2014arXiv

Group schemes and local densities of quadratic lattices in residue characteristic 2

The celebrated Smith-Minkowski-Siegel mass formula expresses the mass of a quadratic lattice (L, Q) as a product of local factors, called the local densities of (L,Q). This mass formula is an essential tool for the classification of integral quadratic lattices. In this paper, we will describe the local density formula explicitly, by constructing a smooth integral group scheme model for an appropriate orthogonal group. Our method works for any unramified finite extension of Q_2. Therefore, we give a long awaited proof for the local density formula of Conway and Sloane and discover its generalization to unramified finite extensions of Q_2. As an example, we give the mass formula for the integral quadratic form Q_n(x_1, ..., x_n)=x_1^2 + ... + x_n^2 associated to a number field k which is totally real and such that the ideal (2) is unramified over k.

preprint2013arXiv

Relations among smooth integral models associated to quadratic, symplectic and hermitian lattices

This work is motivated by an investigation into whether, and if so how, certain well known facts about Lie groups manifest in the context of group schemes over rings of integers of local fields. There are the following well-known relations among unitary, orthogonal and symplectic groups: U(n)=O(2n) \cap GL(n, C)=Sp(2n) \cap GL(n, C). Therefore, it is natural to ask whether or not there exist such relations among smooth integral models of unitary, orthogonal and symplectic groups defined over a local field. Moreover, if there do not exist such relations, it would still be worthwhile if one can identify the properties of a hermitian form that lead to failure. We answer all these questions in this paper.