J. Denef, F. Loeser
We associate canonical virtual motives to definable sets over a field of characteristic zero. We use this construction to show that very general p-adic integrals are canonically interpolated by motivic ones.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
For a number field, we have a Tannaka category of mixed Tate motives at our disposal. We construct p-adic points of the associated Tannaka group by using p-adic Hodge theory. Extensions of two Tate objects yield functions on the Tannaka group, and we show that evaluation at our p-adic points is essentially given by the inverse of the Bloch-Kato exponential map.
Motivic p-adic periods of 1-motives
本文为1-动机显式构造了p-adic de Rham比较同构，并利用刚性解析动机构造了新的动机p-adic周期环，通过实例计算了周期配对。
We introduce the categories of geometric mixed Hodge modules on algebraic varieties over a subfield $k\subset\mathbb C$, and for a prime number $p$, the categories of geometric $p$-adic mixed Hodge modules on algebraic varieties over a subfield $k\subset K\subset\mathbb C_p$ of a p-adic field $K$. We then give an Hodge realization functor on the de derived category of relative motives over $k\subset\mathbb C$, and for a prime number $p$ a $p$-adic Hodge realization functor on the derived category of relative motives over $k\subset K\subset\mathbb C_p$.
In this article we introduce the notion of a quasi-compatible system of Galois representations. The quasi-compatibility condition is a slight relaxation of the classical compatibility condition in the sense of Serre. The main theorem that we prove is the following: Let $M$ be an abelian motive, in the sense of Yves André. Then the $\ell$-adic realisations of $M$ form a quasi-compatible system of Galois representations. (In fact, we actually prove something stronger. See theorem 5.1.) As an application, we deduce that the absolute rank of the $\ell$-adic monodromy groups of $M$ does not depend …
Making use of Freyd's free abelian category on a preadditive category we show that if $T:D\rightarrow \mathcal{A}$ is a representation of a quiver $D$ in an abelian category $\mathcal{A}$ then there is an abelian category $\mathcal{A} (T)$, a faithful exact functor $F_T: \mathcal{A} (T) \to \mathcal{A}$ and an induced representation $\tilde T: D \to \mathcal{A} (T)$ such that $F_T\tilde T= T$ universally. We then can show that $\mathbb{T}$-motives as well as Nori's motives are given by a certain category of functors on definable categories.
Categorical Künneth formulas for cohomological motives
本文研究范畴化 Künneth 公式，给出抽象六函子形式体系的判定准则，并证明 adic 层与上同调动机的相应公式以支持 étale 动机范畴猜想。
We discuss the deep relationship between $\infty$-categorical functional analysis and the anticipated theory of $p$-adic motives. The motivation fundamentally comes from applications essentially in arithmetics from very broad perspectives. The $\infty$-categorical homotopical aspects we considered here come mainly from Bambozzi-Ben-Bassat-Kremnizer, Ben-Bassat-Mukherjee, Bambozzi-Kremnizer, Clausen-Scholze and Kelly-Kremnizer-Mukherjee, based on deep robust foundation of $\infty$-categorical solids and $\infty$-categorical ind-Banach or bornological modules over general Banach rings.
A direct application of Zorn's Lemma gives that every Lipschitz map $f:X\subset \mathbb{Q}_p^n\to \mathbb{Q}_p^\ell$ has an extension to a Lipschitz map $\widetilde f: \mathbb{Q}_p^n\to \mathbb{Q}_p^\ell$. This is analogous, but more easy, to Kirszbraun's Theorem about the existence of Lipschitz extensions of Lipschitz maps $S\subset \mathbb{R}^n\to \mathbb{R}^\ell$. Recently, Fischer and Aschenbrenner obtained a definable version of Kirszbraun's Theorem. In the present paper, we prove in the $p$-adic context that $\widetilde f$ can be taken definable when $f$ is definable, where definable mea…
On André periods of mixed Tate motives
本文展示混合塔克动机中安德烈周期退化为经典概念，并通过连接安德烈周期与科利安积分，具体实现p进多项式对数的特殊值为安德烈周期。
We show that the l-adic realization functor is conservative when restricted to the Chow motives of abelian type over a finite field. A weak version of this conservativity result extends to mixed motives of abelian type.
P-adic Period Conjectures for 1-motives: Integration and Linear Relations
本文为1-动机建立p进周期理论，构造p进积分配对与分层周期空间，提出并证明深度1和2的周期猜想，并发展p进解析子群定理，为研究p进周期线性关系及超越性开辟新途径。
Denef and Loeser defined a map from the Grothendieck ring of sets definable in pseudo-finite fields to the Grothendieck ring of Chow motives, thus enabling to apply any cohomological invariant to these sets. We generalize this to perfect, pseudo algebraically closed fields with pro-cyclic Galois group. In addition, we define some maps between different Grothendieck rings of definable sets which provide additional information, not contained in the associated motive. In particular we infer that the map of Denef-Loeser is not injective.
Linear relations of p-adic periods of 1-motives (thesis)
本文为具有良好约化的1-motives建立积分理论并提出p-adic周期猜想，证明了深度1和2的猜想，其方法涉及子群定理的p-adic版本。
We show that the l-adic realizations of certain Picard 1-motives associated to a G-Galois cover of smooth, projective curves defined over an algebraically closed field are G-cohomologically trivial, for all primes l. In the process, we generalize a well-known theorem of Nakajima on the Galois module structure of certain spaces of Kahler differentials associated to the top curve of the cover, assuming that the field of definition is of characteristic p. If the cover and the Picard 1-motive are defined over a finite field and if G is abelian, we compute the first Fitting ideal of each l-adic rea…
Duality for the condensed Weil-étale realisation of $1$-motives over $p$-adic fields
本文以凝聚 Weil 群上同调替代 Galois 上同调，引入 $1$-motives 的凝聚 Weil-étale 实现，从而将 Tate 对偶推广到 $p$-进数域上的 $1$-motives。
We study the geometry of germs of definable (semialgebraic or subanalytic) sets over a $p$-adic field from the metric, differential and measure geometric point of view. We prove that the local density of such sets at each of their points does exist. We then introduce the notion of distinguished tangent cone with respect to some open subgroup with finite index in the multiplicative group of our field and show, as it is the case in the real setting, that, up to some multiplicities, the local density may be computed on this distinguished tangent cone.We also prove that these distinguished tangent…
To a definable subset of Z_p^n (or to a scheme of finite type over Z_p) one can associate a tree in a natural way. It is known that the corresponding Poincare series P(X) = \sum_i N_i X^i is rational, where N_i is the number of nodes of the tree at depth i. This suggests that the trees themselves are far from arbitrary. We state a conjectural, purely combinatorial description of the class of possible trees and provide some evidence for it. We verify that any tree in our class indeed arises from a definable set, and we prove that the tree of a definable set (or of a scheme) lies in our class in…
We use the $p$-divisible group attached to a 1-motive to generalize the conjugate $p$-adic uniformization of Iovita--Morrow--Zaharescu to arbitrary $p$-adic formal semi-abelian schemes or $p$-divisible groups over the ring of integers in a $p$-adic field. This mirrors a mixed Hodge theory construction of the inverse uniformization map for complex semi-abelian varieties. We also highlight the geometric structure of the target of the conjugate uniformization map, which is an étale cover of a negative Banach--Colmez space in the sense of Fargues--Scholze.
The purpose of this work is to generalize, in the context of 1-motives, the $p$-adic height pairings constructed by B. Mazur and J. Tate on abelian varieties. Following their approach, we define a global pairing between the rational points of a 1-motive and its dual. We also provide local pairings between zero-cycles and divisors on a curve, which is done by considering its Picard and Albanese 1-motives.
In this dissertation, we discuss mainly the corresponding geometric and representation theoretic aspects of relative $p$-adic Hodge theory and $p$-adic motives. To be more precise, we study the corresponding analytic geometry of the corresponding spaces over and attached to period rings in the relative $p$-adic Hodge theory, including derived topological de Rham complexes and derived topological logarithmic de Rham complexes after Bhatt, Gabber, Guo and Illusie which is in some sense equivalent to the derived prismatic cohomology of Bhatt-Scholze as shown in the work of Li-Liu, $\mathcal{O}\ma…
This paper is concerned with an interpretation of f-cohomology, a modification of motivic cohomology of motives over number fields, in terms of motives over number rings. Under standard assumptions on mixed motives over finite fields, number fields and number rings, we show that the two extant definitions of f-cohomology of mixed motives $M_η$ over F--one via ramification conditions on $\ell$-adic realizations, another one via the K-theory of proper regular models--both agree with motivic cohomology of $η_{!*} M_η[1]$. Here $η_{!*}$ is constructed by a limiting process in terms of intermediate…
Integral Artin motives I: Smooth objects and the ordinary t-structure
本文建立光滑 Artin 动机与 étale 局部系统及 Artin 表示的联系，构造积分系数 Artin 动机的通常 t-结构，并证明 ℓ-adic 实现函子的 t-正合性。
In the present article we investigate properties of the category of the integral Grothendieck-Chow motives over a field. We discuss the Krull-Schmidt principle for integral motives, provide a complete list of the generalized Severi-Brauer varieties with indecomposable integral motive, and exploit a relation between the category of motives of twisted flag varieties and integral $p$-adic representations of finite groups.
Assuming specific instances of two general conjectures in arithmetic algebraic geometry (bijectivity of $p$-adic regulator maps, injectivity of $p$-adic Abel-Jacobi maps), we prove several cases of the $p$-part of the Tamagawa number conjecture ($p$-TNC) of Bloch-Kato and Fontaine-Perrin-Riou for (homological) motives of modular forms of even weight $\geq4$ in analytic rank $1$. More precisely, we prove our results for a large class of newforms $f$ and prime numbers $p$ that are ordinary for $f$ and such that the weight of $f$ is congruent to $2$ modulo $2(p-1)$. Inspired by work of W. Zhang i…
We define a theory of etale motives over a noetherian scheme. This provides a system of categories of complexes of motivic sheaves with integral coefficients which is closed under the six operations of Grothendieck. The rational part of these categories coincides with the triangulated categories of Beilinson motives (and is thus strongly related to algebraic $K$-theory). We extend the rigity theorem of Suslin and Voevodsky over a general base scheme. This can be reformulated by saying that torsion etale motives essentially coincide with the usual complexes of torsion etale sheaves (at least if…
Let A, A' be two central simple algebras over a field F and \mathbb{F} be a finite field of characteristic p. We prove that the upper indecomposable direct summands of the motives of two anisotropic varieties of flags of right ideals X(d_1,...,d_k;A) and X(d'_1,...,d'_s;A') with coefficients in \mathbb{F} are isomorphic if and only if the p-adic valuations of gcd(d_1,...,d_k) and gcd(d'_1,..,d'_s) are equal and the classes of the p-primary components A_p and A'_p of A and A' generate the same group in the Brauer group of F. This result leads to a surprising dichotomy between upper motives of a…
$p$-adic hyperbolicity for moduli spaces of abelian motives
本研究证明阿贝尔型Shimura簇在离散赋值域上满足$p$进Borel延拓性质，推导了其在多领域的应用，并证明了Rapoport-Zink空间的延拓结果。
Motivic p-adic tame cohomology
本文构造了正特征域上tame motives与log-étale motives间的比较函子，推广了已有拓扑比较，并构建了表示模$p^m$ tame motivic cohomology的$E_\infty$-环谱，证明了相关猜想。
This is my habilitation thesis. As the tradition wants, I tried to give an introduction of my field of research. I post it on the ArXiv with the hope it can be useful to young researchers looking for a short and friendly text on cohomologies of algebraic varieties, periods, algebraic cycles and motives. I might one day find the energy to expand these notes and maybe translate them in English. In the meantime, please feel free to ask questions. The first sections of this text propose an introduction to the theory, I tried to present points of view and examples which are not always stressed in t…
A motivic integral $p$-adic cohomology
本文构造了一个积分$p$-adic上同调，与刚性上同调相容，并在奇点消解条件下证明其与Ertl-Shiho-Sprang的“好”上同调一致，从而得到motivic性质和Künneth公式。
Let $K$ be a field. The étale open topology on the $K$-points $V(K)$ of a $K$-variety $V$ was introduced in our previous work. The étale open topology is non-discrete if and only if $K$ is large. If $K$ is separably, real, $p$-adically closed then the étale open topology agrees with the Zariski, order, valuation topology, respectively. We show that existentially definable sets in perfect large fields behave well with respect to this topology: such sets are finite unions of étale open subsets of Zariski closed sets. This implies that existentially definable sets in arbitrary perfect large field…
We construct motivic $\ell$-adic representations of $\GQ$ into exceptional groups of type $E_7,E_8$ and $G_2$ whose image is Zariski dense. This answers a question of Serre. The construction is uniform for these groups and uses the Langlands correspondence for function fields. As an application, we solve new cases of the inverse Galois problem: the finite simple groups $E_{8}(\FF_{\ell})$ are Galois groups over $\QQ$ for large enough primes $\ell$.
Finiteness of Heights in Isogeny Classes of Motives with Semistable Reduction
本文利用积分 $p$-adic Hodge 理论推广了阿贝尔簇的 Faltings 高度，并在假设 adelic Mumford-Tate 猜想下，证明了 motive 同构类中高度的有限性，扩展了 Kisin 和 Mocz 的相关结果。
Rigid analytic 1-motives and conjugate uniformization of abeloid varieties
本文针对p进域上的阿贝尔簇，研究刚性解析1-动机理论及阿贝尔簇的共轭单值化，建立了形式与刚性解析1-动机的等价性等结果，还构造了相关p可除群。
A theorem of Grothendieck tells us that if the Galois action on the Tate module of an abelian variety factors through a smaller field, then the abelian variety, up to isogeny and finite extension of the base, is itself defined over the smaller field. Inspired by this, we give a Galois descent datum for a motive $H$ over a field by asking that the Galois action on an $\ell$-adic realisation factor through a smaller field. We conjecture that this descent datum is effective, that is if a motive $H$ satisfies the above criterion, then it must itself descend to the smaller field. We prove this conj…
This article gives an introduction to arithmetic motivic integration in the context of p-adic integrals that arise in representation theory. A special case of the fundamental lemma is interpreted as an identity of Chow motives.
On the Integral Part of A-Motivic Cohomology
本文研究了正特征全局域上的A-动机上同调的整数部分，提出模型版本和l-adic版本的定义，并证明模型版本包含l-adic版本，同时探讨了regulated extensions的子模块。
Admissible pairs and $p$-adic Hodge structures I: Transcendence of the de Rham lattice
本文定义了p进Hodge结构的Tannakian范畴，并展示了其与可接受对之间的等价关系，通过研究p进周期的超越性来推广一维形式群的结果。
We prove an analogue of the Yomdin-Gromov Lemma for $p$-adic definable sets and more broadly in a non-archimedean, definable context. This analogue keeps track of piecewise approximation by Taylor polynomials, a nontrivial aspect in the totally disconnected case. We apply this result to bound the number of rational points of bounded height on the transcendental part of $p$-adic subanalytic sets, and to bound the dimension of the set of complex polynomials of bounded degree lying on an algebraic variety defined over $\mathbb{C} ((t))$, in analogy to results by Pila and Wilkie, resp. by Bombieri…
With representation-theoretic applications in mind, we construct a formalism of reduced motives with integral coefficients. These are motivic sheaves from which the higher motivic cohomology of the base scheme has been removed. We show that reduced stratified Tate motives satisfy favorable properties including weight and t-structures. We also prove that reduced motives on cellular (ind-)schemes unify various approaches to mixed sheaves in representation theory, such as Soergel-Wendt's semisimplified Hodge motives, Achar-Riche's complexes of parity sheaves, as well as Ho-Li's recent category of…
This is the second installment in a sequence of articles devoted to "explicit Chabauty-Kim theory" for the thrice punctured line. Its ultimate goal is to construct an algorithmic solution to the unit equation whose halting will be conditional on Goncharov's conjecture about exhaustion of mixed Tate motives by motivic iterated integrals (refined somewhat with respect to ramification), and on Kim's conjecture about the determination of integral points via $p$-adic iterated integrals. In this installment we explain what this means while developing basic tools for the construction of the algorithm…
We will discuss $\infty$-categorical perverse $p$-adic differential equations over stacks. On one hand, we are going to study some $p$-adic analogous results of the Drinfeld's original lemma about the étale fundamental groups in the étale setting, in the context of $F$-isocrystals closely after Kedlaya and Kedlaya-Xu. We expect similar things could also be considered for diamonds after Scholze, in the context of Kedlaya-Liu's work namely the derived category of pseudocoherent Frobenius sheaves, which will induce some categorical form of Drinfeld's lemma for diamonds motivated by work of Carter…
Let f be a modular form of weight k>=2 and level N, let K be a quadratic imaginary field, and assume that there is a prime p exactly dividing N. Under certain arithmetic conditions on the level and the field K, one can attach to this data a p-adic L-function L_p(f,K,s), as done by Bertolini-Darmon-Iovita-Spiess. In the case of p being inert in K, this analytic function of a p-adic variable s vanishes in the critical range s=1,...,k-1, and therefore one is interested in the values of its derivative in this range. We construct, for k>=4, a Chow motive endowed with a distinguished collection of a…
Crystalline Realizations of 1-Motives: Integral Structure and Classification via Linear Frobenius
本文在1-动机范围内证明了p进版本的塔猜想，通过Deligne 1-动机的全忠实性定理，将Barsotti-Tate晶体函子与滤过Dieudonné模的Hom群联系起来，从而得出Frobenius兼容的晶体类本质上是动机的，进而给出动机映射的线性代数描述。
We develop geometry of affine algebraic varieties in $K^{n}$ over Henselian rank one valued fields $K$ of equicharacteristic zero. Several results are provided including: the projection $K^{n} \times \mathbb{P}^{m}(K) \to K^{n}$ and blow-ups of the $K$-rational points of smooth $K$-varieties are definably closed maps, a descent property for blow-ups, curve selection for definable sets, a general version of the Łojasiewicz inequality for continuous definable functions on subsets locally closed in the $K$-topology and extending continuous hereditarily rational functions, established for the real…
Let us consider a $p$-adic Lie extension of a number field $K$ which fits into the setting of non-commutative Iwasawa theory formulated by Coates-Fukaya-Kato-Sujatha-Venjakob. For the first main result, we will prove the control theorem of Selmer group associated to a motive, which generalizes previous results by the second author and Greenberg. For the second main result, we prove the functional equation of the dual Selmer groups, which generalizes previous results by Greenberg, Perrin-Riou and Zabradi. Note that our proof of the functional equation is different from the proof of Zabradi even…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。