Showing 1–34 of 34 results for author: Vishne, U

The algebra of supernatural matrices

Authors: Tamar Bar-On, Shira Gilat, Eli Matzri, Uzi Vishne

Abstract: The algebra of supernatural matrices is a key example in the theory of locally finite central simple algebras, which studied in a previous paper of the authors (\cite{Local}). It is also a stand-alone object admits a rich study and various connections to other fields. The goal of this paper is to expose some new information about supernatural matrices, mainly in terms of the "inner" ways to identi… ▽ More The algebra of supernatural matrices is a key example in the theory of locally finite central simple algebras, which studied in a previous paper of the authors (\cite{Local}). It is also a stand-alone object admits a rich study and various connections to other fields. The goal of this paper is to expose some new information about supernatural matrices, mainly in terms of the "inner" ways to identify such algebras, and their appearance as minimal solutions to equations of the form $M_n(A)\cong A$. Viewing a natural representation of this algebra, we show that supernatural matrices generalize both McCrimmon's deep matrices algebra and $m$-petal Leavitt path algebra. We also study their simple representations. △ Less

Submitted 31 October, 2023; originally announced November 2023.

Semiassociative algebras over a field

Authors: Guy Blachar, Darrell Haile, Eliyahu Matzri, Edan Rein, Uzi Vishne

Abstract: An associative central simple algebra is a form of matrices, because a maximal étale subalgebra acts on the algebra faithfully by left and right multiplication. In an attempt to extract and isolate the full potential of this point of view, we study nonassociative algebras whose nucleus contains an étale subalgebra bi-acting faithfully on the algebra. These algebras, termed semiassociative, are sho… ▽ More An associative central simple algebra is a form of matrices, because a maximal étale subalgebra acts on the algebra faithfully by left and right multiplication. In an attempt to extract and isolate the full potential of this point of view, we study nonassociative algebras whose nucleus contains an étale subalgebra bi-acting faithfully on the algebra. These algebras, termed semiassociative, are shown to be the forms of skew matrices, which we are led to define and investigate. Semiassociative algebras modulo skew matrices compose a Brauer monoid, which contains the Brauer group of the field as a unique maximal subgroup. △ Less

Submitted 8 December, 2023; v1 submitted 28 August, 2023; originally announced August 2023.

Comments: 50 pages, 1 figure

The fundamental group of Galois covers of surfaces of degree $8$

Authors: Meirav Amram, Cheng Gong, Praveen Kumar Roy, Uriel Sinichkin, Uzi Vishne

Abstract: We compute the fundamental group of the Galois cover of a surface of degree $8$, with singularities of degree $4$ whose degeneration is homeomorphic to a sphere. The group is shown to be a metabelian group of order $2^{23}$. The computation amalgamates local groups, classified elsewhere, by an iterative combination of computational and group theoretic methods. Three simplified surfaces, for which… ▽ More We compute the fundamental group of the Galois cover of a surface of degree $8$, with singularities of degree $4$ whose degeneration is homeomorphic to a sphere. The group is shown to be a metabelian group of order $2^{23}$. The computation amalgamates local groups, classified elsewhere, by an iterative combination of computational and group theoretic methods. Three simplified surfaces, for which the fundamental group of the Galois cover is trivial, hint toward complications that depend on the homotopy of the degenerated surface. △ Less

Submitted 9 March, 2023; originally announced March 2023.

Comments: 25 pages, 17 figures

Representability of relatively free affine algebras over a Noetherian ring

Authors: Alexei Kanel-Belov, Louis Rowen, Uzi Vishne

Abstract: Over the years questions have arisen about T-ideals of (noncommutative) polynomials. But when evaluating a noncentral polynomial in subalgebras of matrices, one often has little control in determining the specific evaluations of the polynomial. One way of overcoming this difficulty in characteristic 0, is to reduce to multilinear polynomials and utilizing the representation theory of the symmetric… ▽ More Over the years questions have arisen about T-ideals of (noncommutative) polynomials. But when evaluating a noncentral polynomial in subalgebras of matrices, one often has little control in determining the specific evaluations of the polynomial. One way of overcoming this difficulty in characteristic 0, is to reduce to multilinear polynomials and utilizing the representation theory of the symmetric group. But this technique is unavailable in characteristic $p>0$. An alternative method, which succeeds, is the process of ``hiking'' a polynomial, in which one specializes its indeterminates in several stages, to obtain a polynomial that contains Capelli polynomials, in order to get control on its evaluations. This method was utilized on homogeneous polynomials in the proof of Specht's conjecture for affine algebras over fields of positive characteristic. In this paper we develop hiking further to nonhomogeneous polynomials, to apply to the representability question. Kemer proved in 1988 that every affine relatively free PI algebra over an infinite field, is representable. In 2010, the first author of this paper proved more generally that every affine relatively free PI algebra over any commutative Noetherian unital ring is representable. We present a different, complete, proof, based on hiking nonhomogeneous polynomials, over finite fields. We then obtain the full result over a Noetherian commutative ring, using Noetherian induction on T-ideals. The bulk of the proof is for the case of a base field of positive characteristic. Here, whereas the usage of hiking is more direct than in proving Specht's conjecture, one must consider nonhomogeneous polynomials when the base ring is finite, which entails certain difficulties to be overcome. In the appendix we show how hiking can be adapted to prove the involutory versions, as well as various graded and nonassociative theorems. △ Less

Submitted 1 February, 2023; v1 submitted 3 September, 2022; originally announced September 2022.

Comments: 30 pp. arXiv admin note: substantial text overlap with arXiv:1805.04450

MSC Class: Primary: 16R10; 16R40; 16W10; Secondary: 16G20; 17B50; 17C05

Property testing and expansion in cubical complexes

Authors: David Garber, Uzi Vishne

Abstract: We consider expansion and property testing in the language of incidence geometry, covering both simplicial and cubical complexes in any dimension. We develop a general method for passing from an explicit description of the cohomology group, which need not be trivial, to a testability proof with linear ratio between errors. The method is demonstrated by testing functions on 2-cells in cubical compl… ▽ More We consider expansion and property testing in the language of incidence geometry, covering both simplicial and cubical complexes in any dimension. We develop a general method for passing from an explicit description of the cohomology group, which need not be trivial, to a testability proof with linear ratio between errors. The method is demonstrated by testing functions on 2-cells in cubical complexes to be induced from the edges. △ Less

Submitted 26 November, 2019; v1 submitted 27 September, 2018; originally announced September 2018.

Comments: 25 pages; revised version; accepted to Discrete and Computational Geometry

Representability of affine algebras over an arbitrary field

Authors: Alexei Belov-Kanel, Louis Rowen, Uzi Vishne

Abstract: In a series of papers, we used full quivers as tools in describing PI-varieties of algebras and providing a complete proof of Belov's solution of Specht's problem for affine algebras over an arbitrary Noetherian ring. In this paper, utilizing ideas from that work, we give a full exposition of Belov's theorem that relatively free affine PI-algebras over an arbitrary field are representable. (Kemer… ▽ More In a series of papers, we used full quivers as tools in describing PI-varieties of algebras and providing a complete proof of Belov's solution of Specht's problem for affine algebras over an arbitrary Noetherian ring. In this paper, utilizing ideas from that work, we give a full exposition of Belov's theorem that relatively free affine PI-algebras over an arbitrary field are representable. (Kemer proved the theorem over an infinite field.) △ Less

Submitted 11 May, 2018; originally announced May 2018.

Comments: 20 pages

MSC Class: Primary: 16R10 Secondary: 16R30; 17A01; 17B01; 17C05

The Alternative Clifford Algebra of a Ternary Quadratic Form

Authors: Adam Chapman, Uzi Vishne

Abstract: We prove that the alternative Clifford algebra of a nondegenerate ternary quadratic form is an octonion algebra over the ring of polynomials in one variable over the field of definition. We prove that the alternative Clifford algebra of a nondegenerate ternary quadratic form is an octonion algebra over the ring of polynomials in one variable over the field of definition. △ Less

Submitted 12 January, 2019; v1 submitted 12 April, 2018; originally announced April 2018.

MSC Class: 17D05; 11E04; 11E81; 15A66

Bimodule Structure of Central Simple Algebras

Authors: Eliyahu Matzri, Louis H. Rowen, David J Saltman, Uzi Vishne

Abstract: For a maximal separable subfield $K$ of a central simple algebra $A$, we provide a semiring isomorphism between $K$-$K$-bimodules $A$ and $H$-$H$ bisets of $G = \Gal(L/F)$, where $F = \operatorname{Z}(A)$, $L$ is the Galois closure of $K/F$, and $H = \Gal(L/K)$. This leads to a combinatorial interpretation of the growth of $\dim_K((KaK)^i)$, for fixed $a \in A$, especially in terms of Kummer sets. For a maximal separable subfield $K$ of a central simple algebra $A$, we provide a semiring isomorphism between $K$-$K$-bimodules $A$ and $H$-$H$ bisets of $G = \Gal(L/F)$, where $F = \operatorname{Z}(A)$, $L$ is the Galois closure of $K/F$, and $H = \Gal(L/K)$. This leads to a combinatorial interpretation of the growth of $\dim_K((KaK)^i)$, for fixed $a \in A$, especially in terms of Kummer sets. △ Less

Submitted 27 January, 2016; originally announced January 2016.

MSC Class: 16K20

Linkage of Quadratic Pfister Forms

Authors: Adam Chapman, Shira Gilat, Uzi Vishne

Abstract: We study the necessary conditions for sets of quadratic $n$-fold Pfister forms to have a common $(n-1)$-fold Pfister factor. For any set $S$ of $n$-fold Pfister forms generating a subgroup of $I_q^n F/I_q^{n+1} F$ of order $2^s$ in which every element has an $n$-fold Pfister representative, we associate an invariant in $I_q^{n+1} F$ which lives inside $I_q^{n+s-1} F$ when the forms in $S$ have a c… ▽ More We study the necessary conditions for sets of quadratic $n$-fold Pfister forms to have a common $(n-1)$-fold Pfister factor. For any set $S$ of $n$-fold Pfister forms generating a subgroup of $I_q^n F/I_q^{n+1} F$ of order $2^s$ in which every element has an $n$-fold Pfister representative, we associate an invariant in $I_q^{n+1} F$ which lives inside $I_q^{n+s-1} F$ when the forms in $S$ have a common $(n-1)$-fold Pfister factor. We study the properties of this invariant and compute it explicitly in a few interesting cases. △ Less

Submitted 14 February, 2017; v1 submitted 10 November, 2015; originally announced November 2015.

MSC Class: 11E81 (primary); 11E04; 16K20 (secondary)

The Grassmann algebra in arbitrary characteristic and generalized sign

Authors: Gal Dor, Alexei Kanel-Belov, Uzi Vishne

Abstract: We define a generalization $\mathfrak{G}$ of the Grassmann algebra $G$ which is well-behaved over arbitrary commutative rings $C$, even when $2$ is not invertible. In particular, this enables us to define a notion of superalgebras that does not become degenerate in such a setting. Using this construction we are able to provide a basis of the non-graded multilinear identities of the free superalgeb… ▽ More We define a generalization $\mathfrak{G}$ of the Grassmann algebra $G$ which is well-behaved over arbitrary commutative rings $C$, even when $2$ is not invertible. In particular, this enables us to define a notion of superalgebras that does not become degenerate in such a setting. Using this construction we are able to provide a basis of the non-graded multilinear identities of the free superalgebra with supertrace, valid over any ring. We also show that all identities of $\mathfrak{G}$ follow from the Grassmann identity, and explicitly give its co-modules, which turn out to be generalizations of the sign representation. In particular, we show that the co-module is a free $C$-module of rank $2^{n-1}$. △ Less

Submitted 11 January, 2015; originally announced January 2015.

Comments: 25 pp

MSC Class: Primary 16R10; Secondary 17A70; 16R30; 16R50

Journal ref: Trans. Amer. Math. Soc. Ser. B 7 (2020), 227-253

Kummer Spaces in Cyclic Algebras of Prime Degree

Authors: Adam Chapman, David J. Grynkiewicz, Eliyahu Matzri, Louis H. Rowen, Uzi Vishne

Abstract: We classify the monomial Kummer subspaces of division cyclic algebras of prime degree $p$, showing that every such space is standard, and in particular the dimension is no greater than $p+1$. It follows that in a generic cyclic algebra, the dimension of any Kummer subspace is at most $p+1$. We classify the monomial Kummer subspaces of division cyclic algebras of prime degree $p$, showing that every such space is standard, and in particular the dimension is no greater than $p+1$. It follows that in a generic cyclic algebra, the dimension of any Kummer subspace is at most $p+1$. △ Less

Submitted 14 May, 2015; v1 submitted 22 October, 2014; originally announced October 2014.

Comments: 12 pages

MSC Class: Primary 16K20; Secondary 11J13

Unions of Chains of Primes

Authors: Be'eri Greenfeld, Louis H. Rowen, Uzi Vishne

Abstract: The union of an ascending chain of prime ideals is not always prime. We show that this property is independent of the parallel property for semiprimes. We also show that the PI-class is a tight bound on the number of non-prime unions of subchains in a chain of primes in a PI-algebra. The union of an ascending chain of prime ideals is not always prime. We show that this property is independent of the parallel property for semiprimes. We also show that the PI-class is a tight bound on the number of non-prime unions of subchains in a chain of primes in a PI-algebra. △ Less

Submitted 14 August, 2015; v1 submitted 5 August, 2014; originally announced August 2014.

Journal ref: Journal of Pure and Applied Algebra, Volume 220, Issue 4, April 2016, Pages 1451-1461

Bolza quaternion order and asymptotics of systoles along congruence subgroups

Authors: Karin Katz, Mikhail Katz, Michael Schein, Uzi Vishne

Abstract: We give a detailed description of the arithmetic Fuchsian group of the Bolza surface and the associated quaternion order. This description enables us to show that the corresponding principal congruence covers satisfy the bound sys(X) > 4/3 log g(X) on the systole, where g is the genus. We also exhibit the Bolza group as a congruence subgroup, and calculate out a few examples of "Bolza twins" (usin… ▽ More We give a detailed description of the arithmetic Fuchsian group of the Bolza surface and the associated quaternion order. This description enables us to show that the corresponding principal congruence covers satisfy the bound sys(X) > 4/3 log g(X) on the systole, where g is the genus. We also exhibit the Bolza group as a congruence subgroup, and calculate out a few examples of "Bolza twins" (using magma). Like the Hurwitz triplets, these correspond to the factoring of certain rational primes in the ring of integers of the invariant trace field of the surface. We exploit random sampling combined with the Reidemeister-Schreier algorithm as implemented in magma to generate these surfaces. △ Less

Submitted 16 July, 2015; v1 submitted 21 May, 2014; originally announced May 2014.

Comments: 35 pages, to appear in Experimental Mathematics

MSC Class: 53C23; 11R52; 16K20

Specht's problem for associative affine algebras over commutative Noetherian rings

Authors: Alexei Belov-Kanel, Louis Rowen, Uzi Vishne

Abstract: In a series of papers \cite{BRV1}, \cite{BRV2}, \cite{BRV3} we introduced full quivers and pseudo-quivers of representations of algebras, and used them as tools in describing PI-varieties of algebras. In this paper we apply them to obtain a complete proof of Belov's solution of Specht's problem for affine algebras over an arbitrary Noetherian ring. The inductive step relies on a theorem that enabl… ▽ More In a series of papers \cite{BRV1}, \cite{BRV2}, \cite{BRV3} we introduced full quivers and pseudo-quivers of representations of algebras, and used them as tools in describing PI-varieties of algebras. In this paper we apply them to obtain a complete proof of Belov's solution of Specht's problem for affine algebras over an arbitrary Noetherian ring. The inductive step relies on a theorem that enables one to find a "$\bar q$-characteristic coefficient-absorbing polynomial in each T-ideal $Γ$," i.e., a non-identity of the representable algebra $A$ arising from $Γ$, whose ideal of evaluations in $A$ is closed under multiplication by $\bar q$-powers of the characteristic coefficients of matrices corresponding to the generators of $A$, where $\bar q$ is a suitably large power of the order of the base field. The passage to an arbitrary Noetherian base ring $C$ involves localizing at finitely many elements a kind of $C$, and reducing to the field case by a local-global principle. △ Less

Submitted 14 August, 2013; originally announced August 2013.

Comments: 44 pages, submitted

MSC Class: 16R10

Journal ref: Trans. Amer. Math. Soc., 367 (2015), 5553--5596

Fields of definition for admissible groups

Authors: Danny Neftin, Uzi Vishne

Abstract: A finite group G is admissible over a field M if there is a division algebra whose center is M with a maximal subfield G-Galois over M. We consider nine possible notions of being admissible over M with respect to a subfield K of M, where the division algebra, the maximal subfield or the Galois group are asserted to be defined over K. We completely determine the logical implications between all var… ▽ More A finite group G is admissible over a field M if there is a division algebra whose center is M with a maximal subfield G-Galois over M. We consider nine possible notions of being admissible over M with respect to a subfield K of M, where the division algebra, the maximal subfield or the Galois group are asserted to be defined over K. We completely determine the logical implications between all variants. △ Less

Submitted 18 October, 2011; originally announced October 2011.

Comments: 11 pages. arXiv admin note: text overlap with arXiv:0911.3792

MSC Class: 16S35

Full quivers of representations of algebras

Authors: Alexei Belov-Kanel, Louis H. Rowen, Uzi Vishne

Abstract: We introduce the notion of the full quiver of a representation of an algebra, which is a cover of the (classical) quiver, but which captures properties of the representation itself. Gluing of vertices and of arrows enables one to study subtle combinatorial aspects of algebras which are lost in the classical quiver. Full quivers of representations apply especially well to \Zcd\ algebras, which have… ▽ More We introduce the notion of the full quiver of a representation of an algebra, which is a cover of the (classical) quiver, but which captures properties of the representation itself. Gluing of vertices and of arrows enables one to study subtle combinatorial aspects of algebras which are lost in the classical quiver. Full quivers of representations apply especially well to \Zcd\ algebras, which have properties very like those of finite dimensional algebras over fields. By choosing the representation appropriately, one can restrict the gluing to two main types: {\it Frobenius} (along the diagonal) and, more generally {\it proportional} Frobenius gluing (above the diagonal), and our main result is that any representable algebra has a faithful representation described completely by such a full quiver. Further reductions are considered, which bear on the polynomial identities. △ Less

Submitted 22 September, 2011; originally announced September 2011.

Comments: 44 pp

MSC Class: 16R99; 16G99

Journal ref: Trans. Amer. Math. Soc., 364:10 (2012), 5525--5569

Structure of Zariski-closed algebras

Authors: Alexei Belov-Kanel, Louis H. Rowen, Uzi Vishne

Abstract: The objective of this paper is to describe the structure of Zariski closed algebras, which provide a useful generalization to finite dimensional algebras in the study of representable algebras over finite fields. Our results include a version of Wedderburn's principal theorem, as well as a more explicit description using representations, in terms of "gluing" in Wedderburn components. Finally, we c… ▽ More The objective of this paper is to describe the structure of Zariski closed algebras, which provide a useful generalization to finite dimensional algebras in the study of representable algebras over finite fields. Our results include a version of Wedderburn's principal theorem, as well as a more explicit description using representations, in terms of "gluing" in Wedderburn components. Finally, we construct "generic" Zariski closed algebras, whose description is considerably more complicated than the description of generic algebra of finite dimensional algebras. Special attention is given to infinite dimensional algebras over finite fields. △ Less

Submitted 22 September, 2011; originally announced September 2011.

Comments: 40 pages

MSC Class: 16G99

Journal ref: Trans. Amer. Math. Soc, Vol. 362(9), 4695-4734, (2010)

Open Problems on Central Simple Algebras

Authors: Asher Auel, Eric Brussel, Skip Garibaldi, Uzi Vishne

Abstract: We provide a survey of past research and a list of open problems regarding central simple algebras and the Brauer group over a field, intended both for experts and for beginners. We provide a survey of past research and a list of open problems regarding central simple algebras and the Brauer group over a field, intended both for experts and for beginners. △ Less

Submitted 24 June, 2010; v1 submitted 16 June, 2010; originally announced June 2010.

Comments: v2 has some small revisions to the text. Some items are re-numbered, compared to v1

MSC Class: 16K20; 16K50; 16S35; 12G05; 14F22

Journal ref: Transformation Groups, vol. 16 #1 (2011), 219-264

Realizability and admissibility under extension of p-adic and number fields

Authors: Danny Neftin, Uzi Vishne

Abstract: A finite group G is K-admissible if there exists a G-crossed product K-division algebra. In this manuscript we study the behavior of admissibility under extensions of number fields M/K. We show that in many cases, including Sylow metacyclic and nilpotent groups whose order is prime to the number of roots of unity in M, a K-admissible group G is M-admissible if and only if G satisfies the easily ve… ▽ More A finite group G is K-admissible if there exists a G-crossed product K-division algebra. In this manuscript we study the behavior of admissibility under extensions of number fields M/K. We show that in many cases, including Sylow metacyclic and nilpotent groups whose order is prime to the number of roots of unity in M, a K-admissible group G is M-admissible if and only if G satisfies the easily verifiable Liedahl condition over M. △ Less

Submitted 21 November, 2011; v1 submitted 19 November, 2009; originally announced November 2009.

Comments: 22 pages

MSC Class: 16K20; 16S35; 11S20

Hurwitz quaternion order and arithmetic Riemann surfaces

Authors: Mikhail G. Katz, Mary Schaps, Uzi Vishne

Abstract: We clarify the explicit structure of the Hurwitz quaternion order, which is of fundamental importance in Riemann surface theory and systolic geometry. We clarify the explicit structure of the Hurwitz quaternion order, which is of fundamental importance in Riemann surface theory and systolic geometry. △ Less

Submitted 9 January, 2011; v1 submitted 4 January, 2007; originally announced January 2007.

Comments: 14 pages, to appear in Geometriae Dedicata

MSC Class: 11R52; 53C23; 16K20

Logarithmic growth of systole of arithmetic Riemann surfaces along congruence subgroups

Authors: Mikhail G. Katz, Mary Schaps, Uzi Vishne

Abstract: We apply a study of orders in quaternion algebras, to the differential geometry of Riemann surfaces. The least length of a closed geodesic on a hyperbolic surface is called its systole, and denoted syspi_1. P. Buser and P. Sarnak constructed Riemann surfaces X whose systole behaves logarithmically in the genus g(X). The Fuchsian groups in their examples are principal congruence subgroups of a fi… ▽ More We apply a study of orders in quaternion algebras, to the differential geometry of Riemann surfaces. The least length of a closed geodesic on a hyperbolic surface is called its systole, and denoted syspi_1. P. Buser and P. Sarnak constructed Riemann surfaces X whose systole behaves logarithmically in the genus g(X). The Fuchsian groups in their examples are principal congruence subgroups of a fixed arithmetic group with rational trace field. We generalize their construction to principal congruence subgroups of arbitrary arithmetic surfaces. The key tool is a new trace estimate valid for an arbitrary ideal in a quaternion algebra. We obtain a particularly sharp bound for a principal congruence tower of Hurwitz surfaces (PCH), namely the 4/3-bound syspi_1(X_{\PCH}) > 4/3 \log(g(X_{\PCH})). Similar results are obtained for the systole of hyperbolic 3-manifolds, relative to their simplicial volume. △ Less

Submitted 7 February, 2007; v1 submitted 1 May, 2005; originally announced May 2005.

Comments: 25 pages. To appear in Journal of Differential Geometry

MSC Class: 53C23; 11R52; 16K20

The fundamental group of Galois cover of the surface ${\mathbb T} \times {\mathbb T}$

Authors: Meirav Amram, Mina Teicher, Uzi Vishne

Abstract: This is the final paper in a series of four, concerning the surface $T \times T$ embedded in $\mathbb{CP}^8$, where $T$ is a the one dimensional torus. In this paper we compute the fundamental group of the Galois cover of the surface with respect to a generic projection onto $\mathbb{CP}^2$, and show that it is nilpotent of class 3. This is the first time such a group is presented as the fundame… ▽ More This is the final paper in a series of four, concerning the surface $T \times T$ embedded in $\mathbb{CP}^8$, where $T$ is a the one dimensional torus. In this paper we compute the fundamental group of the Galois cover of the surface with respect to a generic projection onto $\mathbb{CP}^2$, and show that it is nilpotent of class 3. This is the first time such a group is presented as the fundamental group of a Galois cover of a surface. △ Less

Submitted 20 March, 2008; v1 submitted 20 January, 2005; originally announced January 2005.

Comments: 30 pages

MSC Class: 14J10; 14J25

Isospectral Cayley graphs of some finite simple groups

Authors: Alexander Lubotzky, Beth Samuels, Uzi Vishne

Abstract: We apply spectral analysis of quotients of the Bruhat-Tits buildings of type $\tilde{A}_{d-1}$ to construct isospectral non-isomorphic Cayley graphs of the finite simple groups $\operatorname{PSL}_d({\mathbb F}_q)$ for every $d \geq 5$ ($d \neq 6$) and prime power $q > 2$. We apply spectral analysis of quotients of the Bruhat-Tits buildings of type $\tilde{A}_{d-1}$ to construct isospectral non-isomorphic Cayley graphs of the finite simple groups $\operatorname{PSL}_d({\mathbb F}_q)$ for every $d \geq 5$ ($d \neq 6$) and prime power $q > 2$. △ Less

Submitted 5 January, 2005; originally announced January 2005.

Comments: 14 pages

MSC Class: 20F65; 11F72

Division Algebras and Non-Commensurable Isospectral Manifolds

Authors: Alexander Lubotzky, Beth Samuels, Uzi Vishne

Abstract: A. Reid showed that if $Γ_1$ and $Γ_2$ are arithmetic lattices in $G = \operatorname{PGL}_2(\mathbb R)$ or in $\operatorname{PGL}_2(\mathbb C)$ which give rise to isospectral manifolds, then $Γ_1$ and $Γ_2$ are commensurable (after conjugation). We show that for $d \geq 3$ and ${\mathcal S} = \operatorname{PGL}_d(\mathbb R) / \operatorname{PGO}_d(\mathbb R)$, or… ▽ More A. Reid showed that if $Γ_1$ and $Γ_2$ are arithmetic lattices in $G = \operatorname{PGL}_2(\mathbb R)$ or in $\operatorname{PGL}_2(\mathbb C)$ which give rise to isospectral manifolds, then $Γ_1$ and $Γ_2$ are commensurable (after conjugation). We show that for $d \geq 3$ and ${\mathcal S} = \operatorname{PGL}_d(\mathbb R) / \operatorname{PGO}_d(\mathbb R)$, or ${\mathcal S} = \operatorname{PGL}_d(\mathbb C) / \operatorname{PU}_d(\mathbb C)$, the situation is quite different: there are arbitrarily large finite families of isospectral non-commensurable compact manifolds covered by $\mathcal S$. The constructions are based on the arithmetic groups obtained from division algebras with the same ramification points but different invariants. △ Less

Submitted 5 January, 2005; originally announced January 2005.

Comments: 22 pages

MSC Class: 58J53; 11F72

Explicit Constructions of Ramanujan Complexes of Type $\tilde{A}_d$

Authors: Alex Lubotzky, Beth Samuels, Uzi Vishne

Abstract: In this paper we present for every $d \geq 2$ and every local field $F$ of positive characteristic, explicit constructions of Ramanujan complexes which are quotients of the Bruhat-Tits building $\B_d(F)$ associated with $\operatorname{PGL}_d(F)$. In this paper we present for every $d \geq 2$ and every local field $F$ of positive characteristic, explicit constructions of Ramanujan complexes which are quotients of the Bruhat-Tits building $\B_d(F)$ associated with $\operatorname{PGL}_d(F)$. △ Less

Submitted 5 January, 2005; v1 submitted 10 June, 2004; originally announced June 2004.

Comments: minor corrections

MSC Class: 51E24; 55U10

Ramanujan Complexes of Type $\tilde{A_d}$

Authors: Alex Lubotzky, Beth Samuels, Uzi Vishne

Abstract: We define and construct Ramanujan complexes. These are simplicial complexes which are higher dimensional analogues of Ramanujan graphs. They are obtained as quotients of the buildings of type $\tilde{A}_{d-1}$ associated with $\operatorname{PGL}_d(F)$ where $F$ is a local field of positive characteristic. We define and construct Ramanujan complexes. These are simplicial complexes which are higher dimensional analogues of Ramanujan graphs. They are obtained as quotients of the buildings of type $\tilde{A}_{d-1}$ associated with $\operatorname{PGL}_d(F)$ where $F$ is a local field of positive characteristic. △ Less

Submitted 5 January, 2005; v1 submitted 10 June, 2004; originally announced June 2004.

Comments: 32 pages

MSC Class: 22E55; 20E42

Coxeter covers of the symmetric groups

Authors: Louis H. Rowen, Mina Teicher, Uzi Vishne

Abstract: We study Coxeter groups from which there is a natural map onto a symmetric group. Such groups have natural quotient groups related to presentations of the symmetric group on an arbitrary set $T$ of transpositions. These quotients, denoted here by C_Y(T), are a special type of the generalized Coxeter groups defined in \cite{CST}, and also arise in the computation of certain invariants of surfaces… ▽ More We study Coxeter groups from which there is a natural map onto a symmetric group. Such groups have natural quotient groups related to presentations of the symmetric group on an arbitrary set $T$ of transpositions. These quotients, denoted here by C_Y(T), are a special type of the generalized Coxeter groups defined in \cite{CST}, and also arise in the computation of certain invariants of surfaces. We use a surprising action of $S_n$ on the kernel of the surjection $C_Y(T) \ra S_n$ to show that this kernel embeds in the direct product of $n$ copies of the free group $π_1(T)$ (with the exception of $T$ being the full set of transpositions in $S_4$). As a result, we show that the groups $C_Y(T)$ are either virtually Abelian or contain a non-Abelian free subgroup. △ Less

Submitted 11 May, 2004; originally announced May 2004.

Comments: 32 pp. Accepted to Journal of Group Theory

The Coxeter quotient of the fundamental group of a Galois cover of T \times T

Authors: Amram Meirav, Mina Teicher, Uzi Vishne

Abstract: Let $X$ be the surface $\T\times\T$ where $\T$ is the complex torus. This paper is the third in a series, studying the fundamental group of the Galois cover of $X$ \wrt a generic projection onto $\C¶^2$. Van Kampen Theorem gives a presentation of the fundamental group of the complement of the branch curve, with 54 generators and more than 2000 relations. Here we introduce a certain natural quo… ▽ More Let $X$ be the surface $\T\times\T$ where $\T$ is the complex torus. This paper is the third in a series, studying the fundamental group of the Galois cover of $X$ \wrt a generic projection onto $\C¶^2$. Van Kampen Theorem gives a presentation of the fundamental group of the complement of the branch curve, with 54 generators and more than 2000 relations. Here we introduce a certain natural quotient (obtained by identifying pairs of generators), prove it is a quotient of a Coxeter group related to the degeneration of $X$, and show that this quotient is virtually nilpotent. △ Less

Submitted 23 March, 2009; v1 submitted 26 April, 2004; originally announced April 2004.

Comments: 25 pp

MSC Class: 14J29

Probabilistic Solutions of Equations in the Braid Group

Authors: D. Garber, S. Kaplan, M. Teicher, B. Tsaban, U. Vishne

Abstract: Given a system of equations in a "random" finitely generated subgroup of the braid group, we show how to find a small ordered list of elements in the subgroup, which contains a solution to the equations with a significant probability. Moreover, with a significant probability, the solution will be the first in the list. This gives a probabilistic solution to: The conjugacy problem, the group memb… ▽ More Given a system of equations in a "random" finitely generated subgroup of the braid group, we show how to find a small ordered list of elements in the subgroup, which contains a solution to the equations with a significant probability. Moreover, with a significant probability, the solution will be the first in the list. This gives a probabilistic solution to: The conjugacy problem, the group membership problem, the shortest representation of an element, and other combinatorial group-theoretic problems in random subgroups of the braid group. We use a memory-based extension of the standard length-based approach, which in principle can be applied to any group admitting an efficient, reasonably behaving length function. △ Less

Submitted 17 May, 2007; v1 submitted 5 April, 2004; originally announced April 2004.

Comments: Small updates

Journal ref: Advances in Applied Mathematics 35 (2005), 323--334

Efficient linear feedback shift registers with maximal period

Authors: Boaz Tsaban, Uzi Vishne

Abstract: We introduce and analyze an efficient family of linear feedback shift registers (LFSR's) with maximal period. This family is word-oriented and is suitable for implementation in software, thus provides a solution to a recent challenge posed in FSE '94. The classical theory of LFSR's is extended to provide efficient algorithms for generation of irreducible and primitive LFSR's of this new type. We introduce and analyze an efficient family of linear feedback shift registers (LFSR's) with maximal period. This family is word-oriented and is suitable for implementation in software, thus provides a solution to a recent challenge posed in FSE '94. The classical theory of LFSR's is extended to provide efficient algorithms for generation of irreducible and primitive LFSR's of this new type. △ Less

Submitted 8 April, 2003; originally announced April 2003.

ACM Class: 11T06, 11T71

Journal ref: Finite Fields and their Applications 8 (2002), 256--267

Length-based conjugacy search in the Braid group

Authors: D. Garber, S. Kaplan, M. Teicher, B. Tsaban, U. Vishne

Abstract: Several key agreement protocols are based on the following "Generalized Conjugacy Search Problem": Find, given elements b_1,...,b_n and xb_1x^{-1},...,xb_nx^{-1} in a nonabelian group G, the conjugator x. In the case of subgroups of the braid group B_N, Hughes and Tannenbaum suggested a length-based approach to finding x. Since the introduction of this approach, its effectiveness and successfulnes… ▽ More Several key agreement protocols are based on the following "Generalized Conjugacy Search Problem": Find, given elements b_1,...,b_n and xb_1x^{-1},...,xb_nx^{-1} in a nonabelian group G, the conjugator x. In the case of subgroups of the braid group B_N, Hughes and Tannenbaum suggested a length-based approach to finding x. Since the introduction of this approach, its effectiveness and successfulness were debated. We introduce several effective realizations of this approach. In particular, a new length function is defined on B_N which possesses significantly better properties than the natural length associated to the Garside normal form. We give experimental results concerning the success probability of this approach, which suggest that very large computational power is required for this method to successfully solve the Generalized Conjugacy Search Problem when its parameters are as in existing protocols. △ Less

Submitted 31 October, 2010; v1 submitted 20 September, 2002; originally announced September 2002.

Comments: Small updates

Journal ref: Contemporary Mathematics 418 (2006), 75--87

The fundamental group of a Galois cover of CP^1 X T

Authors: Meirav Amram, David Goldberg, Mina Teicher, Uzi Vishne

Abstract: Let T be the complex projective torus, and X the surface CP^1 X T. Let X_Gal be its Galois cover with respect to a generic projection to CP^2. In this paper we compute the fundamental group of X_Gal, using the degeneration and regeneration techniques, the Moishezon-Teicher braid monodromy algorithm and group calculations. We show that pi_1(X_Gal) = Z^10. Let T be the complex projective torus, and X the surface CP^1 X T. Let X_Gal be its Galois cover with respect to a generic projection to CP^2. In this paper we compute the fundamental group of X_Gal, using the degeneration and regeneration techniques, the Moishezon-Teicher braid monodromy algorithm and group calculations. We show that pi_1(X_Gal) = Z^10. △ Less

Submitted 26 May, 2002; originally announced May 2002.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol2/agt-2-20.abs.html

MSC Class: 14Q10; 14J99; 14J80; 32Q55

Journal ref: Algebr. Geom. Topol. 2 (2002) 403-432

$π_1$-classification of real arrangements with up to eight lines

Authors: David Garber, Mina Teicher, Uzi Vishne

Abstract: One of the open questions in the geometry of line arrangements is to what extent does the incidence lattice of an arrangement determine its fundamental group. Line arrangements of up to 6 lines were recently classified by K.M. Fan, and it turns out that the incidence lattice of such arrangements determines the projective fundamental group. We use actions on the set of wiring diagrams, introduced… ▽ More One of the open questions in the geometry of line arrangements is to what extent does the incidence lattice of an arrangement determine its fundamental group. Line arrangements of up to 6 lines were recently classified by K.M. Fan, and it turns out that the incidence lattice of such arrangements determines the projective fundamental group. We use actions on the set of wiring diagrams, introduced in [GTV] (math.AG/0107178), to classify real arrangements of up to 8 lines. In particular, we show that the incidence lattice of such arrangements determines both the affine and the projective fundamental groups. △ Less

Submitted 26 July, 2001; originally announced July 2001.

Comments: 29 pages, many figures; Submitted

Journal ref: Topology 42(1), 265--289 (2003)

Classes of wiring diagrams and their invariants

Authors: David Garber, Mina Teicher, Uzi Vishne

Abstract: Wiring diagrams usually serve as a tool in the study of arrangements of lines and pseudolines. In this paper we go in the opposite direction, using known properties of line arrangements to motivate certain equivalence relations and actions on sets of wiring diagrams, which preserve the incidence lattice and the fundamental groups of the affine and projective complements of the diagrams. These ac… ▽ More Wiring diagrams usually serve as a tool in the study of arrangements of lines and pseudolines. In this paper we go in the opposite direction, using known properties of line arrangements to motivate certain equivalence relations and actions on sets of wiring diagrams, which preserve the incidence lattice and the fundamental groups of the affine and projective complements of the diagrams. These actions are used in [GTV] to classify real arrangements of up to 8 lines and show that in this case, the incidence lattice determines both the affine and the projective fundamental groups. △ Less

Submitted 24 July, 2001; originally announced July 2001.

Comments: 26 pages, 34 figures. Submitted

Journal ref: J. Knot Theory Rami. 11(8), 1165--1191 (2002)