Source author record

Jeehoon Park

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

5works
7topics
4close collaborators

Published work

5 publications

preprint2021arXiv

A basis of algebraic de Rham cohomology of complete intersections over a characteristic zero field

Let k\Bbbk be a field of characteristic 0. Let XX be a smooth complete intersection over kk of dimension n−kn-k in the projective space Pkn\mathbf{P}^n_{k}, for given positive integers nn and kk. When k=Ck=\mathbb{C}, Terasoma (\cite{Ter90}) and Konno (\cite{Ko91}) provided an explicit representative (in terms of differential forms) of a basis for the primitive middle-dimensional algebraic de Rham cohomology HdR,prim⁡n−k(X;C)H_{dR,\operatorname{prim}}^{n-k}(X;\mathbb{C}). Later Dimca constructed another explicit representative of a basis of HdR,prim⁡n−k(X;C)H_{dR,\operatorname{prim}}^{n-k}(X;\mathbb{C}) in \cite{Dim95}. Moreover, he proved that his representative gives the same cohomology class as the previous representative of Terasoma and Konno. The goal of this article is to examine the above two different approaches without assuming that k=Ck=\mathbb{C} and provide a similar comparison result for any field kk. Dimca's argument depends heavily on the condition k=Ck=\mathbb{C} and our idea is to find appropriate Cech-de Rham complexes and spectral sequences corresponding to those two approaches, which work without restrictions on kk.

preprint2021arXiv

Batalin-Vilkovisky formalism in the pp-adic Dwork theory

The goal of this article is to develop BV (Batalin-Vilkovisky) formalism in the pp-adic Dwork theory. Based on this formalism, we explicitly construct a pp-adic dGBV algebra (differential Gerstenhaber-Batalin-Vilkovisky algebra) for a smooth projective complete intersection variety XX over a finite field, whose cohomology gives the pp-adic Dwork cohomology of XX, and its cochain endomorphism (the pp-adic Dwork Frobenius operator) which encodes the information of the zeta function XX. As a consequence, we give a modern deformation theoretic interpretation of Dwork's theory of the zeta function of XX and derive a formula for the pp-adic Dwork Frobenius operator in terms of homotopy Lie morphisms and the Bell polynomials.

preprint2021arXiv

Polynomial realizations of period matrices of projective smooth complete intersections and their deformation

Let XX be a smooth complete intersection over C\mathbb{C} of dimension n−kn-k in the projective space PCn\mathbf{P}^n_{\mathbb{C}}, for given positive integers nn and kk. For a given integral homology cycle [γ]∈Hn−k(X(C),Z)[γ] \in H_{n-k}(X(\mathbb{C}),\mathbb{Z}), the period integral is defined to be a linear map from the de Rham cohomology group to C\mathbb{C} given by [ω]↦∫γω[ω] \mapsto \int_γω. The goal of this article is to interpret this period integral as a linear map from the polynomial ring with n+k+1n+k+1 variables to C\mathbb{C} and use this interpretation to develop a deformation theory of period integrals of XX. The period matrix is an invariant defined by the period integrals of the \textit{rational} de Rham cohomology, which compares the \textit{rational} structures (Q\mathbb{Q}-subspace structures) of the de Rham cohomology over C\mathbb{C} and the singular homology with coefficient C\mathbb{C}. As a main result, when X′X' is another projective smooth complete intersection variety deformed from XX, we provide an explicit formula for the period matrix of X′X' in terms of the period matrix of XX and the Bell polynomials evaluated at the deformation data. Our result can be thought of as a modern deformation theoretic treatment of the period integrals based on the Maurer-Cartan equation of a dgla (differential graded Lie algebra).

preprint2016arXiv

Enhanced homotopy theory for period integrals of smooth projective hypersurfaces

The goal of this paper is to reveal hidden structures on the singular cohomology and the Griffiths period integral of a smooth projective hypersurface in terms of BV(Batalin-Vilkovisky) algebras and homotopy Lie theory (so called, L∞L_\infty-homotopy theory). Let XGX_G be a smooth projective hypersurface in the complex projective space Pn\mathbf{P}^n defined by a homogeneous polynomial G(x‾)G(\underline x) of degree d≥1d \geq 1. Let H=Hprim⁡n−1(XG,C)\mathbb{H}=H^{n-1}_{\operatorname{prim}}(X_G, \mathbb{C}) be the middle dimensional primitive cohomology of XGX_G. We explicitly construct a BV algebra B ⁣ ⁣V ⁣ ⁣X=(AX,QX,KX)\mathbf{B\!\!V}_{\! \!X}=(\mathcal{A}_X,Q_X, K_X) such that its 00-th cohomology HKX0(AX)H^0_{K_X}(\mathcal{A}_X) is canonically isomorphic to H\mathbb{H}. We also equip B ⁣ ⁣V ⁣ ⁣X\mathbf{B\!\!V}_{\! \!X} with a decreasing filtration and a bilinear pairing which realize the Hodge filtration and the cup product polarization on H\mathbb{H} under the canonical isomorphism. Moreover, we lift C[γ]:H→CC_{[γ]}:\mathbb{H} \to \mathbb{C} to a cochain map Cγ:(AX,KX)→(C,0)\mathcal{C}_γ:(\mathcal{A}_X, K_X) \to (\mathbb{C},0), where C[γ]C_{[γ]} is the Griffiths period integral given by ω↦∫γωω\mapsto \int_γω for [γ]∈Hn−1(XG,Z)[γ]\in H_{n-1}(X_G,\mathbb{Z}). We use this enhanced homotopy structure on H\mathbb{H} to study an extended formal deformation of XGX_G and the correlation of its period integrals. If XGX_G is in a formal family of Calabi-Yau hypersurfaces XGT‾X_{G_{\underline T}}, we provide an explicit formula and algorithm (based on a Gröbner basis) to compute the period matrix of XGT‾X_{G_{\underline T}} in terms of the period matrix of XGX_G and an L∞L_\infty-morphism κ‾\underline κ which enhances C[γ]C_{[γ]} and governs deformations of period matrices.

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.