Showing 1–27 of 27 results for author: Knudson, K

Discrete Morse theory for open complexes

Authors: Kevin P. Knudson, Nicholas A. Scoville

Abstract: We develop a discrete Morse theory for open simplicial complexes $K=X\setminus T$ where $X$ is a simplicial complex and $T$ a subcomplex of $X$. A discrete Morse function $f$ on $K$ gives rise to a discrete Morse function on the order complex $S_K$ of $K$, and the topology change determined by $f$ on $K$ can be understood by analyzing the the topology change determined by the discrete Morse functi… ▽ More We develop a discrete Morse theory for open simplicial complexes $K=X\setminus T$ where $X$ is a simplicial complex and $T$ a subcomplex of $X$. A discrete Morse function $f$ on $K$ gives rise to a discrete Morse function on the order complex $S_K$ of $K$, and the topology change determined by $f$ on $K$ can be understood by analyzing the the topology change determined by the discrete Morse function on $S_K$. This topology change is given by a structure theorem on the level subcomplexes of $S_K$. Finally, we show that the Borel-Moore homology of $K$, a homology theory for locally compact spaces, is isomorphic to the homology induced by a gradient vector field on $K$ and deduce corresponding weak Morse inequalities. △ Less

Submitted 19 February, 2024; originally announced February 2024.

MSC Class: 57Q70; 55U10; 55N35

Assessing Cerebellar Disorders With Wearable Inertial Sensor Data Using Time-Frequency and Autoregressive Hidden Markov Model Approaches

Authors: Karin C. Knudson, Anoopum S. Gupta

Abstract: We use autoregressive hidden Markov models and a time-frequency approach to create meaningful quantitative descriptions of behavioral characteristics of cerebellar ataxias from wearable inertial sensor data gathered during movement. Wearable sensor data is relatively easily collected and provides direct measurements of movement that can be used to develop useful behavioral biomarkers. Sensitive an… ▽ More We use autoregressive hidden Markov models and a time-frequency approach to create meaningful quantitative descriptions of behavioral characteristics of cerebellar ataxias from wearable inertial sensor data gathered during movement. Wearable sensor data is relatively easily collected and provides direct measurements of movement that can be used to develop useful behavioral biomarkers. Sensitive and specific behavioral biomarkers for neurodegenerative diseases are critical to supporting early detection, drug development efforts, and targeted treatments. We create a flexible and descriptive set of features derived from accelerometer and gyroscope data collected from wearable sensors while participants perform clinical assessment tasks, and with them estimate disease status and severity. A short period of data collection ($<$ 5 minutes) yields enough information to effectively separate patients with ataxia from healthy controls with very high accuracy, to separate ataxia from other neurodegenerative diseases such as Parkinson's disease, and to give estimates of disease severity. △ Less

Submitted 19 August, 2021; originally announced August 2021.

Comments: 12 pages, 7 figures

Approximate triangulations of Grassmann manifolds

Authors: Kevin P. Knudson

Abstract: We define the notion of an approximate triangulation for a manifold $M$ embedded in euclidean space. The basic idea is to build a nested family of simplicial complexes whose vertices lie in $M$ and use persistent homology to find a complex in the family whose homology agrees with that of $M$. Our key examples are various Grassmann manifolds $G_k({\mathbb R}^n)$. We define the notion of an approximate triangulation for a manifold $M$ embedded in euclidean space. The basic idea is to build a nested family of simplicial complexes whose vertices lie in $M$ and use persistent homology to find a complex in the family whose homology agrees with that of $M$. Our key examples are various Grassmann manifolds $G_k({\mathbb R}^n)$. △ Less

Submitted 24 June, 2020; originally announced June 2020.

Comments: 16 pages, 13 figures

MSC Class: 55N31

Journal ref: Algorithms 13 (7) (2020), 172

Min-max theory for cell complexes

Authors: Lacey Johnson, Kevin Knudson

Abstract: In the study of smooth functions on manifolds, min-max theory provides a mechanism for identifying critical values of a function. In this paper we introduce a discretized version of this theory associated to a discrete Morse function on a (regular) cell complex. As applications we prove a discrete version of the Mountain Pass Lemma and give an alternate proof of a discrete Lusternik-Schnirelmann T… ▽ More In the study of smooth functions on manifolds, min-max theory provides a mechanism for identifying critical values of a function. In this paper we introduce a discretized version of this theory associated to a discrete Morse function on a (regular) cell complex. As applications we prove a discrete version of the Mountain Pass Lemma and give an alternate proof of a discrete Lusternik-Schnirelmann Theorem. △ Less

Submitted 1 November, 2018; originally announced November 2018.

Comments: 10 pages, 2 figures

MSC Class: 57Q10

Measuring Congressional District Meandering

Authors: Eion Blanchard, Kevin Knudson

Abstract: In recent decades, state legislatures have often drawn U.S. Congressional voting districts that look---to the human eye---to be rather twisted. In this paper, we propose a method to measure how much districts "meander" via a computation of the medial axis of the region. We then compare this to the medial axis of the convex hull of the district to obtain the {\em medial-hull ratio}: a dimensionless… ▽ More In recent decades, state legislatures have often drawn U.S. Congressional voting districts that look---to the human eye---to be rather twisted. In this paper, we propose a method to measure how much districts "meander" via a computation of the medial axis of the region. We then compare this to the medial axis of the convex hull of the district to obtain the {\em medial-hull ratio}: a dimensionless quantity that captures the district's irregularity. We compute this quantity for many example Congressional districts. △ Less

Submitted 19 May, 2018; originally announced May 2018.

Comments: 32 pages, 28 figures

MSC Class: 92H90; 51F99

Discrete Stratified Morse Theory: Algorithms and A User's Guide

Authors: Kevin Knudson, Bei Wang

Abstract: Inspired by the works of Forman on discrete Morse theory, which is a combinatorial adaptation to cell complexes of classical Morse theory on manifolds, we introduce a discrete analogue of the stratified Morse theory of Goresky and MacPherson. We describe the basics of this theory and prove fundamental theorems relating the topology of a general simplicial complex with the critical simplices of a d… ▽ More Inspired by the works of Forman on discrete Morse theory, which is a combinatorial adaptation to cell complexes of classical Morse theory on manifolds, we introduce a discrete analogue of the stratified Morse theory of Goresky and MacPherson. We describe the basics of this theory and prove fundamental theorems relating the topology of a general simplicial complex with the critical simplices of a discrete stratified Morse function on the complex. We also provide an algorithm that constructs a discrete stratified Morse function out of an arbitrary function defined on a finite simplicial complex; this is different from simply constructing a discrete Morse function on such a complex. We then give simple examples to convey the utility of our theory. Finally, we relate our theory with the classical stratified Morse theory in terms of triangulated Whitney stratified spaces. △ Less

Submitted 10 November, 2019; v1 submitted 9 January, 2018; originally announced January 2018.

Comments: Full and updated version of an extended abstract previously published at International Symposium on Computational Geometry (SOCG), 2018

Theoretical Geometry, Critical Theory, and Concept Spaces in IR

Authors: Laura Sjoberg, Kevin Knudson

Abstract: We use the theory of persistent homology to analyze a data set arising from the study of various aspects of democracy. Our results show that most "mature" democracies look more or less the same, in the sense that they form a single connected component in the data set, while more authoritarian countries cluster into groups depending on various factors. For example, we find several distinct $2$-dime… ▽ More We use the theory of persistent homology to analyze a data set arising from the study of various aspects of democracy. Our results show that most "mature" democracies look more or less the same, in the sense that they form a single connected component in the data set, while more authoritarian countries cluster into groups depending on various factors. For example, we find several distinct $2$-dimensional homology classes in the set, uncovering connections among the countries representing the vertices in the representative cycles. △ Less

Submitted 2 June, 2015; originally announced June 2015.

Comments: 24 pages, 3 figures

MSC Class: 55N99

One-bit compressive sensing with norm estimation

Authors: Karin Knudson, Rayan Saab, Rachel Ward

Abstract: Consider the recovery of an unknown signal ${x}$ from quantized linear measurements. In the one-bit compressive sensing setting, one typically assumes that ${x}$ is sparse, and that the measurements are of the form $\operatorname{sign}(\langle {a}_i, {x} \rangle) \in \{\pm1\}$. Since such measurements give no information on the norm of ${x}$, recovery methods from such measurements typically assum… ▽ More Consider the recovery of an unknown signal ${x}$ from quantized linear measurements. In the one-bit compressive sensing setting, one typically assumes that ${x}$ is sparse, and that the measurements are of the form $\operatorname{sign}(\langle {a}_i, {x} \rangle) \in \{\pm1\}$. Since such measurements give no information on the norm of ${x}$, recovery methods from such measurements typically assume that $\| {x} \|_2=1$. We show that if one allows more generally for quantized affine measurements of the form $\operatorname{sign}(\langle {a}_i, {x} \rangle + b_i)$, and if the vectors ${a}_i$ are random, an appropriate choice of the affine shifts $b_i$ allows norm recovery to be easily incorporated into existing methods for one-bit compressive sensing. Additionally, we show that for arbitrary fixed ${x}$ in the annulus $r \leq \| {x} \|_2 \leq R$, one may estimate the norm $\| {x} \|_2$ up to additive error $δ$ from $m \gtrsim R^4 r^{-2} δ^{-2}$ such binary measurements through a single evaluation of the inverse Gaussian error function. Finally, all of our recovery guarantees can be made universal over sparse vectors, in the sense that with high probability, one set of measurements and thresholds can successfully estimate all sparse vectors ${x}$ within a Euclidean ball of known radius. △ Less

Submitted 18 January, 2016; v1 submitted 27 April, 2014; originally announced April 2014.

Comments: 20 pages, 2 figures

MSC Class: 90C05

Unknotting tunnels in hyperbolic 3-manifolds

Authors: Colin Adams, Karin Knudson

Abstract: An unknotting tunnel in a 3-manifold with boundary is a properly embedded arc, the complement of an open neighborhood of which is a handlebody. A geodesic with endpoints on the cusp boundary of a hyperbolic 3-manifold and perpendicular to the cusp boundary is called a vertical geodesic. Given a vertical geodesic in a hyperbolic 3-manifold M, we find sufficient conditions for it to be an unknotting… ▽ More An unknotting tunnel in a 3-manifold with boundary is a properly embedded arc, the complement of an open neighborhood of which is a handlebody. A geodesic with endpoints on the cusp boundary of a hyperbolic 3-manifold and perpendicular to the cusp boundary is called a vertical geodesic. Given a vertical geodesic in a hyperbolic 3-manifold M, we find sufficient conditions for it to be an unknotting tunnel. In particular, if the vertical geodesic corresponds to a 4-bracelet, 5-bracelet or 6-bracelet in the universal cover and has short enough length, it must be an unknotting tunnel. Furthermore, we consider a vertical geodesic that satisfies the elder sibling property, which means that in the universal cover, every horoball except the one centered at infinity is connected to a larger horoball by a lift of the vertical geodesic. Such a vertical geodesic with length less than ln(2) is then shown to be an unknotting tunnel. △ Less

Submitted 23 May, 2012; originally announced May 2012.

Comments: 19 pages, 13 figures

MSC Class: 57M50

Homology and finiteness properties of SL_2(Z[t,t^{-1}])

Authors: Kevin P. Knudson

Abstract: We show that the group $H_2(\slzti;\zz)$ is not finitely generated, answering a question mentioned by Bux and Wortman in \cite{bux}. We show that the group $H_2(\slzti;\zz)$ is not finitely generated, answering a question mentioned by Bux and Wortman in \cite{bux}. △ Less

Submitted 11 August, 2008; v1 submitted 8 August, 2008; originally announced August 2008.

Comments: 8 pages

MSC Class: 20F05; 20F65

Birth and death in discrete Morse theory

Authors: Henry King, Kevin Knudson, Neza Mramor

Abstract: Suppose $M$ is a finite simplicial complex and that for $0=t_0,t_1,...,t_r=1$ we have a discrete Morse function $F_{t_i}:M\to \zr$. In this paper, we study the births and deaths of critical cells for the functions $F_{t_i}$ and present an algorithm for pairing the cells that occur in adjacent slices. We first study the case where the triangulation of $M$ is the same for each $t_i$, and then genera… ▽ More Suppose $M$ is a finite simplicial complex and that for $0=t_0,t_1,...,t_r=1$ we have a discrete Morse function $F_{t_i}:M\to \zr$. In this paper, we study the births and deaths of critical cells for the functions $F_{t_i}$ and present an algorithm for pairing the cells that occur in adjacent slices. We first study the case where the triangulation of $M$ is the same for each $t_i$, and then generalize to the case where the triangulations may differ. This has potential applications in data imaging, where one has function values at a sample of points in some region in space at several different times or at different levels in an object. △ Less

Submitted 12 March, 2016; v1 submitted 31 July, 2008; originally announced August 2008.

Comments: 24 pages, final version to appear in J. Symbolic Computation

MSC Class: 57Q99; 68U05; 57R70; 58E05; 65D18; 65R99

A refinement of multi-dimensional persistence

Authors: Kevin P. Knudson

Abstract: We study the multi-dimensional persistence of Carlsson and Zomorodian and obtain a finer classification based upon the higher tor-modules of a persistence module. We propose a variety structure on the set of isomorphism classes of these modules, and present several examples. We also provide a geometric interpretation for the higher tor-modules of homology modules of multi-filtered simplicial com… ▽ More We study the multi-dimensional persistence of Carlsson and Zomorodian and obtain a finer classification based upon the higher tor-modules of a persistence module. We propose a variety structure on the set of isomorphism classes of these modules, and present several examples. We also provide a geometric interpretation for the higher tor-modules of homology modules of multi-filtered simplicial complexes. △ Less

Submitted 18 June, 2007; originally announced June 2007.

Comments: 21 pages, 4 figures

Relative completions and $K_2$ of curves

Authors: Kevin P. Knudson

Abstract: We compute the completion of the special linear group over the coordinate ring of a curve over a number field $k$ relative to its representation in $\slnk$, and relate this to the study of $K_2$ of the curve. We compute the completion of the special linear group over the coordinate ring of a curve over a number field $k$ relative to its representation in $\slnk$, and relate this to the study of $K_2$ of the curve. △ Less

Submitted 25 February, 2005; originally announced February 2005.

Comments: 6 pages

MSC Class: 55P60; 19D55

Invariant chains and the homology of quotient spaces

Authors: Kevin P. Knudson

Abstract: For a finite group G and a finite G-CW-complex X, we construct groups H_\bullet(G,X) as the homology groups of the G-invariants of the cellular chain complex C_\bullet(X). These groups are related to the homology of the quotient space X/G via a norm map, and therefore provide a mechanism for calculating H_\bullet(X/G). We compute several examples and provide a new proof of ``Smith theory": if G=… ▽ More For a finite group G and a finite G-CW-complex X, we construct groups H_\bullet(G,X) as the homology groups of the G-invariants of the cellular chain complex C_\bullet(X). These groups are related to the homology of the quotient space X/G via a norm map, and therefore provide a mechanism for calculating H_\bullet(X/G). We compute several examples and provide a new proof of ``Smith theory": if G=Z/p and X is a mod p homology sphere on which G acts, then the subcomplex X^G is empty or a mod $p$ homology sphere. We also get a new proof of the Conner conjecture: If G=Z/p acts on a Z-acyclic space X, then X/G is Z-acyclic. △ Less

Submitted 8 September, 2004; originally announced September 2004.

Comments: 14 pages

On the kernel of the Gassner representation

Authors: Kevin P. Knudson

Abstract: We study the Gassner representation of the pure braid group $P_n$ by considering its restriction to a free subgroup $F$. The kernel of the restriction is shown to lie in the subgroup $[Γ^3 F,Γ^2 F]$, sharpening a result of Lipschutz. We study the Gassner representation of the pure braid group $P_n$ by considering its restriction to a free subgroup $F$. The kernel of the restriction is shown to lie in the subgroup $[Γ^3 F,Γ^2 F]$, sharpening a result of Lipschutz. △ Less

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

Comments: 9 pages, final version to appear in Arch. Math. (Basel)

MSC Class: 20F36

Representations of braid groups via conjugation actions on congruence subgroups

Authors: Kevin P. Knudson

Abstract: We construct two families of representations of the braid group $B_n$ by considering conjugation actions on congruence subgroups of $GL_{n-1}(Z[t^{\pm 1},q^{\pm 1}])$. We show that many of these representations are faithful modulo the center of $B_n$. We construct two families of representations of the braid group $B_n$ by considering conjugation actions on congruence subgroups of $GL_{n-1}(Z[t^{\pm 1},q^{\pm 1}])$. We show that many of these representations are faithful modulo the center of $B_n$. △ Less

Submitted 14 January, 2004; v1 submitted 6 January, 2004; originally announced January 2004.

Comments: 15 pages

MSC Class: 20F36; 57M07

Homology of linear groups via cycles in $BG\times X$

Authors: Kevin P. Knudson, Mark E. Walker

Abstract: Let G be an algebraic group and let X be a smooth integral scheme over a field k. In this paper we construct homology-type groups $H_i(X,G)$ by considering cycles in the simplicial scheme $BG\times X (an idea suggested by Andrei Suslin). We discuss the basic properties of these groups and construct a spectral sequence, beginning with the groups $H_i(Δ^j,G)… ▽ More Let G be an algebraic group and let X be a smooth integral scheme over a field k. In this paper we construct homology-type groups $H_i(X,G)$ by considering cycles in the simplicial scheme $BG\times X (an idea suggested by Andrei Suslin). We discuss the basic properties of these groups and construct a spectral sequence, beginning with the groups $H_i(Δ^j,G)$, which converges to the etale cohomology of the simplicial group BG. These groups are therefore connected with the study of Friedlander's generalized isomorphism conjecture. <p> We also compute some examples, focusing in particular on the case X=Spec(k). In the case where k is the real numbers, there is a connection between the groups $H_i$ and the Z/2-equivariant cohomology of the classifying space of the discrete group $G(\mathbb R)$. △ Less

Submitted 20 November, 2003; originally announced November 2003.

Comments: 15 pages

MSC Class: 14F42; 14C25; 19E15; 20G10; 55N91

Geometry and Topology of Escape II: Homotopic Lobe Dynamics

Authors: K. A. Mitchell, J. P. Handley, S. K. Knudson, J. B. Delos

Abstract: We continue our study of the fractal structure of escape-time plots for chaotic maps. In the preceding paper, we showed that the escape-time plot contains regular sequences of successive escape segments, called epistrophes, which converge geometrically upon each endpoint of every escape segment. In the present paper, we use topological techniques to: (1) show that there exists a minimal required… ▽ More We continue our study of the fractal structure of escape-time plots for chaotic maps. In the preceding paper, we showed that the escape-time plot contains regular sequences of successive escape segments, called epistrophes, which converge geometrically upon each endpoint of every escape segment. In the present paper, we use topological techniques to: (1) show that there exists a minimal required set of escape segments within the escape-time plot; (2) develop an algorithm which computes this minimal set; (3) show that the minimal set eventually displays a recursive structure governed by an ``Epistrophe Start Rule'': a new epistrophe is spawned Delta = D+1 iterates after the segment to which it converges, where D is the minimum delay time of the complex. △ Less

Submitted 11 July, 2003; originally announced July 2003.

Comments: 13 pages, 8 figures, to appear in Chaos, second of two papers

Geometry and Topology of Escape I: Epistrophes

Authors: K. A. Mitchell, J. P. Handley, B. Tighe, S. K. Knudson, J. B. Delos

Abstract: We consider a dynamical system given by an area-preserving map on a two-dimensional phase plane and consider a one-dimensional line of initial conditions within this plane. We record the number of iterates it takes a trajectory to escape from a bounded region of the plane as a function along the line of initial conditions, forming an ``escape-time plot''. For a chaotic system, this plot is in ge… ▽ More We consider a dynamical system given by an area-preserving map on a two-dimensional phase plane and consider a one-dimensional line of initial conditions within this plane. We record the number of iterates it takes a trajectory to escape from a bounded region of the plane as a function along the line of initial conditions, forming an ``escape-time plot''. For a chaotic system, this plot is in general not a smooth function, but rather has many singularities at which the escape time is infinite; these singularities form a complicated fractal set. In this article we prove the existence of regular repeated sequences, called ``epistrophes'', which occur at all levels of resolution within the escape-time plot. (The word ``epistrophe'' comes from rhetoric and means ``a repeated ending following a variable beginning''.) The epistrophes give the escape-time plot a certain self-similarity, called ``epistrophic'' self-similarity, which need not imply either strict or asymptotic self-similarity. △ Less

Submitted 11 July, 2003; originally announced July 2003.

Comments: 15 pages, 9 figures, to appear in Chaos, first of two papers

The homology of invariant group chains

Authors: Kevin P. Knudson

Abstract: If $Q$ is a group acting as a group of automorphisms of another group $G$ (with finite orbits), denote by $C_*(G)^Q$ the subcomplex of $Q$-invariant chains in the bar complex $C_*(G)$. In this paper, we study the homology of the complex $C_*(G)^Q$ and compute several examples. If $Q$ is a group acting as a group of automorphisms of another group $G$ (with finite orbits), denote by $C_*(G)^Q$ the subcomplex of $Q$-invariant chains in the bar complex $C_*(G)$. In this paper, we study the homology of the complex $C_*(G)^Q$ and compute several examples. △ Less

Submitted 15 September, 2003; v1 submitted 8 July, 2003; originally announced July 2003.

Comments: 18 pages

MSC Class: 20J05; 55N91

Relative completions and the cohomology of linear groups over local rings

Authors: Kevin P. Knudson

Abstract: We study the completion of a group relative to a Zariski dense representation in a reductive algebraic group over a field $k$. The characteristic zero case was worked out previously by R. Hain; we extend his results to arbitrary characteristic. The primary application is to the study of the cohomology of groups such as $SL_n(k[[T]])$. We study the completion of a group relative to a Zariski dense representation in a reductive algebraic group over a field $k$. The characteristic zero case was worked out previously by R. Hain; we extend his results to arbitrary characteristic. The primary application is to the study of the cohomology of groups such as $SL_n(k[[T]])$. △ Less

Submitted 2 April, 2001; originally announced April 2001.

Comments: 24 pages

MSC Class: 55P60;20G35;20G10

On the K-theory of elliptic curves

Authors: Kevin P. Knudson

Abstract: Let A be the coordinate ring of an affine elliptic curve (over an infinite field k) of the form X-{p}, where X is projective and p is a closed point on X. Denote by F the function field of X. We show that the image of H_*(GL_2(A),Z) in H_*(GL_2(F),Z) coincides with the image of H_*(GL_2(k),Z). As a consequence, we obtain numerous results about the K-theory of A and X. For example, if k is a numb… ▽ More Let A be the coordinate ring of an affine elliptic curve (over an infinite field k) of the form X-{p}, where X is projective and p is a closed point on X. Denote by F the function field of X. We show that the image of H_*(GL_2(A),Z) in H_*(GL_2(F),Z) coincides with the image of H_*(GL_2(k),Z). As a consequence, we obtain numerous results about the K-theory of A and X. For example, if k is a number field, we show that r_2(K_2> (A) x Q)=0, where r_m denotes the m-th level of the rank filtration. △ Less

Submitted 29 September, 1998; originally announced September 1998.

Comments: 11 pages, 3 figures, to appear in J. reine angew. Math

MSC Class: 19D55; 20G10

Journal ref: J. reine angew. Math. 507 (1999), 81-91

Amalgamated free products, unstable homotopy invariance, and the homology of SL_2(Z[t])

Authors: Kevin P. Knudson

Abstract: We show that if R is an integral domain with many units, then the inclusion E_2(R) --> E_2(R[t]) induces an isomorphism in integral homology. This is a consequence of the existence of an amalgamated free product decomposition for E_2(R[t]). We also use this decomposition to study the homology of E_2(Z[t]). We show that H_i(E_2(Z[t]),Z) contains a countable rank free summand for each i>0 and that… ▽ More We show that if R is an integral domain with many units, then the inclusion E_2(R) --> E_2(R[t]) induces an isomorphism in integral homology. This is a consequence of the existence of an amalgamated free product decomposition for E_2(R[t]). We also use this decomposition to study the homology of E_2(Z[t]). We show that H_i(E_2(Z[t]),Z) contains a countable rank free summand for each i>0 and that this summand maps nontrivially into H_i(SL_2(Z[t]),Z); hence, the latter is not finitely generated. This improves on a result of Grunewald, et.al., which states that SL_2(Z[t]) has free quotients of countable rank (and hence, H_1(SL_2(Z[t]) is not finitely generated). △ Less

Submitted 27 March, 1998; originally announced March 1998.

Comments: 13 pages

MSC Class: 20G10; 19D50

Relative completions of linear groups over Z[t] and Z[t,t^{-1}]

Authors: Kevin P. Knudson

Abstract: We compute the completion of the groups SL_n(Z[t]) and SL_n(Z[t,t^{-1}]) relative to the obvious homomorphisms to SL_n(Q); this is a generalization of the classical Malcev completion. We also make partial computations of the rational second cohomology of these groups. We compute the completion of the groups SL_n(Z[t]) and SL_n(Z[t,t^{-1}]) relative to the obvious homomorphisms to SL_n(Q); this is a generalization of the classical Malcev completion. We also make partial computations of the rational second cohomology of these groups. △ Less

Submitted 21 January, 1998; originally announced January 1998.

Comments: 13 pages

MSC Class: 55P60; 20G35; 20H05 (Primary); 20G10; 20F14 (Secondary)

Congruence subgroups and twisted cohomology of SL_n(F[t])

Authors: Kevin P. Knudson

Abstract: Let F be a field of characteristic zero and let V be an irreducible representation of SL_n(F). In this paper, we compute the first cohomology of SL_n(F[t]) with coefficients in V. It agrees with H^1(SL_n(F),V) if V is not the adjoint representation, while if V = Ad, the two groups differ by an F-vector space X. We show that if n=2, X is infinite dimensional, while if n>2, dim X = 1. We also stud… ▽ More Let F be a field of characteristic zero and let V be an irreducible representation of SL_n(F). In this paper, we compute the first cohomology of SL_n(F[t]) with coefficients in V. It agrees with H^1(SL_n(F),V) if V is not the adjoint representation, while if V = Ad, the two groups differ by an F-vector space X. We show that if n=2, X is infinite dimensional, while if n>2, dim X = 1. We also study the abelianization of the kernel of the map SL_n(F[t])-->SL_n(F) given by setting t=0, where now F is any field. We conjecture that this abelianization is the adjoint representation sl_n(F) if n>2 and F is finite, and prove this in the case n=3, F=F_2, F_3. △ Less

Submitted 21 January, 1998; originally announced January 1998.

Comments: 24 pages, 1 figure, to appear in Journal of Algebra

MSC Class: 20G10

Journal ref: J. Algebra <b>207</b> (1998), 695-721

Low dimensional homology of linear groups over Hensel local rings

Authors: Kevin P. Knudson

Abstract: We prove that if R is a Hensel local ring with infinite residue field k, the natural map H_i(GL(n,R),Z/p) ---> H_i(GL(n,k),Z/p) is an isomorphism for i <=3, p distinct from char(k). This implies rigidity for H_i(GL_n), i <=3, which in turn implies the Friedlander-Milnor conjecture in positive characteristic in degrees <=3. We prove that if R is a Hensel local ring with infinite residue field k, the natural map H_i(GL(n,R),Z/p) ---> H_i(GL(n,k),Z/p) is an isomorphism for i <=3, p distinct from char(k). This implies rigidity for H_i(GL_n), i <=3, which in turn implies the Friedlander-Milnor conjecture in positive characteristic in degrees <=3. △ Less

Submitted 21 January, 1998; originally announced January 1998.

Comments: 15 pages

MSC Class: 20G10

Integral homology of PGL_2 over elliptic curves

Authors: Kevin P. Knudson

Abstract: Let E be an elliptic curve defined via a Weierstrass equation F(x,y)=0 over an infinite field k. Denote by A the coordinate ring of E. In this note we compute the integral homology of PGL_2(A). We obtain a rigidity result as a corollary. Let E be an elliptic curve defined via a Weierstrass equation F(x,y)=0 over an infinite field k. Denote by A the coordinate ring of E. In this note we compute the integral homology of PGL_2(A). We obtain a rigidity result as a corollary. △ Less

Submitted 21 January, 1998; originally announced January 1998.

Comments: 6 pages, 3 figures

MSC Class: 20G10