Francisco Calderón-Moreno
We prove a structure theorem for the differential operator in the 0-term of the ${\cal V}$-filtration with respect to a free divisor. Using this theorem, we give a formula for the logarithmic de Rham complex in terms of ${\cal V}_0$-modules. We also give a sufficient condition for perversity of the logarithmic de Rham complex.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We provide a new formalism of de Rham--Witt complexes in the logarithmic setting. This construction generalizes a result of Bhatt--Lurie--Mathew, and agrees with those of Hyodo--Kato and Matsuue for log-smooth schemes of log-Cartier type. We then apply our formalism to obtain a more direct proof of the log crystalline comparison of A_inf-cohomology in the case of semistable reduction, which is established by Cesnavicius--Koshiwara.
We generalize Illusie's result to prove the decomposition of the de Rham complex with smooth horizontal coefficients for a semistable $S$-morphism $f:X\ra Y$ which is liftable over $\Z/p^2\Z$. As an application, we prove the Kollár vanishing theorem in positive characteristic for a semistable $S$-morphism $f:X\ra Y$ which is liftable over $\Z/p^2\Z$, where all concerned horizontal divisors are smooth over $Y$.
Let $k$ be a perfect field of characteristic $p > 0$, $W_n = W_n(k)$. For separated $k$-schemes of finite type, we explain how rigid cohomology with compact supports can be computed as the cohomology of certain de Rham-Witt complexes with coefficients. This result generalizes the classical comparison theorem of Bloch-Illusie for proper and smooth schemes. In the proof, the key step is an extension of the Bloch-Illusie theorem to the case of cohomologies relative to $W_n$ with coefficients in a crystal that is only supposed to be flat over $W_n$.
On Logarithmic Poisson and De Rham Cohomology Groups of a Class of Inhomogeneous Divisors
本文研究仿射平面中一类非齐次自由除子的对数泊松与德拉姆上同调，利用显式基构造复形并计算上同调，证明除次数1外两者自然同构，次数1时为分裂一维扩张。
We establish a positive characteristic analogue of intersection cohomology theory for variations of Hodge structure. It includes: a) the de Rham-Higgs comparison theorem for the intersection de Rham complex; b) the $E_1$-degeneration theorem for the intersection de Rham complex of a periodic de Rham bundle; c) the Kodaira-Saito vanishing theorem for the intersection cohomology groups of a periodic Higgs bundle. These results generalize the decomposition theorem of Deligne-Illusie and the de Rham-Higgs theorem of Ogus-Vologodsky, the $E_1$-degneration theorem of Deligne-Illusie, Illusie, Faltin…
A p-adic Cartier isomorphism between the A_inf-cohomology and de Rham-Witt complexes for semistable formal schemes
本文证明了半稳定形式概型上 A_inf-上同调与 de Rham-Witt 复形之间的 p-adic Cartier 同构，从而将 Bhatt-Morrow-Scholze 在光滑情形下的结果进行了推广。
Over a field of characteristic zero, we construct a De Rham motivic complex and generalize the De Rham cohomology of a smooth variety to any Voevodsky motive.
Saturated de Rham-Witt complexes with unit-root coefficients
本文通过泛性质将 Bhatt-Lurie-Mathew 的饱和 de Rham-Witt 复形推广到单位根 F-晶体系数情形，并证明其存在性、拟凝聚性及与经典对象和晶体上同调的比较结果。
Let X be a complex analytic manifold and D \subset X a free divisor. Integrable logarithmic connections along D can be seen as locally free {\cal O}_X-modules endowed with a (left) module structure over the ring of logarithmic differential operators {\cal D}_X(\log D). In this paper we study two related results: the relationship between the duals of any integrable logarithmic connection over the base rings {\cal D}_X and {\cal D}_X(\log D), and a differential criterion for the logarithmic comparison theorem. We also generalize a formula of Esnault-Viehweg in the normal crossing case for the Ve…
We investigate the hypercohomologies of truncated twisted holomorphic de Rham complexes on (not necessarily compact) complex manifolds. In particular, we generalize Leray-Hirsch, Künneth and Poincaré-Serre duality theorems on them. At last, a blowup formula is given, which affirmatively answers a question posed by Chen, Y. and Yang, S. in \cite{CY}.
$q$-de Rham complexes of higher level
本文构造了两类 de Rham 式复形以计算高层 $q$-晶体位上完备晶体的上同调，分别作为 Miyatani 高阶 de Rham 复形与 Le Stum-Quirós jet 复形的 $q$-模拟，亦可视为 $q$-de Rham 复形的高层模拟。
The Global Sections of Chiral de Rham Complexes on Closed Complex Curves
计算了亏格 $g \ge 2$ 的闭复曲线上手性 de Rham 复形的整体截面空间。
The Cartier isomorphism allows a nice description of the Bockstein spectral sequence of the de Rham complex over the integers. It is used to compute the integral de Rham cohomology of affine spaces. ----- On decrit la suite spectrale de Bockstein issue du complexe de de Rham sur les entiers. L'isomorphisme de Cartier intervient comme un endomorphisme du complexe de de Rham modulo p qui identifie les pages successives de la suite spectrale de Bockstein. On en deduit la cohomologie de de Rham entiere des espaces affines.
The global sections of chiral de Rham complexes on compact Ricci-flat Kähler manifolds II
本文完整描述了任意紧致Ricci-flat Kähler流形上手征de Rham复形整体截面的顶点代数结构。
We prove the Künneth formula for the irregular Hodge filtrations on the exponentially twisted de Rham and the Higgs cohomologies of smooth quasi-projective complex varieties. The method involves a careful comparison of the underlying chain complexes under a certain elimination of indeterminacy.
For a smooth projective scheme $X$ over a ring $R$ on which $p$ is nilpotent that meets some general assumptions we prove that the crystalline cohomology is equipped with the structure of a higher display which is a relative version of Fontaine's strongly divisible lattices. Frobenius-divisibilty is induced by the Nygaard filtration on the relative de Rham-Witt complex. For a nilpotent PD-thickening $S/R$ we also consider the associated relative display and can describe it explicitly by a relative version of the Nygaard filtration on the de Rham-Witt complex associated to a lifting of $X$ over…
This note is a companion to the author's "Higher de Rham epsilon factors". Using Grayson's binary complexes and the formalism of $n$-Tate spaces we develop a formalism of graded epsilon lines, associated to flat connections on a higher local field of characteristic $0$. The definition is based on comparing a Higgs complex with a de Rham complex on the same underlying vector bundle.
We show that, given a projective regular function f on a smooth quasi-projective variety over C, the corresponding cohomology groups of the algebraic de Rham complex with twisted differential d-df and of the complex of algebraic forms with differential df have the same dimension (a result announced by Barannikov and Kontsevitch). We generalize the result to de Rham complexes with coefficients in a mixed Hodge Module.
In this paper we survey the role of D-module theory in the comparison between logarithmic and meromorphic de Rham complexes of integrable logarithmic connections with respect to free divisors, and we present some new linearity conditions on the Jacobian ideal which arise in this setting.
Differential complexes and Hodge theory on log-symplectic manifolds
本文研究对数辛流形上的微分形式复形（含反向de Rham复形），将其与Poisson双矢量的退化除子及秩轨迹关联，并在Kähler情形下建立重数轨迹与Hodge数的关系，同时揭示Hodge数消失与无阻碍形变的联系。
Logarithmic de Rham Stacks and Non-Abelian Hodge Theory
本文提出了一种新的对数de Rham堆栈，并基于此推导出对数非阿贝尔Hodge定理，扩展了此前的理论成果。
Doran, Jensen and Giansiracusa showed a bijection between homogeneous elements in the Cox ring of $\overline{M}_{0,n}$ not divisible by any exceptional divisor section, and weighted pure-dimensional simplicial complexes satisfying a zero-tension condition. Motivated by the study of the monoid of effective divisors, the pseudoeffective cone and the Cox ring of $\overline{M}_{0,n}$, we point out a simplification of the zero-tension condition and study the space of balanced complexes. We give examples of irreducible elements in the monoid of effective divisors of $\overline{M}_{0,n}$ for large $n…
Period sheaves via derived de Rham cohomology
本文通过导出de Rham复形，为Scholze的de Rham周期层和Tan-Tong的晶体周期层提供了新的解释。
In this paper we study the comparison between the logarithmic and the meromorphic de Rham complexes along a divisor in a complex manifold. We focus on the case of free divisors, starting with the case of locally quasihomogeneous divisors, and we explain how D-module theory can be used for this comparison.
In this note, we prove the logarithmic $p$-adic comparison theorem for open rigid analytic varieties. We prove that a smooth rigid analytic variety with a strict simple normal crossing divisor is locally $K(π,1)$ (in a certain sense) with respect to $\mathbb{F}_p$-local systems and ramified coverings along the divisor. We follow Scholze's method to produce a pro-version of the Faltings site and use this site to prove a primitive comparison theorem in our setting. After introducing period sheaves in our setting, we prove aforesaid comparison theorem.
Duality of differential operators and algebraic de Rham cohomology
本文通过引入允许态射为微分算子的导出范畴，证明了 Serre 对偶性的推广，并为相对代数 de Rham 上同调的 Poincaré 对偶性提供了新证明。
A motivic construction of the de Rham-Witt complex
本文推广了互反层理论至 $\mathbb{Q}$-除子情形，并由此给出了 de Rham-Witt 复形的动机构造，类比于 Milnor $K$-理论的动机构造。
In [BM14b], the first author and Macrì constructed a family of nef divisors on any moduli space of Bridgeland-stable objects on a smooth projective variety X. In this article, we extend this construction to the setting of any separated scheme Y of finite type over a field, where we consider moduli spaces of Bridgeland-stable objects on Y with compact support. We also show that the nef divisor is compatible with the polarising ample line bundle coming from the GIT construction of the moduli space in the special case when Y admits a tilting bundle and the stability condition arises from a θ-stab…
Algebraic de Rham theorem and Baker-Akhiezer function
本文证明代数曲线上的代数 de Rham 定理，用非特殊有效除子构造辛基，并据此刻画 Picard/Jacobian 切空间、导出对应 Dubrovin 方程的向量场及 Baker-Akhiezer 函数。
We introduce tropical complexes, as an enrichment of the dual complex of a degeneration with additional data from non-transverse intersection numbers. We define cycles, divisors, and linear equivalence on tropical complexes, analogous both to the corresponding theories on algebraic varieties and to previous work on graphs and abstract tropical curves. In addition, we establish conditions for the divisor-curve intersection numbers on a tropical complex to agree with the generic fiber of a degeneration.
The goal of this paper is to offer a new construction of the de Rham-Witt complex of smooth varieties over perfect fields of characteristic $p>0$. We introduce a category of cochain complexes equipped with an endomorphism $F$ of underlying graded abelian groups satisfying $dF = pFd$, whose homological algebra we study in detail. To any such object satisfying an abstract analog of the Cartier isomorphism, an elementary homological process associates a generalization of the de Rham-Witt construction. Abstractly, the homological algebra can be viewed as a calculation of the fixed points of the Be…
We prove a version of Clifford's theorem for metrized complexes. Namely, a metrized complex that carries a divisor of degree $2r$ and rank $r$ (for $0<r<g-1$) also carries a divisor of degree $2$ and rank $1$. We provide a structure theorem for hyperelliptic metrized complexes, and use it to classify divisors of degree bounded by the genus. We discuss a tropical version of Martens' theorem for metric graphs.
Associated to any divisor in the Chow ring of a simplicial tropical fan, we construct a family of polytopal complexes, called normal complexes, which we propose as an analogue of the well-studied notion of normal polytopes from the setting of complete fans. We describe certain closed convex polyhedral cones of divisors for which the "volume" of each divisor in the cone - that is, the degree of its top power - is equal to the volume of the associated normal complexes. For the Bergman fan of any matroid with building set, we prove that there exists an open family of such cones of divisors with n…
We investigate deformations of free and linear free divisors. We introduce a complex similar to the de Rham complex whose cohomology calculates deformation spaces. This cohomology turns out to be zero for many linear free divisors and to be constructible in many cases
We show that the direct image of the filtered logarithmic de Rham complex is a direct sum of filtered logarithmic complexes with coefficients in variations of Hodge structures, using a generalization of the decomposition theorem of Beilinson, Bernstein and Deligne to the case of filtered $D$-modules. The advantage of using the logarithmic complexes is that we have the strictness of the Hodge filtration by Deligne after taking the cohomology group in the projective case. As a corollary, we get the total infinitesimal invariant of a (higher) cycle in a direct sum of the cohomology of filtered lo…
Let $X=\C^n$. In this paper we present an algorithm that computes the de Rham cohomology groups $H^i_{dR}(U,\C)$ where $U$ is the complement of an arbitrary Zariski-closed set $Y$ in $X$. Our algorithm is a merger of the algorithm given by T.~Oaku and N.~Takayama (\cite{O-T2}), who considered the case where $Y$ is a hypersurface, and our methods from \cite{W-1} for the computation of local cohomology. We further extend the algorithm to compute de Rham cohomology groups with support $H^i_{dR,Z}(U,\C)$ where again $U$ is an arbitrary Zariski-open subset of $X$ and $Z$ is an arbitrary Zariski-clo…
Let $X$ be a complex analytic manifold, $D\subset X$ a free divisor with jacobian ideal of linear type (e.g. a locally quasi-homogeneous free divisor), $j: U=X-D \to X$ the corresponding open inclusion, $E$ an integrable logarithmic connection with respect to $D$ and $L$ the local system of the horizontal sections of $E$ on $U$. In this paper we prove that the canonical morphisms between the logarithmic de Rham complex of $E(kD)$ and $R j_* L$ (resp. the logarithmic de Rham complex of $E(-kD)$ and $j_!L$) are isomorphisms in the derived category of sheaves of complex vector spaces for $k\gg 0$…
We introduce exponential complexes of sheaves on manifolds. They are resolutions of the (Tate twisted) constant sheaves of the rational numbers, generalising the short exact exponential sequence. There are canonical maps from the exponential complexes to the de Rham complex. Using this, we introduce new complexes calculating the rational Deligne cohomology. We call them exponential Deligne complexes. Their advantage is that, at least at the generic point of a complex variety, one can define Beilinson's regulator map to the rational Deligne cohomology on the level of complexes. Namely, we defin…
We use the Beilinson $t$-structure on filtered complexes and the Hochschild-Kostant-Rosenberg theorem to construct filtrations on the negative cyclic and periodic cyclic homologies of a scheme $X$ with graded pieces given by the Hodge-completion of the derived de Rham cohomology of $X$. Such filtrations have previously been constructed by Loday in characteristic zero and by Bhatt-Morrow-Scholze for $p$-complete negative cyclic and periodic cyclic homology in the quasisyntomic case.
Given a complex manifold S, we introduce for each complex manifold X a t-structure on the bounded derived category of C-constructible complexes of O_S-modules on X x S. We prove that the de Rham complex of a holonomic D_{XxS/S}-module which is O_S-flat as well as its dual object is perverse relatively to this t-structure. This result applies to mixed twistor D-modules.
This short note is extracted from Section 3 and Appendix of the paper entitled with Intersection de Rham complexes in positive characteristic by the same named authors, where an explicit infinite homotopy from a Higgs complex to the Frobenius pushforward of the corresponding de Rham complex in positive characteristic has been provided. The verification details, which are omitted therein, are provided here.
We study the dual complexes of boundary divisors in log resolutions of compactifications of algebraic varieties and show that the homotopy types of these complexes are independent of all choices. Inspired by recent developments in nonarchimedean geometry, we consider relations between these boundary complexes and weight filtrations on singular cohomology and cohomology with compact supports, and give applications to dual complexes of resolutions of isolated singularities that generalize results of Stepanov and Thuillier.
The method of intersection spaces associates cell-complexes depending on a perversity to certain types of stratified pseudomanifolds in such a way that Poincaré duality holds between the ordinary rational cohomology groups of the cell-complexes associated to complementary perversities. The cohomology of these intersection spaces defines a cohomology theory HI for singular spaces, which is not isomorphic to intersection cohomology IH. Mirror symmetry tends to interchange IH and HI. The theory IH can be tied to type IIA string theory, while HI can be tied to IIB theory. For pseudomanifolds with …
We study duality theorems for the relative logarithmic de Rham-Witt sheaves on semi-stable schemes $X$ over a local ring $\mathbb{F}_q[[t]]$, where $\mathbb{F}_q$ is a finite field. As an application, we obtain a new filtration on the maximal abelian quotient $π^{\text{ab}}_1(U)$ of the étale fundamental groups $π_1(U)$ of an open subscheme $U \subseteq X$, which gives a measure of ramification along a divisor $D$ with normal crossing and $\text{Supp}(D) \subseteq X-U$. This filtration coincides with the Brylinski-Kato-Matsuda filtration in the relative dimension zero case.
$q$-Hodge complexes over the Habiro ring
本文证明在 Habiro 环上存在 $q$-de Rham 复形的变体（$q$-Hodge 复形），当 $q$-de Rham 复形具有 $q$-Hodge 滤过时，该复形典范下降，推广了数域的 Habiro 环，并在光滑概形上给出存在条件。
We prove a weak factorization result on birational maps of Deligne-Mumford stacks, and deduce the following: Let $U \subset X$ be an open embedding of smooth Deligne-Mumford stacks such that $D = X-U$ is a normal crossings divisor, then the the simple homotopy type of the boundary complex $Δ(X,D)$ depends only on $U$.
In order to study $p$-adic étale cohomology of an open subvariety $U$ of a smooth proper variety $X$ over a perfect field of characteristic $p>0$, we introduce new $p$-primary torsion sheaves. It is a modification of the logarithmic de Rham-Witt sheaves of $X$ depending on effective divisors $D$ supported in $X-U$. Then we establish a perfect duality between cohomology groups of the logarithmic de Rham-Witt cohomology of $U$ and an inverse limit of those of the mentioned modified sheaves. Over a finite field, the duality can be used to study wild ramification class field theory for the open su…
A Hodge module construction of relative Du Bois complexes
本文通过混合 Hodge 模和 Grothendieck 对偶构造相对 Du Bois 复形，并建立有限滤过及纤维限制与符号 m-Du Bois 奇点的联系。
The universal Spencer and de Rham complexes of sheaves over a smooth or analytical manifold are well known to play a basic role in the theory of $\mathcal{D}$-modules. In this article we consider a double complex of sheaves generalizing both complexes for an arbitrary supermanifold, and we use it to unify the notions of differential and integral forms on real, complex and algebraic supermanifolds. The associated spectral sequences give the de Rham complex of differential forms and the complex of integral forms at page one. For real and complex supermanifolds both spectral sequences converge at…
In this paper we continue our work on Schwartz functions and generalized Schwartz functions on Nash (i.e. smooth semi-algebraic) manifolds. Our first goal is to prove analogs of de-Rham theorem for de-Rham complexes with coefficients in Schwartz functions and generalized Schwartz functions. Using that we compute cohomologies of the Lie algebra of an algebraic group G with coefficients in the space of generalized Schwartz sections of G-equivariant bundle over a G-transitive variety M. We do it under some assumptions on topological properties of G and M. This computation for the classical case i…
We show that the algebraic rank of divisors on certain graphs is related to the realizability problem of matroids. As a consequence, we produce a series of examples in which the algebraic rank depends on the ground field. We use the theory of metrized complexes to show that equality between the algebraic and combinatorial rank is not a sufficient condition for smoothability of divisors, thus giving a negative answer to a question posed by Caporaso, Melo, and the author.
Structure theorem for log de Rham-Witt sheaves with vanishing
本文证明了对数 de Rham-Witt 层沿有效 Cartier 除子消没的结构定理，回答了两位学者的问题，并为后续 Milnor K-理论研究奠定基础。
We give a formula for the Chern character on the DG-category of global matrix factorizations on a smooth scheme $X$ with superpotential $w\in Γ(\mathcal{O}_X)$. Our formula takes values in a Cech model for Hochschild homology. Our methods may also be adapted to get an explicit formula for the Chern character for perfect complexes of sheaves on $X$ taking values in right derived global sections of the De-Rham algebra. Along the way we prove that the DG version of the Chern character coincides with the classical one for perfect complexes.
Tropical geometry gives a bound on the ranks of divisors on curves in terms of the combinatorics of the dual graph of a degeneration. We show that for a family of examples, curves realizing this bound might only exist over certain characteristics or over certain fields of definition. Our examples also apply to the theory of metrized complexes and weighted graphs. These examples arise by relating the lifting problem to matroid realizability. We also give a proof of Mnëv universality with explicit bounds on the size of the matroid, which may be of independent interest.
Generalized $n$-series and de Rham complexes
本文研究了交换环上广义$n$-级数的代数与组合性质，证明了经典组合恒等式的$s$-类似物，并定义了导数的$s$-类似物以证明仿射直线上的Poincaré引理与Cartier同构。
Harmonic covers of skeleta
本文证明环状概形的有限覆盖诱导对偶复形间的调和态射，并利用平衡条件推导出任意维度骨架覆盖的黎曼-胡尔维茨公式。
Twisted logarithmic complexes of positively weighted homogeneous divisors
本文研究正加权齐次除子的扭曲对数复形的拟同构条件，证明LCT与Bernstein-Sato多项式根及一阶算子生成零化子等价，并给出超平面排列情形的简单证明。
Kato's Ramification filtration via de Rham-Witt complex and applications
通过de Rham-Witt复形的分层，研究Kato分层的描述及其在对偶定理和Lefschetz定理中的应用。
Let $X$ be a smooth compact complex surface subject to the following conditions: (i) the canonical line bundle $\mathcal{O}_X(K_X) $ is very ample, (ii) the irregularity $q(X): = h^1(\mathcal{O}_X) =0$, (iii) $X$ contains no rational normal curves of degree $\leq (p_g-1)$, (iv) the multiplication map $m_2: Sym^2(H^0(\mathcal{O}_X(K_X))) \longrightarrow H^0 (\mathcal{O}_X (2K_X))$ is surjective. It is shown that the Infinitesimal Torelli holds for such $X$. Our proof is based on the study of the cup-product $$ H^1 (Θ_X) \longrightarrow (\mathcal{O}_X(K_X))^{\ast} \otimes H^1 (Ω_X) $$ where $Θ_X…
$q$-Witt vectors and $q$-Hodge complexes
本文提出Witt向量和de Rham-Witt复形的$q$-变体，阐明其与Habiro环、$q$-Hodge上同调及$\text{THH}(-/\text{ku})$的关联，为后续相关研究提供技术基础。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。