Related papers: On Kim's Assumption A over function fields
We isolate several classes of stationary sets of kappa^omega and investigate implications among them. Under a large cardinal assumption, we prove a structure theorem for stationary sets.
We formulate and prove a generalized Albanese property for families of maps from a smooth curve over an arbitrary field into a commutative group stack. Our proof, which is mostly self-contained, employs local-to-global techniques and some…
Let $G\subset x{\mathbb F}_q[\![x]\!]$ ($q$ is a power of the prime $p$) be a subset of formal power series over a finite field such that it forms a compact abelian $p$-adic Lie group of dimension $d\ge 1$. We establish a necessary and…
In this paper we first obtain the genus field of a finite abelian non-Kummer $l$--extension of a global rational function field. Then, using that the genus field of a composite of two abelian extensions of a global rational function field…
We introduce a notion of the ``explanation" of one (generalized) probabilistic model by another as particular kind of span in the category $\Prob$ of probabilistic models and morphisms. We show that explanations compose under a standard…
Assume that $p>2$, and let $\mathscr{O}_K$ be a $p$-adic discrete valuation ring with residue field admitting a finite $p$-basis, and let $R$ be a formally smooth formally finite-type $\mathscr{O}_K$-algebra. (Indeed, we allow slightly more…
In this paper we generalize an argument of Neukirch from birational anabelian geometry to the case of arithmetic curves. In contrast to the function field case, it seems to be more complicate to describe the position of decomposition groups…
For unitary groups associated to a ramified quadratic extension of a $p$-adic field, we define various regular formal moduli spaces of $p$-divisible groups with parahoric levels, characterize exceptional special divisors on them, and…
The probabilistic description of finite classical systems often leads to linear kinetic equations. A set of physically motivated mathematical requirements is accordingly formulated. We show that it necessarily implies that solutions of such…
We introduce the condition of a profinite group being semi-free, which is more general than being free and more restrictive than being quasi-free. In particular, every projective semi-free profinite group is free. We prove that the usual…
The spin-statistics conection is obtained for classical point particles. The connection holds within pseudomechanics, a theory of particle motion that extends classical physics to include anticommuting Grassmann variables, and which…
Building on ideas of Tupan, we give an elementary proof of a result of M{\oe}glin, Vign\'{e}ras and Waldspurger on the existence of automorphisms of many $p$-adic classical groups that take each irreducible smooth representations to its…
This paper is concerned with rational curves on real classical groups. Our contributions are three-fold: (i) We determine the structure of quadratic rational curves on real classical groups. As a consequence, we completely classify…
The Steinitz class of a number field extension K/k is an ideal class in the ring of integers O_k of k, which, together with the degree [K:k] of the extension determines the O_k-module structure of O_K. We call rt(k,G) the classes which are…
Recently Lachterman, Schayer, and Younger published an elegant proof of the Ramanujan congruences for the partition function $p(n)$. Their proof uses only the classical theory of modular forms as well as a beautiful result of Choie, Kohnen,…
In this paper we prove tight bounds on the combinatorial and topological complexity of sets defined in terms of $n$ definable sets belonging to some fixed definable family of sets in an o-minimal structure. This generalizes the…
Let $F$ be the function field of a smooth, geometrically integral curve over a $p$-adic field with $p\neq 2.$ Let $G$ be a classical adjoint group of type $^1D_n$ defined over $F$. We show that $G(F) / R$ is trivial, where $R$ denotes {\it…
We prove the arithmetic fundamental lemma conjecture over a general $p$-adic field with odd residue cardinality $q\geq \dim V$. Our strategy is similar to the one used by the second author during his proof of the AFL over $\mathbb{Q}_p$…
Let $X$ be a second countable locally compact Abelian group. We prove some group analogues of the Skitovich--Darmois, Heyde and Kac--Bernstein characterisation theorems for $Q$-independent random variables taking values in the group $X$.…
We consider smooth representations of the unit group $G = \mathcal{A}^{\times}$ of a finite-dimensional split basic algebra $\mathcal{A}$ over a non-Archimedean local field. In particular, we prove a version of Gutkin's conjecture, namely,…