Related papers: Log p-divisible groups associated to log 1-motives

We establish new measures of linear independence of logarithms on commutative algebraic groups in the so-called \emph{rational case}. More precisely, let k be a number field and v_{0} be an arbitrary place of k. Let G be a commutative…

We first study hyperplane sections of some singular schemes over a field. We prove a Bertini theorem for the log smoothness of generic hyperplane sections of a large class of log smooth schemes over a log point. We also give an abstract…

In this article we aim to develop from first principles a theory of sum sets and partial sum sets, which are defined analogously to difference sets and partial difference sets. We obtain non-existence results and characterisations. In…

Following the recent advances in the study of groups of circle diffeomorphisms, we describe an efficient way of classifying the topological dynamics of locally discrete, finitely generated, virtually free subgroups of the group…

We consider the question whether a Sylow like theorem is valid in the normalized units of integral group rings of finite groups. After a short survey on the known results we show that this is the case for integral group rings of Frobenius…

The famous Bloch--Kato conjecture implies that for a field $F$ containing a primitive $p$th root of unity, the cohomology ring of the absolute Galois group $G_F$ of $F$ with $\mathbb{F}_p$ coefficients is generated by degree one elements.…

A p-divisible group over a base scheme in characteristic p in general does not admit a slope filtration. Let X be a p-divisible group with constant Newton polygon over a normal noetherian scheme S; we prove that there exists an isogeny from…

We develop a theory of motives with compact support for logarithmic schemes over a field. Starting from the notion of finite logarithmic correspondences with compact support, we define the logarithmic motive with compact support analogous…

For quasi-projective varieties over a higher local field $k_N$, we prove that its $K$-groups, above a suitable degree, are divisible-by-finite. We also prove the finiteness of the prime-to-$p$ torsion subgroup of certain higher Chow groups…

Let $k$ be an algebraically closed field of characteristic $p\ge 0$. Let $G$ be an affine group scheme over $k$. We classify the indecomposable exact module categories over the rigid tensor category $\text{Coh}_f(G)$ of coherent sheaves of…

Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…

We prove a dynamical version of the Mordell-Lang conjecture for etale endomorphisms of quasiprojective varieties. We use p-adic methods inspired by the work of Skolem, Mahler, and Lech, combined with methods from algebraic geometry. As…

We introduce a spreading out technique to deduce finiteness results for \'etale fundamental groups of complex varieties by characteristic $p$ methods, and apply this to recover a finiteness result proven recently for local fundamental…

We review the concept of differentiably simple ring and we give a new proof of Harper's Theorem on the characterization of Noetherian differentiably simple rings in positive characteristic. We then study flat families of differentiably…

In 1986, Kato set up a framework of conjectures relating (higher) $0$-cycles and \'etale cohomology for smooth projective schemes over finite fields or rings of integers in local fields through the homology of so-called Kato complexes. In…

We prove the first cases of a conjecture by Darmon--Rotger on the non-vanishing of generalized Kato classes attached to elliptic curves $E$ over $\mathbf{Q}$ of rank $2$. Our method also shows that the non-vanishing of generalized Kato…

We establish conditions under which the fundamental group of a graph of finite $p$-groups is necessarily residually $p$-finite. The technique of proof is independent of previously established results of this type, and the result is also…

We prove a canonical Kuenneth decomposition of the relative motive with rational coefficients of a smooth commutative group scheme over a noetherian finite dimensional base. This paper is a follow-up of "On the motive of a commutative…

Let $X$ be a fine and saturated log scheme, and let $G$ be a commutative finite flat group scheme over the underlying scheme of $X$. If $G$-torsors for the fppf topology can be thought of as being unramified objects by nature, then…

Let $R$ be a discrete valuation ring with field of fractions $K$ and residue field $k$ of characteristic $p>0$. Given a finite commutative group scheme $G$ over $K$ and a smooth projective curve $C$ over $K$ with a rational point, we study…