For any $2\le n\le \infty$, we construct a concrete 1-parameter family of non-orbit equivalent actions of the free group ${𝔽}_n$. These actions arise as diagonal products between a generalized Bernoulli action and the action ${𝔽}_n\curvearrowright ({𝕋}^2,{\lambda }^2)$, where ${𝔽}_n$ is seen as a subgroup of ${\mathrm{SL}}_2\left(\mathbb{Z}\right)$.

We study shadowing properties of continuous actions of the groups ${\mathbb{Z}}^p$ and ${\mathbb{Z}}^p\times {ℝ}^p$. Necessary and sufficient conditions are given under which a linear action of ${\mathbb{Z}}^p$ on ${ℂ}^m$ has a Lipschitz shadowing property.

Let Fⁿ be a connected, smooth and closed n-dimensional manifold satisfying the following property: if $N^m$ is any smooth and closed m-dimensional manifold with m > n and $T:N^m\to N^m$ is a smooth involution whose fixed point set is Fⁿ, then m = 2n. We describe the equivariant cobordism classification of smooth actions $(M^m;\Phi )$ of the group $G=Z{₂}^k$ on closed smooth m-dimensional manifolds $M^m$ for which the fixed point set of the action is a submanifold Fⁿ with the above property. This generalizes a result of F....

We study II${}_1$ factors $M$ and $N$ associated with good generalized Bernoulli actions of groups having an infinite almost normal subgroup with the relative property (T). We prove the following rigidity result : every finite index $M$-$N$-bimodule (in particular, every isomorphism between $M$ and $N$) is described by a commensurability of the groups involved and a commensurability of their actions. The fusion algebra of finite index $M$-$M$-bimodules is identified with an extended Hecke fusion algebra,...

Let $F=(f_1,...,f_q)$ be a polynomial dominating map from ${ℂ}^n$ to ${ℂ}^q$. We study the quotient ${𝒯}^1\left(F\right)$ of polynomial 1-forms that are exact along the generic fibres of $F$, by 1-forms of type $\mathrm{d}R+\sum a_i\mathrm{d}{f}_i$, where $R,a_1,...,a_q$ are polynomials. We prove that ${𝒯}^1\left(F\right)$ is always a torsion $ℂ[t_1,...,t_q]$-module. Then we determine under which conditions on $F$ we have ${𝒯}^1\left(F\right)=0$. As an application, we study the behaviour of a class of algebraic $({ℂ}^p,+)$-actions on ${ℂ}^n$, and determine in particular when these actions are trivial.

Let $H_g$ denote the closed 3-manifold obtained as the connected sum of g copies of S² × S¹, with free fundamental group of rank g. We prove that, for a finite group G acting on $H_g$ which induces a faithful action on the fundamental group, there is an upper bound for the order of G which is quadratic in g, but there does not exist a linear bound in g. This implies then a Jordan-type bound for arbitrary finite group actions on $H_g$ which is quadratic in g. For the proofs we develop a calculus...

Let $k$ be an algebraically closed field of characteristic $p\>0$. We study obstructions to lifting to characteristic $0$ the faithful continuous action $\phi$ of a finite group $G$ on $k\left[\right[t\left]\right]$. To each such $\phi$ a theorem of Katz and Gabber associates an action of $G$ on a smooth projective curve $Y$ over $k$. We say that the KGB obstruction of $\phi$ vanishes if $G$ acts on a smooth projective curve $X$ in characteristic $0$ in such a way that $X/H$ and $Y/H$ have the same genus for all subgroups $H\subset G$. We determine for which $G$ the KGB...

It is known that $ℬ\left({\ell }^p\right)$ is not amenable for p = 1,2,∞, but whether or not $ℬ\left({\ell }^p\right)$ is amenable for p ∈ (1,∞) ∖ 2 is an open problem. We show that, if $ℬ\left({\ell }^p\right)$ is amenable for p ∈ (1,∞), then so are ${\ell }^{\infty }\left(ℬ\left({\ell }^p\right)\right)$ and ${\ell }^{\infty }\left(\left({\ell }^p\right)\right)$. Moreover, if ${\ell }^{\infty }\left(\left({\ell }^p\right)\right)$ is amenable so is ${\ell }^{\infty }(,\left(E\right))$ for any index set and for any infinite-dimensional ${ℒ}^p$-space E; in particular, if ${\ell }^{\infty }\left(\left({\ell }^p\right)\right)$ is amenable for p ∈ (1,∞), then so is ${\ell }^{\infty }\left(\left({\ell }^p\oplus \ell ²\right)\right)$. We show that ${\ell }^{\infty }\left(\left({\ell }^p\oplus \ell ²\right)\right)$ is not amenable for p = 1,∞, but also that our methods fail us if p ∈ (1,∞). Finally, for p ∈ (1,2) and a free ultrafilter over...

Ozawa showed in [21] that for any i.c.c. hyperbolic group, the associated group factor $L\Gamma$ is solid. Developing a new approach that combines some methods of Peterson [29], Ozawa and Popa [27, 28], and Ozawa [25], we strengthen this result by showing that $L\Gamma$ is strongly solid. Using our methods in cooperation with a cocycle superrigidity result of Ioana [12], we show that profinite actions of lattices in $\mathrm{Sp}(n,1)$, $n\ge 2$, are virtually $W^{*}$-superrigid.

The generalized non-commutative torus $T_{\varrho }^k$ of rank n is defined by the crossed product $A_{m/k}{\times }_{\alpha ₃}\mathbb{Z}{\times }_{\alpha ₄}...{\times }_{\alpha ₙ}\mathbb{Z}$, where the actions ${\alpha }_i$ of ℤ on the fibre $M_k\left(ℂ\right)$ of a rational rotation algebra $A_{m/k}$ are trivial, and $C*\left(k\mathbb{Z}\times k\mathbb{Z}\right){\times }_{\alpha ₃}\mathbb{Z}{\times }_{\alpha ₄}...{\times }_{\alpha ₙ}\mathbb{Z}$ is a non-commutative torus $A_{\varrho }$. It is shown that $T_{\varrho }^k$ is strongly Morita equivalent to $A_{\varrho }$, and that $T_{\varrho }^k\otimes M_{p^{\infty }}$ is isomorphic to $A_{\varrho }\otimes M_k\left(ℂ\right)\otimes M_{p^{\infty }}$ if and only if the set of prime factors of k is a subset of the set of prime factors of p.

Let Fⁿ be a connected, smooth and closed n-dimensional manifold. We call Fⁿ a manifold with property when it has the following property: if $N^m$ is any smooth closed m-dimensional manifold with m > n and $T:N^m\to N^m$ is a smooth involution whose fixed point set is Fⁿ, then m = 2n. Examples of manifolds with this property are: the real, complex and quaternionic even-dimensional projective spaces $R{P}^{2n}$, $C{P}^{2n}$ and $H{P}^{2n}$, and the connected sum of $R{P}^{2n}$ and any number of copies of Sⁿ × Sⁿ, where Sⁿ is the n-sphere...

We show that, whenever $\Gamma$ is a countable abelian group and $\Delta$ is a finitely-generated subgroup of $\Gamma$, a generic measure-preserving action of $\Delta$ on a standard atomless probability space $(X,\mu )$ extends to a free measure-preserving action of $\Gamma$ on $(X,\mu )$. This extends a result of Ageev, corresponding to the case when $\Delta$ is infinite cyclic.

Let $k$ be a field of characteristic $p\>0$. Let $D_m$ be a ${BT}_m$ over $k$ (i.e., an $m$-truncated Barsotti–Tate group over $k$). Let $S$ be a $k$-scheme and let $X$ be a ${BT}_m$ over $S$. Let $S_{D_m}\left(X\right)$ be the subscheme of $S$ which describes the locus where $X$ is locally for the fppf topology isomorphic to $D_m$. If $p\ge 5$, we show that $S_{D_m}\left(X\right)$ is pure in $S$, i.e. the immersion $S_{D_m}\left(X\right)\hookrightarrow S$ is affine. For $p\in \{2,3\}$, we prove purity if $D_m$ satisfies a certain technical property depending only on its $p$-torsion $D_m\left[p\right]$. For $p\ge 5$, we apply the developed techniques to show that...

Let $X$ be a complex Fano manifold of arbitrary dimension, and $D$ a prime divisor in $X$. We consider the image ${𝒩}_1(D,X)$ of ${𝒩}_1\left(D\right)$ in ${𝒩}_1\left(X\right)$ under the natural push-forward of $1$-cycles. We show that ${\rho }_X-{\rho }_D\le codim{𝒩}_1(D,X)\le 8$. Moreover if $codim{𝒩}_1(D,X)\ge 3$, then either $X\cong S\times T$ where $S$ is a Del Pezzo surface, or $codim{𝒩}_1(D,X)=3$ and $X$ has a fibration in Del Pezzo surfaces onto a Fano manifold $T$ such that ${\rho }_X-{\rho }_T=4$.

Let ${ℱ}_h^i(k,n)$ be the $i$-th ordered configuration space of all distinct points $H_1,...,H_h$ in the Grassmannian $Gr(k,n)$ of $k$-dimensional subspaces of ${ℂ}^n$, whose sum is a subspace of dimension $i$. We prove that ${ℱ}_h^i(k,n)$ is (when non empty) a complex submanifold of $Gr{(k,n)}^h$ of dimension $i(n-i)+hk(i-k)$ and its fundamental group is trivial if $i=min(n,hk)$, $hk\ne n$ and $n\>2$ and equal to the braid group of the sphere $ℂ$ $P^1$ if $n=2$. Eventually we compute the fundamental group in the special case of hyperplane arrangements, i.e. $k=n-1$.

The author proved in 2018 that if $G$ is an open subset of a Hilbert space, $f_1,f_2:G\to ℝ$ continuous functions and $\omega$ a nontrivial modulus such that $f_1\le f_2$, $f_1$ is locally semiconvex with modulus $\omega$ and $f_2$ is locally semiconcave with modulus $\omega$, then there exists $f\in C_{\text{loc}}^{1,\omega }\left(G\right)$ such that $f_1\le f\le f_2$. This is a generalization of Ilmanen’s lemma (which deals with linear modulus and functions on an open subset of ${ℝ}^n$). Here we extend the mentioned result from Hilbert spaces to some superreflexive spaces, in particular to $L^p$ spaces, $p\in [2,\infty )$. We...

Given a locale $L$ and a join semilattice $J$ with bottom element $0_J$, a new concept $(\sigma ,J)$ called $L$-slice is defined,where $\sigma$ is as an action of the locale $L$ on the join semilattice $J$. The $L$-slice $(\sigma ,J)$ adopts topological properties of the locale $L$ through the action $\sigma$. It is shown that for each $a\in L$, ${\sigma }_a$ is an interior operator on $(\sigma ,J)$.The collection $M=\{{\sigma }_a;a\in L\}$ is a Priestly space and a subslice of $L$-$Hom(J,J)$. If the locale $L$ is spatial we establish an isomorphism between the $L$-slices $(\sigma ,L)$ and $(\delta ,M)$. We have shown that the fixed...

Let $M$ be an $m$-dimensional manifold and $A={𝔻}_k^r/I=ℝ\oplus N_A$ a Weil algebra of height $r$. We prove that any $A$-covelocity $T_x^{A}f\in T_x^{A*}M$, $x\in M$ is determined by its values over arbitrary $max\{\mathrm{width}A,m\}$ regular and under the first jet projection linearly independent elements of $T_x^{A}M$. Further, we prove the rigidity of the so-called universally reparametrizable Weil algebras. Applying essentially those partial results we give the proof of the general rigidity result $T^{A*}M\simeq T^{r*}M$ without coordinate computations, which improves and generalizes the partial...

Let $\mathrm{T}$ be the family of all typically real functions, i.e. functions that are analytic in the unit disk $\Delta :=\{z\in ℂ:|z|<1\}$, normalized by $f\left(0\right)=f^{\text{'}}\left(0\right)-1=0$ and such that Im $z$ Im $f\left(z\right)$ $\ge 0$ for $z\in \Delta$. Moreover, let us denote: ${\mathrm{T}}^{\left(2\right)}:=\{f\in \mathrm{T}:f\left(z\right)=-f(-z)\text{for}z\in \Delta \}$ and ${\mathrm{T}}^{M,g}:=\{f\in \mathrm{T}:f\prec Mg\text{in}\Delta \}$, where $M>1$, $g\in \mathrm{T}\cap \mathrm{S}$ and $\mathrm{S}$ consists of all analytic functions, normalized and univalent in $\Delta$.We investigate  classes in which the subordination is replaced with the majorization and the function $g$ is typically real but does not necessarily univalent, i.e. classes $\{f\in \mathrm{T}:f\ll Mg\text{in}\Delta \}$, where $M>1$, $g\in \mathrm{T}$, which we denote...