Showing 1–14 of 14 results for author: Cheong, D

Counting maximal isotropic subbundles of orthogonal bundles over a curve

Authors: Daewoong Cheong, Insong Choe, George H. Hitching

Abstract: Let $C$ be a smooth projective curve and $V$ an orthogonal bundle over $C$. Let $\IQeV$ be the isotropic Quot scheme parameterizing degree $e$ isotropic subsheaves of maximal rank in $V$. We give a closed formula for intersection numbers on components of $\IQeV$ whose generic element is saturated. As a special case, for $g \ge 2$, we compute the number of isotropic subbundles of maximal rank and d… ▽ More Let $C$ be a smooth projective curve and $V$ an orthogonal bundle over $C$. Let $\IQeV$ be the isotropic Quot scheme parameterizing degree $e$ isotropic subsheaves of maximal rank in $V$. We give a closed formula for intersection numbers on components of $\IQeV$ whose generic element is saturated. As a special case, for $g \ge 2$, we compute the number of isotropic subbundles of maximal rank and degree of a general stable orthogonal bundle in most cases when this is finite. This is an orthogonal analogue of Holla's enumeration of maximal subbundles in \cite{Ho}, and of the symplectic case studied in \cite{CCH1}. △ Less

Submitted 11 November, 2023; originally announced November 2023.

Comments: 31 pages

MSC Class: 14H60; 14M17; 14N10; 14N35

Mattila--Sjölin type functions: A finite field model

Authors: Daewoong Cheong, Doowon Koh, Thang Pham, Chun-Yen Shen

Abstract: Let $φ(x, y)\colon \mathbb{R}^d\times \mathbb{R}^d\to \mathbb{R}$ be a function. We say $φ$ is a Mattila--Sjölin type function of index $γ$ if $γ$ is the smallest number satisfying the property that for any compact set $E\subset \mathbb{R}^d$, $φ(E, E)$ has a non-empty interior whenever $\dim_H(E)>γ$. The usual distance function, $φ(x, y)=|x-y|$, is conjectured to be a Mattila--Sjölin type functio… ▽ More Let $φ(x, y)\colon \mathbb{R}^d\times \mathbb{R}^d\to \mathbb{R}$ be a function. We say $φ$ is a Mattila--Sjölin type function of index $γ$ if $γ$ is the smallest number satisfying the property that for any compact set $E\subset \mathbb{R}^d$, $φ(E, E)$ has a non-empty interior whenever $\dim_H(E)>γ$. The usual distance function, $φ(x, y)=|x-y|$, is conjectured to be a Mattila--Sjölin type function of index $\frac{d}{2}$. In the setting of finite fields $\mathbb{F}_q$, this definition is equivalent to the statement that $φ(E, E)=\mathbb{F}_q$ whenever $|E|\gg q^γ$. The main purpose of this paper is to prove the existence of such functions with index $\frac{d}{2}$ in the vector space $\mathbb{F}_q^d$. △ Less

Submitted 8 October, 2021; v1 submitted 21 March, 2021; originally announced March 2021.

Comments: 14 pages

An asymmetric bound for sum of distance sets

Authors: Daewoong Cheong, Doowon Koh, Thang Pham

Abstract: For $ E\subset \mathbb{F}_q^d$, let $Δ(E)$ denote the distance set determined by pairs of points in $E$. By using additive energies of sets on a paraboloid, Koh, Pham, Shen, and Vinh (2020) proved that if $E,F\subset \mathbb{F}_q^d $ are subsets with $|E||F|\gg q^{d+\frac{1}{3}}$ then $|Δ(E)+Δ(F)|> q/2$. They also proved that the threshold $q^{d+\frac{1}{3}}$ is sharp when $|E|=|F|$. In this paper… ▽ More For $ E\subset \mathbb{F}_q^d$, let $Δ(E)$ denote the distance set determined by pairs of points in $E$. By using additive energies of sets on a paraboloid, Koh, Pham, Shen, and Vinh (2020) proved that if $E,F\subset \mathbb{F}_q^d $ are subsets with $|E||F|\gg q^{d+\frac{1}{3}}$ then $|Δ(E)+Δ(F)|> q/2$. They also proved that the threshold $q^{d+\frac{1}{3}}$ is sharp when $|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 $L^2$ restriction theorem for the sphere of zero radius. △ Less

Submitted 19 August, 2020; originally announced August 2020.

Isotropic Quot schemes of orthogonal bundles over a curve

Authors: Daewoong Cheong, Insong Choe, George H. Hitching

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

Submitted 16 June, 2020; originally announced June 2020.

Comments: 31 pp

MSC Class: 14H60; 14M17

Galkin's Lower bound Conjecure for Lagrangian and orthogonal Grassmannians

Authors: Daewoong Cheong, Manwook Han

Abstract: Let $M$ be a Fano manifold, and $H^\star(M;\mathbb{C})$ be the quantum cohomology ring of $M$ with the quantum product $\star.$ For $σ\in H^*(M;\mathbb{C})$, denote by $[σ]$ the quantum multiplication operator $σ\star$ on $H^*(M;\mathbb{C})$. It was conjectured several years ago \cite{GGI, GI} and has been proved for many Fano manifols \cite{CL1, CH2, LiMiSh, Ke}, including our cases, that the ope… ▽ More Let $M$ be a Fano manifold, and $H^\star(M;\mathbb{C})$ be the quantum cohomology ring of $M$ with the quantum product $\star.$ For $σ\in H^*(M;\mathbb{C})$, denote by $[σ]$ the quantum multiplication operator $σ\star$ on $H^*(M;\mathbb{C})$. It was conjectured several years ago \cite{GGI, GI} and has been proved for many Fano manifols \cite{CL1, CH2, LiMiSh, Ke}, including our cases, that the operator $[c_1(M)]$ has a real valued eigenvalue $δ_0$ which is maximal among eigenvaules of $[c_1(M)]$. Galkin's lower bound conjecture \cite{Ga} states that for a Fano manifold $M,$ $δ_0\geq \mathrm{dim} \ M +1,$ and the equlity holds if and only if $M$ is the projective space $\mathbb{P}^n.$ In this note, we show that Galkin's lower bound conjecture holds for Lagrangian and orthogonal Grassmannians, modulo some exceptions for the equality. △ Less

Submitted 26 June, 2019; originally announced June 2019.

Comments: 10 pages. arXiv admin note: text overlap with arXiv:1704.00403

MSC Class: 14N35; 14J33; 05E05

Distribution of determinant of sum of matrices

Authors: Daewoong Cheong, Doowon Koh, Thang Pham, Anh Vinh Le

Abstract: Let $\mathbb{F}_q$ be an arbitrary finite field of order $q$. In this article, we study $\det S$ for certain types of subsets $S$ in the ring $M_2(\mathbb F_q)$ of $2\times 2$ matrices with entries in $\mathbb F_q$. For $i\in \mathbb{F}_q$, let $D_i$ be the subset of $M_2(\mathbb F_q)$ defined by $ D_i := \{x\in M_2(\mathbb F_q): \det(x)=i\}.$ Then our results can be stated as follows. First of… ▽ More Let $\mathbb{F}_q$ be an arbitrary finite field of order $q$. In this article, we study $\det S$ for certain types of subsets $S$ in the ring $M_2(\mathbb F_q)$ of $2\times 2$ matrices with entries in $\mathbb F_q$. For $i\in \mathbb{F}_q$, let $D_i$ be the subset of $M_2(\mathbb F_q)$ defined by $ D_i := \{x\in M_2(\mathbb F_q): \det(x)=i\}.$ Then our results can be stated as follows. First of all, we show that when $E$ and $F$ are subsets of $D_i$ and $D_j$ for some $i, j\in \mathbb{F}_q^*$, respectively, we have $$\det(E+F)=\mathbb F_q,$$ whenever $|E||F|\ge {15}^2q^4$, and then provide a concrete construction to show that our result is sharp. Next, as an application of the first result, we investigate a distribution of the determinants generated by the sum set $(E\cap D_i) + (F\cap D_j),$ when $E, F$ are subsets of the product type, i.e., $U_1\times U_2\subseteq \mathbb F_q^2\times \mathbb F_q^2$ under the identification $ M_2(\mathbb F_q)=\mathbb F_q^2\times \mathbb F_q^2$. Lastly, as an extended version of the first result, we prove that if $E$ is a set in $D_i$ for $i\ne 0$ and $k$ is large enough, then we have \[\det(2kE):=\det(\underbrace{E + \dots + E}_{2k~terms})\supseteq \mathbb{F}_q^*,\] whenever the size of $E$ is close to $q^{\frac{3}{2}}$. Moreover, we show that, in general, the threshold $q^{\frac{3}{2}}$ is best possible. Our main method is based on the discrete Fourier analysis. △ Less

Submitted 16 April, 2019; originally announced April 2019.

Counting maximal Lagrangian subbundles over an algebraic curve

Authors: Daewoong Cheong, Insong Choe, George H. Hitching

Abstract: Let $C$ be a smooth projective curve and $W$ a symplectic bundle over $C$. Let $LQ_e (W)$ be the Lagrangian Quot scheme parametrizing Lagrangian subsheaves $E \subset W$ of degree $e$. We give a closed formula for intersection numbers on $LQ_e (W)$. As a special case, for $g \ge 2$, we compute the number of Lagrangian subbundles of maximal degree of a general stable symplectic bundle, when this is… ▽ More Let $C$ be a smooth projective curve and $W$ a symplectic bundle over $C$. Let $LQ_e (W)$ be the Lagrangian Quot scheme parametrizing Lagrangian subsheaves $E \subset W$ of degree $e$. We give a closed formula for intersection numbers on $LQ_e (W)$. As a special case, for $g \ge 2$, we compute the number of Lagrangian subbundles of maximal degree of a general stable symplectic bundle, when this is finite. This is a symplectic analogue of Holla's enumeration of maximal subbundles in [13]. △ Less

Submitted 11 March, 2019; originally announced March 2019.

Comments: 27 pages

MSC Class: 14H60; 14M15; 14N10; 14N35

Extension theorems for Hamming varieties over finite fields

Authors: Daewoong Cheong, Doowon Koh, Thang Pham

Abstract: We study the finite field extension estimates for Hamming varieties $H_j, j\in \mathbb F_q^*,$ defined by $H_j=\{x\in \mathbb F_q^d: \prod_{k=1}^d x_k=j\},$ where $\mathbb F_q^d$ denotes the $d$-dimensional vector space over a finite field $\mathbb F_q$ with $q$ elements. We show that although the maximal Fourier decay bound on $H_j$ away from the origin is not good, the Stein-Tomas $L^2\to L^r$ e… ▽ More We study the finite field extension estimates for Hamming varieties $H_j, j\in \mathbb F_q^*,$ defined by $H_j=\{x\in \mathbb F_q^d: \prod_{k=1}^d x_k=j\},$ where $\mathbb F_q^d$ denotes the $d$-dimensional vector space over a finite field $\mathbb F_q$ with $q$ elements. We show that although the maximal Fourier decay bound on $H_j$ away from the origin is not good, the Stein-Tomas $L^2\to L^r$ extension estimate for $H_j$ holds. △ Less

Submitted 9 March, 2019; originally announced March 2019.

Irreducibility of Lagrangian Quot schemes over an algebraic curve

Authors: Daewoong Cheong, Insong Choe, George H. Hitching

Abstract: Let $C$ be a complex projective smooth curve and $W$ a symplectic vector bundle of rank $2n$ over $C$. The Lagrangian Quot scheme $LQ_{-e}(W)$ parameterizes subsheaves of rank $n$ and degree $-e$ which are isotropic with respect to the symplectic form. We prove that $LQ_{-e}(W)$ is irreducible and generically smooth of the expected dimension for all large $e$, and that a generic element is saturat… ▽ More Let $C$ be a complex projective smooth curve and $W$ a symplectic vector bundle of rank $2n$ over $C$. The Lagrangian Quot scheme $LQ_{-e}(W)$ parameterizes subsheaves of rank $n$ and degree $-e$ which are isotropic with respect to the symplectic form. We prove that $LQ_{-e}(W)$ is irreducible and generically smooth of the expected dimension for all large $e$, and that a generic element is saturated and stable. △ Less

Submitted 16 June, 2020; v1 submitted 30 March, 2018; originally announced April 2018.

Comments: Revised version; 24 pp

MSC Class: 14H60; 14M17

Quantum multiplication operators for Lagrangian and orthogonal Grassmannians

Authors: Daewoong Cheong

Abstract: In this article, we make a close analysis on quantum multiplication operators on the quantum cohomology rings of Lagrangian and orthogonal Grassmannians, and give an explicit description on all simultaneous eigenvectors and the corresponding eigenvalues for these operators. As a result, we show that Conjecture $\mathcal{O}$ of Galkin, Golyshev and Iritani holds for these manifolds. In this article, we make a close analysis on quantum multiplication operators on the quantum cohomology rings of Lagrangian and orthogonal Grassmannians, and give an explicit description on all simultaneous eigenvectors and the corresponding eigenvalues for these operators. As a result, we show that Conjecture $\mathcal{O}$ of Galkin, Golyshev and Iritani holds for these manifolds. △ Less

Submitted 2 April, 2017; originally announced April 2017.

Comments: To appear in Journal of Algebraic Combinatorics

MSC Class: 14N35; 05E15; 14J33; 47N50

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

Authors: Daewoong Cheong

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

Submitted 10 October, 2016; originally announced October 2016.

Comments: 20 pages, to appear in Transformation Groups

On the Conjecture $\mathcal{O}$ of GGI for $G/P$

Authors: Daewoong Cheong, Changzheng Li

Abstract: In this paper, we show that general homogeneous manifolds $G/P$ satisfy Conjecture $\mathcal{O}$ of Galkin, Golyshev and Iritani which `underlies' Gamma conjectures I and II of them. Our main tools are the quantum Chevalley formula for $G/P$ and a theory on nonnegative matrices including Perron-Frobenius theorem. In this paper, we show that general homogeneous manifolds $G/P$ satisfy Conjecture $\mathcal{O}$ of Galkin, Golyshev and Iritani which `underlies' Gamma conjectures I and II of them. Our main tools are the quantum Chevalley formula for $G/P$ and a theory on nonnegative matrices including Perron-Frobenius theorem. △ Less

Submitted 29 November, 2016; v1 submitted 8 December, 2014; originally announced December 2014.

Comments: 16 pages; minor corrections; to appear in Advances in Math

MSC Class: 14N35; 20G05

Orbifold Quasimap Theory

Authors: Daewoong Cheong, Ionut Ciocan-Fontanine, Bumsig Kim

Abstract: We extend to orbifolds the quasimap theory of arXiv:0908.4446 and arXiv:1106.3724, as well as the genus zero wall-crossing results from arXiv:1304.7056 and arXiv:1401.7417. As a consequence, we obtain generalizations of orbifold mirror theorems, in particular, of the mirror theorem for toric orbifolds recently proved independently by Coates, Corti, Iritani, and Tseng (arXiv:1310.4163). We extend to orbifolds the quasimap theory of arXiv:0908.4446 and arXiv:1106.3724, as well as the genus zero wall-crossing results from arXiv:1304.7056 and arXiv:1401.7417. As a consequence, we obtain generalizations of orbifold mirror theorems, in particular, of the mirror theorem for toric orbifolds recently proved independently by Coates, Corti, Iritani, and Tseng (arXiv:1310.4163). △ Less

Submitted 4 March, 2015; v1 submitted 28 May, 2014; originally announced May 2014.

Comments: 42 pages, Add an extended result (see remark 5.7), To appear in Mathematische Annalen

MSC Class: 14D20; 14D23; 14N35

Quantum Cohomology Rings of Lagrangian and Orthogonal Grassmannians and Total Positivity

Authors: Daewoong Cheong

Abstract: We verify in an elementary way a result of Peterson for the maximal orthogonal and Lagrangian Grassmannians, and then find Vafa-Intriligator type formulas which compute their 3-point, genus zero Gromov-Witten invariants. Finally we study total positivity of the related Peterson varieties and show that Rietsch's conjecture about the total positivity holds for these cases. We verify in an elementary way a result of Peterson for the maximal orthogonal and Lagrangian Grassmannians, and then find Vafa-Intriligator type formulas which compute their 3-point, genus zero Gromov-Witten invariants. Finally we study total positivity of the related Peterson varieties and show that Rietsch's conjecture about the total positivity holds for these cases. △ Less

Submitted 24 July, 2007; v1 submitted 26 October, 2006; originally announced October 2006.

Comments: 29 pages. Some correction made on total positivity and some notation changed

MSC Class: 14N35 (Primary); 20G05 (Secondary)