English
Related papers

Related papers: Order positive fields II

200 papers

We reduce a study of polarized abelian varieties over finite fields to the classification problem of skew-Hermitian modules over (possibly non-maximal) local orders. The main result of this paper gives a complete classification of these…

Number Theory · Mathematics 2010-05-27 Chia-Fu Yu

As was recently observed by M. Xu and J. Wolf, there is a gap in Berard Bergery's classification of odd dimensional positively curved homogeneous spaces. Since this classification has been used in other papers as well, we give a modern,…

Differential Geometry · Mathematics 2015-03-24 Burkhard Wilking , Wolfgang Ziller

Let A be a finitely generated associative algebra over an algebraically closed field. We characterize the finite dimensional modules over A whose orbit closures are regular varieties.

Algebraic Geometry · Mathematics 2007-05-23 Nguyen Quang Loc , Grzegorz Zwara

In this paper we consider in detail the composition of an irreducible polynomial with X^2 and suggest a recurrent construction of irreducible polynomials of fixed degree over finite fields of odd characteristics. More precisely, given an…

Number Theory · Mathematics 2020-08-26 Gohar M. Kyureghyan , Melsik K. Kyureghyan

In a recent paper (2018), D. Hofmann, R. Neves and P. Nora proved that the dual of the category of compact partially ordered spaces and monotone continuous maps is a quasi-variety - not finitary, but bounded by $\aleph_1$. An open question…

Logic · Mathematics 2022-11-09 Marco Abbadini

Completion is one of the most studied techniques in term rewriting and fundamental to automated reasoning with equalities. In this paper we present new correctness proofs of abstract completion, both for finite and infinite runs. For the…

Logic in Computer Science · Computer Science 2023-06-22 Nao Hirokawa , Aart Middeldorp , Christian Sternagel , Sarah Winkler

Every definably complete expansion of an ordered field satisfies an analogue of the Baire Category Theorem.

Logic · Mathematics 2013-01-29 Philipp Hieronymi

We prove that any group acting faithfully on a bifoliated plane while preserving the orientations of both foliations is left-orderable. The proof utilizes a construction of a linear order on the set of ends of the leaf spaces, which takes…

Geometric Topology · Mathematics 2024-05-13 Mauro Camargo-Rios , Lingfeng Lu

In this paper we show how to find a closed form solution for third order difference operators in terms of solutions of second order operators. This work is an extension of previous results on finding closed form solutions of recurrence…

Symbolic Computation · Computer Science 2013-01-22 Yongjae Cha

We transfer several elementary geometric properties of rigid-analytic spaces to the world of adic spaces, more precisely to the category of adic spaces which are locally of (weakly) finite type over a non-archimedean field. This includes…

Algebraic Geometry · Mathematics 2020-05-15 Lucas Mann

In this note, we study non-standard models of the rational numbers with countably many elements. These are ordered fields, and so it makes sense to complete them, using non-standard Cauchy sequences. The main result of this note shows that…

Logic · Mathematics 2007-05-23 Peter Laubenheimer , Thomas Schick , Ulrich Stuhler

Electrostatic bender optics are derived up to second order (third order in fields and the Hamiltonian) and applied to the proposed EDM proton ring. The results for linear optics agree with those already presented by V.\ Lebedev (Nov.\ 18,…

Accelerator Physics · Physics 2015-08-04 R. Baartman

We give a detailed proof of Kolchin's results on differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically closed. We closely follow former works due to Pillay and…

Logic · Mathematics 2017-05-17 Quentin Brouette , Françoise Point

After recalling the definition of Zilber fields, and the main conjecture behind them, we prove that Zilber fields of cardinality up to the continuum have involutions, i.e., automorphisms of order two analogous to complex conjugation on…

Logic · Mathematics 2013-05-28 Vincenzo Mantova

An order-theoretic forest is a countable partial order such that the set of elements larger than any element is linearly ordered. It is an order-theoretic tree if any two elements have an upper-bound. The order type of a branch can be any…

Logic in Computer Science · Computer Science 2023-06-22 Bruno Courcelle

We prove that dagger closure is trivial in regular domains containing a field and that graded dagger closure is trivial in polynomial rings over a field. We also prove that Heitmann's full rank one closure coincides with tight closure in…

Commutative Algebra · Mathematics 2012-08-17 Holger Brenner , Axel Stäbler

We prove that the modular operad of diffeomorphism classes of Riemann surfaces with both `open' and `closed' boundary components, in the sense of string field theory, is the modular completion of its genus 0 part quotiented by the Cardy…

Algebraic Topology · Mathematics 2016-11-29 Martin Doubek , Martin Markl

In applications it is useful to know whether a topological preordered space is normally preordered. It is proved that every $k_\omega$-space equipped with a closed preorder is a normally preordered space. Furthermore, it is proved that…

General Topology · Mathematics 2013-06-21 E. Minguzzi

Pseudo algebraically closed, pseudo real closed, and pseudo $p$-adically closed fields are examples of unstable fields that share many similarities, but have mostly been studied separately. In this text, we propose a unified framework for…

Logic · Mathematics 2024-07-17 Samaria Montenegro , Silvain Rideau-Kikuchi

This article deals with the second order linear differential equations with entire coefficients. We prove some results involving conditions on coefficients so that the order of growth of every non-trivial solution is infinite.

Complex Variables · Mathematics 2021-02-24 Garima Pant , Manisha Saini