Related papers: Congruence for rational points over finite fields …
Let K be a p-adic field and F the function field of a curve over K. Let G be a connected linear algebraic group over F of classical type. Suppose the prime p is a good prime for G. Then we prove that projective homogeneous spaces under G…
Let X be a projective hypersurface in P_k^n of degree d <= n. In this paper we study the relation between the class [X] in K_0(Var_k) and the existence of k-rational points. Using elementary geometric methods we show, for some particular X,…
Let $R$ be a regular ring of dimension $d$ and $L$ be a $c$-divisible monoid. If ${K}_1{Sp}(R)$ is trivial and $k \geq d+2,$ then we prove that the symplectic group ${Sp}_{2k}(R[L])$ is generated by elementary symplectic matrices over…
We define a de Rham cohomology theory for analytic varieties over a valued field $K^\flat$ of equal characteristic $p$ with coefficients in a chosen untilt of the perfection of $K^\flat$ by means of the motivic version of Scholze's tilting…
We classify all rational maps $H \in K(x)^n$ for which ${\rm trdeg}_K K(tH_1,tH_2,\ldots,tH_n) \le 2$, where $K$ is any field and $t$ is another indeterminate. Furthermore, we classify all such maps for which additionally $JH \cdot H = {\rm…
This paper shows that for K a local field, k a subfield of K and X a variety over k, X is complete if and only if for every finite field extension K' of K, X(K') is compact in its strong topology.
We primarily investigate congruences modulo $p$ for finite sums of the form $\sum_k\binom{rk}{k}x^k/k$ over the ranges $0<k<p$ and $0<k<p/r$, where $p$ is a prime larger than the positive integer $r$. Here $x$ is an indeterminate, thus…
We study the relationship between rational points and Galois points for a plane curve over a finite field. It is known that the set of Galois points coincides with that of rational points of the projective plane if the curve is the…
K. Kato's conjecture about the cohomological Hasse principle for regular connected schemes $\mathfrak X$ which are flat and proper over the complete discrete valuation rings $\mathcal O_N$ of higher local fields $F_N$ is proven. This…
We prove a $p$-adic analog of Kunz's theorem: a $p$-adically complete noetherian ring is regular exactly when it admits a faithfully flat map to a perfectoid ring. This result is deduced from a more precise statement on detecting finiteness…
The number of equations needed to cut out a variety given by an ideal is called the arithmetic rank (of the ideal). It was shown in [8] that the notion of arithmetic rank is strongly related to the concept of regular sequences on the Matlis…
Idealization of a module $K$ over a commutative ring $S$ produces a ring having $K$ as an ideal, all of whose elements are nilpotent. We develop a method that under suitable field-theoretic conditions produces from an $S$-module $K$ and…
It is proved that a noetherian commutative local ring A containing a field is regular if there is a complex M of free A-modules with the following properties: M_i=0 for i not in [0,dim A]; the homology of M has finite length; H_0(M)…
We give a description of the value of a finitary localizing invariant, such as algebraic $K$-theory, on the category of sheaves on a locally coherent space $X$. This in particular includes all spaces that arise as spectra of commutative…
A topological commutative ring is said to be rigid when for every set $X$, the topological dual of the $X$-fold topological product of the ring is isomorphic to the free module over $X$. Examples are fields with a ring topology, discrete…
In this paper we continue the investigation of coherent systems of type $(n,d,k)$ on the projective line which are stable with respect to some value of a parameter $\alpha$. We consider the case $k=1$ and study the variation of the moduli…
Assume that R is a local regular ring containing an infinite perfect field, or that R is the local ring of a point on a smooth scheme over an infinite field. Let K be the field of fractions of R and the characteristic of K is not 2. Let X…
Let G be a p-adic reductive group, and R an algebraically closed field. Let us consider a smooth representation of G on an R-vector space V. Fix an open compact subgroup K of G and a smooth irreducible representation of K on a…
We compute the constant of approximation for an arbitrary rational point on an arbitrary smooth cubic hypersurface $X$ over a number field $k$, provided that there is a $k$-rational line somewhere on $X$. In the process, we verify the Coba…
Let F be a field of characteristic 2. In this paper we determine the Kato-Milne cohomology of the rational function field F(x) in one variable x. This will be done by proving an analogue of the Milnor exact sequence [4] in the setting of…