BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Jun-Yong Park appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We determine the $\ell$-adic étale cohomology and the eigenvalues of the geometric Frobenius for the moduli stack $\mathcal{L}_{1,12n} := \mathrm{Hom}_{n}(\mathbb{P}^1, \overline{\mathcal{M}}_{1,1})$ of stable elliptic fibrations over $\mathbb{P}^{1}$ with $12n$ nodal singular fibers and a marked Weierstrass section over $\overline{\mathbb{F}}_q$ with $\mathrm{char}(\overline{\mathbb{F}}_q) \neq 2,3$.
We compute the (stable) étale cohomology of $\mathrm{Hom}_{n}(C, \mathcal{P}(\vecλ))$, the moduli stack of degree $n$ morphisms from a smooth projective curve $C$ to the weighted projective stack $\mathcal{P}(\vecλ)$, the latter being a stacky quotient defined by $\mathcal{P}(\vecλ) := \left[\mathbb{A}^N-\{0\}/\mathbb{G}_m\right]$, where $\mathbb{G}_m$ acts by weights $\vecλ = (λ_0, \cdots, λ_N) \in \mathbb{Z}^N_{+}$. Our key ingredient is formulating and proving the étale cohomological descent over the category $ΔS$, the symmetric (semi)simplicial category. An immediate arithmetic consequence is the resolution of the geometric Batyrev--Manin type conjecture for weighted projective stacks over global function fields. Along the way, we also analyze the intersection theory on weighted projectivizations of vector bundles on smooth Deligne-Mumford stacks.
We prove new sharp asymptotic for counting the semistable elliptic curves with two marked Weierstrass points at $\infty$ and $0$ and also the cases where $0$ is a 2-torsion or a 3-torsion marked Weierstrass point over $\mathbb{F}_q(t)$ by the bounded height of discriminant $Δ(X)$. We consider the motivic probabilities over any basefield $K$ with $\text{char}(K) \neq 2,3$ of picking a nonsingular semistable elliptic surface over $\mathbb{P}^{1}$ with two marked Weierstrass sections at $\infty$ and $0$ such that marked Weierstrass section at $0$ is 2-torsion or 3-torsion. In the end, we formulate an analogous heuristics on $\mathcal{Z}_{\mathbb{Q}}(\mathcal{B})$ for the ratio of the semistable elliptic curves with a marked rational 2-torsion or 3-torsion Weierstrass point at $0$ out of all semistable elliptic curves with a marked rational Weierstrass points at $0$ over $\mathbb{Q}$ by the bounded height of discriminant $Δ$ through the global fields analogy.
We show the compactly supported motive of the moduli stack of degree $n$ rational curves on the weighted projective stack $\mathcal{P}(a,b)$ is of mixed Tate type over any base field $K$ with $\text{char}(K) \nmid a,b$ and has class $\mathbb{L}^{(a+b)n+1}-\mathbb{L}^{(a+b)n-1}$ in the Grothendieck ring of stacks. In particular, this improves upon the result of [HP] regarding the arithmetic invariant of the moduli stack $\mathcal{L}_{1,12n} := \mathrm{Hom}_{n}(\mathbb{P}^1, \overline{\mathcal{M}}_{1,1})$ of stable elliptic fibrations over $\mathbb{P}^{1}$ with $12n$ nodal singular fibers and a marked Weierstrass section.
We prove a new sharp asymptotic with the lower order term of zeroth order on $\mathcal{Z}_{\mathbb{F}_q(t)}(\mathcal{B})$ for counting the semistable elliptic curves over $\mathbb{F}_q(t)$ by the bounded height of discriminant $Δ(X)$. The precise count is acquired by considering the moduli of nonsingular semistable elliptic fibrations over $\mathbb{P}^{1}$, also known as semistable elliptic surfaces, with $12n$ nodal singular fibers and a distinguished section. We establish a bijection of $K$-points between the moduli functor of semistable elliptic surfaces and the stack of morphisms $\mathcal{L}_{1,12n} \cong \mathrm{Hom}_n(\mathbb{P}^{1}, \overline{\mathcal{M}}_{1,1})$ where $\overline{\mathcal{M}}_{1,1}$ is the Deligne-Mumford stack of stable elliptic curves and $K$ is any field of characteristic $\neq 2,3$. For $\mathrm{char}(K)=0$, we show that the class of $\mathrm{Hom}_n(\mathbb{P}^1,\mathcal{P}(a,b))$ in the Grothendieck ring of $K$-stacks, where $\mathcal{P}(a,b)$ is a 1-dimensional $(a,b)$ weighted projective stack, is equal to $\mathbb{L}^{(a+b)n+1}-\mathbb{L}^{(a+b)n-1}$. Consequently, we find that the motive of the moduli $\mathcal{L}_{1,12n}$ is $\mathbb{L}^{10n + 1}-\mathbb{L}^{10n - 1}$ and the cardinality of the set of weighted $\mathbb{F}_q$-points to be $\#_q(\mathcal{L}_{1,12n}) = q^{10n + 1}-q^{10n - 1}$. In the end, we formulate an analogous heuristic on $\mathcal{Z}_{\mathbb{Q}}(\mathcal{B})$ for counting the semistable elliptic curves over $\mathbb{Q}$ by the bounded height of discriminant $Δ$ through the global fields analogy.
By applying the lantern relation substitutions to the positive relation of the genus two Lefschetz fibration over $\mathbb{S}^{2}$. We show that $K3\#2 \overline{\mathbb{CP}}{}^{2}$ can be rationally blown down along seven disjoint copies of the configuration $C_2$. We compute the Seiberg-Witten invariant of the resulting symplectic 4-manifolds, and show that they are symplectically minimal. We also investigate how these exotic smooth 4-manifolds constructed via lantern relation substitution method are fiber sum decomposable. Furthermore by considering all the possible decompositions for each of our decomposable exotic examples, we will find out that there is a uniquely decomposing genus 2 Lefschetz fibration which is not a self sum of the same fibration up to diffeomorphism on the indecomposable summands.
Motivated by the construction of H. Endo and Y. Gurtas, changing a positive relator in Dehn twist generators of the mapping class group by using lantern substitutions, we show that 4-manifold $K3#2\CPb$ equipped with the genus two Lefschetz fibration can be rationally blown down along six disjoint copies of the configuration $C_2$. We compute the Seiberg-Witten invariants of the resulting symplectic 4-manifold, and show that it is symplectically minimal. Using our example, we also construct an infinite family of pairwise non-diffeomorphic irreducible symplectic and non-symplectic 4-manifolds homeomorphic to $M = 3\CP# (19-k)\CPb$ for $1 \leq k \leq 4$.