Mihai Tibar
We prove an extended Lefschetz principle for a large class of pencils of hypersurfaces having isolated singularities, possibly in the axis, and show that the module of vanishing cycles is generated by the images of certain variation maps.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We classify all pencils on a general weighted hypersurface in $\mathbb{P}(1,a_{1},a_{2},a_{3},a_{4})$ of degree $\sum_{i=1}^{4}a_{i}$ whose general members are surfaces of Kodaira dimension zero.
We study pencils of hypersurfaces over finite fields $\mathbb{F}_q$ such that each of the $q+1$ members defined over $\mathbb{F}_q$ is smooth.
We show that on a certain hypersurface in P3 there is a (q3 + q2 + q + 1)q+1-symmetric configuration (resp. a ((q3 + 1)(q2 + 1)q+1, (q3 + 1)(q + 1)q2+1)) -configuration) made up of the rational points over Fq (resp. over Fq2) and the lines over Fq (resp. the lines over Fq2). We also determine the structure of a Lefschetz pencil made by using a line from these lines.
Existence of pencils with nonblocking hypersurfaces
该研究证明了有限域上射影空间中任意次数的超曲面束都存在，其所有有理成员相对于有理直线均非阻塞，丰富了代数几何与组合几何相关结论。
Griffiths heights and pencils of hypersurfaces
本文将Hodge结构变分的Griffiths高度定义为典范线丛的度数，并建立了用特征类表示射影复超曲面束中间维上同调Griffiths高度的公式。
Saito's theorem revisited and application to free pencils of hypersurfaces
本文通过多重特征概形重新解释斋藤自由性准则，构造出$\mathbb P^n$中大量新的自由约化超曲面族，解决了已知自由超曲面例子少的问题。
Pencils of projective hypersurfaces, Griffiths heights and geometric invariant theory. I
本文通过GIT高度界定射影超曲面束的Griffiths高度，验证Kato-Koshikawa猜想的几何版本，并推广至半齐次奇点情形，证明稳定Griffiths高度的下半连续性。
We study completely reducible fibers of pencils of hypersurfaces on $\mathbb P^n$ and associated codimension one foliations of $\mathbb P^n$. Using methods from theory of foliations we obtain certain upper bounds for the number of these fibers as functions only of $n$. Equivalently this gives upper bounds for the dimensions of resonance varieties of hyperplane arrangements. We obtain similar bounds for the dimensions of the characteristic varieties of the arrangement complements.
Pencils of projective hypersurfaces, Griffiths heights and geometric invariant theory. II Hypersurfaces with semihomogeneous singularities
本文确立了具有半齐次奇点的射影超曲面束的中间维上同调的稳定 Griffiths 高度公式，通过构造有限覆盖以获得半稳定光滑模型，成功规避了确定奇点纤维初等指数的难题。
We study the question of finding smooth hyperplane sections to a pencil of hypersurfaces over finite fields.
We use slicing by nongeneric pencils of hypersurfaces and prove a new theorem of Lefschetz type for singular non compact spaces, at the homotopy level. As applications, we derive results on the topology of the fibres of polynomial functions or the topology of complements of hypersurfaces in $\mathbb C^n$.
In this note, we give a list of Calabi-Yau hypersurfaces in weighted projective 4-spaces with the property that a hypersurface contains naturally a pencil of K3 variety. For completeness we also obtain a similar list in the case K3 hypersurfaces in weighted projective 3-spaces. The first list significantly enlarges the list of K3-fibrations of \KlemmLercheMayr~ which has been obtained on some assumptions on the weights. Our lists are expected to correspond to examples of the so-called heterotic-type II duality \KachruVafa\KachruSilverstein.
Under the generic situation, the cohomology with the coefficients in the local system on complements of hypersurfaces vanishes except in the highest dimension. Our problem is of when the local system cohomology does not vanish. In the case of arrangements of hyperplanes, many examples were founded. In this paper, we shall generalize their examples to hypersurfaces. We obtain that hypersurfaces given by some linear system have non-vanishing local system cohomologies.
We prove the minimality of the CW-complex structure for complements of hyperplane arrangements in $\mathbb C^n$ by using the theory of Lefschetz pencils and results on the variation maps within a pencil of hyperplanes. This also provides a method to compute the Betti numbers of complements of arrangements via global polar invariants.
Monodromy of Primitive Vanishing Cycles for Hypersurfaces in $\mathbb P^4$
本文证明了在四维复射影空间中，超曲面的中维本原上同调可以由节点退化中单个消没球面类上的管状类生成，从而肯定回答了Clemens提出的问题。
On the GIT stability of linear systems of hypersurfaces in projective space
该研究借助几何不变量理论（GIT）解决射影空间中固定次数超曲面线性系统的射影等价分类问题，给出显式判据，并应用于平面三次曲线束、任意指数Halphen束的GIT稳定性分析。
We prove that a general Fano fibration $π\colon V\to {\mathbb P}^1$, the fiber of which is a double Fano hypersurface of index 1, is birationally superrigid provided it is sufficiently twisted over the base. In particular, on $V$ there are no other structures of a rationally connected fibration. The proof is based on the method of maximal singularities.
We employ the perverse vanishing cycles to show that each reduced cohomology group of the Milnor fiber, except the top two, can be computed from the restriction of the vanishing cycle complex to only singular strata with a certain lower bound in dimension. Guided by geometric results, we alternately use the nearby and vanishing cycle functors to derive information about the Milnor fiber cohomology via iterated slicing by generic hyperplanes. These lead to the description of the reduced cohomology groups, except the top two, in terms of the vanishing cohomology of the nearby section. We use it …
The quartic hypersurfaces in P^4 invariant under the standard representation of S_6 form a linear pencil. We prove that a general member of this pencil is not rational.
Vanishing Theorem for Hodge Ideals on smooth hypersurfaces
本文通过Koszul型消解证明光滑超曲面的弱Bott消失定理，并由此建立有效Cartier除子对应Hodge理想的消失定理，推广了Mustata和Popa的已有工作。
Finite automorphism groups of hypersurfaces via Bott vanishing
本文通过Bott消失定理给出上同调判据，证明驯特征下光滑Deligne-Mumford栈中超曲面的自同构群概形离散，并应用于环面轨道簇，获得拟光滑加权射影超曲面及射影空间乘积中超曲面的有限性结果，同时指出方法失效的例外窗口。
We employ the formalism of vanishing cycles and perverse sheaves to introduce and study the vanishing cohomology of complex projective hypersurfaces. As a consequence, we give upper bounds for the Betti numbers of projective hypersurfaces, generalizing those obtained by different methods by Dimca in the isolated singularities case, and by Siersma-Tibăr in the case of hypersurfaces with a $1$-dimensional singular locus. We also prove a supplement to the Lefschetz hyperplane theorem for hypersurfaces, which takes the dimension of the singular locus into account, and we use it to give a new proof…
On the maximal variation problem and Lefschetz pencils
利用 Hodge 理论和 Picard-Lefschetz 理论，研究极丰沛线束关联线性系统的极大变分问题，对一大类光滑射影簇给出肯定答案，并建立超曲面 Jacobi 环的 Lefschetz 性质。
Poincaré Duality, Degeneracy, and Real Lefschetz Property for T-Hypersurfaces
研究关于计算T-超曲面同调群的雷诺迪诺 - 肖谱序列，给出其正指标页满足的庞加莱对偶性及消失准则，该准则表明此谱序列在第二页退化的条件是T-超曲面满足实莱夫谢茨超平面截面定理。
We show that, in general, there exist non-vanishing triple Massey products in the cohomology with finite field coefficients of a complex hypersurface complement. In contrast, the Massey products, triple and higher, in the rational cohomology of such a space are all known to vanish.
We present a general construction of hypersurfaces with vanishing hessian, starting from any irreducible non-degenerate variety whose dual variety is a hypersurface and based on the so called Dual Cayley Trick. The geometrical properties of these hypersurfaces are different from the known series constructed until now. In particular, their dual varieties can have arbitrary codimension in the image of the associated polar map.
If $X = V(f) \subset \mathbb P^N$ is a reduced complex hypersurface, the hessian of $f$ (or by abusing the terminology the hessian of $X$) is the determinant of the matrix of the second derivatives of the form $f$, that is the determinant of the hessian matrix of $f$. Hypersurfaces with vanishing hessian were studied systematically for the first time in the fundamental paper [GN], where Gordan and M. Noether analyze Hesse's claims in [Hesse1, Hesse2] according to which these hypersurfaces are necessarily cones. Of course cones have vanishing hessian. Clearly the claim is true if deg(X)=2 so th…
We prove that every non-trivial structure of a rationally connected fibre space (and so every structure of a Mori-Fano fibre space) on a general (in the sense of Zariski topology) hypersurface of degree $M$ in the $(M+1)$-dimensional projective space for $M\geq 14$ is given by a pencil of hyperplane sections. In particular, the variety $V$ is non-rational and its group of birational self-maps coincide with the group of biregular automorphisms and is therefore trivial. The proof is based on the techniques of the method of maximal singularities and the inversion of adjunction.
We introduce and study the vanishing homology of singular projective hypersurfaces. We prove its concentration in two levels in case of 1-dimensional singular locus $Σ$, and moreover determine the ranks of the nontrivial homology groups. These two groups depend on the monodromy at special points of $Σ$ and on the effect of the monodromy of the local system over its complement.
We prove the existence of various families of irreducible homaloidal hypersurfaces in projective space $\mathbb P^ r$, for all $r\geq 3$. Some of these are families of homaloidal hypersurfaces whose degrees are arbitrarily large as compared to the dimension of the ambient projective space. The existence of such a family solves a question that has naturally arisen from the consideration of the classes of homaloidal hypersurfaces known so far. The result relies on a fine analysis of dual hypersurfaces to certain scroll surfaces. We also introduce an infinite family of determinantal homaloidal hy…
In this article we introduce the mixed Hodge structure of the Brieskorn module of a polynomial $f$ in $\C^{n+1}$, where $f$ satisfies a certain regularity condition at infinity (and hence has isolated singularities). We give an algorithm which produces a basis of a localization of the Brieskorn module which is compatible with its mixed Hodge structure. As an application we show that the notion of a Hodge cycle in regular fibers of $f$ is given in terms of the vanishing of integrals of certain polynomial $n$-forms in $\C^{n+1}$ over topological $n$-cycles on the fibers of $f$. Since the $n$-th …
We consider the locus of $r$-tuples of homogeneous forms of some fixed degree whose common vanishing locus in $\mathbb{P}^r$ is positive dimensional. We show that any component of maximal dimension of that locus either consists of homogeneous forms all vanishing on some line or homogeneous forms where a proper subset fail to intersect properly.
In this paper we discuss topological properties of holomorphic Lefschetz pencils on the four-torus. Relying on the theory of moduli spaces of polarized abelian surfaces, we first prove that, under some mild assumption, the (smooth) isomorphism class of a holomorphic Lefschetz pencil on the four-torus is uniquely determined by its genus and divisibility. We then explicitly give a system of vanishing cycles of the genus-3 holomorphic Lefschetz pencil on the four-torus due to Smith, and obtain those of holomorphic pencils with higher genera by taking finite unbranched coverings. One can also obta…
In this paper we construct, for every n, smooth varieties of general type of dimension n with the first $\lfloor \frac{n-2}{3} \rfloor$ plurigenera equal to zero. Hacon-McKernan, Takayama and Tsuji have recently shown that there are numbers $r_n$ such that, for all r > $r_n$, the r-canonical map of every variety of general type of dimension n is birational. Our examples show that $r_n$ grows at least quadratically as a function of n. Moreover they show that the minimal volume of a variety of general type of dimension n is smaller than $\frac{3^{n+1}}{(n-1)^{n}}$. In addition we prove that for …
We prove that the polar degree of an arbitrarily singular projective hypersurface can be decomposed as a sum of non-negative numbers which represent local vanishing cycles of two different types. This yields lower bounds for the polar degree of any singular projective hypersurface.
For a complex irreducible projective variety, the volume function and the higher asymptotic cohomological functions have proven to be useful in understanding the positivity of divisors as well as other geometric properties of the variety. In this paper, we study the vanishing properties of these functions on specific hypersurfaces of P^n \times P^n. In particular, we show that very general hypersurfaces of bidegree (k,k) obey a very strong vanishing property, which we define as asymptotic purity: at most one asymptotic cohomological function is nonzero for each divisor. This provides evidence …
We start with a discussion on Alexander invariants, and then prove some general results concerning the divisibility of the Alexander polynomials and the supports of the Alexander modules, via Artin's vanishing theorem for perverse sheaves. We conclude with explicit computations of twisted cohomology following an idea already exploited in the hyperplane arrangement case, which combines the degeneration of the Hodge to de Rham spectral sequence to the purity of some cohomology groups.
We prove the factoriality of the following nodal threefolds: a complete intersection of hypersurfaces $F$ and $G\subset\mathbb{P}^{5}$ of degree $n$ and $k$ respectively, where $G$ is smooth, $|\mathrm{Sing}(F\cap G)|\leqslant(n+k-2)(n-1)/5$, $n\geqslant k$; a double cover of a smooth hypersurface $F\subset\mathbb{P}^{4}$ of degree $n$ branched over a surface that is cut out on $F$ by a hypersurface $G$ of degree $2r\geqslant n$, and $|\mathrm{Sing}(F\cap G)|\leqslant(2r+n-2)r/4$.
Hodge theory of degenerations, (II): vanishing cohomology and geometric applications
本文研究孤立超曲面奇点的加权谱和消失上同调，揭示其对光滑化极限混合Hodge结构的作用，并应用于紧化与镜像对称中的多类奇点。
Unexpected hypersurfaces of type $(d+k,d)$
本文针对代数几何中的意外超曲面问题，提出基于合冲的构造方法，统一经典平面与高维情形，给出意外性判定准则并提供高维显式示例，推广了已有相关研究。
Using iterated vanishing cycles and convolution, we prove a motivic version of a conjecture of Steenbrink concerning the spectrum of hypersurface singularities
Let Z be a general surface in P^3 of degree at least 5. Using a Lefschetz pencil argument, we give an elementary new proof of the vanishing of a regulator on K_1(Z).
Hochster's theta invariant is defined for a pair of finitely generated modules on a hypersurface ring having only an isolated singularity. Up to a sign, it agrees with the Euler invariant of a pair of matrix factorizations. Working over the complex numbers, Buchweitz and van Straten have established an interesting connection between Hochster's theta invariant and the classical linking form on the link of the singularity. In particular, they establish the vanishing of the theta invariant if the hypersurface is even-dimensional by exploiting the fact that the (reduced) cohomology of the Milnor f…
For a holomorphic function on a complex manifold, we show that the vanishing cohomology of lower degree at a point is determined by that for the points near it, using the perversity of the vanishing cycle complex. We calculate it explicitly in the case the hypersurface has simple normal crossings outside the point. We also give some applications to the monodromy.
In this paper, we prove three related results; (1) Extension of our result in [10] to all generic hypersurfaces. More precisely, the normal sheaf of a generic rational map $c_0$ to a generic hypersurface $X_0$ of $\mathbf P^n, n\geq 4$ has a vanishing higher cohomology, \begin{equation} H^1(N_{c_0/X_0})=0. \end{equation} As applications we give (2) A solution to a Voisin's conjecture [9] on a covering of a generic hypersurface by rational curves (3) A classification of rational curves on hypersurfaces of general type--a solution to another Voisin's conjecture [9].
Degeneration of families of projective hypersurfaces and Hodge conjecture
该研究通过维数归纳法，结合光滑超曲面情形的既有结论、混合霍奇模的邻近循环函子等工具，证明了光滑复射影簇的霍奇猜想。
In this paper we discuss an obstruction to the integral Hodge conjecture, which arises from certain behavior of vanishing cycles. This allows us to construct new counter-examples to the integral Hodge conjecture. One typical such counter-example is the product of a very general hypersurface of odd dimension and an Enriques surface. Our approach generalizes the degeneration argument of Benoist-Ottem.
We show that Ambro-Kawamata's non-vanishing conjecture holds true for a quasi-smooth WCI X which is Fano or Calabi-Yau, i.e. we prove that, if H is an ample Cartier divisor on X, then |H| is not empty. If X is smooth, we further show that the general element of |H| is smooth. We then verify Ambro-Kawamata's conjecture for any quasi-smooth weighted hypersurface. We also verify Fujita's freeness conjecture for a Gorenstein quasi-smooth weighted hypersurface. For the proofs, we introduce the arithmetic notion of regular pairs and enlighten some interesting connection with the Frobenius coin probl…
Hesse claimed that an irreducible projective hypersurface in $\PP^n$ defined by an equation with vanishing hessian determinant is necessarily a cone. Gordan and Noether proved that this is true for $n\leq 3$ and constructed counterexamples for every $n\geq 4$. Gordan and Noether and Franchetta gave classification of hypersurfaces in $\PP^4$ with vanishing hessian and which are not cones. Here we translate in geometric terms Gordan and Noether approach, providing direct geometrical proofs of these results.
We use Lefschetz pencil methods to derive structural results about Fukaya categories of Calabi-Yau hypersurfaces; in particular, concerning their dependence on the Novikov parameter. Warning to the reader: the arguments in this paper cite two preprints (papers 6.5 and 7 in the series) which do not at present exist. Until that is remedied, the proofs cannot be considered complete, and this paper should be regarded as a preliminary research announcement.
The aim is to study Perazzo hypersurfaces $X=V(F)\subseteq\mathbb{P}(K^5)$, defined by $F(x_0,x_1,x_2,u,v) = p_0(u,v)x_0+p_1(u,v)x_1+p_2(u,v)x_2+g(u,v)$, where $p_0,p_1,p_2$ are algebraically dependent, but linearly independent forms of degree $d-1$ in $u,v$, and $g$ is a form in $u,v$ of degree $d$. These hypersurfaces are the "building blocks" for all possible hypersuface in $\mathbb{P}^4$ with vanishing Hessian. A minimal and a maximal Hilbert vector is found for the associated Artinian Gorenstein $K$-algebras $A_F$: in the minimal case they satisfy the Weak Lefschetz property, but in the m…
We prove two special cases of a conjecture of J. Fernández de Bobadilla for hypersurfaces with $1$-dimensional critical loci. We do this via a new numerical invariant for such hypersurfaces, called the beta invariant, first defined and explored by the second author in 2014. The beta invariant is an algebraically calculable invariant of the local ambient topological-type of the hypersurface, and the vanishing of the beta invariant is equivalent to the hypotheses of Bobadilla's conjecture.
We study the vanishing cycles of a one-parameter smoothing of a complex analytic space and show that the weight filtration on its perverse cohomology sheaf of the highest degree is quite close to the monodromy filtration so that its graded pieces have a modified Lefschetz decomposition. We describe its primitive part using the weight filtration on the perverse cohomology sheaves of the constant sheaves. As a corollary we show in the local complete intersection case that 1 is not an eigenvalue of the monodromy on the reduced Milnor cohomology at any points if and only if the total space and the…
We prove the Lefschetz hyperplane section theorem using a simpler machinery by making the observation that we can compose the Lefschetz Pencil with a Real Morse function to get a map from the variety to $\mathbb{R}$ which is "close" to being a Real Morse function. The proof uses a new method unlike the conventional one which uses vanishing cycles, thimbles and monodromy. We prove the genus formula for plane curves using Morse theory, Lefschetz pencil and Bézout's theorem. And then we prove the Riemann Hurwitz formula for ramified maps between curves by employing techniques from deformation the…
In this series of lectures, I will discuss results for complex hypersurfaces with non-isolated singularities. In Lecture 1, I will review basic definitions and results on complex hypersurfaces, and then present classical material on the Milnor fiber and fibration. In Lecture 2, I will present basic results from Morse theory, and use them to prove some results about complex hypersurfaces, including a proof of Lê's attaching result for Milnor fibers of non-isolated hypersurface singularities. This will include defining the relative polar curve. Lecture 3 will begin with a discussion of intersect…
On symplectic aspects of $μ$-equivalence of a class of isolated hypersurface singularities
本文证明了孤立超曲面奇点在$\mu$-常数形变下保持Milnor纤维微分同胚类的辛版本，适用于加权齐次多项式奇点。
We prove a vanishing theorem for the cohomology of the complement of a complex hyperplane arrangement with coefficients in a complex local system. This result is compared with other vanishing theorems, and used to study Milnor fibers of line arrangements, and hypersurface arrangements.
We prove upper bounds for the number of critical points in semistable symplectic Lefschetz fibrations. We also obtain a new lower bound for the number of nonseparting vanishing cycles in Lefschetz pencils, and reprove the known lower bounds for the commutator lengths of Dehn twists.
We prove geometric and cohomological stabilization results for the universal smooth degree $d$ hypersurface section of a fixed smooth projective variety as $d$ goes to infinity. We show that relative configuration spaces of the universal smooth hypersurface section stabilize in the completed Grothendieck ring of varieties, and deduce from this the stabilization of the Hodge Euler characteristic of natural families of local systems constructed from the vanishing cohomology. We prove explicit formulas for the stable values using a probabilistic interpretation, along with the natural analogs in p…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。