Source author record

Seung-Jo Jung

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

6works
2topics
3close collaborators

Published work

6 publications

preprint2026arXiv

Defect of projective hypersurfaces with isolated singularities

Let XX be a hypersurface with isolated singularities defined by ff in Pn+1{\bf P^{n+1}} with n>1n>1. The difference def(X):=hn+1(X)−hn−1(X){\rm def}(X):=h^{n+1}(X)-h^{n-1}(X) is called the defect of XX (for self-duality of the cohomology of XX). It is known that its vanishing is closely related to Q{\bf Q}-factoriality of XX in the rational singularity case with n=3n=3. This number coincides with the dimension of the cokernel of the inclusion Hn−1(X)→IHn−1(X)H^{n-1}(X)\to{\rm IH}^{n-1}(X), the rank of the morphism from the vanishing cohomologies of XX to Hn+1(X)H^{n+1}(X) for a one-parameter smoothing of XX with total space smooth, and also with the dimension of the unipotent monodromy part of the Milnor fiber cohomology of ff with degree nn. In the case XX has only weighted homogeneous isolated singularities, the defect def(X){\rm def}(X) is then given by the E2E_2-term of the spectral sequence of the double complex with differentials df∧{\rm d}f\wedge and d\rm d by the E2E_2-degeneration of the pole order spectral sequence. It can be calculated explicitly using a computer even for analogues of the Hirzebruch quintic threefold with more than one hundred ordinary double points found by B.\ van Geemen and J.\ Werner in a compatible way with their computation. We give also an example with def(X)>0{\rm def}(X)>0 and ∣Sing X∣=1|{\rm Sing}\,X|=1 where n=3n=3.

preprint2022arXiv

Briançon-Skoda exponents and the maximal root of reduced Bernstein-Sato polynomials

For a holomorphic function ff on a complex manifold XX, the Briançon-Skoda exponent eBS(f)e^{\rm BS}(f) is the smallest integer kk with fk∈(∂f)f^k\in(\partial f) (replacing XX with a neighborhood of f−1(0)f^{-1}(0)), where (∂f)(\partial f) denotes the Jacobian ideal of ff. It is shown that eBS(f)≤dXe^{\rm BS}(f)\le d_X (:=dim⁡X)(:=\dim X) by Brian\c con-Skoda. We prove that eBS(f)≤[dX−2α~f]+1e^{\rm BS}(f)\le[d_X-2\widetildeα_f]+1 with −α~f-\widetildeα_f the maximal root of the reduced Bernstein-Sato polynomial bf(s)/(s+1)b_f(s)/(s+1), assuming the latter exists (shrinking XX if necessary). This implies for instance that eBS(f)≤dX−2e^{\rm BS}(f)\le d_X-2 in the case f−1(0)f^{-1}(0) has only rational singularities, that is, if α~f>1\widetildeα_f>1.

preprint2022arXiv

Higher Du Bois singularities of hypersurfaces

For a complex algebraic variety XX, we introduce higher pp-Du Bois singularity by imposing canonical isomorphisms between the sheaves of Kähler differential forms ΩXqΩ_X^q and the shifted graded pieces of the Du Bois complex Ω‾Xq\underlineΩ_X^q for q≤pq\le p. If XX is a reduced hypersurface, we show that higher pp-Du~Bois singularity coincides with higher pp-log canonical singularity, generalizing a well-known theorem for p=0p=0. The assertion that pp-log canonicity implies pp-Du Bois has been proved by Mustata, Olano, Popa, and Witaszek quite recently as a corollary of two theorems asserting that the sheaves of reflexive differential forms ΩX[q]Ω_X^{[q]} (q≤pq\le p) coincide with ΩXqΩ_X^q and Ω‾Xq\underlineΩ_X^q respectively, and these are shown by calculating the depth of the latter two sheaves. We construct explicit isomorphisms between ΩXqΩ_X^q and Ω‾Xq\underlineΩ_X^q applying the acyclicity of a Koszul complex in a certain range. We also improve some non-vanishing assertion shown by them using mixed Hodge modules and the Tjurina subspectrum in the isolated singularity case. This is useful for instance to estimate the lower bound of the maximal root of the reduced Bernstein-Sato polynomial in the case where a quotient singularity is a hypersurface and its singular locus has codimension at most 4.

preprint2022arXiv

Hodge ideals and spectrum of isolated hypersurface singularities

We introduce Hodge ideal spectrum for isolated hypersurface singularities to see the difference between the Hodge ideals and the microlocal VV-filtration modulo the Jacobian ideal. Via the Tjurina subspectrum, we can compare the Hodge ideal spectrum with the Steenbrink spectrum which can be defined by the microlocal VV-filtration. As a consequence of a formula of Mustata and Popa, these two spectra coincide in the weighted homogeneous case. We prove sufficient conditions for their coincidence and non-coincidence in some non-weighted-homogeneous cases where the defining function is semi-weighted-homogeneous or with non-degenerate Newton boundary in most cases. We also show that the convenience condition can be avoided in a formula of Zhang for the non-degenerate case, and present an example where the Hodge ideals are not weakly decreasing even modulo the Jacobian ideal.

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.