Source author record

Daewoong Cheong

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

7works
4topics
4close collaborators

Published work

7 publications

preprint2026arXiv

The Mattila-Sjölin problem for the k-distance over a finite field

Let Fqd\mathbb{F}_q^d be a dd-dimensional vector space over a finite field Fq\mathbb{F}_q with qq elements. For x∈Fqdx\in \mathbb{F}_q^d, let ∥x∥=x12+⋯+xd2\|x\| = x_1^2+\dots+x_d^2. By abuse of terminology, we shall call ∥⋅∥\|\cdot\| a norm on Fqd\mathbb{F}_q^d. For a subset E⊂FqdE\subset \mathbb{F}_q^d, let Δ(E)Δ(E) be the distance set on EE defined as Δ(E):={∥x−y∥:x,y∈E}Δ(E):=\{\|x-y\| : x, y \in E \}. The Mattila-Sjölin problem seeks the smallest exponent α>0α>0 such that Δ(E)=FqΔ(E) =\mathbb{F}_q for all subsets E⊂FqdE \subset \mathbb{F}_q^d with ∣E∣≥Cqα|E| \geq Cq^α. In this article, we consider this problem for a variant of this norm, which generates a smaller distance set than the norm ∥⋅∥.\|\cdot\|. Namely, we replace the norm ∥⋅∥\|\cdot\| by the so-called kk-norm (1≤k≤d)(1 \leq k \leq d), which can be viewed as a kind of deformation of ∥⋅∥\|\cdot\|. To derive our result on the Mattila-Sjölin problem for the kk-norm, we use a combinatorial method to analyze various summations arising from the discrete Fourier machinery. Even though our distance set is smaller than the one in the Mattila-Sjölin problem, for some kk we still obtain the same result as that of Iosevich and Rudnev (2007), which deals with the Mattila-Sjölin problem. Furthermore, our result is sharp in all odd dimensions.

preprint2020arXiv

An asymmetric bound for sum of distance sets

For E⊂Fqd E\subset \mathbb{F}_q^d, let Δ(E)Δ(E) denote the distance set determined by pairs of points in EE. By using additive energies of sets on a paraboloid, Koh, Pham, Shen, and Vinh (2020) proved that if E,F⊂FqdE,F\subset \mathbb{F}_q^d are subsets with ∣E∣∣F∣≫qd+13|E||F|\gg q^{d+\frac{1}{3}} then ∣Δ(E)+Δ(F)∣>q/2|Δ(E)+Δ(F)|> q/2. They also proved that the threshold qd+13q^{d+\frac{1}{3}} is sharp when ∣E∣=∣F∣|E|=|F|. In this paper, we provide an improvement of this result in the unbalanced case, which is essentially sharp in odd dimensions. The most important tool in our proofs is an optimal L2L^2 restriction theorem for the sphere of zero radius.

preprint2020arXiv

Irreducibility of Lagrangian Quot schemes over an algebraic curve

Let CC be a complex projective smooth curve and WW a symplectic vector bundle of rank 2n2n over CC. The Lagrangian Quot scheme LQ−e(W)LQ_{-e}(W) parameterizes subsheaves of rank nn and degree −e-e which are isotropic with respect to the symplectic form. We prove that LQ−e(W)LQ_{-e}(W) is irreducible and generically smooth of the expected dimension for all large ee, and that a generic element is saturated and stable.

preprint2020arXiv

Isotropic Quot schemes of orthogonal bundles over a curve

We study the isotropic Quot schemes IQe(V)IQ_e (V) parameterizing degree ee isotropic subsheaves of maximal rank of an orthogonal bundle VV over a curve. The scheme IQe(V)IQ_e (V) contains a compactification of the space IQeo(V)IQ^o_e (V) of degree ee maximal isotropic subbundles, but behaves quite differently from the classical Quot scheme, and the Lagrangian Quot scheme in [6]. We observe that for certain topological types of VV, the scheme IQe(V)IQ_e (V) is empty for all ee. In the remaining cases, for infinitely many ee there are irreducible components of IQe(V)IQ_e (V) consisting entirely of nonsaturated subsheaves, and so IQe(V)IQ_e (V) is strictly larger than the closure of IQeo(V)IQ^o_e (V). As our main result, we prove that for any orthogonal bundle VV and for e≪0e \ll 0, the closure IQeo(V)‾\overline{IQ^o_e (V)} of IQeo(V)IQ^o_e (V) is either empty or consists of one or two irreducible connected components, depending on °(V)°(V) and ee. In so doing, we also characterize the nonsaturated part of IQeo(V)‾\overline{IQ^o_e (V)} when VV has even rank.

preprint2016arXiv

Equivariant compactifications of a nilpotent group by G/PG/P

Let GG be a simple complex algebraic group, PP a parabolic subgroup of GG and NN the unipotent radical of P.P. The so-called equivariant compactification of NN by G/PG/P is given by an action of NN on G/PG/P with a dense open orbit isomorphic to NN. In this article, we investigate how many such equivariant compactifications there exist. Our result says that there is a unique equivariant compactification of NN by G/PG/P, up to isomorphism, except n¶^n.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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