English
Related papers

Related papers: Injectivity failure in crystalline comparisons

200 papers

We introduce the "sharp" (universal) extension of a 1-motive (with additive factors and torsion) over a field of characteristic zero. We define the "sharp de Rham realization" by passing to the Lie-algebra. Over the complex numbers we then…

Algebraic Geometry · Mathematics 2009-09-07 L. Barbieri-Viale , A. Bertapelle

Let $(A, I)$ be a bounded prism, and $X$ be a smooth $p$-adic formal scheme over $\Spf(A/I)$. We consider the notion of crystals on Bhatt--Scholze's prismatic site $(X/A)_{\prism}$ of $X$ relative to $A$. We prove that if $X$ is proper over…

Algebraic Geometry · Mathematics 2023-04-18 Yichao Tian

We introduce a cohomological obstruction to solving the constant scalar curvature K\"ahler (cscK) equation twisted by a semipositive form, appearing in works of Fine and Song-Tian. Geometrically this gives an obstruction for a manifold to…

Differential Geometry · Mathematics 2008-04-03 Jacopo Stoppa

Let $X$ denote the complex projective plane, blown up at the nine base points of a pencil of cubics, and let $D$ be any fiber of the resulting elliptic fibration on $X$. Using ansatz metrics inspired by work of Gross-Wilson and a PDE method…

Differential Geometry · Mathematics 2015-03-13 Hans-Joachim Hein

In the study of homology cobordisms, knot concordance and link concordance, the following technical problem arises frequently: let $\pi$ be a group and let $M \to N$ be a homomorphism between projective $\Z[\pi]$-modules such that $\Z_p…

Geometric Topology · Mathematics 2010-12-02 Stefan Friedl , Mark Powell

We study a cohomology theory for rigid-analytic varieties over $\mathbb{C}_p$, without properness or smoothness assumptions, taking values in filtered quasi-coherent complexes over the Fargues-Fontaine curve, which compares to other…

Algebraic Geometry · Mathematics 2023-06-12 Guido Bosco

We review some basic theorems on integrability of Hamiltonian systems, namely the Liouville-Arnold theorem on complete integrability, the Nekhoroshev theorem on partial integrability and the Mishchenko-Fomenko theorem on noncommutative…

Mathematical Physics · Physics 2015-05-13 Emanuele Fiorani

For a smooth proper scheme or formal scheme over an unramified, complete DVR of mixed characteristics we prove a comparison isomorphism relating etale cohomology of the generic fiber with values in a crystalline etale sheaf to the…

Algebraic Geometry · Mathematics 2012-12-18 Fabrizio Andreatta , Adrian Iovita

We introduce the notion of cyclic cohomology of an A-infinity algebra and show that the deformations of an A-infinity algebra which preserve an invariant inner product are classified by this cohomology. We use this result to construct some…

High Energy Physics - Theory · Physics 2008-02-03 Michael Penkava , Albert Schwarz

We construct a theory of motivic cohomology for quasi-compact, quasi-separated schemes of equal characteristic, which is related to non-connective algebraic $K$-theory via an Atiyah--Hirzebruch spectral sequence, and to \'etale cohomology…

K-Theory and Homology · Mathematics 2026-03-30 Elden Elmanto , Matthew Morrow

We derive some integral inequalities for holomorphic maps between complex manifolds. As applications, some rigidity and degeneracy theorems for holomorphic maps without assuming any pointwise curvature signs for both the domain and target…

Differential Geometry · Mathematics 2020-12-07 Yashan Zhang

For a natural class of cohomology theories with support (including \'etale or pro-\'etale cohomology with suitable coefficients), we prove a moving lemma for cohomology classes with support on smooth quasi-projective k-varieties that admit…

Algebraic Geometry · Mathematics 2026-05-27 Stefan Schreieder

This thesis is comprised of three chapters. The first chapter deals with bounded complexes of Gorenstein projective and Gorenstein injective modules. Deploying methods of relative homological algebra, we approximate such complexes with…

Commutative Algebra · Mathematics 2020-10-08 Hossein Faridian

Current continuous generative models (e.g., Diffusion Models, Flow Matching) implicitly assume that locally consistent causal mechanisms naturally yield globally coherent counterfactuals. In this paper, we prove that this assumption fails…

Machine Learning · Computer Science 2026-03-19 Rui Wu , Hong Xie , Yongjun Li

Grothendieck has proved that each class in the de Rham cohomology of a smooth complex affine variety can be represented by a differential form with polynomial coefficients. After having proved a single exponential bound for the degrees of…

Algebraic Geometry · Mathematics 2018-11-08 Peter Scheiblechner

We construct the analytic lattice cohomology associated with the analytic type of any complex normal surface singularity. It is the categorification of the geometric genus of the germ, whenever the link is a rational homology sphere. It is…

Algebraic Geometry · Mathematics 2021-08-30 Tamás Ágoston , András Némethi

Arakelov-Parshin rigidity is concerned with varieties mapping rigidly to the moduli stack M_h of canonically polarized manifolds. Affirmative answer for any class of maps implies finiteness of the given class. This article studies…

Algebraic Geometry · Mathematics 2015-04-28 Zsolt Patakfalvi

In this paper we are concerned with absolute, relative and Tate Tor modules. In the first part of the paper we generalize a result of Avramov and Martsinkovsky by using the Auslander-Buchweitz approximation theory, and obtain a new exact…

Commutative Algebra · Mathematics 2022-01-24 Olgur Celikbas , Li Liang , Arash Sadeghi , Tirdad Sharif

We determine the effective behavior of a class of composites in finite-strain crystal plasticity, based on a variational model for materials made of fine parallel layers of two types. While one component is completely rigid in the sense…

Analysis of PDEs · Mathematics 2016-04-13 Fabian Christowiak , Carolin Kreisbeck

Let $\varphi:F_1\to F_2$ be an injective morphism of free groups. If $\varphi$ is geometric (i.e. induced by an inclusion of oriented compact connected surfaces with nonempty boundary), then we show that $\varphi$ is an isometric embedding…

Geometric Topology · Mathematics 2025-01-28 Alexis Marchand