Related papers: Abhyankar places admit local uniformization in any…

We consider the following question, concerning associative algebras R over an algebraically closed field k: When can the space of (equivalence classes of) finite dimensional irreducible representations of R be topologically embedded into a…

We describe integral lifts K(L), indexed by local fields L of degree n = [L:\Q_p], of the extraordinary cohomology theories K(n), and apply the generalized character theory of Hopkins, Kuhn and Ravenel to identify K(L)(BG) \otimes \Q$, for…

Let $A$ be an abelian variety over the function field $K$ of a curve over a finite field. We describe several mild geometric conditions ensuring that the group $A(K^{\rm perf})$ is finitely generated and that the $p$-primary torsion…

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…

Let R be an affine algebra of dimension n \geq 3 over an algebraically closed field k. Suppose char k =0 or char k =p \geq n. Let g,f_1,...,f_r be a R-regular sequence and A=R[f_1/g,...,f_r/g]. Let P be a projective A-module of rank n-1…

Let k be a non-archimedean local field with residual characteristic p. Let G be a connected reductive group over k that splits over a tamely ramified field extension of k. Suppose p does not divide the order of the Weyl group of G. Then we…

We prove several multiplicity one theorems in this paper. For k a local field not of characteristic two, and V a symplectic space over k, any irreducible admissible representation of the symplectic similitude group GSp(V) decomposes with…

We prove Kim's Assumtion A for the split classical groups in positive characteristic. Actually, we work in the slightly more general setting of groups of classical kind, which includes quasi-split classical groups and generalized spinor…

Let $p$ be a prime number, $K$ be the henselization of the rational functions over the finite field $\mathbb{F}_p$ and $R$ be the ring of additive polynomials over K. We show that the field of Laurent series over $\mathbb{F}_p$ is decidable…

Let $R$ be a commutative $F$-algebra, where $F$ is a field of characteristic 0, satisfying the following conditions: $R$ is equidimensional of dimension $n$, every residual field with respect to a maximal ideal is an algebraic extension of…

Let $\mathcal{G}=\mathrm{Spec}(A)$ be a finite and flat group scheme over the ring of algebraic integers $R$ of a number field $K$ and suppose that the generic fiber of $\mathcal{G}$ is the constant group scheme over $K$ for a finite group…

Let $E$ be an algebraic extension of a global field $E_{0}$ with a nontrivial Brauer group Br$(E)$, and let $P(E)$ be the set of those prime numbers $p$, for which $E$ does not equal its maximal $p$-extension $E(p)$. This paper shows that…

We compare different local-global principles for torsors under a reductive group G defined over a semiglobal field F. In particular if the F-group G s a retract rational F-variety, we prove that the local global principle holds for the…

We study the interaction between the group law on an abelian variety and the additive structure induced on its image under a morphism to projective space. Let $A/F$ be a simple abelian variety, $f:A \rightarrow \mathbb{P}^n$ be a morphism…

We prove that every biregular automorphism of the affine algebraic variety ${\mathbb P}^M\setminus S$, $M\geqslant 3$, where $S\subset {\mathbb P}^M$ is a hypersurface of degree $m\geqslant M+1$ with a unique singular point of multiplicity…

Let $\mathbb F_q$ be the finite field of $q$ elements having characteristic $p$, and denote by $\mathbb K_\infty=\mathbb F_q((1/t))$ the field of formal Laurent series in $1/t$. We consider the equidistribution in $\mathbb T=\mathbb…

For a local field $F$ we consider tamely ramified principal series representations $V$ of $G={\rm GL}_{d+1}(F)$ with coefficients in a finite extension $K$ of ${\mathbb Q}_p$. Let $I_0$ be a pro-$p$-Iwahori subgroup in $G$, let ${\mathcal…

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

We prove an embedded local uniformization theroem for a valuation centered on a point of a quasi-excellent scheme of characteristic zero. The proof reduces to valuations of rank 1 and consists in desingularizing the ideal formed by the…

Let Rep(F;K) denote the category of functors from finite dimensional F-vector spaces to K-modules, where F is a field and K is a commutative ring. We prove that, if F is a finite field, and Char F is invertible in K, then the K-linear…