D. Chéniot, A. Libgober
This paper gives an extension of the classical Zariski-van Kampen theorem describing the fundamental groups of the complements of plane singular curves by generators and relations. It provides a procedure for computation of the first non-trivial higher homotopy groups of the complements of singular projective hypersurfaces in terms of the homotopy variation operators introduced here.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
In 1933, van Kampen described the fundamental groups of the complements of plane complex projective algebraic curves. Recently, Chéniot-Libgober proved an analogue of this result for higher homotopy groups of the complements of complex projective hypersurfaces with isolated singularities. Their description is in terms of some "homotopical variation operators". We generalize here the notion of "homotopical variation" to (singular) quasi-projective varieties. This is a first step for further generalizations of van Kampen's theorem. A conjecture, with a first approach, is stated in the special ca…
We formulate and prove a generalization of Zariski-van Kampen theorem on the topological fundamental groups of smooth complex algebraic varieties. As an application, we prove a hyperplane section theorem of Lefschetz-Zariski-van Kampen type for the fundamental groups of the complements to the Grassmannian dual varieties.
We present a method of Zariski-van Kampen type for the calculation of the transcendental lattice of a complex projective surface. As an application, we calculate the transcendental lattices of complex singular K3 surfaces associated with an arithmetic Zariski pair of maximizing sextics of type $A_{10}+A_{9}$ that are defined over a real quadratic field and are conjugate to each other over the field of rational numbers.
The classical Zariski-van Kampen theorem gives a presentation of the fundamental group of the complement of a complex algebraic curve in $\mathbb{P}^2$. The first generalization of this theorem to singular (quasi-projective) varieties was given by the first author. In both cases, the relations are generated by the standard monodromy variation operators associated with the special members of a generic pencil of hyperplane sections. In the present paper, we give a new generalization in which the relations are generated by the relative monodromy variation operators introduced by D. Chéniot and th…
We prove a general Zariski-van Kampen-Lefschetz type theorem for higher homotopy groups of generic and nongeneric pencils on singular open complex spaces.
Generalized étale homotopy pro-groups $π_1^{\ets}(\mc{C}, x)$ associated to pointed connected small Grothendieck sites $(\mc{C}, x)$ are defined and their relationship to Galois theory and the theory of pointed torsors for discrete groups is explained. Applications include new rigorous proofs of some folklore results around $π_1^{\ets}(\et{X}, x)$, a description of Grothendieck's short exact sequence for Galois descent in terms of pointed torsor trivializations, and a new étale van Kampen theorem which gives a simple statement about a pushout square of pro-groups that works for covering famili…
Zariski pairs of conic-line arrangements of degrees 7 and 8 via fundamental groups
通过基本群和Zariski-van Kampen定理，发现新的8次圆锥-直线构型Zariski对，并验证了2014年提出的两个7次Zariski对。
We develop a modification of the Zariski--van Kampen approach for the computation of the fundamental group of a trigonal curve with improper fibers. As an application, we list the deformation families and compute the fundamental groups of all irreducible maximizing simple sextics with a type $\bold D$ singular point.
Zariski-local framed $\mathbb{A}^1$-homotopy theory
本文对任意域及分离 noether 概形建立了带框 motivic 空间的 Nisnevich 与 Zariski 纤维拓扑之间的 $\infty$-范畴等价，并证明局部化定理。
We introduce a metric homotopy theory, which we call Moderately Discontinuous Homotopy, designed to capture Lipschitz properties of metric singular subanalytic germs. It matches with the Moderately Discontinuous Homology theory receantly developed by the authors and E. Sampaio. The $k$-th MD homotopy group is a group $MDH^b_\bullet$ for any $b\in [1,\infty]$ together with homomorphisms $MDπ^b\to MDπ^{b'}$ for any $b\geq b'$. We develop all its basic properties including finite presentation of the groups, long homology sequences of pairs, metric homotopy invariance, Seifert-van Kampen Theorem a…
In this note, we present a new method for computing fundamental groups of curve complements using a variation of the Zariski-Van Kampen method on general ruled surfaces. As an application we give an alternative (computation-free) proof for the fundamental group of generic $(p,q)$-torus curves.
The homotopy group $π_{n-k} ({\bf C}^{n+1}-V)$ where $V$ is a hypersurface with a singular locus of dimension $k$ and good behavior at infinity is described using generic pencils. This is analogous to the van Kampen procedure for finding a fundamental group of a plane curve. In addition we use a certain representation generalizing the Burau representation of the braid group. A divisibility theorem is proven that shows the dependence of this homotopy group on the local type of singularities and behavior at infinity. Examples are given showing that this group depends on certain global data in ad…
Anabelian geometry with etale homotopy types generalizes in a natural way classical anabelian geometry with etale fundamental groups. We show that, both in the classical and the generalized sense, any point of a smooth variety over a field k which is finitely generated over Q has a fundamental system of (affine) anabelian Zariski-neighbourhoods. This was predicted by Grothendieck in his letter to Faltings.
We compute the presentations of fundamental groups of the complements of a class of rational cuspidal projective plane curves classified by Flenner, Zaidenberg, Fenske and Saito. We use the Zariski-Van Kampen algorithm and exploit the Cremona transformations used in the construction of these curves. We simplify and study these group presentations so obtained and determine if they are abelian, finite or big, i.e. if they contain free non-abelian subgroups. We also study the quotients of these groups to some extend.
For line arrangements in P^2 with nice combinatorics (in particular, for those which are nodal away the line at infinity), we prove that the combinatorics contains the same information as the fundamental group together with the meridianal basis of the abelianization. We consider higher dimensional analogs of the above situation. For these analogs, we give purely combinatorial complete descriptions of the following topological invariants (over an arbitrary field): the twisted homology of the complement, with arbitrary rank one coefficients; the homology of the associated Milnor fiber and Alexan…
A Foundation for Synthetic Algebraic Geometry
本文基于Kock和Blechschmidt的工作，在Zariski topos内部建立代数几何基础，使用同伦类型论结合三个公理作为其内部语言，提出“Zariski局部选择”公理并通过立方模型证明其合理性，贡献了高阶类型在上同调推理中的应用。
We provide a cohomological interpretation of the zeroth stable $\mathbb{A}^1$-homotopy group of a smooth curve over an infinite perfect field. We show that this group is isomorphic to the first Nisnevich (or Zariski) cohomology group of a certain sheaf closely related to the first Milnor--Witt $\mathrm{K}$-theory sheaf. This cohomology group can be computed using an explicit Gersten-type complex. We show that if the base field is algebraically closed then the zeroth stable $\mathbb{A}^1$-homotopy group of a smooth curve coincides with the zeroth Suslin homology group that was identified by Sus…
Higher Zariski Geometry
该研究在稳定对称幺半群幂等完全∞-范畴（2-环）中构建高Zariski几何结构，恢复同伦范畴Balmer谱，证明与经典Zariski几何的相容性，为刚性2-环的下降结果提供增强并扩展望远镜猜想的茎局部性原理。
The computation of the fundamental group of the complement of an algebraic plane curve has been theoretically solved since Zariski-van Kampen, but actual computations are usually cumbersome. In this work, we describe the notion of Wirtinger presentation of such a group relying on the real picture of the curve and with the same combinatorial flavor as the classical Wirtinger presentation; we determine a significant family of curves for which Wirtinger presentation provides the required fundamental group. The above methods allow us to compute that fundamental group for an infinite subfamily of h…
We study the Banach algebras ${\rm C}(X, R)$ of continuous functions from a compact Hausdorff topological space $X$ to a Banach ring $R$ whose topology is discrete. We prove that the Berkovich spectrum of ${\rm C}(X, R)$ is homeomorphic to $ζ(X) \times {\mathcal M}(R)$, where $ζ(X)$ is the Banaschewski compactification of $X$ and ${\mathcal M}(R)$ is the Berkovich spectrum of $R$. We study how the topology of the spectrum of ${\rm C}(X, R)$ is related to the notion of homotopy Zariski open embedding used in derived geometry. We find that the topology of $ζ(X)$ can be easily reconstructed from …
We study aspects of the A^1-homotopy classification problem in dimensions >= 3 and, to this end, we investigate the problem of computing A^1-homotopy groups of some A^1-connected smooth varieties of dimension >=. Using these computations, we construct pairs of A^1-connected smooth proper varieties all of whose A^1-homotopy groups are abstractly isomorphic, yet which are not A^1-weakly equivalent. The examples come from pairs of Zariski locally trivial projective space bundles over projective spaces and are of the smallest possible dimension. Projectivizations of vector bundles give rise to A^1…
This paper will appear in the Santa Cruz proceedings. An overview of the braid group techniques in the theory of algebraic surfaces, from Zariski to the latest results, is presented. An outline of the Van Kampen algorithm for computing fundamental groups of complements of curves and the modification of Moishezon-Teicher regarding branch curves of generic projections are given. The paper also contains a description of a quotient of the braid group, namely $\tilde B_n$ which plays an important role in the description of fundamental groups of complements of branch curves.It turns out that all suc…
Differential Geometry of Synthetic Schemes
该研究在综合代数几何框架下，利用同伦类型论给出概形间平展、光滑、非分歧映射的新综合定义，证明其微分刻画及光滑概形切空间性质，验证三类概形的局部代数描述的具体性。
Projective Space in Synthetic Algebraic Geometry
本文在合成代数几何框架下研究射影空间$\mathbb{P}^n$，证明其自同构群为$\mathrm{PGL}_{n+1}(R)$，皮卡德群为$\mathbb{Z}$，并给出线丛类型的精细描述。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。