Related papers: A generalization of Solovay's $\Sigma$-constructio…

In this article, we generalise a result of Pottmeyer from the multiplicative group of the algebraic numbers to almost split semiabelian varieties defined over number fields. This concerns a consequence of R\'emond's generalisation of…

In the present notes we generalize the classical work of Demazure [Invariants sym\'etriques entiers des groupes de Weyl et torsion] to arbitrary oriented cohomology theories and formal group laws. Let G be a split semisemiple linear…

We extend the theory of generalized divisors so as to work on any scheme $X$ satisfying the condition $S_2$ of Serre. We define a generalized notion of Gorenstein biliaison for schemes in projective space. With this we give a new proof in a…

We explore the Borel complexity of some basic families of subsets of a countable group (large, small, thin, sparse and other) defined by the size of their elements. Applying the obtained results to the Stone-\v{C}ech compactification $\beta…

We introduce a notion of generalized Serre duality on a Hom-finite Krull-Schmidt triangulated category $\mathcal{T}$. This duality induces the generalized Serre functor on $\mathcal{T}$, which is a linear triangle equivalence between two…

We show that in the context of two-dimensional sigma models minimal coupling of an ordinary rigid symmetry Lie algebra $\mathfrak{g}$ leads naturally to the appearance of the "generalized tangent bundle" $\mathbb{T}M \equiv TM \oplus T^*M$…

The following is true in the Solovay model. 1. If $\leq$ is a Borel partial quasi-order on a Borel set $D$ of the reals, $X$ is a ROD subset of $D$, and $\leq$ restricted to $X$ is linear, then $X$ is countably cofinal in the sense of…

For a given group $G$, it is natural to ask whether one can classify all isometric $G$-actions on Gromov hyperbolic spaces. We propose a formalization of this problem utilizing the complexity theory of Borel equivalence relations. In this…

Following the construction from `Degrees of growth of finitely generated groups and the theory of invariant means' we generalize the Grigorchuk's overgroup $\tilde{\mathcal{G}}$, studied in `On parabolic subgroups and Hecke algebras of some…

Let $G$ be a transitive permutation group on $\Omega$ with two points $\alpha, \beta\in\Omega$ such that $G_{\alpha}\cap G_{\beta}=1$. The Saxl graph $\Sigma(G)$ of the pair $(G,\Omega)$ is the graph with vertex set $\Omega$, while two…

Let G be a simple, simply connected algebraic group defined over an algebraically closed field k of positive characteristic p. Let \sigma:G->G be a strict endomorphism (i. e., the subgroup G(\sigma) of \sigma-fixed points is finite). Also,…

We develop a new point of view to introduce families of functions, which can be identified as generalization of the ordinary trigonometric or hyperbolic functions. They are defined using a procedure based on umbral methods, inspired to the…

Based on the work done in \cite{BV-Tind,DMS} in the o-minimal and geometric settings, we study expansions of models of a supersimple theory with a new predicate distiguishing a set of forking-independent elements that is dense inside a…

A two-point selection on a set $X$ is a function $f:[X]^2 \to X$ such that $f(F) \in F$ for every $F \in [X]^2$. It is known that every two-point selection $f:[X]^2 \to X$ induced a topology $\tau_f$ on $X$ by using the relation: $x \leq y$…

The structure of a certain subgroup $S$ of the automorphism group of a partially commutative group (RAAG) $G$ is described in detail: namely the subgroup generated by inversions and elementary transvections. We define admissible subsets of…

We develop a general theory for class-sized symmetric systems as a natural extension of symmetric systems with respect to class forcing. In particular, adapting the usual notions of pretameness and tameness for class forcing, we present…

Let $G$ be a reductive algebraic group---possibly non-connected---over a field $k$ and let $H$ be a subgroup of $G$. If $G= GL_n$ then there is a degeneration process for obtaining from $H$ a completely reducible subgroup $H'$ of $G$; one…

For a finite-dimensional vector space $V$, the common basis complex of $V$ is the simplicial complex whose vertices are the proper non-zero subspaces of $V$, and $\sigma$ is a simplex if and only if there exists a basis $B$ of $V$ that…

A $\sigma$-frame is a poset with countable joins and finite meets in which binary meets distribute over countable joins. The aim of this paper is to show that $\sigma$-frames, actually $\sigma$-locales, can be seen as a branch of Formal…

Let $G$ be an abelian Polish group, e.g. a separable Banach space. A subset $X \subset G$ is called Haar null (in the sense of Christensen) if there exists a Borel set $B \supset X$ and a Borel probability measure $\mu$ on $G$ such that…