Related papers: On p-embedding problems in characteristic p
For an abelian variety $A$ over a function field $K$ of characteristic zero, Manin defined a remarkable additive map $A(K) \ra V$, where $V$ is a vector space over $K$. We define an analogue of this map in the case of function fields of…
We employ methods from homotopy theory to define new obstructions to solutions of embedding problems. By using these novel obstructions we study embedding problems with non-solvable kernel. We apply these obstructions to study the…
Let $\mathcal{F}$ be a family of graphs, and let $p,r$ be nonnegative integers. The \textsc{$(p,r,\mathcal{F})$-Covering} problem asks whether for a graph $G$ and an integer $k$, there exists a set $D$ of at most $k$ vertices in $G$ such…
Let $K$ be an algebrically closed field and let $n\geq 1$. If $P\in K[X]=K[X_1,\ldots,X_n]$, $P\neq 0$, we denote by $I(P)$ the support of $P$, which is the finite subset of $\mathbb N^n$ such that $P=\sum_{i\in I(P)}a_iX^i$ with $a_i\in…
In this article we survey and examine the realizability of $p$-groups as Galois groups over arbitrary fields. In particular we consider various cohomological criteria that lead to necessary and sufficient conditions for the realizability of…
We prove that a valued field of positive characteristic $p$ that has only finitely many distinct Artin-Schreier extensions (which is a property of infinite NTP$_2$ fields) is dense in its perfect hull. As a consequence, it is a deeply…
We show the necessary part of the following theorem : a finitely generated, residually finite group has property $PL^p$ (i.e. it admits a proper isometric affine action on some $L^p$ space) if, and only if, one (or equivalently, all) of its…
We prove that for any infinite countable amenable group $G$, any $\epsilon > 0$ and any finite subset $K\subset G$, there exists a tiling (partition of $G$ into finite "tiles" using only finitely many "shapes"), where all the tiles are $(K;…
If the $\ell$-adic cohomology of a projective smooth variety, defined over a $\frak{p}$-adic field $K$ with finite residue field $k$, is supported in codimension $\ge 1$, then any model over the ring of integers of $K$ has a $k$-rational…
Let $A$ be an integral $k$-algebra of finite type over an algebraically closed field $k$ of characteristic $p>0$. Given a collection ${\cal{D}}$ of $k$-derivations on $A$, that we interpret as algebraic vector fields on $X=Spec(A)$, we…
Graph Burning asks, given a graph $G = (V,E)$ and an integer $k$, whether there exists $(b_{0},\dots,b_{k-1}) \in V^{k}$ such that every vertex in $G$ has distance at most $i$ from some $b_{i}$. This problem is known to be NP-complete even…
We investigate $k$-nets with $k\geq 4$ embedded in the projective plane $PG(2,\mathbb{K})$ defined over a field $\mathbb{K}$; they are line configurations in $PG(2,\mathbb{K})$ consisting of $k$ pairwise disjoint line-sets, called…
Let $p$ and $q$ be different primes and let $G$ be a finite $q$-solvable group. We prove that $\mathrm{Irr}_{p'}(G)\subseteq \mathrm{Irr}_{q'}(G)$ if and only if $\mathbf{N}_G(P)\subseteq \mathbf{N}_G(Q)$ and $\mathbf{C}_{Q'}(P)=1$ for some…
Given an algebraically closed field $K$ of characteristic zero, we study the incidence relation between points and irreducible projective curves, or more precisely the poset of irreducible proper subvarieties of $\mathbb P^2(K)$. Answering…
We show that an infinite group $G$ definable in a $1$-h-minimal field admits a strictly $K$-differentiable structure with respect to which $G$ is a (weak) Lie group, and show that definable local subgroups sharing the same Lie algebra have…
We consider the generalized character $\Psi_{1,p,G}$ of a finite group $G$ which vanishes on all $p$-singular elements of $G$ and whose value at each $p$-regular $y \in G$ is the number of $p$-elements of $C_{G}(y)$. We conjecture that this…
We prove the dp-finite case of the Shelah conjecture on NIP fields. If K is a dp-finite field, then K admits a non-trivial definable henselian valuation ring, unless K is finite, real closed, or algebraically closed. As a consequence, the…
We introduce {\em admissible collections} for a finite group $G$ and use them to prove that most of the finite classical groups in non-defining characteristic satisfy the {\em Quillen dimension at $p$ property}, a strong version of…
Graph separation and partitioning are fundamental problems that have been extensively studied both in theory and practice. The \textsc{$p$-Size Separator} problem, closely related to the \textsc{Balanced Separator} problem, is to check…
The mod-p cohomology ring of a non-trivial finite p-group is an infinite dimensional, finitely presented graded unital algebra over the field with p elements, with generators in positive degrees. We describe an effective algorithm to test…