Elementary equivalence of stable linear groups over fields of characteristic 2

Elementary equivalence of right-angled Coxeter groups and graph products of finite abelian groups

We show that graph products of finite abelian groups are elementarily equivalent if and only if they are $\exists\forall$-equivalent if and only if they are isomorphic. In particular, two right-angled Coxeter groups are elementarily equivalent if and only if they are isomorphic.

Elementary equivalence in Artin groups of finite type

Irreducible Artin groups of finite type can be parametrized via their associated Coxeter diagrams into six sporadic examples and four infinite families, each of which is further parametrized by the natural numbers. Within each of these four infinite families, we investigate the relationship between elementary equivalence and isomorphism. For three out of the four families, we show that two groups in the same family are equivalent if and only if they are isomorphic; a positive, but weaker, result is also attained for the fourth family. In particular, we show that two braid groups are elementari…

Direct products and elementary equivalence of polycyclic-by-finite groups

We give an algebraic characterization of elementary equivalence for polycyclic-by-finite groups. Using this characterization, we investigate the relations between their elementary equivalence and the elementary equivalence of the factors in their decompositions in direct products of indecomposable groups. In particular we prove that the elementary equivalence of two such groups G,H is equivalent to each of the following properties: 1)Gx...xG (k times G) and Hx...xG (k times H) are elementarily equivalent for a strictly positive integer k; 2)AxG and AxH are elementarily equivalent for two eleme…

Kac-Moody 群的初等等价

Elementary equivalence of Kac-Moody groups

本文研究 Kac-Moody 群的初等等价，证明其蕴含广义 Cartan 矩阵、基域及孪生根数据的对应一致，并推广到有限域代数闭包的无穷子域情形。

Morita equivalence classes of blocks with elementary abelian defect groups of order 16

We classify the Morita equivalence classes of blocks with elementary abelian defect groups of order $16$ with respect to a complete discrete valuation ring with algebraically closed residue field of characteristic two. As a consequence, blocks with this defect group are derived equivalent to their Brauer correspondent in the normalizer of a defect group and so satisfy Broué's Conjecture.

An elementary approach to sofic equivalence relations

We present an elementary description of sofic equivalence relations, as well as some permanence properties for soficity. We answer a question by Conley, Kechris and Tucker-Drob of determining soficity in terms of the full group for aperiodic relations.

Elementary equivalence of infinite-dimensional classical groups

Let D be a division ring such that the number of conjugacy classes in the multiplicative group D^* is equal to the power of D^*. Suppose that H(V) is the group GL(V) or PGL(V), where V is an infinite-dimensional vector space over D. We prove, in particular, that, uniformly in dim(V) and D, the first-order theory of H(V) is mutually syntactically interpretable with the theory of the two-sorted structure <dim(V),D> (whose only relations are the division ring operations on D) in the second-order logic with quantification over arbitrary relations of power <= dim(V). A certain analogue of this resu…

Morita equivalence classes of principal blocks with elementary abelian defect groups of order 64

We classify the Morita equivalence classes of principal blocks with elementary abelian defect groups of order 64 with respect to a complete discrete valuation ring with an algebraically closed residue field of characteristic two.

Diophantine Geometry over Groups X: The Elementary Theory of Free Products of Groups

This paper is the 10th in a sequence on the structure of sets of solutions to systems of equations over groups, projections of such sets (Diophantine sets), and the structure of definable sets over few classes of groups. In the 10th paper we answer affirmatively a question of R. L. Vaught on the elementary equivalence of free products of pairs of elementarily equivalent groups, and obtain a generalization of Tarski's problem on the elementary equivalence of non-abelian free groups. Finally, we prove that free products of stable groups is stable, generalizing a previous result on the stability …

A topological zero-one law and elementary equivalence of finitely generated groups

Let $\mathcal G$ denote the space of finitely generated marked groups. We give equivalent characterizations of closed subspaces $\mathcal S\subseteq \mathcal G$ satisfying the following zero-one law: for any sentence $σ$ in the infinitary logic $\mathcal L_{ω_1, ω}$, the set of all models of $σ$ in $\mathcal S$ is either meager or comeager. In particular, we show that the zero-one law holds for certain natural spaces associated to hyperbolic groups and their generalizations. As an application, we obtain that generic torsion-free lacunary hyperbolic groups are elementarily equivalent; the same …

Morita equivalence classes of blocks with elementary abelian defect groups of order 32

We describe a general technique to classify blocks of finite groups, and we apply it to determine Morita equivalence classes of blocks with elementary abelian defect groups of order 32 with respect to a complete discrete valuation ring with an algebraically closed residue field of characteristic two. As a consequence we verify that a conjecture of Harada holds on these blocks.

光滑流形的初等等价与微分同胚群

Elementary equivalence and diffeomorphism groups of smooth manifolds

该研究证明了光滑流形的微分同胚群在初等等价下必然同胚，且在二维及以上维度中，保持光滑体积形式的微分同胚群也具有类似性质。

周期阿贝尔群的自同态环与自同构群的初等等价

Elementary equivalence of endomorphism rings and automorphism groups of periodic Abelian groups

该研究探讨周期阿贝尔群的自同态环与自同构群的初等等价问题，给出了自同态环初等等价的充要条件，并针对特定周期阿贝尔群刻画了自同构群初等等价的等价条件。

On the Gauge Equivalence of Twisted Quantum Doubles of Elementary Abelian and Extra-Special 2-Groups

We establish braided tensor equivalences among module categories over the twisted quantum double of a finite group defined by an extension of a group H by an abelian group, with 3-cocycle inflated from a 3-cocycle on H. We also prove that the canonical ribbon structure of the module category of any twisted quantum double of a finite group is preserved by braided tensor equivalences. We give two main applications: first, if G is an extra-special 2-group of width at least 2, we show that the quantum double of G twisted by a 3-cocycle w is gauge equivalent to a twisted quantum double of an elemen…

Broué's Conjecture for 2-blocks with elementary abelian defect groups of order 32

The first author has recently classified the Morita equivalence classes of 2-blocks B of finite groups with elementary abelian defect group of order 32. In all but three cases he proved that the Morita equivalence class determines the inertial quotient of B. We finish the remaining cases by utilizing the theory of lower defect groups. As a corollary, we verify Broué's Abelian Defect Group Conjecture in this situation.

Elementary coordinatization of finitely generated nilpotent groups

This paper has two main parts. In the first part we develop an elementary coordinatization for any nilpotent group $G$ taking exponents in a binomial principal ideal domain (PID) $A$. In case that the additive group $A^+$ of $A$ is finitely generated we prove using a classical result of Julia Robinson that one can obtain a central series for $G$ where the action of the ring of integers $\Z$ on the quotients of each of the consecutive terms of the series except for one very specific gap, called the special gap, is interpretable in $G$. Then we use a refinement of this central series to give a c…

具有自同置换源的稳定等价、斜切函子与函子性等价

Stable equivalences with endopermutation source, slash functors, and functorial equivalences

该研究在有限群块代数领域，证明了带自同置换源且诱导Morita型稳定等价的双模可经斜切函子生成诱导Morita等价的局部块代数双模，并据此推出这类等价蕴含Bouc和Yılmaz定义的函子性等价。

Overgroups of elementary block-diagonal subgroups in the classical symplectic group over an arbitrary commutative ring

In this paper we prove a sandwich classification theorem for subgroups of the classical symplectic group over an arbitrary commutative ring $R$ that contain the elementary block-diagonal (or subsystem) subgroup $\operatorname{Ep}(ν, R)$ corresponding to a unitary equivalence realation $ν$ such that all self-conjugate equivalence classes of $ν$ are of size at least 4 and all not-self-conjugate classes of $ν$ are of size at least 5. Namely, given a subgroup $H$ of $\operatorname{Sp}(2n, R)$ such that $\operatorname{Ep}(ν, R) \le H$ we show that there exists a unique exact major form net of ideal…

关于Morita型稳定等价与幂零块

On stable equivalences of Morita type and nilpotent blocks

本文用模理论方法重新证明了Puig的结果：与幂零块成Morita型稳定等价的块也是幂零块。

On stable equivalences with endopermutation source

We show that a bimodule between block algebras which has a fusion stable endopermutation module as a source and which induces Morita equivalences between centralisers of nontrivial subgroups of a defect group induces a stable equivalence of Morita type; this is a converse to a theorem of Puig. The special case where the source is trivial has long been known by many authors. The earliest instance for a result deducing a stable equivalence of Morita type from local Morita equivalences with possibly nontrivial endopermutation source is due to Puig, in the context of blocks with abelian defect gro…

Stable functorial equivalence of blocks

Let $k$ be an algebraically closed field of characteristic $p>0$, let $R$ be a commutative ring and let $\mathcal{F}$ be an algebraically closed field of characteristic $0$. We introduce the category $\overline{\mathcal{F}_{Rpp_k}}$ of stable diagonal $p$-permutation functors over $R$. We prove that the category $\overline{\mathcal{F}_{\mathbb{F}pp_k}}$ is semisimple and give a parametrization of its simple objects in terms of the simple diagonal $p$-permutation functors. We also introduce the notion of a stable functorial equivalence over $R$ between blocks of finite groups. We prove that if …

关于具有内置换源和Külshammer--Puig类的稳定等价

On stable equivalences with endopermutation source and Külshammer--Puig classes

本文借助教材\ref{Lin18b}的术语符号，为Puig提出的“由内置换源双模诱导的有限群块代数间Morita型稳定等价保持Külshammer--Puig类”这一结果提供了新证明。

关于具有扭曲对角顶点的莫蒂加稳定等价类型

On stable equivalences of Morita type with twisted diagonal vertices

论文通过简化术语和符号重新证明了Puig的结果，指出具有扭曲对角顶点的双块代数双模诱导出莫蒂加稳定等价时具有端排列模块源，并扩展到任意字段。

有限群主块的 Morita 型相对稳定等价与相对 Brauer 不可分解性

Relative stable equivalences of Morita type for the principal blocks of finite groups and relative Brauer indecomposability

针对具有公共中心 p-子群的有限群，本文提出构造 Morita 型相对 Z-稳定等价的方法，推广 Linckelmann 的相关结论，并引入相对 Brauer 不可分解性概念及其等价判定条件。

On the Andrews-Curtis equivalence

The Andrews-Curtis conjecture claims that every balanced presentation of the trivial group can be reduced to the standard one by a sequence of ``elementary transformations" which are Nielsen transformations augmented by arbitrary conjugations. It is a prevalent opinion that this conjecture is false; however, not many potential counterexamples are known. In this paper, we show that some of the previously proposed examples are actually not counterexamples. We hope that the tricks we used in constructing relevant chains of elementary transformations will be useful to those who attempt to establis…

Stable unital basis, hyperfocal subalgebras and basic Morita equivalences

We investigate Conjecture 1.6 introduced by Barker and Gelvin in [3], which says that any source algebra of a p-block (p is a prime) of finite group has the unit group containing a basis stabilized by left and right action of the defect group. We will reduce this conjecture to a similar statement about basis of the hyperfocal subalgebras in the source algebra. We will also show that such unital basis of source algebras of two p-blocks, stabilized by left and right action of the defect group, are transported trough basic Morita equivalences.

Inner amenability, property Gamma, McDuff II_1 factors and stable equivalence relations

We say that a countable group $G$ is McDuff if it admits a free ergodic probability measure preserving action such that the crossed product is a McDuff II_1 factor. Similarly, $G$ is said to be stable if it admits such an action with the orbit equivalence relation being stable. The McDuff property, stability, inner amenability and property Gamma are subtly related and several implications and non implications were obtained in [Ef73,JS85,Va09,Ki12a,Ki12b]. We complete the picture with the remaining implications and counterexamples.

Homotopy equivalences between p-subgroup categories

Let p be a prime number and G a finite group of order divisible by p. Quillen showed that the Brown poset of nonidentity p-subgroups of G is homotopy equivalent to its subposet of nonidentity elementary abelian subgroups. We show here that a similar statement holds for the fusion category of nonidentity p-subgroups of G. Other categories of p-subgroups of G are also considered.

Behaviour of entropy under bounded and integrable orbit equivalence

Let $G$ and $H$ be infinite finitely generated amenable groups. This paper studies two notions of equivalence between actions of such groups on standard Borel probability spaces. They are defined as stable orbit equivalences in which the associated cocycles satisfy certain tail bounds. In `integrable stable orbit equivalence', the length in $H$ of the cocycle-image of an element of $G$ must have finite integral over its domain (a subset of the $G$-system), and similarly for the reverse cocycle. In `bounded stable orbit equivalence', these functions must be essentially bounded in terms of the l…

Splendid Morita equivalences for principal 2-blocks with dihedral defect groups

Given a dihedral $2$-group $P$ of order at least~8, we classify the splendid Morita equivalence classes of principal $2$-blocks with defect groups isomorphic to $P$. To this end we construct explicit stable equivalences of Morita type induced by specific Scott modules using Brauer indecomposability and gluing methods; we then determine when these stable equivalences are actually Morita equivalences, and hence automatically splendid Morita equivalences. Finally, we compute the generalised decomposition numbers in each case.

Ideal bicombings for hyperbolic groups and applications

For every hyperbolic group and more general hyperbolic graphs, we construct an equivariant ideal bicombing: this is a homological analogue of the geodesic flow on negatively curved manifolds. We then construct a cohomological invariant which implies that several Measure Equivalence and Orbit Equivalence rigidity results established by Monod-Shalom hold for all non-elementary hyperbolic groups and their non-elementary subgroups. We also derive superrigidity results for actions of general irreducible lattices on a large class of hyperbolic metric spaces.

On weak equivalences of gradings

When one studies the structure (e.g. graded ideals, graded subspaces, radicals, ...) or graded polynomial identities of graded algebras, the grading group itself does not play an important role, but can be replaced by any other group that realizes the same grading. Here we come to the notion of weak equivalence of gradings: two gradings are weakly equivalent if there exists an isomorphism between the graded algebras that maps each graded component onto a graded component. The following question arises naturally: when a group grading on a finite dimensional algebra is weakly equivalent to a gra…

Stable orbit equivalence of Bernoulli actions of free groups and isomorphism of some of their factor actions

We give an elementary proof for Lewis Bowen's theorem saying that two Bernoulli actions of two free groups, each having arbitrary base probability spaces, are stably orbit equivalent. Our methods also show that for all compact groups K and every free product Γof n infinite amenable groups, the factor K^Γ/K of the Bernoulli action of Γon K^Γ by the diagonal action of K, is isomorphic with a Bernoulli action of Γ.