Jochen Heinloth
We prove Behrend's conjecture on the rationality of the canonical reduction of principal bundles and reductive group schemes for classical groups and give new bounds for the conjecture for exceptional groups. However we find a counterexample in the case of G_2-bundles in characteristic 2.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We prove the version of Joyce-Song formula for the Behrend function identities in the motivic setting. The main method we use is the proof of Kontsevich-Soibelman conjecture about the motivic Milnor fibers by Q. T. Le, who uses the method of motivic integration for formal schemes and Cluckers-Loeser's motivic constructible functions. In the Appendix the motivic formula can be used to provide a different proof that there is an algebra homomorphism of Kontsevich-Soibelman from the motivic Hall algebra of the abelian category of coherent sheaves on a Calabi-Yau threefold $Y$ to the motivic quantu…
This paper, first written in 1997, aims at a simplified and more elementary construction of algebraic-geometric virtual fundamental classes as defined by Li/Tian and Behrend/Fantechi. We replace the use of Artin stacks in the latter approach by a yoga of cone bundles of possible independent interest. We also observe a formula for virtual fundamental classes involving only the total Chern class of the index bundle and Fulton's canonical class of the moduli space.
The paper generalizes a result of Behrend-Fantechi and Baranovsky-Ginzburg to the 1-shifted cotangent bundle $T^*X[1]$ of a smooth scheme $X$ over the field of complex numbers. We show how one can obtain twisted cotangent bundles as derived intersections of Lagrangians in $T^*X[1]$, moreover and we show that the derived intersection of the quantized Lagrangians coincide with the canonical quantization of the twisted cotangent bundles.
Since its first use by Behrend, Bryan, and Szendrői in the computation of motivic Donaldson-Thomas (DT) invariants of $\mathbb{A}_{\mathbb{C}}^3$, dimensional reduction has proved to be an important tool in motivic and cohomological DT theory. Inspired by a conjecture of Cazzaniga, Morrison, Pym, and Szendrői on motivic DT invariants, work of Dobrovolska, Ginzburg, and Travkin on exponential sums, and work of Orlov and Hirano on equivalences of categories of singularities, we generalize the dimensional reduction theorem in motivic and cohomological DT theory and use it to prove versions of the…
In this paper we give an elementary proof of the Zariski-Lipman conjecture for log canonical spaces.
We prove that the log Iitaka conjecture holds for log canonical fibrations when log canonical divisor of a sufficiently general fiber is abundant.
A canonically fibered surface is a surface whose canonical series maps it to a curve. Using Miyaoka-Yau inequality, A. Beauville proved that a canonically fibered surface has relative genus at most 5 when its geometric genus is sufficiently large. G. Xiao further conjectured that the relative genus cannot exceed 4. We give a proof of this conjecture.
We prove that the interval $(5/6, 1)$ contains no 3-dimensional canonical thresholds.
Green's canonical syzygy conjecture asserts a simple relationship between the Clifford index of a smooth projective curve and the shape of the minimal free resolution of its homogeneous ideal in the canonical embedding. We prove the analogue of this conjecture formulated by Bayer and Eisenbud for a class of non-reduced curves called ribbons. Our proof uses the results of Voisin and Hirschowitz-Ramanan on Green's conjecture for general smooth curves.
Green's Conjecture states the following : syzygies of the canonical model of a curve are simple up to the p^th stage if and only if the Clifford index of C is greater than p. We prove that the generic curve of genus g satisfies Green's conjecture.
We discuss the relationship among various conjectures in the minimal model theory including the finite generation conjecture of the log canonical rings and the abundance conjecture. In particular, we show that the finite generation conjecture of the log canonical rings for log canonical pairs can be reduced to that of the log canonical rings for purely log terminal pairs of log general type.
Canonical bundle formula and a conjecture on certain algebraic fiber spaces by Schnell
本文利用典范丛公式，在两种独立假设下证明了Schnell关于代数纤维空间的猜想，其中一种假设涉及刚性流表示的典范类。
We prove the abundance theorem for log canonical $n$-folds such that the boundary divisor is big assuming the abundance conjecture for log canonical $(n-1)$-folds. We also discuss the log minimal model program for log canonical $4$-folds.
Shokurov conjectured that the set of all log canonical thresholds on varieties of bounded dimension satisfies the ascending chain condition. In this paper we prove that the conjecture holds for log canonical thresholds on smooth varieties and, more generally, on locally complete intersection varieties and on varieties with quotient singularities.
We prove the finiteness of log pluricanonical representations for projective log canonical pairs with semi-ample log canonical divisor. As a corollary, we obtain that the log canonical divisor of a projective semi log canonical pair is semi-ample if and only if so is the log canonical divisor of its normalization. We also treat many other applications.
For a smooth germ of algebraic variety $(X,0)$ and a hypersurface $(f=0)$ in $X$, with an isolated singularity at $0$, Teissier conjectured a lower bound for the Arnold exponent of $f$ in terms of the Arnold exponent of a hyperplane section $f\vert_H$ and the invariant $θ_0(f)$ of the hypersurface. By building on an approach due to Loeser, we prove the conjecture in the case of log canonical thresholds.
This short note provides a quick introduction to relative canonical resolutions of curves on rational normal scrolls. We present our Macaulay2-package which computes the relative canonical resolution associated to a curve and a pencil of divisors. Most of our experimental data can be found on a dedicated webpage. We end with a list of conjectural shapes of relative canonical resolutions. In particular, for curves of genus $g=n\cdot k +1$ and pencils of degree $k$ for $n\ge 1$, we conjecture that the syzygy divisors on the Hurwitz space $\mathscr{H}_{g,k}$ constructed by Deopurkar and Patel all…
A conic bundle is a contraction $X\to Z$ between normal varieties of relative dimension $1$ such that $-K_X$ is relatively ample. We prove a conjecture of Shokurov which predicts that, if $X\to Z$ is a conic bundle such that $X$ has canonical singularities and $Z$ is $\mathbb{Q}$-Gorenstein, then $Z$ is always $\frac{1}{2}$-lc, and the multiplicities of the fibers over codimension $1$ points are bounded from above by $2$. Both values $\frac{1}{2}$ and $2$ are sharp. This is achieved by solving a more general conjecture of Shokurov on singularities of bases of lc-trivial fibrations of relative …
Shokurov's ACC Conjecture says that the set of all log canonical thresholds on varieties of bounded dimension satisfies the Ascending Chain Condition. This conjecture was proved for log canonical thresholds on smooth varieties in [EM1]. Here we use this result and inversion of adjunction to establish the conjecture for locally complete intersection varieties.
We show some inductive statements for the index conjecture for log canonical Calabi-Yau pairs. Using it, we show that boundedness of log canonical index for log canonical Calabi Yau pairs with rational DCC coefficients in dimension 3. We also show boundedness of log canonical index for klt log Calabi-Yau pairs in dimension 4 with $B\neq 0$.
In this paper we characterize two-dimensional semi-log canonical hypersurfaces in arbitrary characteristic from the viewpoint of the initial term of the defining equation. As an application, we prove a conjecture about a uniform bound of divisors computing minimal log discrepancies for two dimensional varieties, which is a conjecture by Ishii and also a special case of the conjecture by Mustaţǎ-Nakamura.
We prove the Green conjecture for generic curves of odd genus. That is we prove the vanishing $K_{k,1}(X,K_X)=0$ for $X$ generic of genus $2k+1$. The curves we consider are smooth curves $X$ on a K3 surface whose Picard group has rank 2. This completes our previous work, where the Green conjecture for generic curves of genus $g$ with fixed gonality $d$ was proved in the range $d\geq g/3$, with the possible exception of the generic curves of odd genus.
We prove a part of Shokurov's conjecture on characterization of toric varieties modulo the minimal model program and adjunction conjecture.
In this paper, we formulate the geometric Bogomolov conjecture for abelian varieties, and give some partial answers to it. In fact, we insist in a main theorem that under some degeneracy condition, a closed subvariety of an abelian variety does not have a dense subset of small points if it is a non-special subvariety. The key of the proof is the study of the minimal dimension of the components of a canonical measure on the tropicalization of the closed subvariety. Then we can apply the tropical version of equidistribution theory due to Gubler. This article includes an appendix by Walter Gubler…
We discuss a difference between the rational and the real non-vanishing conjecture for pseudo-effective log canonical divisors of log canonical pairs. We also show the log non-vanishing theorem for rationally connected varieties under assuming Shokurov's ACC conjectures.
We show Fujita's spectrum conjecture for $ε$-log canonical pairs and Fujita's log spectrum conjecture for log canonical pairs. Then, we generalize the pseudo-effective threshold of a single divisor to multiple divisors and establish the analogous finiteness and the DCC properties.
We treat two different topics on the log minimal model program, especially for four-dimensional log canonical pairs. (a) Finite generation of the log canonical ring in dimension four. (b) Abundance theorem for irregular fourfolds. We obtain (a) as a direct consequence of the existence of four-dimensional log minimal models by using Fukuda's theorem on the four-dimensional log abundance conjecture. We can prove (b) only by using traditional arguments. More precisely, we prove the abundance conjecture for irregular $(n+1)$-folds on the assumption that the minimal model conjecture and the abundan…
The nonvanishing conjecture for projective log canonical pairs plays a key role in the minimal model program of higher dimensional algebraic geometry. The numerical nonvanishing conjecture considered in this paper is a weaker version of the usual nonvanishing conjecture, but valid in the more general setting of generalized log canonical pairs. We confirm it in dimension two. Under some necessary conditions we obtain effective versions of numerical nonvanishing for surfaces. Several applications are also discussed. In higher dimensions, we mainly consider the conjecture for generalized klt pair…
In this paper we study Koszul cohomology and the Green and Prym-Green conjectures for canonical and Prym-canonical binary curves. We prove that if property $N_p$ holds for a canonical or a Prym-canonical binary curve of genus $g$ then it holds for a generic canonical or Prym-canonical binary curve of genus $g+1$. We also verify the Green and Prym-Green conjectures for generic canonical and Prym-canonical binary curves of low genus ($6\leq g\leq 15$, $g\neq 8$ for Prym-canonical and $3\leq g\leq 12$ for canonical).
In this paper we prove the Zariski-Lipman conjecture for log canonical spaces.
We give a new proof of the finiteness of B-representations. As a consequence of the finiteness of B-representations and Kollár's gluing theory on lc centers, we prove that the (relative) abundance conjecture for slc pairs is implied by the abundance conjecture for log canonical pairs.
On finiteness of relative log pluricanonical representations
该研究在复解析框架下证明了相对对数多重典范表示的有限性，建立了复解析空间对数典型翻转的存在性，归约了两类丰度猜想，丰富了代数几何中相关理论。
We prove the Nonvanishing conjecture for uniruled projective log canonical pairs of dimension $n$, assuming the Nonvanishing conjecture for smooth projective varieties in dimension $n-1$. We also show that the existence of good minimal models for non-uniruled projective klt pairs in dimension $n$ implies the existence of good minimal models for projective log canonical pairs in dimension $n$.
We prove that two weakened forms of Green's conjectures for canonical curves are equivalent when the genus $g$ is odd.
In this short note, we consider the conjecture that the log canonical divisor (resp. the anti-log canonical divisor) $K_X + Δ$ (resp. $-(K_X + Δ)$) on a pair $(X, Δ)$ consisting of a complex projective manifold $X$ and a reduced simply normal crossing divisor $Δ$ on $X$ is ample if it is numerically positive. More precisely, we prove the conjecture for $K_X + Δ$ with $Δ\neq 0$ in dimension 4 and for $-(K_X + Δ)$ with $Δ\neq 0$ in dimension 3 or 4.
We prove that the non-vanishing conjecture holds for generalized lc pairs with a polarization.
Shitov recently gave a counterexample to Comon's conjecture that the symmetric tensor rank and tensor rank of a symmetric tensor are the same. In this paper we show that an analog of Comon's conjecture for the G-stable rank introduced by Derksen is true: the symmetric G-stable rank and G-stable rank of a symmetric tensor are the same. We also show that the log-canonical threshold of a singularity is bounded by the G-stable rank of the defining ideal.
Let T_n denote the set of log canonical thresholds of pairs (X,Y), with X a nonsingular variety of dimension n, and Y a nonempty closed subscheme of X. Using non-standard methods, we show that every limit of a decreasing sequence in T_n lies in T_{n-1}, proving in this setting a conjecture of Kollár. We also show that T_n is a closed subset in the set of real numbers; in particular, every limit of log canonical thresholds on smooth varieties of fixed dimension is a rational number. As a consequence of this property, we see that in order to check Shokurov's ACC Conjecture for all T_n, it is eno…
We use E. Lau's classification of 2-divisible groups using Dieudonné displays to construct integral canonical models for Shimura varieties of abelian type at 2-adic places where the level is hyperspecial. We apply this to prove the Tate conjecture for K3 surfaces in characteristic 2.
We study the stability of the normal bundle of canonical genus $8$ curves and prove that on a general curve the bundle is stable. The proof rests on Mukai's description of these curves as linear sections of a Grassmannian $\mathrm{G}(2,6)$. This is the next case of a conjecture by M. Aprodu, G. Farkas, and A. Ortega: the general canonical curve of every genus $g \geq 7$ should have stable normal bundle. We also give some more evidence for this conjecture in higher genus.
On smooth threefolds, the ACC for minimal log discrepancies is equivalent to the boundedness of the log discrepancy of some divisor which computes the minimal log discrepancy. We reduce it to the case when the boundary is the product of a canonical part and the maximal ideal to some power. We prove the reduced assertion when the log canonical threshold of the maximal ideal is either at most one-half or at least one.
We prove that if Y is a hypersurface of degree d in P^n with isolated singularities, then the log canonical threshold of (P^n,Y) is at least min{n/d,1}. Moreover, if d is at least n+1, then we have equality if and only if Y is the projective cone over a (smooth) hypersurface in P^{n-1}. In the case when Y is a hyperplane section of a smooth hypersurface in P^{n+1}, Cheltsov and Park have proved that Y has isolated singularities and they have obtained the above lower bound for the log canonical threshold. Moreover they made the conjecture about the equality case (for d=n+1) and they proved that…
We prove a conjecture due to V.V. Shokurov on the boundedness of $ε$-log canonical complements on surfaces. As an application we give a new proof to the boundedness of weak log Fano surfaces.
Chisini's conjecture asserts that for a cuspidal curve $B\subset \mathbb P^2$ a generic morphism $f$ of a smooth projective surface onto $\mathbb P^2$ of degree $\geq 5$, branched along $B$, is unique up to isomorphism. We prove that if $°f$ is greater than the value of some function depending on the degree, genus, and number of cusps of $B$, then the Chisini conjecture holds for $B$. This inequality holds for many different generic morphisms. In particular, it holds for a generic morphism given by a linear subsystem of the $m$th canonical class for almost all surfaces with ample canonical cla…
In this paper, we show that Fujita's basepoint-freeness conjecture for projective quasi-log canonical singularities holds true in dimension three. Immediately, we prove Fujita-type basepoint-freeness for projective semi-log canonical threefolds.
Building on results of Kollár, we prove Shokurov's ACC Conjecture for log canonical thresholds on smooth varieties, and more generally, on varieties with quotient singularities.
Canonical Heights on Shimura Varieties and the André-Oort Conjecture
本文旨在完全一般性地证明 André-Oort 猜想，该猜想涉及 Shimura 簇上特殊子簇的分布。
In this paper, we show that Shokurov's conjectures on the ACC for $a$-lc thresholds and the ACC for minimal log discrepancies are equivalent in the interval $[0,1)$. That is, the conjecture on ACC for $a$-lc thresholds holds for every $0\leq a<1$ if and only if the set of minimal log discrepancies for pairs with DCC coefficients do not have an accumulation point from below which belongs to $[0,1)$.
Stable Reduction via the Log Canonical Model
该研究提出了推广德利涅-芒福德稳定约化到高维的猜想，在极小模型纲领两个标准猜想下证明其在大特征下成立，并恢复了哈肯-科瓦奇定理关于特定稳定曲面模叠层真理性的结论。
In this article we study a conjecture of Geiss-Leclerc-Schr{ö}er, which is an analogue of a classical conjecture of Lusztig in the Weyl group case. It concerns the relation between canonical basis and semi-canonical basis through the characteristic cycles. We formulate an approach to this conjecture and prove it for type $A_2$ quiver. In general type A case, we reduce the conjecture to show that certain nearby cycles have vanishing Euler characteristic.
The \emph{canonical degree} of a curve $C$ on a surface $X$ is $K_X\cdot C$. Our main result, is that on a surface of general type there are only finitely many curves with negative self--intersection and sufficiently large canonical degree. Our proof strongly relies on results by Miyaoka. We extend our result both to surfaces not of general type and to non--negative curves, and give applications, e.g. to finiteness of negative curves on a general blow--up of $\mathbb P^ 2$ at $n\geq 10$ general points (a result related to \emph{Nagata's Conjecture}). We finally discuss a conjecture by Vojta co…
We prove Weak Borisov--Alexeev--Borisov Conjecture in dimension three which states that the anti-canonical volume of an $ε$-klt log Fano pair of dimension three is bounded from above.
We propose a subconjecture that implies the semiampleness conjecture for quasi-numerically positive log canonical divisors and prove the semiampleness in some elementary cases.
We prove the Bertram-Feinberg-Mukai conjecture for a generic curve $C$ of genus $g$ and a semistable vector bundle $E$ of rank two and determinant $K$ on $C$, namely we prove the injectivity of the Petri-canonical map $S^2(H^0(E))\to H^0(S^2(E))$.
The Mukai conjecture via Cox rings for smooth canonical ambient embeddings
本文通过Cox环理论研究特殊典范嵌入下的Fano簇，证明了Mukai猜想在局部因子Fano簇中的成立，基于Mori梦想空间的log版本。
This paper establishes the correctness of a conjecture of Bertram-Feinberg and Mukai for a special class of globally generated rank-two bundles with canonical determinant over a generic Riemann surface of genus at least four.
On Miyanishi conjecture for quasi-projective varieties
该研究针对特征零代数闭域上的Miyanishi猜想，证明了满足余维数条件且具有丰沛（反）典范除子的拟射影簇情形，还借助极小模型纲领探讨了无典范除子条件的情况，证明了具典范奇点且有除子收缩典范模型的情形。
The Bogomolov conjecture claims that a closed subvariety containing a dense subset of small points is a special kind of subvarieties. In the arithmetic setting over number fields, the Bogomolov conjecture for abelian varieties has already been established as a theorem of Ullmo and Zhang, but in the geometric setting over function field, it has not yet been solved completely. There are only some partial results known such as the totally degenerate case due to Gubler and our recent work generalizing Gubler's result. The key in establishing the previous results on the Bogomolov conjecture is the …
On the log version of Serrano's conjecture
本文研究了低维下 Serrano 猜想的 log 版本，证明了 3 维非典范奇点的丰富性猜想及对数典范 Campana--Peternell 猜想，并改进了 4 维情形的相关结果。
Let $X$ be a normal variety. Assume that for some reduced divisor $D \subset X$, logarithmic 1-forms defined on the snc locus of $(X, D)$ extend to a log resolution $\tilde X \to X$ as logarithmic differential forms. We prove that then the Lipman-Zariski conjecture holds for $X$. This result applies in particular if $X$ has log canonical singularities. Furthermore, we give an example of a 2-form defined on the smooth locus of a three-dimensional log canonical pair $(X, \emptyset)$ which acquires a logarithmic pole along an exceptional divisor of discrepancy zero, thereby improving on a similar…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。