相关论文: Interpreting a field in its Heisenberg group

We study fragments of the existential theory of henselian valued fields with parameters. This includes the $\exists_n$-fragment in the equicharacteristic or unramified mixed characteristic case, the $\exists_n\exists_1$-fragment in the…

We examine situations, where representations of a finite-dimensional $F$-algebra $A$ defined over a separable extension field $K/F$, have a unique minimal field of definition. Here the base field $F$ is assumed to be a $C_1$-field. In…

The unmodified Heisenberg-Pauli canonical formalism of quantum field theory applied to a self-interacting scalar boson field is shown to make sense mathematically in a framework of generalized functions adapted to nonlinear operations. The…

We give an a geometric interpretation of the Hasse-Arf theorem for function fields using the recently proved Oort conjecture.

We show that a field $K$ is model complete (in the language of rings) if and only if the Heisenberg group $H(K)$ is model complete (in the language of groups). To show that, we extend Levchuk's result about automorphisms of $H(K)$ to the…

Building on work of Kuhlmann and Lisinski, we study the theory of the Hahn series field $\mathbb{F}_{q}(\!(\mathbb{Q})\!)$, over a finite field $\mathbb{F}_{q}$, equipped with the $t$-adic valuation, in a language of valued fields. We prove…

Recently, Anscombe and Koenigsmann gave an existential 0-definition of the ring of formal power series F[[t]] in its quotient field in the case where F is finite. We extend their method in several directions to give general definability…

We introduce a generalization of the Heisenberg algebra which is written in terms of a functional of one generator of the algebra, $f(J_0)$, that can be any analytical function. When $f$ is linear with slope $\theta$, we show that the…

We show that the valuation ring F_q[[t]] in the local field F_q((t)) is existentially definable in the language of rings with no parameters. The method is to use the definition of the henselian topology following the work of Prestel-Ziegler…

Let $F$ be a Hecke--Maass cusp form for $\mathrm{SL}_3(\mathbb{Z})$ with the Langlands parameter $\mu_{F}=\big(\mu_{F,1},\mu_{F,2},\mu_{F,3}\big)$ and the associated $L$-function $L(s, F)$. Define $S_F(t)=\pi^{-1}\arg L(1/2+\mathrm{i}t,…

Let $K$ be a large field such that $K[\sqrt{-1}]$ is not algebraically closed and $F/K$ a function field in one variable. Extending techniques and results from earlier work with Becher and Dittmann, we show that every valuation ring on $F$…

Let F be a local field. In the case of F being the real field, Pierre Cartier constructed Heisenberg-Weil representations of a Heisenberg group in families using non-self-dual lattices. This result was later reformulated by Jae-Hyun Yang in…

We study Hilbert spaces $H$ interpreted, in an appropriate sense, in a first-order theory. Under a new finiteness hypothesis that we call {\em scatteredness} we prove that $H$ is a direct sum of {\em asymptotically free} components, where…

We prove that no infinite field is interpretable in the first-order theory of nonabelian free groups. We also obtain a characterization of Abelian groups interpretable in this theory.

For a Hermitian Lie group $G$, we study the family of representations induced from a character of the maximal parabolic subgroup $P=MAN$ whose unipotent radical $N$ is a Heisenberg group. Realizing these representations in the non-compact…

Mednykh proved that for any finite group G and any orientable surface S, there is a formula for #Hom(pi_1(S), G) in terms of the Euler characteristic of S and the dimensions of the irreducible representations of G. A similar formula in the…

We examine statistical field theories of polymeric fluids in view of performing numerical simulations. The partition function of these systems can be expressed as a functional integral over real density fields. The introduction of density…

Fractional derivative can be defined as a fractional power of derivative. The commutator (i/h)[H, ], which is used in the Heisenberg equation, is a derivation on a set of observables. A derivation is a map that satisfies the Leibnitz rule.…

A quantum theory of noncommutative fields was recently proposed by Carmona, Cortez, Gamboa and Mendez (hep-th/0301248). The implications of the noncommutativity of the fields, intended as the requirements…

This paper is concerned with Mahler's method. We study in detail the structure of linear relations between values of Mahler functions at algebraic points. In particular, given a field ${\bf k}$, a Mahler function $f(z)\in{\bf k}\{z\}$, and…