相关论文: O-minimal cohomology: finiteness and invariance re…

This paper has two parts. In the first one, we prove that an invariant dp-minimal type is either finitely satisfiable or definable. We also prove that a definable version of the (p,q)-theorem holds in dp-minimal theories of small or medium…

In this paper we study a notion of HL-extension (HL standing for Herwig--Lascar) for a structure in a finite relational language $\mathcal{L}$. We give a description of all finite minimal HL-extensions of a given finite…

We show that the derived subgroup of a linear definable group in an o-minimal structure is also definable, extending the semialgebraic case proved by A. Pillay. We also show the definability of the derived subgroup in case that the group is…

We show that the 1-h-minimal fields satisfy a property of naive compactness for decreasing definable families of closed bounded sets indexed by the value group. We use this to prove that a local topological definable group has a definable…

In this note we show that every definably connected, definably compact abelian definable group in an o-minimal expansion of a real closed field of dimension not 4 is definably homeomorphic to a torus of the same dimension. Moreover, in the…

We develop in this paper the theory of covers for Hausdorff properly $\bigvee $-definable manifolds with definable choice in an o-minimal structure $\N$. In particular, we show that given an $\N$-definably connected $\N$-definable group $G$…

We study cohomology for $p$-local finite groups with non-constant coefficient systems. In particular we show that under certain restrictions there exists a cohomology transfer map in this context, and deduce the standard consequences.

In this paper we study topological cocycles for minimal homeomorphisms on a compact metric space. We introduce a notion of an essential range for topological cocycles with values in a locally compact group, and we show that this notion…

We study exactness of groups and establish a characterization of exact groups in terms of the existence of a continuous linear operator, called an invariant expectation, whose properties make it a weak counterpart of an invariant mean on a…

The following two assertions are equivalent for an o-minimal expansion of an ordered group $\mathcal M=(M,<,+,0,\ldots)$. There exists a definable bijection between a bounded interval and an unbounded interval. Any definable continuous…

We consider definably complete and Baire expansions of ordered fields: every definable subset of the domain of the structure has a supremum and the domain can not be written as the union of a definable increasing family of nowhere dense…

We consider definable topological spaces of dimension one in o-minimal structures, and state several equivalent conditions for when such a topological space $\left(X,\tau\right)$ is definably homeomorphic to an affine definable space…

We generalize a recent result by J.F. Carlson to finite tensor categories having finitely generated cohomology. Specifically, we show that if the Krull dimension of the cohomology ring is sufficiently large, then there exist infinitely many…

We work over an o-minimal expansion of a real closed field R. Given a closed simplicial complex K and a finite number of definable subsets of its realization |K| in R we prove that there exists a triangulation (K',f) of |K| compatible with…

In this paper we first survey some basic results in the cohomology of finite groups, and then discuss recent work on constructing free actions of finite groups on products of spheres.

We associate with every locally expanding self-covering $f:M\to M$ of a compact path connected metric space a finitely presented group $V_f$. We prove that this group is a complete invariant of the dynamical system: two groups $V_{f_1}$ and…

We introduce the Insertion Chain Complex, a higher-dimensional extension of insertion graphs, as a new framework for analyzing finite sets of words. We study its topological and combinatorial properties, in particular its homology groups,…

We give a geometric proof of existence of Whitney stratifications of definable sets in o-minimal structures.

We characterize, up to Lie isomorphism, the real Lie groups that are definable in an o-minimal expansion of the real field.

This paper investigates almost o-minimal structures, a weakening of o-minimality introduced by Fujita to capture structures that lie outside the classical o-minimal framework. In contrast to o-minimality and local o-minimality, almost…