Search arXiv⌕ Search

arXiv subjects

Huaiqing Zuo

Publications and source records attributed to Huaiqing Zuo.

At least 19 recordsLinked to original sources

On the Tensor Property of Bernstein-Sato Polynomial

We prove the multiplicative Thom-Sebastiani rule for Bernstein-Sato polynomials, answering the longstanding questions of Budur and Popa. We generalize the result to the tensor of two effective divisors on the product of two arbitrary non-singular complex varieties. This also leads to a multiplicative property related to Igusa's strong monodromy conjecture. Moreover, we propose an extension of our result to Bernstein-Sato polynomials for ideals and prove it for monomial ideals.

math.AG↗

A Polynomial PDE Criterion for the $-n/d$ Root of the Bernstein-Sato polynomial of Homogeneous Ideals

Let $I\subseteq\mathbb C[x_1,\ldots,x_n]$ be an ideal generated by homogeneous polynomials of a common degree $d$. We give a polynomial partial differential equation criterion guaranteeing that $-n/d$ is a root of the Bernstein-Sato polynomial $b_I(s)$. We apply this criterion to the ideal of maximal minors of a generic $m\times n$ matrix and obtain the distinguished root $-n$; combined with local divisibility along determinantal strata, this allows us to obtain the strong monodromy conjecture in the maximal-minor case. Finally, we prove that the criterion is stable under enlarging the linear span of the generators, adjoining generators in disjoint variables, products satisfying the natural slope condition, and Thom-Sebastiani sums. These stability results provide new classes of homogeneous ideals and polynomials for which the distinguished Bernstein-Sato root can be detected. Keywords. Bernstein-Sato polynomial, monodromy conjecture.

math.AG↗

Grassmann--Plücker Parametrization of Convolutional Filter Subspaces: Regularity and Closed Embeddings

We propose a geometric parametrization of the filters in a single convolutional layer: the parameter is no longer an ordered family of filter vectors, but a fixed-dimensional subspace of the filter space. For one-dimensional finite-stride convolution, the filter-to-convolution-operator correspondence gives an injective linear map $\mathcal{C}:\mathcal{K}\to H$. This map sends filter subspaces in $\mathrm{Gr}(q,\mathcal{K})$ to operator subspaces in $\mathrm{Gr}(q,H)$; composing it with the Plücker embedding yields a projective parametrization $Φ:\mathrm{Gr}(q,\mathcal{K})\to\mathbb{P}(\bigwedge^q H)$. Using $T_U\mathrm{Gr}(q,\mathcal{K})\cong\mathrm{Hom}(U,\mathcal{K}/U)$, we compute the differential of the induced Grassmannian map and show that the differential of $Φ$ is injective at every point. We then use the vanishing equations for Plücker coordinates and standard affine coordinates on a Grassmannian to prove that $\mathrm{Gr}(q,\mathcal{C}(\mathcal{K}))\hookrightarrow\mathrm{Gr}(q,H)$ is a closed embedding, and hence that $Φ$ is a closed embedding. Consequently, the parameter space is isomorphic to its projective image, the parametrization is finite and birational onto its image, every fiber is a singleton, and the resulting projective neural variety is smooth. For $k=4$ and $q=2$, we also use Singular to recover the image ideal and check its dimension, degree, chart rank, and smoothness. This computation illustrates, rather than replaces, the general proof. Finally, we discuss possible connections with filter redundancy and low-rank convolution, while distinguishing the proved geometric results from application proposals requiring numerical validation.

math.AG↗

Nakai conjectures for isolated weighted homogeneous hypersurface singularities

The long-standing Nakai Conjecture concerns a very natural question: can differential operators detect singularities on algebraic varieties? On a smooth complex variety, it is well known that the ring of differential operators is generated by derivations. Nakai asked whether the converse holds: if the ring of differential operators is generated by derivations, is the variety smooth? In this paper, we verify the Nakai Conjecture for isolated weighted homogeneous hypersurface singularities.

math.AG↗

The Quotient of Milnor Number by Tjurina Number of Hypersurface Singularities in Arbitrary Characteristic

In this paper, we use Hilbert-Samuel multiplicity, Hilbert-Kunz multiplicity, and s-multiplicity to establish a sharp upper bound for the quotient of the generalized Milnor numbers and the Tjurina numbers for isolated hypersurface singularities of any dimension in positive characteristic. Using this result, we also derive an upper bound for the quotient of the Milnor numbers $μ$ and the Tjurina numbers $τ$ for isolated hypersurface singularities of any dimension in characteristic zero. In particular, as a corollary, we obtain that for an isolated surface singularity $(f,0) \subset (\mathbb{C}^3,0)$, $\frac{μ(f)}{τ(f)}\leq \frac{3}{2}$, which partially answers a conjecture of P. Almirón, replacing the original strict inequality $<$ by $\leq$. This is also a weak version of Durfee's conjecture. We have also constructed a family of hypersurface singularities of any dimension for which $\fracμτ$ tends to the bound we get, which means that the bound is sharp, and at the same time answers an open problem raised by P. Almirón.

math.AG↗

Classification of unimodal isolated complete intersection singularities in positive characteristic

In this paper we classify the unimodal isolated complete intersection singularities in arbitrary characteristic under contact equivalence. The classification over $\mathbb{C}$ has already done by A. Dimca and C.G. Gibson. We continue and generalize their work. To complete the classification, we generalized the complete transversal method into positive characteristic field, which is also useful in many other classification problem.

math.AG↗

Tjurina Number Jumps and Unimodal Hypersurface Singularities in Positive Characteristic

This paper generalizes existing methods to derive stronger bounds on the modality of hypersurface singularities. Our results demonstrate that each sudden jump in the extended Tjurina number necessarily increases the modality. Furthermore, we provide a full classification of unimodal isolated hypersurface singularities in characteristic p > 3 under contact equivalence.

math.AG↗

Motivic principal value integrals for hyperplane arrangements

A conjecture of Denef-Jacobs-Veys relates motivic principal value integrals of multivalued rational top-forms with cohomology support loci of rank one local systems. We give a stronger positive answer to this conjecture for hyperplane arrangements.

math.AG↗

Spectrum, Tjurina spectrum, and Hertling conjecture for singularities of modality $\leq 3$

Spectrum is an important numerical invariant of an isolated hypersurface singularity, connecting its topological and analytic structures. The well-known Hertling conjecture tells the relation of range and variance of exponents i.e. elements of spectrum. For trimodal singularities, we compute their spectra and verify Hertling conjecture for them. Jung, Kim, Saito and Yoon recently defined Tjurina spectrum, stemming from Hodge ideals. This set of numerical invariants is a subset of spectrum in Steenbrink's sense. We give an estimation of exponents not in Tjurina spectrum and propose a similar Generalized Hertling Conjecture for Tjurina Spectrum. Moreover, we prove the conjecture for singularities of modality $\leq 3$.

math.AG↗

A remarkable subset of poles of the motivic zeta function

For any polynomial f with complex coefficients we find a remarkable subset of poles of the motivic zeta function. It is combinatorially determined by any log resolution and it admits an intrinsic interpretation in terms of contact loci of f. This uncovers a new, unexpected difficulty with proving the monodromy conjecture.

math.AG↗

On the Poles of Real Archimedean Zeta Functions

This paper studies the poles of the real Archimedean zeta function for a weighted homogeneous polynomial $f \in \mathbb{R}[x, y]$ with an isolated singularity at the origin. By applying a weighted blow-up, we derive the meromorphic continuation of $Z_{f,φ}$ to $\text{Re }s > -1$. This explicit expression yields a necessary and sufficient condition for a root $s \in (-1, 0)$ of the Bernstein-Sato polynomial $b_f(s)$ to be a pole of $Z_{f,φ}$. Unlike the complex case established by F. Loeser (1985), this condition may fail in certain obvious cases -- such as when $f$ is odd or even in $x$, $y$, or $(x, y)$ -- so not all such roots necessarily become poles.

math.AG↗

On the $k$-th Tjurina number of weighted homogeneous singularities

Let $ (X,0) $ denote an isolated singularity defined by a weighted homogeneous polynomial $ f $. Let $ \mathcal{O}$ be the local algebra of holomorphic function germs at the origin, with the maximal ideal $m $. We study the $k$-th Tjurina algebra, defined by $ A_k(f): = \mathcal{O} / \left( f , m^k J(f) \right) $, where $J(f)$ denotes the Jacobian ideal of $ f $. The zeroth Tjurina algebra is well known to represent the tangent space of the base space of the semi-universal deformation of $(X, 0)$. Motivated by this observation, we explore the deformation of $(X,0)$ with respect to a fixed $k$-residue point. We show that the tangent space of the corresponding deformation functor is a subspace of the $k$-th Tjurina algebra. Explicit calculation of the $k$-th Tjurina numbers, which correspond to the dimensions of the $k$-th Tjurina algebras, plays a crucial role in understanding these deformations. According to the results of Milnor and Orlik, the zeroth Tjurina number can be expressed explicitly in terms of the weights of the variables in $f$. However, we observe that for values of $k$ exceeding the multiplicity of $X$, the $k$-th Tjurina number becomes more intricate and is not solely determined by the weights of the variables. In this paper, we introduce a novel complex derived from the classical Koszul complex and obtain a computable formula for the $k$-th Tjurina numbers for all $ k \geqslant 0 $. As an application, we calculate the $k$-th Tjurina numbers for all weighted homogeneous singularities in three variables.

math.AG↗

On the monodromy conjecture for determinantal varieties

This paper presents a proof of the monodromy conjecture for determinantal varieties. Our strategy centers on an in-depth analysis of monodromy zeta functions, leveraging a generalized A'Campo formula, an examination of multiple contact loci, and the exploitation of the intrinsic symmetric structures inherent to these varieties. Furthermore, we prove the holomorphy conjecture for determinantal varieties and the monodromy conjecture for Brill-Noether loci of generic curves. Keywords. monodromy conjecture, determinantal varieties, monodromy zeta function.

math.AG↗

Polar loci of multivariable archimedean zeta functions

We determine, up to exponentiating, the polar locus of the multivariable archimedean zeta function associated to a finite collection of polynomials F. The result is the monodromy support locus of F, a topological invariant. We give a relation between the multiplicities of the irreducible components of the monodromy support locus and the polar orders. These generalize results of Barlet for the case when F is a single polynomial. Our result determines the slopes of the polar locus of the zeta function of F, closing a circle of results of Loeser, Maisonobe, Sabbah. We apply our main result to elucidate the topological information contained by the oblique part of the zero locus of any ideal of Bernstein-Sato type.

math.AG↗

On jet closures of singularities

The jet closure and jet support closure were first introduced by de Fernex, Ein and Ishii to solve the local isomorphism problem. In this paper, we introduce two local algebras associated to jet closure and jet support closure respectively. We show that these two algebras are invariants of the singularities. We compute and investigate these invariants for some interesting cases, such as the cases of monomial ideals and homogeneous ideals. We also introduce a new filtration and jet index to jet closures. The jet index describes which jet scheme recover the information of base scheme. Moreover, we obtain some properties of the jet index. Keywords:jet closure, jet support closure and filtration.

math.AC↗