Yuan-Pin Lee
The mirror theorem is generalized to any smooth projective variety X. That is, a fundamental relation between the Gromov-Witten invariants of X and Gromov-Witten invariants of complete intersections Y in X is established.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We describe the perverse filtration in cohomology using the Lefschetz Hyperplane Theorem.
In this article, we give a counterexample to the Lefschetz hyperplane theorem for non-singular quasi-projective varieties. A classical result of Hamm-Lê shows that Lefschetz hyperplane theorem can hold for hyperplanes in general position. We observe that the condition of ``hyperplane'' is strict in the sense that it is not possible to replace it by higher degree hypersurfaces. The counterexample is very simple: projective space minus finitely many points. Moreover, as an intermediate step we prove that the Grothendieck-Lefschetz theorem also fails in the quasi-projective case.
We show that the Quantum Lefschetz Hyperplane Principle can fail for certain orbifold hypersurfaces and complete intersections. It can fail even for orbifold hypersurfaces defined by a section of an ample line bundle.
The perverse filtration in cohomology and in cohomology with compact supports is interpreted in terms of kernels of restrictions maps to suitable subvarieties by using the Lefschetz hyperplane theorem and spectral objects. Various mixed-Hodge-theoretic consequences for intersection cohomology and for the decomposition theorem are derived.
We describe the standard and Leray filtrations on the cohomology groups with compact supports of a quasi projective variety with coefficients in a constructible complex using flags of hyperplane sections on a partial compactification of a related variety. One of the key ingredients of the proof is the Lefschetz hyperplane theorem for perverse sheaves and, in an appendix, we discuss the base change maps for constructible sheaves on algebraic varieties and their role in a proof, due to Beilinson, of the Lefschetz hyperplane theorem.
The main theorem of the paper provides a way to produce examples such that the movable cone of an ample divisor does not coincide with the movable cone of its ambient variety.
An effective algorithm of determining Gromov--Witten invariants of smooth hypersurfaces in any genus (subject to a degree bound) from Gromov--Witten invariants of the ambient space is proposed. The Appendix is joint with E. Schulte-Geers.
We establish a Lefschetz hyperplane theorem for the Berkovich analytifications of Jacobians of curves over an algebraically closed non-Archimedean field. Let $J$ be the Jacobian of a curve $X$, and let $W_d \subset J$ be the locus of effective divisor classes of degree $d$. We show that the pair $(J^{an},W_d^{an})$ is $d$-connected, and thus in particular the inclusion of the analytification of the theta divisor $Θ^{an}$ into $J^{an}$ satisfies a Lefschetz hyperplane theorem for $\mathbb{Z}$-cohomology groups and homotopy groups. A key ingredient in our proof is a generalization, over arbitrar…
We prove a type of the Lefschetz hyperplane section theorem on Q-Fano 3-folds with Picard number one and $1/2(1,1,1)$-singularities by using some degeneration method. As a byproduct, we obtain a new example of a Calabi-Yau 3-fold $X$ with Picard number one whose invariants are $$(H_X^3, c_2 (X) \cdot H_X, {e} (X)) = (8, 44, -88),$$ where $H_X$, $e(X)$ and $c_2(X)$ are an ample generator of $\Pic(X)$, the topological Euler characteristic number and the second Chern class of $X$ respectively.
Let X be a smooth projective variety over the complex numbers, and let D be an ample divisor in X. For which spaces Y is the restriction map r: Hom(X, Y) -> Hom(D, Y) an isomorphism? Using positive characteristic methods, we give a fairly exhaustive answer to this question. An example application of our techniques is: if dim(X) > 2, Y is smooth, the cotangent bundle of Y is nef, and dim(Y) < dim(D), the restriction map r is an isomorphism. Taking Y to be the classifying space of a finite group BG, the moduli space of pointed curves M_{g,n}, the moduli space of principally polarized Abelian var…
We prove a certain 'fat hyperplane section' Weak Lefschetz-type theorem for etale cohomology of non-projective varieties, similar to a result of Goresky and MacPherson (over complex numbers). This statement easily yields certain (vast) generalizations of the 'ordinary' Weak Lefschetz and Barth's theorems in arbitrary characteristic (that do not require any stratified Morse theory for their proof).
In this article, we study the $k$-Lefschetz properties for non-Artinian algebras, proving that several known results in the Artinian case can be generalized in this setting. Moreover, we describe how to characterize the graded algebras having the $k$-Lefschetz properties using sectional matrices. We then apply the obtained results to the study of the Jacobian algebra of hyperplane arrangements, with particular attention to the class of free arrangements.
Lefschetz properties and the Jacobian algebra of 3-dimensional hyperplane arrangements
本文研究高维商空间和1维几乎完全交的弱与强莱夫谢茨性质，并将结果应用于超平面构型的雅可比代数分析。
In this article, we study the weak and strong Lefschetz properties, and the related notion of almost revlex ideal, in the non-Artinian case, proving that several results known in the Artinian case hold also in this more general setting. We then apply the obtained results to the study of the Jacobian algebra of hyperplane arrangements.
Let $S$ be a complex projective surface. Lefschetz originally proved Lefschetz $(1, 1)$--Theorem by studying a Lefschetz pencil of hyperplane sections of $S$ and the Abel--Jacobi mapping. In this paper, we attack Lefschetz $(1, 1)$--Theorem by constructing certain two-parameter families of twice hyperplane sections of $S$ and then applying the topological Abel--Jacobi mapping. Our geometric constructions would give an inductive approach and some insight for higher dimensional cases. We prove a strong tube theorem which generalizes Schnell's tube theorem to integral homology groups for complex …
We use Morse theory to prove that the Lefschetz Hyperplane Theorem holds for compact smooth Deligne-Mumford stacks over the site of complex manifolds. For $Z \subset X$ a hyperplane section, $X$ can be obtained from $Z$ by a sequence of deformation retracts and attachments of high-dimensional finite disc quotients. We use this to derive more familiar statements about the relative homotopy, homology, and cohomology groups of the pair $(X,Z)$. We also prove some preliminary results suggesting that the Lefschetz Hyperplane Theorem holds for Artin stacks as well. One technical innovation is to rei…
Let $ϕ:X\rightarrow \mathbb{P}^n$ be a morphism of varieties. Given a hyperplane $H$ in $\mathbb{P}^n$, there is a Gysin map from the compactly supported cohomology of $ϕ^{-1}(H)$ to that of $X$. We give conditions on the degree of the cohomology under which this map is an isomorphism for all but a low-dimensional set of hyperplanes, generalizing results due to Skorobogatov, Benoist, and Poonen-Slavov. Our argument is based on Beilinson's theory of singular supports for étale sheaves.
The Lefschetz hyperplane section theorem asserts that an affine variety is homotopy equivalent to a space obtained from its generic hyperplane section by attaching some cells. The purpose of this paper is to describe attaching maps of these cells for the complement of a complex hyperplane arrangement defined over real numbers. The cells and attaching maps are described in combinatorial terms of chambers. We also discuss the cellular chain complex with coefficients in a local system and a presentation for the fundamental group associated to the minimal CW-decomposition for the complement.
We propose a strengthening of the Grothendieck--Lefschetz hyperplane theorem for the local Picard group, prove some special cases and derive several consequences to the deformation theory of log canonical singularities. Version 2: Main conjecture changed, following recent results of Bhatt and de Jong. Small changes to the proofs.
Lefschetz theorems in flat cohomology and applications
本文证明了任意有限交换群概型为系数的fppf上同调的Lefschetz超平面定理，并以此为基础为Picard概型建立了新的Lefschetz结果。
Let $S$ be a smooth projective complex algebraic surface and $f\, :\, S\, \longrightarrow\, {\mathbb C}{\mathbb P}^2$ a finite map. Consider a pencil of hyperplane sections on ${\mathbb C}{\mathbb P}^2$ and pull it back to $S$. We address the question whether such a pencil is a Lefschetz pencil on $S$.
By the Lefschetz hyperplane theorem, if X is a smooth quasi-projective variety and C a general curve section of X then the fundamental group of C surjects onto the fundamental group of X. Here we consider when this conclusion holds for a general member of an arbitrary family of curves that covers X. The most interesting case is families of rational curves.
We study the topology of the space of affine hyperplanes $L \subset \CC^n$ which are in general position with respect to a given generic quadratic hypersurface $A$, and calculate the monodromy action of the fundamental group of this space on the relative homology groups $H_*(\CC^n, A \cup L)$ associated with such hyperplanes.
This is an expository article written for the Notices of the AMS in which we discuss the weak Lefschetz Principle in birational geometry. Our departing point is the influential work of Solomon Lefschetz started in 1924. Indeed, we look at the original formulation of the Lefschetz hyperplane theorem in algebraic topology and build up to recent developments of it in birational geometry. In doing so, the main theme of the article is the following: there are many scenarios in geometry in which analogous versions of the Lefschetz hyperplane theorem hold. These scenarios are somewhat unexpected and …
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…
We show the existence of good hyperplane sections for schemes over discrete valuation rings with good or (quasi) semistable reduction, and the existence of good Lefschetz pencils for schemes with good reduction or ordinary quadratic reduction. As an application we prove that the reciprocity map introduced for smooth projective varieties over local fields by Bloch, Kato and Saito is an isomorphism after profinite completion, if the variety has good reduction or 'almost good' reduction.
Let X be a smooth Mori dream space of dimension at least 4. We show that, if X satisfies a suitable GIT condition which we call "small unstable locus", then every smooth ample divisor Y of X is also a Mori dream space. Moreover, the restriction map identifies the Neron-Severi spaces of X and Y, and under this identification every Mori chamber of Y is a union of some Mori chambers of X, and the nef cone of Y is the same as the nef cone of X. This Lefschetz-type theorem enables one to construct many examples of Mori dream spaces by taking "Mori dream hypersurfaces" of an ambient Mori dream space…
One version of the classical Lefschetz hyperplane theorem states that for $U \subset \mathbb P^n$ a smooth quasi-projective variety of dimension at least $2$, and $H \cap U$ a general hyperplane section, the resulting map on étale fundamental groups $π_1(H \cap U) \rightarrow π_1(U)$ is surjective. We prove a generalization, replacing the hyperplane by a general $\operatorname{PGL}_{n+1}$-translate of an arbitrary projective variety: If $U \subset \mathbb P^n$ is a normal quasi-projective variety, $X$ is a geometrically irreducible projective variety of dimension at least $n + 1 - \dim U$, and…
Lefschetz properties of Jacobian algebras and Jacobian modules
本文研究了复射影空间中具孤立奇点超曲面的 Jacobian 代数与模，将线性形式乘法诱导映射的 Lefschetz 性质与超平面截面的奇点相关联。
We prove a strengthening of the Grothendieck-Lefschetz hyperplane theorem for local Picard groups conjectured by Kollár. Our approach, which relies on acyclicity results for absolute integral closures, also leads to a restriction theorem for higher rank bundles on projective varieties in positive characteristic.
We describe the Hilbert scheme components parametrizing lines and conics on the space of determinantal nets of conics, N. As an application, we use the quantum Lefschetz hyperplane principle to compute the instanton numbers of rational curves on a complete intersection Calabi-Yau threefold in N. We also compute the number of lines and conics on some Calabi-Yau sections of non-decomposable vector bundles on N. The paper contains a brief summary of the A-model theory leading up to Givental-Kim's quantum Lefschetz hyperplane principle.
We give an abstract version of the hard Lefschetz theorem, the Lefschetz decomposition and the Hodge-Riemann theorem for compact Kaehler manifolds.
Givental has defined a Lagrangian cone in a symplectic vector space which encodes all genus-zero Gromov-Witten invariants of a smooth projective variety X. Let Y be the subvariety in X given by the zero locus of a regular section of a convex vector bundle. We review arguments of Iritani, Kim-Kresch-Pantev, and Graber, which give a very simple relationship between the Givental cone for Y and the Givental cone for Euler-twisted Gromov-Witten invariants of X. When the convex vector bundle is the direct sum of nef line bundles, this gives a sharper version of the Quantum Lefschetz Hyperplane Princ…
Motivic Lefschetz theorem for twisted Milnor hypersurfaces
本研究针对Milnor超曲面内扭曲形式的光滑超平面截面，证明其Grothendieck-Chow motive可分解为相关循环代数的Severi-Brauer簇与极大交换子域的motive平移拷贝的直和，证明依赖于Galois作用在等变Chow群上的非平凡性。
Jacobian algebras and variation of hyperplane sections
通过 Milnor 代数研究至多孤立奇点超曲面的超平面截面模空间的变分，给出超平面截面映射为有限态的无穷小商判据，并推广了光滑情形的 Beauville-Patel-Riedl-Tseng 理论。
We prove a Noether--Lefschetz-type result for certain linear systems on a projective threefold with isolated singularities.
We give a short proof of a Grothendieck-Lefschetz Theorem for equivariant Picard groups of nonsingular varieties with the action of an affine algebraic group.
We propose some variants of Lefschetz fixed point theorem for Fourier-Mukai functors on a smooth projective algebraic variety. Independently we also suggest a similar theorem for endo-functors on the category of perfect modules over a smooth and proper DG algebra.
A Lefschetz-Riemann-Roch theorem for singular schemes
本文提出一个适用于奇异方案的Lefschetz-Riemann-Roch定理，扩展了之前针对奇异流形的结果。
Firstly we show a generalization of the (1,1)-Lefschetz theorem for projective toric orbifolds and secondly we prove that on 2k-dimensional quasi-smooth hypersurfaces coming from quasi-smooth intersection surfaces, under the Cayley trick, every rational (k,k)-cohomology class is algebraic, i.e., the Hodge conjecture holds on them.
In the present paper Mori extremal rays of a smooth projective manifold X are divided into two classes: L-supported and L-negligible (where ``L'' stands for ``Lefschetz'' since the division comes from Hard Lefschetz Theorem). Roughly speaking: L-supported rays are strongly distinguishable in topology while L-negligible rays have very mild geometry. Each L-supported ray R defines hyperplane in H^2(X,R) on which Lefschetz duality degenerates so it is a cohomology ring invariant. The hyperplane carries a multiplicity (cohomology ring invariant) which is related to the geometry of the ray R. The n…
A Lefschetz theorem for crystalline representations
本文利用 $p$-进非阿贝尔霍奇理论证明了晶体表示的强莱夫谢茨定理，并在对数 $p$-进霍奇理论的基础结果成立时给出对数类比。
The theorem of Barth-Lefschetz is a statement about the cohomology of a submanifold X of some projective space, in a range depending on the codimension of the embedding. Here this is generalized to the case of a submanifold X of a smooth projective toric variety Y, under some natural conditions on X. In particular, in the Barth-Lefschetz range a formula for the Hodge numbers of X in terms of the toric, i.e. combinatorial data of Y is given.
We compute the class groups of very general normal surfaces in complex projective three-space containing an arbitrary base locus $Z$, thereby extending the classic Noether-Lefschetz theorem (the case when $Z$ is empty). Our method is an adaptation of Griffiths and Harris' degeneration proof, simplified by a cohomology and base change argument. We give applications to computing Picard groups, which generalize several known results.
We introduce the notion of lef line bundles on a complex projective manifold. We prove that lef line bundles satisfy the Hard Lefschetz Theorem, the Lefschetz Decomposition and the Hodge-Riemann Bilinear Relations. We study proper holomorphic semismall maps from complex manifolds and prove that, for constant coefficients, the Decomposition Theorem is equivalent to the non-degeneracy of certain intersection forms. We give a proof of the Decomposition Theorem for the complex direct image of the constant sheaf when the domain and the target are projective by proving that the forms in question are…
We prove that for a normal projective variety $X$ in characteristic 0, and a base-point free ample line bundle $L$ on it, the restriction map of divisor class groups $\Cl(X)\to \Cl(Y)$ is an isomorphism for a general member $Y\in |L|$ provided that $\dim{X}\geq 4$. This is a generalization of the Grothendieck-Lefschetz Theorem, for divisor class groups of singular varieties.
Hard Lefschetz theorems for free line bundles
本文通过半小性亏格定义代数映射的部分正性，并借此为自由线丛的陈类完全交建立硬莱夫谢茨定理与霍奇-黎曼双线性关系。
Theorems of Barth-Lefschetz type describe restrictions on the topology of varieties of small codimension. R. Schoen and J. Wolfson, using Morse theory on a path space, have described a technique to prove theorems of this kind for complex submanifolds of Kähler manifolds of non-negative holomorphic bisectional curvature. In this paper this program is carried out for the compact Hermitian symmetric spaces. The key technical point is to define and compute an invariant, called the {\it complex positivity}, that measures the ``amount'' of positive curvature, in a suitable sense.
We prove a motivic version of the Lefschetz hyperplane theorem for a smooth ample divisor $Θ$ on an Abelian variety. We use this to construct a motive $P$ that realizes the primitive cohomology of $Θ$.
In this paper we prove a concentration theorem for arithmetic $K_0$-theory, this theorem can be viewed as an analog of R. Thomason's result in the arithmetic case. We will use this arithmetic concentration theorem to prove a relative fixed point formula of Lefschetz type in the context of Arakelov geometry. Such a formula was conjectured of a slightly stronger form by K. Köhler and D. Roessler and they also gave a correct route of its proof. Nevertheless our new proof is much simpler since it looks more natural and it doesn't involve too many complicated computations.
The goal of this paper is to generalize a theorem of Fujiwara (formerly Deligne's conjecture) to the situation appearing in a joint work [KV] with David Kazhdan on the global Langlands correspondence over function fields. Moreover, our proof is more elementary than the original one and stays in the realm of ordinary algebraic geometry, that is, does not use rigid geometry. We also include proof of the Lefschetz-Verdier trace formula and of the additivity of filtered trace maps, thus making the paper essentially self-contained.
Lefschetz-type theorems for the effective cone on Hyperkähler varieties
本文证明超凯勒簇有效锥的 Lefschetz 型定理，即光滑 ample 除子诱导有效锥同构，并推广至例外除子，从而计算射影化余切丛等有效锥。
Quantum Lefschetz theorem revisited
本文通过引入容许级数并利用扩展变量表述超几何修正，证明了任意光滑 Deligne-Mumford 栈中光滑完全交的亏格零量子莱夫谢茨定理，从而证实了 Coates-Corti-Iritani-Tseng 在超越凸性情形下的预测。
We compute the divisor class group of the general hypersurface Y of a complex projective normal variety X of dimension at least four containing a fixed base locus Z. We deduce that completions of normal local complete intersection domains of finite type over the complex numbers of dimension $\ge 4$ are completions of UFDs of finite type over the complex numbers.
In this article we prove that the log Hodge de Rham spectral sequences of certain proper log smooth schemes of Cartier type in characteristic $p>0$ degenerate at $E_1$. We also prove that the log Kodaira vanishings for them hold when they are projective. We formulate the log weak Lefschetz conjecture for log crystalline cohomologies and prove that it is true in certain cases.
In this article, we consider regular projective arithmetic schemes in the context of Arakelov geometry, any of which is endowed with an action of the diagonalisable group scheme associated to a finite cyclic group and with an equivariant very ample invertible sheaf. For any equivariant morphism between such arithmetic schemes, which is smooth over the generic fibre, we define a direct image map between corresponding higher equivariant arithmetic K-groups and we discuss its transitivity property. Then we use the localization sequence of higher arithmetic K-groups and the higher arithmetic conce…
In this note, we obtain a number of results related to the hard Lefschetz theorem for pseudoeffective line bundles, due to Demailly, Peternell and Schneider. Our first result states that the holomorphic sections produced by the theorem are in fact parallel, when viewed as currents with respect to the singular Chern connection associated with the metric. Our proof is based on a control of the covariant derivative in the approximation process used in the construction of the section. Then we show that we have an isomorphsim between such parallel sections and higher degree cohomology. As an applic…
As is well known, the Lefschetz theorems for the étale fundamental group of SGA1 do not hold. We fill a small gap in the literature showing they do for tame coverings. Let $X$ be a regular projective variety over a field $k$, and let $D\hookrightarrow X$ be a strict normal crossings divisor. Then, if $Y$ is an ample regular hyperplane intersecting $D$ transversally, the restriction functor from tame étale coverings of $X\setminus D$ to those of $Y\setminus D\cap Y$ is an equivalence if dimension $X \ge 3$, and fully faithful if dimension $X=2$. The method is dictated by Grothendieck-Murre ("Th…
Lefschetz section theorems for tropical hypersurfaces
本文建立环面簇热带超曲面的 Lefschetz 超平面截面定理，证明整系数热带同调群在紧致或 $\mathbb{R}^n$ 情形下无挠，并建立其与复超曲面 Hodge 数及 Hodge-Deligne 数的联系。
We calculate the Picard group of generic (very general) spectral varieties living in the total space of a very ample line bundle over an algebraically closed field $k$ of odd characteristics or characteristic 0. We follow the strategy of Ravindra and Srinivas [RS06,RS09] via formal Picard groups. As an application, we calculate the generic fibers of Hitchin systems over a smooth quintic surface of Picard number 1.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。