Related papers: Bounded pregeometries and pairs of fields
We study covers of the multiplicative group of an algebraically closed field as quasiminimal pregeometry structures and prove that they satisfy the axioms for Zariski-like structures presented in \cite{lisuriart}, section 4. These axioms…
Consider the semialgebraic structure over the real field. More generally, let an ominimal structure be over a real closed field. We show that a definable metric space X with a definable metric d is embedded into a Euclidean space so that…
We prove that if f is a self-map of an algebraic variety over a field K, then under certain conditions on X, f and K the set of possible periods of K-valued periodic points of f is finite.
We conjecture that a $p$-algebra over a complete discrete valued field $K$ contains a totally ramified purely inseparable subfield if and only if it contains a totally ramified cyclic maximal subfield. We prove the conjecture in several…
In this paper a new concept related to the frame theory is introduced; the notion of pair frame. By investigating some properties of such frames, it is shown that pair frames are a generalization of ordinary frames. Some classes of of them…
We consider a subanalytic subset A of a complex analytic manifold M (when M is viewed as a real manifold) and formulate conditions under which A is a complex analytic subset of M.
This PhD deals with the notion of pseudo algebraically closed (PAC) extensions of fields. It develops a group-theoretic machinery, based on a generalization of embedding problems, to study these extensions. Perhaps the main result is that…
Let $G$ be a split connected reductive group over $\mathbb{Z}$. Let $F$ be a non-archimedean local field. With $K_m: = Ker(G(\mathfrak{O}_F) \rightarrow G(\mathfrak{O}_F/\mathfrak{p}_F^m))$, Kazhdan proved that for a field $F'$sufficiently…
Let $k_1,k_2$ be two fields of characteristic 0. Let $G_1$ be a split semisimple algebraic group over $k_1$, $G_2$ a split Kac--Moody group over $k_2$ and $\phi\colon G_1(k_1)\to G_2(k_2)$ an abstract embedding. We show that $\im \phi$ is a…
We show that if $k$ is a countable field, then there exists a finitely generated, infinite-dimensional, primitive algebraic $k$-algebra $A$ whose Gelfand-Kirillov dimension is at most six. In addition to this we construct a two-generated…
Quantum field theory can be physically regularized by modularizing it on several levels of aggregation. Since computation is already thoroughly modularized, physical experiments are treated here as quantum relativistic cellular computations…
Algebraic quantum field theory provides a general, mathematically precise description of the structure of quantum field theories, and then draws out consequences of this structure by means of various mathematical tools -- the theory of…
We demonstrate how one can see quantization of geometry, and quantum algebraic structure in supersymmetric gauge theory.
This paper generalizes the bordered-algebraic knot invariant introduced in an earlier paper, giving an invariant now with more algebraic structure. It also introduces signs to define these invariants with integral coefficients. We describe…
In this paper we show that the $\mathrm{K}$-homology groups of a separable C*-algebra can be enriched with additional descriptive set-theoretic information, and regarded as definable groups. Using a definable version of the Universal…
We give a criterion when a polynomial $x^n-g$ is irreducible over a pseudofinite field. As an application we give an explicit description of algebraic closure of some pseudofinite fields of zero characteristic.
We develop the theory of ``branch algebras'', which are infinite-dimensional associative algebras that are isomorphic, up to taking subrings of finite codimension, to a matrix ring over themselves. The main examples come from groups acting…
Let $M$ be a closed orientable Riemannian surface. Consider an SO(3)-connection $A$ and a Higgs field $\Phi:M\to so(3)$. The pair $(A,\Phi)$ naturally induces a cocycle over the geodesic flow of $M$. We classify (up to gauge…
Suppose that $k$ is an arbitrary field. Consider the field $k((x_1,...,x_n))$, which is the quotient field of the ring $k[[x_1,...,x_n]]$ of formal power series in the variables $x_1,...,x_n$, with coefficients in $k$. Suppose that $\sigma$…
In this note we show that groups with definable generics in a separably closed valued of finite imperfection degree can be embedded into groups definable in their algebraic closure.