Related papers: Explicitly Extending Frobenius Splittings over Fin…

Given a Galois cover of curves X to Y with Galois group G which is totally ramified at a point x and unramified elsewhere, restriction to the punctured formal neighborhood of x induces a Galois extension of Laurent series rings…

Let K be a finite extension of Q_p. The field of norms of a p-adic Lie extension K_infty/K is a local field of characteristic p which comes equipped with an action of Gal(K_infty/K). When can we lift this action to characteristic 0, along…

In a recent paper, it was shown that the problem of existence of a continuous map $X \to Y$ extending a given map $A \to Y$ defined on a subspace $A \subseteq X$ is undecidable, even for $Y$ an even-dimensional sphere. In the present paper,…

We study the possibility of a continuous extension of a class of mappings to an isolated point on the boundary of a domain. We show that if some characteristic of this mapping is integrable on almost all spheres in the neighborhood of at…

We give a criterion whether given Eisenstein polynomials over a local field K define the same extension over K in terms of a certain non-Archimedean metric on the set of polynomials. The criterion and its proof depend on ramification…

We establish arithmetical properties and provide essential bounds for bi-sequences of approximation coefficients associated with the natural extension of maps, leading to continued fraction-like expansions. These maps are realized as the…

Let $X$ be a projective variety defined over an infinite field, equipped with a line bundle $L$, giving an embedding of $X$ into $\mb{P}^m$ and let $\phi: X \to X$ be a morphism such that $\phi^*L \cong L^{\otimes q}, q\geq 2$. Then there…

In the 1960's, Birch proved that the traces of Frobenius for elliptic curves taken at random over a large finite field is modeled by the semicircular distribution (i.e. the usual Sato-Tate for non-CM elliptic curves). In analogy with…

We investigate the K($\pi$,1)-property for p of smooth, marked curves (X,T) defined over finite fields of characteristic p. We prove that (X,T) has the K($\pi$,1)-property if X is affine and give positive and negative examples in the proper…

Let R be a ring of polynomials in a finite number of variables over a perfect field k of characteristic p>0 and let F:R\to R be the Frobenius map of R, i.e. F(r)=r^p. We explicitly describe an R-module isomorphism Hom_R(F_*(M),N)\cong…

In this paper we show that the piecewise linear map f(x) = px for x in [0,1/p], and sx-s/p for x in (1/p,1], p > 1, 0 < s < 1 which has an expanding, onto branch and a contracting branch is eventually piecewise expanding and exact.

Let $X$ and $Y$ be pseudocompact spaces and let the function $\Phi: X\times Y\to \mathbb R$ be separately continuous. The following conditions are equivalent: (1) there is a dense $G_\delta$ subset of $D\subset Y$ so that $\Phi$ is…

The tame Gras-Munnier Theorem gives a criterion for the existence of a ${\mathbb Z}/{\mathbb Z}$-extension of a number field $K$ ramified at exactly a set $S$ of places of $K$ prime to $p$ (allowing real Archimedean places when $p=2$) in…

The depth-bounded fragment of the pi-calculus is an expressive class of systems enjoying decidability of some important verification problems. Unfortunately membership of the fragment is undecidable. We propose a novel type system,…

The splitting of the Frobenius direct image of line bundles on toric varieties is used to explicitly construct an orthogonal basis of line bundles in the derived category D^b(X) where X is a Fano toric variety with (almost) maximal Picard…

Let $X$ be an algebraic variety over a field $K \subset \overline{{\mathbb{Q}}_p}$ and $f$ be a self map. When $K$ is a local field, the boundedness of $f$-periods in $X(K)$ is a well studied question. We will study the same question for…

We compute a number of invariants of singularities defined via the Frobenius morphism for seminormal affine toric varieties over fields of characteristic p > 0. Our main technical tool is a combinatorial description of the potential…

Given a simplicial pair $(X,A)$, a simplicial complex $Y$, and a map $f:A \to Y$, does $f$ have an extension to $X$? We show that for a fixed $Y$, this question is algorithmically decidable for all $X$, $A$, and $f$ if $Y$ has the rational…

In this paper, we prove a `cut-by-curves criterion' for an overconvergent isocrystal on a smooth variety over a field of characteristic $p>0$ to extend logarithmically to its smooth compactification whose complement is a strict normal…

A map Y -> P^n is determined by a line bundle quotient of (O_Y)^{n+1}. In this paper, we generalize this description to the case of maps from Y to an arbitrary smooth toric variety. The data needed to determine such a map consists of a…