Herbert Clemens, Elisa Casini
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
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))$.
We show that on a generic curve and under some conditions on the degree and genus, there exists a component B of the locus of stable vector bundles of rank r and degree d with at least k sections of the expected dimension such that for a generic vector bundle E of B, the Petri map is injective.
Let C be a generic curve, E a generic vector bundle on C. Then, for every line bundle on C the twisted Petri map P:H^0(C,L\otimes E)\otimes H^0(C, K\otimes L^*\otimes E^{*})--> H^0(C, K) is injective.
A proof of Petri's general conjecture on the unobstructedness of linear systems on a general curve is proposed, using only the local properties of the deformation space of the pair (curve, line bundle).
We construct pointed Prym-Brill-Noether varieties parametrizing line bundles assigned to an irreducible étale double covering of a curve with a prescribed minimal vanishing at a fixed point. We realize them as degeneracy loci in type D and deduce their classes in case of expected dimension. Thus, we determine a pointed Prym-Petri map and prove a pointed version of the Prym-Petri theorem implying that the expected dimension holds in the general case. These results build on work of Welters and De Concini-Pragacz on the unpointed case. Finally, we show that Prym varieties are Prym-Tyurin varietie…
We prove a refinement of the Grothendieck-Riemann-Roch theorem in degree one.
We compute Chow groups of moduli spaces of rank 2 vector bundles on curves with determinant of odd degree in terms of generators and relations.
In this paper, we prove that the Grothendieck-Riemann-Roch formula in Deligne cohomology computing the determinant of the cohomology of a holomorphic vector bundle on the fibers of a proper submersion between abstract complex manifolds is invariant by deformation of the bundle.
Denote by B^k_{2,K} the locus of vector bundles of rank two and canonical determinant. We show that for a generic curve of genus g, B^k_{2,K} is non-empty if g is sufficiently large.
The purpose of this note is to give a survey on recent progress on characteristic classes of flat bundles, and how they behave in a family.
We propose a three-step program for the classification of stable rank 2 bundles on the projective space $\mathbb{P}^3$ inspired by an article by Hartshorne and Rao. While this classification program has been successfully completed for stable rank 2 bundles with even determinant and $c_2\le5$, much less is known for bundles with odd determinant. After revising the known facts about these objects, we list all possible spectra and minimal monads for stable rank 2 bundles with odd determinant and $c_2\le8$. We provide a full classification of all bundles with positive minimal monads, provide a neg…
Consider the scheme B_{2,L}^k of stable vector bundles of rank two and fixed determinant L which have at least k sections. Under suitable numerical conditions and for generic L, we show the existence of a component of the expected dimension of B_{2,L}^k.
Ranks of maps of vector bundles
本文将针对线丛的技巧推广至向量丛，并利用该方法证明了向量丛Petri map的 injectivity 及与Poincaré sheaves形变理论相关 map 的 surjectivity。
For $C$ a stable curve of arithmetic genus $g\ge 2$, and $\mathcal{D}$ the determinant of cohomology line bundle on $\operatorname{Bun}_{\operatorname{SL}(r)}(C)$, we show the section ring for the pair $(\operatorname{Bun}_{\operatorname{SL}(r)}(C), \mathcal{D})$ is finitely generated. Three applications are given.
Isomorphisms between moduli stacks of vector bundles with fixed determinant
该研究通过曲线同构、向量丛对偶和线束拉回的组合，分类了具有固定行列式向量丛的模堆之间的同构，并比较了模堆与模空间的自同构群。
Let M be the moduli space of semistable rank 2 Higgs pairs (V,ϕ) with trivial determinant over a smooth projective curve X of genus g>1. We compute the stringy E-function of M and prove that there does not exist a symplectic desingularization of M for g>2.
In Comm. Math. Physics 118 (1988), 651-701, A. Beilinson and V. Schechtman define on the total space of a smooth family of curves a so-called trace complex associated to a vector bundle, the 0-th relative cohomology of which is the Atiyah algebra of the determinant bundle. Their proof reduces the general case to the acyclic one. In particular, one needs a comparison of the image of the trace complex for a bundle, and its twist by an étale multisection. We analyse this and correct a point in the original proof.
We develop a holomorphic equivalence between on one hand the space of pairs (stable bundle, flat connection on the bundle) and the "sheaf of holomorphic connections" (the sheaf of splittings of the one-jet sequence) for the determinant (Quillen) line bundle over the moduli space of vector bundles on a compact connected Riemann surface. This equivalence is shown to be holomorphically symplectic. The equivalences, both holomorphic and symplectic, seem to be quite general, in that they extend to other general families of holomorphic bundles and holomorphic connections, in particular those arising…
Recall that a smooth complex projective curve has a very ample canonical bundle when it is non-hyperelliptic, and according to a theorem of M. Noether the resulting embedding is projectively normal. A theorem of Petri further asserts that the homogeneous ideal is generated by quadrics if the curve is neither trigonal nor a smooth plane quintic. In this note, we prove an analogue of Noether's theorem for the symmetric square of the curve - namely, the canonical bundle of the symmetric square determines a projectively normal embedding exactly when the curve itself is neither hyperelliptic, trigo…
Let $X$ be an irreducible smooth projective curve, defined over an algebraically closed field $k$, of genus at least three and $L$ a line bundle on $X$. Let ${\mathcal M}_X(r,L)$ be the moduli space of stable vector bundles on $X$ of rank $r$ and determinant $L$ with $r\geq 2$. We prove that the Brauer group ${\rm Br}(\mathcal{M}_X(r,L))$ is cyclic of order ${\rm g.c.d.}(r,{\rm degree}(L))$. We also prove that ${\rm Br}(\mathcal{M}_X(r,L))$ is generated by the class of the projective bundle obtained by restricting the universal projective bundle. These results were proved earlier in \cite{BBGN…
Let SU_X(3) be the moduli space of semi-stable vector bundles of rank 3 and trivial determinant on a curve X of genus 2. It maps onto P^8 and the map is a double cover branched over a sextic hypersurface called the Coble sextic. In the dual P^8 there is a unique cubic hypersurface, the Coble cubic, singular exactly along the abelian surface of degree 1 line bundles on X. We give a new proof that these two hypersurfaces are dual. As an immediate corollary, we derive a Torelli-type result.
Let $M$ be the moduli space of generalized parabolic bundles (GPBs) of rank $r$ and degree $d$ on a smooth curve $X$. Let $M_{\bar L}$ be the closure of its subset consisting of GPBs with fixed determinant ${\bar L}$. We define a moduli functor for which $M_{\bar L}$ is the coarse moduli scheme. Using the correspondence between GPBs on $X$ and torsion-free sheaves on a nodal curve $Y$ of which $X$ is a desingularization, we show that $M_{\bar L}$ can be regarded as the compactified moduli scheme of vector bundles on $Y$ with fixed determinant. We get a natural scheme structure on the closure o…
Let $Y$ be an integral nodal projective curve of arithmetic genus $g\ge 2$ with $m$ nodes defined over an algebraically closed field $k$ and $x$ a nonsingular closed point of $Y$. Let $n$ and $d$ be coprime integers with $n\ge 2$. Fix a line bundle $L$ of degree $d$ on $Y$. Let $U_Y(n,d,L)$ denote the (compactified) "fixed determinant moduli space". We prove that the restriction $\mathcal{U}_{L,x}$ of the Poincare bundle to $x \times U_Y(n,d,L)$ is stable with respect to the polarisation $θ_L$ and its restriction to $x \times U'_Y(n,d,L)$, where $U'_Y(n,d,L)$ is the moduli space of vector bund…
Let $X$ be any smooth simply connected projective surface. We consider some moduli space of pure sheaves of dimension one on $X$, i.e. $\mhu$ with $u=(0,L,χ(u)=0)$ and $L$ an effective line bundle on $X$, together with a series of determinant line bundles associated to $r[\mo_X]-n[\mo_{pt}]$ in Grothendieck group of $X$. Let $g_L$ denote the arithmetic genus of curves in the linear system $\ls$. For $g_L\leq2$, we give a upper bound of the dimensions of sections of these line bundles by restricting them to a generic projective line in $\ls$. Our result gives, together with Göttsche's computati…
Let $R$ be an excellent Henselian discrete valuation ring with algebraically closed residue field $k$ of any characteristic. Fix integers $r,d$ with $r\ge 2$. Let $X_R$ be a regular fibred surface over Spec($R$) with special fibre denoted $X_k$, a generalised tree-like curve of genus $g \ge 2$. Let ${L}_R$ be a line bundle on $X_R$ of degree $d$ such that the degree of the restriction of ${L}_R$ on the rational components of $X_k$ is a multiple of $r$. In this article we prove the existence of a rank $r$ locally free sheaf on $X_R$ of determinant ${L}_R$ such that it is semistable on the fibre…
The Determinant of Cohomology and Moduli of $λ$-Connections
本文研究了通过余子式余子式线丛的Atiyah藻酸盐对偶来理解稳定丛的Hodge-Deligne模空间。
Parabolic Hitchin connection
该研究基于Hecke修改，针对固定行列式线丛给出抛物情形下Hitchin联络的代数几何构造，推导相关线丛分解公式，并在固定非平凡行列式的向量丛模空间上构造了Hitchin联络。
Let $π:\CA\ra S$ be an abelian scheme over a scheme $S$ which is quasi-projective over an affine noetherian scheme and let $\CL$ be a symmetric, rigidified, relatively ample line bundle on $\CA$. We show that there is an isomorphism \det(π_*\CL)^{øtimes 24}\simeq\big(π_*ω_{\CA}^{\vee}\big)^{øtimes 12d} of line bundles on $S$, where $d$ is the rank of the (locally free) sheaf $π_*\CL$. We also show that the numbers 24 and $12d$ are sharp in the following sense: if $N>1$ is a common divisor of 12 and 24, then there are data as above such that \det(π_*\CL)^{øtimes (24/N)}\not\simeq\big(π_*ω_{\CA}…
Classification of monads and moduli components of stable rank 2 bundles with odd determinant and $c_2=10$
本文完整分类了$\mathbb{P}^3$上陈类为$c_1=-1,c_2=10$的稳定秩2向量丛所对应的正极小单子，证明模空间$\mathcal{B}(-1,10)$存在新的不可约分支，并刻画了奇行列式稳定秩2向量丛的谱实现条件。
Consider a projective manifold X and suppose that some wedge power of the cotangent bundle contains a subsheaf whose determinant bundle has maximal Kodaira dimension. Then we prove that X is of general type. More generally we compute the Kodaira dimension if the determinant bundle has sufficiently large Kodaira dimension. This is based on the study of the determinant bundle of a quotient of the cotangent bundle of a non-uniruled manifold: this bundle is always pseudo-effective. We apply this to study the universal cover of a projective manifold. Finally we prove the following: if the canonical…
Co-Higgs bundles of Schwarzenberger type and the determinant morphism
研究Schwarzenberger型共Higgs丛的行列映射像，探讨其数学结构与几何性质。
Let $C/M$ be a local universal family of smooth curves and $S/M$ be the family of moduli spaces of stable bundles with a fixed determinant on curves. In this paper, we find locally free sheaves $\Cal G_E$, $S(\Cal G_E)$ on $X=C\times_M S$ such that their first direct images are isomorphic to sheaves $\Cal D^{\le 1}_{S/M}(Θ)$, $\Cal D^{\le 1}_S(Θ)$ of 1-st order differential operators on the theta line bundle over $S$. As an application, we give a new construction of Hitchin's projective connection (or KZ-connection). Our main results have clearly an extension to some stable singular curves. Th…
A genus-g du Val curve is a degree-3g plane curve having 8 points of multiplicity g, one point of multiplicity g-1, and no other singularity. We prove that the corank of the Gauss-Wahl map of a general du Val curve of odd genus (>11) is equal to one. This, together with the results of [1], shows that the characterisation of Brill-Noether-Petri curves with non-surjective Gauss-Wahl map as hyperplane sections of K3 surfaces and limits thereof, obtained in [3], is optimal.
Resume Soit SU_C(r) l'espace des modules des fibrés vectoriels semi-stables de déterminant trivial sur une courbe lisse $C$ de genre $g \geq 2$ sur $\mathbb{C}$. On étudie dans cet article, un exemple de fibré introduit par Raynaud dans ~\cite{R}, ne possédant pas de diviseur thêta. On construit ensuite des extensions stables de ce fibré ce qui conduit à une majoration de la codimension du lieu de base du fibré déterminant sur $\mathcal{SU}_{C}(r)$. Abstract Let $\mathcal{SU}_{C}(r)$ be the moduli space of semi stable bundles with trivial determinant on a smooth curve $C$ of genus $g\geq 2$ on…
We constructed a projective moduli space of semistable torsion free sheaves with `fixed determinant' on a reducible curve. When a family of smooth curves degenerates to the reducible curve, our moduli space is a degeneration of the moduli spaces of semistable vector bundles with a fixed determinant on the smooth curves. Moreover, the moduli space is reduced and seminormal.
Let $C$ be a smooth irreducible complex projective curve of genus $g$ and let $B^k(2,K_C)$ be the Brill-Noether loci parametrizing classes of (semi)-stable vector bundles $E$ of rank two with canonical determinant over $C$ with $h^0(C,E)\geq k$. We show that $B^4(2,K_C)$ it has an irreducible component $\mathcal B$ of dimension $3g-13$ on a general curve $C$ of genus $g\geq 8$. Moreover, we show that for the general element $[E]$ of $\mathcal B$, $E$ fits in a exact sequence $0\to\mathcal O_C(D)\to E\to K_C(-D)\to 0$, with $D$ a general effective divisor of degree three, and the corresponding …
Simpson's closedness conjecture in arbitrary rank
本文证明了Simpson关于稳定分次Higgs丛的闭性猜想在任意秩下成立，通过行列式上同调线丛的Quillen几何和行列式联络形式的恰当性，控制了极限滤过并得到Zariski闭性。
This paper contains results on stable bundles of rank 2 with space of sections of dimension 4 on a smooth irreducible projective algebraic curve $C$. There is a known lower bound on the degree for the existence of such bundles; the main result of the paper is a geometric criterion for this bound to be attained. For a general curve $C$ of genus 10, we show that the bound cannot be attained, but that there exist Petri curves of this genus for which the bound is sharp. We interpret the main results for various curves and in terms of Clifford indices and coherent systems.
Let $\mhu$ be the moduli space of semi-stable pure sheaves of class $u$ on a smooth complex projective surface $X$. We specify $u=(0,L,χ(u)=0),$ i.e. sheaves in $u$ are of dimension $1$. There is a natural morphism $π$ from the moduli space $\mhu$ to the linear system $\ls$. We study a series of determinant line bundles $\lcn$ on $\mhu$ via $π.$ Denote $g_L$ the arithmetic genus of curves in $\ls.$ For any $X$ and $g_L\leq0$, we compute the generating function $Z^r(t)=\sum_{n}h^0(\mhu,\lcn)t^n$. For $X$ being $\mathbb{P}^2$ or $\mathbb{P}(\mo_{\pone}\oplus\mo_{\pone}(-e))$ with $e=0,1$, we com…
If V is a bundle of Tate vector spaces over a base B, its determinantal gerbe has a class C_1(V) in the second cohomology group of the sheaf of invertible functions which can be seen as the Deligne cohomology H^3(B, Z(2)). An example of such a "Tate bundle" can be obtained from a finite rank vector bundle E on the product of B and a punctured formal disk. Our main result identifies the corresponding C_1(V) with the cohomological direct image of ch_2(E), the second Chern character of E. It can be seen as a "local" version of the Riemann-Roch-Grothendieck theorem for a family of curves. This the…
Let $X \rightarrow S$ be a smooth projective surjective morphism, where $X$ and $S$ are integral schemes over complex numbers. Let L_0, L_1, .... L_{n-1}, L_{n} be line bundles over $X$. There is a natural isomorphism of the Deligne pairing $<L_{0},...,L_{n}>$ with the determinant line bundle ${\rm Det}(\otimes_{i=0}^{n} (L_i- {\mathcal O}_{X}))$.
Let $M$ be an irreducible smooth complex projective variety equipped with an action of a compact Lie group $G$, and let $({\mathcal L},h)$ be a $G$-equivariant holomorphic Hermitian line bundle on $M$. Given a compact connected Riemann surface $X$, we construct a $G$-equivariant holomorphic Hermitian line bundle $(L\,,H)$ on $X\times M$ (the action of $G$ on $X$ is trivial), such that the corresponding Quillen determinant line bundle $({\mathcal Q}, h_Q)$, which is a $G$--equivariant holomorphic Hermitian line bundle on $M$, is isomorphic to the given $G$--equivariant holomorphic Hermitian lin…
We compute the cohomology spaces for the tautological bundle tensor the determinant bundle on the punctual Hilbert scheme H of subschemes of length n of a smooth projective surface X. We show that for L and A invertible vector bundles on X, and w the canonical bundle of X, if $w^{-1}\otimes L$, $w^{-1}\otimes A$ and A are ample vector bundles, then the higher cohomology spaces on H of the tautological bundle associated to L tensor the determinant bundle associated to A vanish, and the space of global sections is computed in terms of $H^0(A)$ and $H^0(L\otimes A)$. This result is motivated by t…
In this note we examine the question of expressing the determinant of the push forward of a symmetric line bundle on an abelian fibration in terms of the pull back of the relative dualizing sheaf via the zero section.
Torelli Theorem for moduli stacks of vector bundles on tame Deligne Mumford curves
本文证明了向量丛模空间的两个Torelli定理：从固定行列式模栈恢复曲线，及从扭曲模空间恢复曲线和Brauer类，方法涉及特殊线性线性化、Hitchin构造和Kummer覆盖等。
A blowing-up formula for the intersection cohomology of the moduli of rank 2 Higgs bundles over a curve with trivial determinant
本文证明了行列式平凡曲线上秩2 Higgs丛模空间交集上同调的爆破公式，并据此在技术假设下推导出其庞加莱多项式。
Let $F\subseteq\mathbb{P}^3$ be a smooth determinantal quartic surface which is general in the Nöther-Lefschetz sense. In the present paper we give a complete classification of locally free sheaves $\mathcal{E}$ of rank $2$ on $F$ such that $h^1\big(F,\mathcal{E}(th)\big)=0$ for $t\in\mathbb{Z}$.
Let $U^{'s}_L(n,d)$ be the moduli space of stable vector bundles of rank $n$ with determinant $L$ where $L$ is a fixed line bundle of degree $d$ over a nodal curve $Y$. We prove that the projective Poincare bundle on $Y \times U^{'s}_L(n,d)$ and the projective Picard bundle on $U^{'s}_L(n,d)$ are stable for suitable polarisation. For a nonsingular point $x \in Y$, we show that the restriction of the projective Poincare bundle to $x \times U^{'s}_L(n,d)$ is stable for any polarisation. We prove that for arithmetic genus $g\ge 3$ and for $g=n=2, d$ odd, the Picard group of the moduli space $U'_L…
This article is an expanded version of the talk given by Ch. O. at the Second Latin Congress on "Symmetries in Geometry and Physics" in Curitiba, Brazil in December 2010. In this version we explain the topological and gauge-theoretical aspects of our paper "Abelian Yang-Mills theory on Real tori and Theta divisors of Klein surfaces".
Let $X$ be a smooth complex projective curve of genus $g$ and let $L$ be a line bundle on $X$ with $\mathrm{deg}\,L>0$. Let $\mathbf{M}$ be the moduli space of semistable rank 2 $L$-twisted Higgs bundles with trivial determinant on $X$. Let $\mathbf{M}_{X}$ be the moduli space of stable rank 2 $L$-twisted Higgs bundles with determinant $\mathcal{O}(-x)$ for some $x\in X$ on $X$. We construct a cycle in the product of a stack of rational maps from nonsingular curves to $\mathbf{M}_{X}$ and $\mathrm{Pic}^{2\mathrm{deg}\,L}(X)$ by using Hecke modifications of a stable $L$-twisted Higgs bundle in …
Classification of monads and a new moduli component of stable rank 2 bundles on $\mathbb{P}^3$ with even determinant and $c_2=9$
本文分类 $\mathbb{P}^3$ 上 $c_1=0$、$c_2=9$ 的稳定秩 2 丛所对应的最小 monad，并发现模空间 $\mathcal{B}(9)$ 中区别于已知分量的新分量。
We study the Chow group of 1-cycles of the moduli space of semistable parabolic vector bundles of fixed rank, determinant and a generic weight over a nonsingular projective curve over $\mathbb{C}$ of genus at least 3. We show that, the Chow group of 1-cycles remains isomorphic as we vary the generic weight. As a consequence, we can give an explicit description of the Chow group in the case of rank 2 and determinant $\mathcal{O}(x)$, where $x\in X$ is a fixed point.
We present a new family of monads whose cohomology is a stable rank two vector bundle on $\mathbb{P}^3$. We also study the irreducibility and smoothness together with a geometrical description of some of these families. These facts are used to construct a new infinite series of rational moduli components of stable rank two vector bundles with trivial determinant and growing second Chern class. We also prove that the moduli space of stable rank two vector bundles with trivial determinant and second Chern class equal to 5 has exactly three irreducible rational components.
Let $X \subset \mathbb P^3$ be a very general sextic surface over complex numbers. In this paper we study certain Brill-Noether problems for moduli of rank $2$ stable bundles on $X$ and its relation with rank $2$ weakly Ulrich and Ulrich bundles. In particular, we show the non-emptiness of certain Brill-Noether loci and using the geometry of the moduli and the notion of the Petri map on higher dimensional varieties, we prove the existence of components of expected dimension. We also give sufficient conditions for the existence of rank $2$ weakly Ulrich bundles $\mathcal E$ on $X$ with $c_1(\ma…
In this paper we construct the analogue of Dedekind eta function for odd dimensional CY manifolds. We use the theory of determinant line bundles. We constructed a canonical holomorphic section $η^{N}$ of some power of the determinant line bundle on the moduli space of odd dimensional CY manifolds. According to Viehweg the moduli space of moduli space of polarized odd dimensional CY manifolds $\mathcal{M}(M)$ is quasi projective. According to a Theorem due to Hironaka we can find a projective smooth variety $\bar {\mathcal{M}(M)}$ such that $\bar{\mathcal{M}(M)}\backslash$ $\mathcal{M}(M)=\math…
In this article we extend the proof given by Biswas and Gomez of a Torelli theorem for the moduli space of Higgs bundles with fixed determinant, to the parabolic situation.
This paper shows that on the moduli space of semi-stable vector bundles of fixed rank and determinant (of any degree) on a smooth curve of genus at least two, the base locus of the generalized theta divisor is large provided the rank is sufficiently large. It also shows that the base locus is large for positive multiples of the theta divisor. This work extends results already known for the case where the determinant is of degree zero.
To a symmetric, relatively ample line bundle on an abelian scheme one can associate a linear combination of the determinant bundle and the relative canonical bundle, which is a torsion element in the Picard group of the base. We improve the bound on the order of this element found by Faltings and Chai. In particular, we obtain an optimal bound when the degree of the line bundle d is odd and the set of residue characteristics of the base does not intersect the set of primes p dividing d, such that $p\equiv -1\mod(4)$ and p<2g, where g is the relative dimension of the abelian scheme. Also, we sh…
This is the author's 2008 thesis from the University of Chicago. We generalize the notion of the Clifford index to an arbitrary very ample line bundle and show how it determines when a curve and its various secant varieties have determinantal equations. In particular we establish the scheme theoretic version of a conjecture of Eisenbud-Koh-Stillman. If $L_1$ and $L_2$ are line bundles of degree at least $2g+1+k$, then ${\rm Sec}^j(C)$ is determinantally presented for $j \leq k$ and for $j \leq k+1$ if $L_1 \neq L_2$. We also give a geometric characterization of the standard Clifford index in t…
The moduli space M(r,d) of stable, rank r, degree d vector bundles on a smooth projective curve of genus g>1 is shown to be birational to M(h,0) x A, where h=hcf(r,d) and A is affine space of dimension (r^2-h^2)(g-1). The birational isomorphism is compatible with fixing determinants in M(r,d) and M(h,0) and we obtain as a corollary that the moduli space of bundles of rank r and fixed determinant of degree d is rational, when r and d are coprime. A key ingredient in the proof is the use of a naturally defined Brauer class for the function field of M(r,d).
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。