English
Related papers

Related papers: O-minimal cohomology and definably compact definab…

200 papers

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…

Logic · Mathematics 2010-05-18 Antongiulio Fornasiero , Tamara Servi

If X is a CW complex, one can assign to each point of X an ordered abelian group of finite rank whose subset of positive elements depends continuously on the points of X. A locally trivial bundle which arises in this way we denote by E(X).…

K-Theory and Homology · Mathematics 2007-05-23 Igor Nikolaev

Given an extension $0\to V\to G\to Q\to1$ of locally compact groups, with $V$ abelian, and a compatible essentially bijective $1$-cocycle $\eta\colon Q\to\hat V$, we define a dual unitary $2$-cocycle on $G$ and show that the associated…

Operator Algebras · Mathematics 2023-12-04 Pierre Bieliavsky , Victor Gayral , Sergey Neshveyev , Lars Tuset

We prove finite generation of the cohomology ring of any finite dimensional pointed Hopf algebra, having abelian group of grouplike elements, under some mild restrictions on the group order. The proof uses the recent classification by…

Rings and Algebras · Mathematics 2014-02-26 M. Mastnak , J. Pevtsova , P. Schauenburg , S. Witherspoon

We prove the equivalence between the simplicial Orlicz cohomology and the Orlicz-de Rham cohomology in the case of Lie groups. Since the first one is a quasi-isometry invariant for uniformly contractible simplicial complexes with bounded…

Metric Geometry · Mathematics 2020-06-18 Emiliano Sequeira

For a connected Noetherian unstable algebra $R$ over the mod $p$ Steenrod algebra, we prove versions of theorems of Duflot and Carlson on the depth of $R$, originally proved when $R$ is the mod $p$ cohomology ring of a finite group. This…

Algebraic Topology · Mathematics 2019-07-16 Drew Heard

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…

Logic · Mathematics 2023-05-17 Masato Fujita

There are strong analogies between groups definable in o-minimal structures and real Lie groups. Nevertheless, unlike the real case, not every definable group has maximal definably compact subgroups. We study definable groups G which are…

Logic · Mathematics 2009-12-25 Annalisa Conversano

We are concerned with topology of Hensel minimal structures on non-trivially valued fields $K$, whose axiomatic theory was introduced in a recent paper by Cluckers-Halupczok-Rideau. We additionally require that every definable subset in the…

Algebraic Geometry · Mathematics 2024-12-10 Krzysztof Jan Nowak

We show that the strategy of point counting in o-minimal structures can be applied to various problems on unlikely intersections that go beyond the conjectures of Manin-Mumford and Andr\'e-Oort. We verify the so-called Zilber-Pink…

Number Theory · Mathematics 2014-09-03 Philipp Habegger , Jonathan Pila

Using Poincar\'e duality in K-theory, we state and prove a Lefschetz fixed point formula for endomorphisms of cross product C*-algebras $C_0(X)\cross G$ coming from covariant pairs. Here $G$ is assumed countable, $X$ a manifold, and…

K-Theory and Homology · Mathematics 2008-05-29 Siegfried Echterhoff , Heath Emerson , Hyun Jeong Kim

In this paper, we give a uniqueness theorem for the Dirichlet problem of minimal maps into general Riemannian manifolds with non-positive sectional curvature, improving Theorem 5.2 of Lee-Ooi-Tsui's paper published in J. Geom. Anal.. The…

Differential Geometry · Mathematics 2025-02-25 Zhiwei Jia , Minghao Li , Ling Yang

Let $\mathcal F=(F, +. \cdot, <, 0, 1, \dots)$ be a definably complete locally o-minimal expansion of an ordered field. We demonstrate the existence of definable quotients of definable sets by definable equivalence relations when several…

Logic · Mathematics 2026-01-09 Masato Fujita , Tomohiro Kawakami

We investigate continuous functions definable in a definably complete uniformly locally o-minimal expansion of the second kind of a densely linearly ordered abelian group (DCULOAS structure). We prove a variant of the Arzela-Ascoli theorem…

Logic · Mathematics 2021-02-04 Masato Fujita

Originally motivated by connections to integrable systems, two natural subalgebras of the rational Cherednik algebra have been considered in the literature. The first is the subalgebra of all degree zero elements and the second is the Dunkl…

Quantum Algebra · Mathematics 2026-02-04 Gwyn Bellamy , Misha Feigin , Niall Hird

We prove structure theorems for o-minimal definable subsets $S\subset G$ of definable groups containing large multiplicative structures, and show definable groups do not have bounded torsion arbitrarily close to the identity. As an…

Logic · Mathematics 2022-06-17 Hunter Spink

We prove new upper bounds on homotopy and homology groups of o-minimal sets in terms of their approximations by compact o-minimal sets. In particular, we improve the known upper bounds on Betti numbers of semialgebraic sets defined by…

Algebraic Geometry · Mathematics 2014-02-26 Andrei Gabrielov , Nicolai Vorobjov

In this paper we shall investigate the concepts of cofiniteness of local cohomology modules and Abelian categories of cofinite modules over arbitrary Noetherian rings. Then we shall improve some of the results given in the literature.

Commutative Algebra · Mathematics 2019-01-23 Kamal , Bahmanpour

This work is devoted to an intrinsic cohomology theory of Koszul-Vinberg algebras and their modules. Our results may be regarded as improvements of the attempt by Albert Nijenhuis in [NA]. The relationships between the cohomology theory…

Differential Geometry · Mathematics 2007-05-23 Michel Nguiffo Boyom

We define duality triples and duality pairs in compactly generated triangulated categories and investigate their properties. This enables us to give an elementary way to determine whether a class is closed under pure subobjects, pure…

Category Theory · Mathematics 2024-09-16 Isaac Bird , Jordan Williamson