Related papers: Rationality problem for norm one tori for dihedral…
In previous work, the authors constructed and studied a lift of the Galois correspondence to stable homotopy categories. In particular, if $L/k$ is a finite Galois extension of fields with Galois group $G$, there is a functor $c_{L/k}^*$…
Upon quotienting by units, the elements of norm 1 in a number field $K$ form a countable subset of a torus of dimension $r_1 + r_2 - 1$ where $r_1$ and $r_2$ are the numbers of real and pairs of complex embeddings. When $K$ is Galois with…
We establish an Ando-type dilation theorem for a pair of commuting contractions together with a representation of a right LCM monoid via either the Cartesian or the free product. We prove that if each individual contraction together with…
We consider the linear second order PDO's $$ \mathscr{L} = \mathscr{L}_0 - \partial_t : = \sum_{i,j =1}^N \partial_{x_i}(a_{i,j} \partial_{x_j} ) - \sum_{j=i}^N b_j \partial_{x_j} - \partial _t,$$and assume that $\mathscr{L}_0$ has…
We present a justification logic corresponding to the modal logic of transitive closure $\mathsf{K}^+$ and establish a normal realization theorem relating these two systems. The result is obtained by means of a sequent calculus allowing…
We generalize results of Rosenlicht to give a necessary and sufficient condition for when order one differential equations of the form $D(x) = f(x)$ where $f$ is a rational function is orthogonal to the constants. Following the main results…
The possibility for the Jacobi equation to admit in some cases general solutions that are polynomials has been recently highlighted by Calogero and Yi, who termed them para-Jacobi polynomials. Such polynomials are used here to build seed…
We give a new purely algebraic approach to odd unitary groups using odd form rings. Using these objects, we prove the stability theorems for odd unitary $K_1$-functor without using the corresponding result from linear $K$-theory under the…
The aim of this paper is to solve a uniform version of the Yau-Tian-Donaldson conjecture for polarized toric manifolds. Also, we show a combinatorial sufficient condition for uniform relative K-polystability.
Let $L/K$ be a finite Galois extension of $p$-adic fields and let $L_{\infty}$ be the unramified $\mathbb Z_p$-extension of $L$. Then $L_{\infty}/K$ is a one-dimensional $p$-adic Lie extension. In the spirit of the main conjectures of…
The one dimensional Dirac equation with a rational potential is reducible to an ordinary differential equation with a Riccati-like coefficient. Its integrability can be studied with the help of differential Galois theory, although the…
Let $K$ be a field and $G$ be a finite group. Let $G$ act on the rational function field $K(x(g):g\in G)$ by $K$ automorphisms defined by $g\cdot x(h)=x(gh)$ for any $g,h\in G$. Denote by $K(G)$ the fixed field $K(x(g):g\in G)^G$. Noether's…
If the $\ell$-adic cohomology of a projective smooth variety, defined over a local field $K$ with finite residue field $k$, is supported in codimension $\ge 1$, then every model over the ring of integers of $K$ has a $k$-rational point. For…
This paper is devoted to systematic studies of some extensions of first-order G\"odel logic. The first extension is the first-order rational G\"odel logic which is an extension of first-order G\"odel logic, enriched by countably many…
Let $(Z,o)$ be a three-dimensional terminal singularity of type $cA/r$. We prove that all exceptional divisors over $o$ with discrepancies $\le 1$ are rational.
In the context of commutative $C^*$-algebras we solve a problem related to a question of M. Rieffel by showing that the all-units rank and the norm-one rank coincide with the topological stable rank. We also introduce the notion of unitary…
Given two $G$-Galois extensions of $\mathbb Q$, is there an extension of $\mathbb Q(t)$ that specializes to both? The equivalence relation on $G$-Galois extension of $\mathbb Q$, induced by the above question, is called $R$-equivalence. The…
In this work, we deal with Delone sets and their rectifiability under different classes of regularity. By pursuing techniques developed by Rivi\`ere and Ye, and Aliste-Prieto, Coronel and Gambaudo, we give sufficient conditions for a…
Let $k$ be a field, $n \geqslant 5$ be an integer, $x_1, \dots, x_n$ be independent variables and $L_n = k(x_1, \dots, x_n)$. The symmetric group $S_n$ acts on $L_n$ by permuting the variables, and the projective linear group ${\rm PGL}_2$…
In an earlier paper it was proved that if a differential field $(K,\delta)$ is algebraically closed and closed under Picard-Vessiot extensions then every differential algebraic principal homogeneous space over K for a linear differential…