Kirsten Eisentraeger
Let k be a subfield of a p-adic field of odd residue characteristic, and let L be the function field of a variety of dimension n >= 1 over k. Then Hilbert's Tenth Problem for L is undecidable. In particular, Hilbert's Tenth Problem for function fields of varieties over number fields of dimension >= 1 is undecidable.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Let K be the function field of a variety of dimension at least 2 over an algebraically closed field of characteristic zero. Then Hilbert's Tenth Problem for K is undecidable. This generalizes the result by Kim and Roush from 1992 that Hilbert's Tenth Problem for the purely transcendental function field C(t_1,t_2) is undecidable.
Let K be a p-adic field (a finite extension of some Q_p) and let K(t) be the field of rational functions over K. We define a kind of quadratic reciprocity symbol for polynomials over K and apply it to prove isotropy for a certain class of quadratic forms over K(t). Using this result, we give an existential definition for the predicate "v_t(x) >= 0" in K(t). This implies undecidability of diophantine equations over K(t).
We determine the Galois representations inside the $l$-adic cohomology of some unitary Shimura varieties at split places where they admit uniformization by finite products of Drinfeld upper half spaces. Our main results confirm Langlands-Kottwitz's description of the cohomology of Shimura varieties in new cases.
On the p-adic integration over Igusa towers of Siegel modular varieties
本文提出了一种针对Igusa塔的显式p进积分理论，用于研究模Siegel流形的互反律。
Using the p-adic uniformization of Shimura varieties we determine, for some of them, over which local fields they have rational points. Using this we show in some new curve cases that the jacobians are even in the sense of Poonen and Stoll.
We study the Galois symbol map associated to the multiplicative group and an abelian variety which has good ordinary reduction over a $p$-adic field. As a byproduct, one can calculate the "class group" in the view of the class field theory for curves over a $p$-adic field.
We provide some general conditions which ensure that a system of inequalities involving homogeneous polynomials with coefficients in a S-adic field has nontrivial S-integral solutions. The proofs are based on the strong approximation property for Zariski-dense subgroups and adelic geometry of numbers. We give two examples of applications for systems involving quadratic and linear forms.
We construct some $n$-dimensional eigenvarieties for finite slope overconvergent eigenforms over some unitary Shimura varieties with signature $(1,n-1)\times(0,n)\times\cdots\times(0,n)$ by adapting Andreatta-Iovita-Pilloni's method. We also show that there are some Galois pseudo-characters over our eigenvarieties by studying analytic continuation of finite slope eigenforms over these Shimura varieties.
Cohomological Obstructions for Varieties over $p$-adic Function Fields
本文引入 $p$-adic 函数域上光滑整簇的各种上同调障碍，证明非分歧障碍是算术对偶障碍中最精细的，并构造实例表明其优于 Manin 障碍，最后与非分歧障碍与下降障碍进行比较。
Let $F$ be a global function field of characteristic $p>0$ and $A/F$ an abelian variety. Let $K/F$ be an $ł$-adic Lie extension ($ł\neq p$) unramified outside a finite set of primes $S$ and such that $\Gal(K/F)$ has no elements of order $ł$. We shall prove that, under certain conditions, $Sel_A(K)_ł^\vee$ has no nontrivial pseudo-null submodule.
We generalize some of the results of Andreatta, Iovita, and Pilloni and the author to Hodge type Shimura varieties having non-empty ordinary locus. For any $p$-adic weight $κ$, we give a geometric definition of the space of overconvergent modular forms of weight $κ$ in terms of sections of a sheaf. We show that our sheaves live in analytic families, interpolating the classical sheaves for integral weights. We define an action of the Hecke algebra, including a completely continuous operator at $p$. In some simple cases, we also build the eigenvariety.
We show that the logarithmic version of the syntomic cohomology of Fontaine and Messing for semistable varieties over $p$-adic rings extends uniquely to a cohomology theory for varieties over $p$-adic fields that satisfies $h$-descent. This new cohomology - syntomic cohomology - is a Bloch-Ogus cohomology theory, admits period map to étale cohomology, and has a syntomic descent spectral sequence (from an algebraic closure of the given field to the field itself) that is compatible with the Hochschild-Serre spectral sequence on the étale side. In relative dimension zero we recover the potentiall…
Let $B$ be a simple CM abelian variety over a CM field $E$, $p$ a rational prime. Suppose that $B$ has potentially ordinary reduction above $p$ and is self-dual with root number $-1$. Under some further conditions, we prove the generic non-vanishing of (cyclotomic) $p$-adic heights on $B$ along anticyclotomic $\Z_{p}$-extensions of $E$. This provides evidence towards Schneider's conjecture on the non-vanishing of $p$-adic heights. For CM elliptic curves over $\Q$, the result was previously known as a consequence of work of Bertrand, Gross--Zagier and Rohrlich in the 1980s. Our proof is based o…
We prove an analogue of the Tate isogeny conjecture and the semi-simplicity conjecture for overconvergent crystalline Dieudonné modules of abelian varieties defined over global function fields of characteristic $p$. As a corollary we deduce that monodromy groups of such overconvergent crystalline Dieudonné modules are reductive, and after a finite base change of coefficients their connected components are the same as the connected components of monodromy groups of Galois representations on the corresponding $l$-adic Tate modules, for $l$ different from $p$. We also show such a result for gener…
Let $p$ be a prime number and $M$ the extension field of a $p$-adic field $K$ obtained by adjoining all $p$-power roots of all elements of $K$. In this paper, we show that there exists a constant $C$, depending only on $K$ and an integer $g>0$, which satisfies the following property:If $A_{/K}$ is a $g$-dimensional CM abelian variety, then the order of the torsion subgroup of $A(M)$ is bounded by $C$.
We show that the mod p cohomology of a smooth projective variety with semistable reduction over K, a finite extension of Qp, embeds into the reduction modulo p of a semistable Galois representation with Hodge-Tate weights in the expected range (at least after semisimplifying, in the case of the cohomological degree > 1). We prove refinements with descent data, and we apply these results to the cohomology of unitary Shimura varieties, deducing vanishing results and applications to the weight part of Serre's conjecture.
Let $A$ be an abelian variety defined over a number field $F$ with supersingular reduction at all primes of $F$ above $p$. We establish an equivalence between the weak Leopoldt conjecture and the expected value of the corank of the classical Selmer group of $A$ over a $p$-adic Lie extension (not neccesasily containing the cyclotomic $\Zp$-extension). As an application, we obtain the exactness of the defining sequence of the Selmer group. In the event that the $p$-adic Lie extension is one-dimensional, we show that the dual Selmer group has no nontrivial finite submodules. Finally, we show that…
Let $A$ be an abelian variety over a $p$-adic field $K$ and $L$ an algebraic infinite extension over $K$. We consider the finiteness of the torsion part of the group of rational points $A(L)$ under some assumptions. In 1975, Hideo Imai proved that such a group is finite if $A$ has good reduction and $L$ is the cyclotomic $\mathbb{Z}_p$-extension of $K$. In this talk, first we show a generalization of Imai's result in the case where $A$ has ordinary good reduction. Next we give some finiteness results when $A$ is an elliptic curve and $L$ is the field generated by the $p$-power torsion of an el…
We prove formulas for the p-adic logarithm of quaternionic Darmon points on p-adic tori and modular abelian varieties over Q having purely multiplicative reduction at p. These formulas are amenable to explicit computations and are the first to treat Stark-Heegner type points on higher-dimensional abelian varieties.
We show that, for an abelian variety defined over a $p$-adic field $K$ which has potential good reduction, its torsion subgroup with values in the composite field of $K$ and a certain Lubin-Tate extension over a $p$-adic field is finite.
We prove that for abelian varieties with semistable ordinary reduction the p-adic Mazur-Tate height pairing is induced by the unit root splitting of the Hodge filtration on the first deRham cohomology.
$p$-adic Hodge Theory is one of the most powerful tools in modern Arithmetic Geometry. In this survey, we will review $p$-adic Hodge Theory for algebraic varieties, present current developments in $p$-adic Hodge Theory for analytic varieties, and discuss some of its applications to problems in Number Theory. This is an extended version of a talk at the Jubilee Congress for the 100th anniversary of the Polish Mathematical Society, Kraków, 2019.
We formulate and prove certain vanishing theorems for p-adic automorphic forms on unitary groups of arbitrary signature. The p-adic q-expansion principle for p-adic modular forms on the Igusa tower says that if the coefficients of (sufficiently many of) the q-expansions of a p-adic modular form f are zero, then f vanishes everywhere on the Igusa tower. There is no p-adic q-expansion principle for unitary groups of arbitrary signature in the literature. By replacing q-expansions with Serre-Tate expansions (expansions in terms of Serre-Tate deformation coordinates) and replacing modular forms wi…
Spherical varieties and p-adic families of cohomology classes
本文证明了与对称空间相关的上同调类p-进族的扭转相容性，表明单一族可插值不同权重的经典上同调类，推广了Euler系统与p-进L-函数的先前结果，并给出了GSp(4)及相关群的Euler系统新应用。
Let F be a number field and N an integral ideal in its ring of integers. Let f be a modular newform over F of level Gamma0(N) with rational Fourier coefficients. Under certain additional conditions, Guitart-Masdeu-Sengun constructed a p-adic lattice which is conjectured to be the Tate lattice of an elliptic curve E whose L-function equals that of f. The aim of this note is to generalize this construction when the Hecke eigenvalues of f generate a number field of degree d >= 1, in which case the geometric object associated to f is expected to be, in general, an abelian variety A of dimension d.…
We show how non-vanishing of p-adic L functions controls the dimensions of Selmer varieties associated to the complement of the origin in an elliptic curve with CM. As a corollary, one obtains a π_1-proof of the theorem of Siegel for such curves.
In this paper we generalize Cherednik's method and prove that certain Shimura varieties corresponding to groups of unitary similitudes and automorphic vector bundles over them have p-adic uniformization. This is proved for Shimura varieties, uniformized by the complex unit ball, when the central simple algebra over a CM-field defining the group of unitary similitudes has Brauer invariant 1/d at p. In this case, Shimura varieties can be uniformized by Drinfeld's covers of p-adic upper half-spaces.
p-adic shtukas and the theory of global and local Shimura varieties
本文建立了p-adic shtukas的基本结果，并将其应用于局部与全局Shimura簇理论，为具有parahoric level结构的Hodge型Shimura簇构造了典范整模型。
We compute, in a stable range, the arithmetic p-adic etale cohomology of smooth rigid analytic and dagger varieties (without any assumption on the existence of a nice integral model) in terms of differential forms using syntomic methods. The main technical input is a construction of a Hyodo-Kato cohomology and a Hyodo-Kato isomorphism with de Rham cohomology.
A refined non-vanishing of the $p$-adic logarithm of a rational point on an abelian variety
研究p进对数下阿贝尔簇非 torsion 点非消失问题，主要针对GL₂型阿贝尔簇及其与希格纳点相关的情形，采用p进解析子群定理作为主要工具。
In this paper, we give explicit descriptions of Hyodo and Kato's Frobenius and Monodromy operators on the first $p$-adic de Rham cohomology groups of curves and Abelian varieties with semi-stable reduction over local fields of mixed characteristic. This paper was motivated by the first author's paper "A $p$-adic Shimura isomorphism and periods of modular forms," where conjectural definitions of these operators for curves with semi-stable reduction were given.
In 2005 Coates, Fukaya, Kato, Sujatha, and Venjakob formulated a noncommutative Iwasawa main conjecture for l-adic Lie extensions of number fields. To provide evidence for this main conjecture we formulate and prove an analogous statement for l-adic Lie extensions of separated schemes of finite type over a finite field of characteristic prime to l.
Arithmetic monodromy of hyper-Kähler varieties over $p$-adic fields
本文研究p-进域上超凯勒簇的p-进与ℓ-进单值算子，提出并验证了Nagai猜想在算术情形的类比，并引入基于Sen理论的新方法分析p-进上同调。
We study Galois representations attached to nonsimple abelian varieties over finitely generated fields of arbitrary characteristic. We give sufficient conditions for such representations to decompose as a product, and apply them to prove arithmetical analogues of results shown by Moonen and Zarhin in the context of complex abelian varieties (of dimension at most 5).
We give proofs of de Rham comparison isomorphisms for rigid-analytic varieties, with coefficients and in families. This relies on the theory of perfectoid spaces. Another new ingredient is the pro-etale site, which makes all constructions completely functorial.
p-adic Borel extension for local Shimura varieties
本文证明了局部Shimura品种满足p-进刚性解析的Borel扩展定理，并扩展了Rapoport-Zink空间的相关结果。
This is a revised version of ANT-0332: "A support problem for the intermediate Jacobians of l-adic representations", by G. Banaszak, W. Gajda & P. Krason, which was placed on these archives on the 29th of January 2002. Following a suggestion of the referee we have subdivided the paper into two separate parts: "Support problem for the intermediate Jacobians of l-adic representations", and "On Galois representations for abelian varieties with complex and real multiplications". Our results on the image of Galois and the Mumford-Tate conjecture for some RM abelian varieties are contained in the se…
Lower bound for the canonical height on abelian varieties over totally p-adic extensions
本文证明了阿贝尔簇在完全 $p$-adic 扩张中满足 Bogomolov 性质，首次在良好退化情况下获得此类结果。
Non-liftability of Families of Abelian Varieties with Small $l$-adic Local System
本文研究特征 $p$ 上光滑正则曲线上的阿贝尔簇族，证明其霍奇包非 nef 且无法提升到 $W_2(k)$，并建立一个阿拉凯洛夫型不等式。
In this article we outline the methods that are used to prove undecidability of Hilbert's Tenth Problem for function fields of characteristic zero. Following Denef we show how rank one elliptic curves can be used to prove undecidability for rational function fields over formally real fields. We also sketch the undecidability proofs for function fields of varieties over the complex numbers of dimension at least 2.
Spherical varieties and non-ordinary families of cohomology classes
该研究构建了与约化群球对相关的局部对称空间上同调的非寻常p进族类，给出平展情形下到伽罗瓦上同调的映射，方法可用于新的p进欧拉系和p进L函数构造，并以非寻常西格尔模形式的范数相容类为例推广了已有欧拉系的p部分。
In this paper we show that certain Shimura varieties, uniformized by the product of complex unit balls, can be p-adically uniformized by the product (of equivariant coverings) of Drinfeld upper half-spaces. We also extend a p-adic uniformization to automorphic vector bundles. It is a continuation of our previous work [V], and contains all cases (up to a central modification) of a uniformization by known p-adic symmetric spaces. The idea of the proof is to show that an arithmetic quotient of the product of Drinfeld upper half-spaces cannot be anything else than a certain unitary Shimura variety…
In this article we prove a Grothendieck trace formula for L-functions of not necessarily commutative adic sheaves.
In this paper we investigate the image of the $l$-adic representation attached to the Tate module of an abelian variety over a number field with endomorphism algebra of type I or II in the Albert classification. We compute the image explicitly and verify the classical conjectures of Mumford-Tate, Hodge, Lang and Tate, for a large family of abelian varieties of type I and II. In addition, for this family, we prove an analogue of the open image theorem of Serre.
We construct the compatible system of $l$-adic representations associated to a regular algebraic cuspidal automorphic representation of $GL_n$ over a CM (or totally real) field and check local-global compatibility for the $l$-adic representation away from $l$ and finite number of rational primes above which the CM field or the automorphic representation ramify. The main innovation is that we impose no self-duality hypothesis on the automorphic representation.
S=T for Shimura Varieties and Moduli Spaces of p-adic Shtukas
本研究借助Scholze的钻石、v-栈理论及Fargues–Scholze几何Satake等价，证明了Xiao–Zhu提出的S=T猜想，并推导出Hodge型志村簇的Eichler–Shimura关系。
We explore Tate-type conjectures over $p$-adic fields. We study a conjecture of Raskind that predicts the surjectivity of $$ ({\rm NS}(X_{\bar{K}}) \otimes_{\mathbb{Z}}\mathbb{Q}_p)^{G_K} \longrightarrow H^2_{\rm et}(X_{\bar{K}},\mathbb{Q}_p(1))^{G_K} $$ if $X$ is smooth and projective over a $p$-adic field $K$ and has totally degenerate reduction. Sometimes, this is related to $p$-adic uniformisation. For abelian varieties, Raskind's conjecture is equivalent to the question whether $$ {\rm Hom}(A,B)\otimes{\mathbb{Q}}_p \,\to\, {\rm Hom}_{G_K}(V_p(A),V_p(B)) $$ is surjective if $A$ and $B$ ar…
Under the assumption that Galois representations associated to Siegel modular forms exist (it is known only for genus at most 2), we show that the cohomology with p-adic integral coefficients of Siegel Varieties, when localized at a non-Eisenstein maximal ideal of the Hecke algebra, is torsion-free, provided the prime p is large with the respect to the weight of the coefficient system. The proof uses p-adic Hodge theory, the dual BGG complex modulo p in order to compute the Hodge-Tate weights for the mod p cohomology. We apply this result to the construction of Hida p-adic families for symplec…
Explicit bounds on torsion of CM abelian varieties over $p$-adic fields with values in Lubin-Tate extensions
本文证明了 $p$-进域上取值于 Lubin-Tate 扩张的 CM 阿贝尔簇的 $p$-挠子群阶存在显式上界，并将该结果应用于研究数域上取值于全分圆域的 CM 阿贝尔簇的挠子群阶的界。
Let $k$ be a totally real field, and let $A/k$ be an absolutely irreducible, polarized Abelian variety of odd, prime dimension whose endomorphisms are all defined over $k$. Then the only strictly compatible families of abstract, absolutely irreducible representations of $\gal(\ov{k}/k)$ coming from $A$ are tensor products of Tate twists of symmetric powers of two-dimensional $λ$-adic representations plus field automorphisms. The main ingredients of the proofs are the work of Borel and Tits on the `abstract' homomorphisms of almost simple algebraic groups, plus the work of Shimura on the fields…
Compactly supported $p$-adic pro-étale cohomology of analytic varieties
研究光滑部分真刚性解析簇的紧支集 $p$-adic pro-étale 上同调，证明其与紧支集 syntomic 上同调在稳定范围内的比较定理，并推导出基本图的有限版本。
It is well-known that every finite subgroup of GL_d(Q_{\ell}) is conjugate to a subgroup of GL_d(Z_{\ell}). However, this does not remain true if we replace general linear groups by symplectic groups. We say that G is a group of inertia type if G is a finite group which has a normal Sylow-p-subgroup with cyclic quotient. We show that if \ell>d+1, and G is a subgroup of Sp_{2d}(Q_{\ell}) of inertia type, then G is conjugate in GL_{2d}(Q_{\ell}) to a subgroup of \Sp_{2d}(Z_{\ell}). Despite the fact that G can fail to be conjugate in \GL_{2d}(Q_\ell) to a subgroup of \Sp_{2d}(Z_\ell), we prove th…
We establish the Iwasawa main conjecture for semi-stable abelian varieties over a function field of characteristic $p$ under certain restrictive assumptions. Namely we consider $p$-torsion free $p$-adic Lie extensions of the base field which contain the constant $\mathbb Z_p$-extension and are everywhere unramified. Under the classical $μ=0$ hypothesis we give a proof which mainly relies on the interpretation of the Selmer complex in terms of $p$-adic cohomology [TV] together with the trace formulas of [EL1].
On the p-adic weight-monodromy conjecture for complete intersections in toric varieties
本文通过借鉴 Scholze 的 $\ell$-adic 证明并运用刚性解析动机中的同伦论方法，证明了射影光滑环面簇内概型论完全交的 $p$-adic 权重–单值性猜想。
Let K be a field with a valuation satisfying the following conditions: both K and the residue field k have characteristic zero; the value group is not 2-divisible; there exists a maximal subfield F in the valuation ring such that Gal(\bar{F}/F) and Gal(\bar{k}/k) have the same 2-cohomological dimension and this dimension is finite. Then Hilbert's Tenth Problem has a negative answer for any function field of a variety over K. In particular, this result proves undecidability for varieties over C((T)).
In this paper we prove a comparison theorem between the category of certain modules with integrable connection on the complement of a normal crossing divisor of the generic fiber of a proper semistable variety over a DVR and the category of certain log overconvergent isocystrals on the special fiber of the same open.
Mazur, Tate, and Teitelbaum gave a p-adic analogue of the Birch and Swinnerton-Dyer conjecture for elliptic curves. We provide a generalization of their conjecture in the good ordinary case to higher dimensional modular abelian varieties over the rationals by constructing the p-adic L-function of a modular abelian variety and showing that it satisfies the appropriate interpolation property. This relies on a careful normalization of the p-adic L-function, which we achieve by a comparison of periods. Our generalization agrees with the conjecture of Mazur, Tate, Teitelbaum in dimension 1 and the …
Perfectoidness via Sen Theory and Applications to Shimura Varieties
本文通过发展一般赋值环上的p进Hodge理论，建立Sen判据的几何类比，证明一般Shimura簇在p处无穷层的完备化茎具有完美oid性，并由此验证Calegari–Emerton关于整值完备化上同调高次消失的猜想。
A p-adic Simpson correspondence for rigid analytic varieties
本文在Liu-Zhu框架下，通过构造新周期层并利用余切复形理论，建立了刚性解析簇的p-adic Simpson对应，与先前工作相容。
$p$-adic hyperbolicity for Shimura varieties and period images
该研究证明志村簇与几何周期像在足够大素数下满足p-进延拓性质，推导了其在刚性解析映射代数性中的应用，并将方法推广至带满足正性条件的Fontaine-Laffaille模的形式概形刚性一般纤维情形。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。