English
Related papers

Related papers: Existentially closed II_1 factors

200 papers

In this paper we consider a fragment of the first-order theory of the real numbers that includes systems of equations of continuous functions in bounded domains, and for which all functions are computable in the sense that it is possible to…

Computational Complexity · Computer Science 2016-08-15 Peter Franek , Stefan Ratschan , Piotr Zgliczynski

We prove several unique prime factorization results for tensor products of type II_1 factors coming from groups that can be realized either as subgroups of hyperbolic groups or as discrete subgroups of connected Lie groups of real rank 1.…

Operator Algebras · Mathematics 2009-11-10 Narutaka Ozawa , Sorin Popa

We study the satisfiability problem for the two-variable first-order logic over structures with one transitive relation. % We show that the problem is decidable in 2-NExpTime for the fragment consisting of formulas where existential…

Logic in Computer Science · Computer Science 2019-04-10 Wiesław Szwast , Lidia Tendera

If R is a commutative ring, we prove that every finitely generated module has a pure-composition series with indecomposable factors and any two such series are isomorphic if and only if R is a Bezout ring and a CF-ring.

Rings and Algebras · Mathematics 2007-05-23 Francois Couchot

Challenging the standard notion of totality in computable functions, one has that, given any sufficiently expressive formal axiomatic system, there are total functions that, although computable and "intuitively" understood as being total,…

Logic in Computer Science · Computer Science 2020-09-03 Felipe S. Abrahão , Klaus Wehmuth , Artur Ziviani

In this paper we prove that a fully irreducible outer automorphism relative to a non-exceptional free factor system acts loxodromically on the relative free factor complex as defined by Handel and Mosher. We also prove a north-south dynamic…

Group Theory · Mathematics 2017-12-29 Radhika Gupta

We prove an unconditional power saving for the dimension of the space of cohomological automorphic forms of fixed level and growing weight on GL_2 over any number field which is not totally real. Our proof involves the theory of p-adically…

Number Theory · Mathematics 2011-03-15 Simon Marshall

We extend logical categories with fiberwise interior and closure operators so as to obtain an embedding theorem into powers of the category of topological spaces. The required axioms, besides the Kuratowski closure axioms, are a `product…

Category Theory · Mathematics 2025-07-29 Silvio Ghilardi , Jérémie Marquès

For which (first-order complete, usually countable) $T$ do there exist non-isomorphic models of $T$ which become isomorphic after forcing with a forcing notion $\mathbb{P}$? Necessarily, $\mathbb{P}$ is non-trivial; i.e.~it adds some new…

Logic · Mathematics 2025-07-03 Saharon Shelah

We finish proving that an irreducible automorphism f of a handlebody is efficient if, and only if, a certain standard pair of dual f--invariant laminations have the geometric tightness property. In a previous paper it was proved that this…

Geometric Topology · Mathematics 2013-05-28 Leonardo N. Carvalho

In this paper, we characterize by lexicographic order all finite Sturmian and episturmian words, i.e., all (finite) factors of such infinite words. Consequently, we obtain a characterization of infinite episturmian words in a "wide sense"…

Combinatorics · Mathematics 2010-03-16 Amy Glen , Jacques Justin , Giuseppe Pirillo

For automorphisms of a polynomial ring in two variables over a domain R, we show that local tameness implies global tameness provided that every 2-generated invertible R-module is free. We give many examples illustrating this property.

Algebraic Geometry · Mathematics 2010-11-04 Joost Berson , Adrien Dubouloz , Jean-Philippe Furter , Stefan Maubach

We show that finitely generated irreducible $\mathrm{II}_1$ subfactors are generic in the following sense. Given a separable $\mathrm{II}_1$ factor $M$ and an integer $n\geq 2$, equip the set of $n$-tuples of self-adjoint operators in $M$…

Operator Algebras · Mathematics 2025-06-03 Yoonkyeong Lee , Brent Nelson

We study the $T$-dual completion of the four-dimensional ${\cal N}=1$ type II effective potentials in the presence of (non-)geometric fluxes. First, we invoke a cohomology version of the $T$-dual transformations among the various moduli,…

High Energy Physics - Theory · Physics 2022-02-15 Pramod Shukla

It is an immediate consequence of the ergodic structure theorem of Host and Kra that every factor of an ergodic $k$-step pro-nilsystem is again an ergodic $k$-step pro-nilsystem. It has remained open whether this fact can be proved…

Dynamical Systems · Mathematics 2026-05-26 Pauwel Van Den Eeckhaut , Asgar Jamneshan

It is proved that the ring $R$ with center $Z(R)$, such that the module $R_{Z(R)}$ is an essential extension of the module $Z(R)_{Z(R)}$, is not necessarily right quasi-invariant, i.e., maximal right ideals of the ring $R$ are not…

Rings and Algebras · Mathematics 2022-04-25 Oleg Lyubimtsev , Askar Tuganbaev

Let $C_{n_1}\cup C_{n_2}\cup \ldots \cup C_{n_k}$ be a 2-factor i.e. a vertex-disjoint union of cycles. In this note we completely characterize those 2-factors that are uniquely embeddeble in their complement.

Combinatorics · Mathematics 2023-04-26 Igor Grzelec , Monika Pilśniak , Mariusz Woźniak

We prove the asymptotic large volume expression of diagonal form factors in integrable models by evaluating carefully the diagonal limit of a non-diagonal form factor in which we send the rapidity of the extra particle to infinity.

High Energy Physics - Theory · Physics 2017-07-26 Zoltan Bajnok , Chao Wu

Let $R$ be a commutative Noetherian local ring. Assume that $R$ has a pair $\{x,y\}$ of exact zerodivisors such that $\dim R/(x,y)\ge2$ and all totally reflexive $R/(x)$-modules are free. We show that the first and second Brauer--Thrall…

Commutative Algebra · Mathematics 2017-01-04 Olgur Celikbas , Mohsen Gheibi , Ryo Takahashi

We express explicitly the integral closures of some ring extensions; this is done for all Bring-Jerrard extensions of any degree as well as for all general extensions of degree < 6; so far such an explicit expression is known only for…

Algebraic Geometry · Mathematics 2007-05-23 Sheng-Li Tan , De-Qi Zhang