Showing 1–27 of 27 results for author: hill, r

Linear Model Estimators and Consistency under an Infill Asymptotic Domain

Authors: Cory W. Natoli, Edward D. White, Beau A. Nunnally, Alex J. Gutman, Raymond R. Hill

Abstract: Functional data present as functions or curves possessing a spatial or temporal component. These components by nature have a fixed observational domain. Consequently, any asymptotic investigation requires modelling the increased correlation among observations as density increases due to this fixed domain constraint. One such appropriate stochastic process is the Ornstein-Uhlenbeck process. Utilizi… ▽ More Functional data present as functions or curves possessing a spatial or temporal component. These components by nature have a fixed observational domain. Consequently, any asymptotic investigation requires modelling the increased correlation among observations as density increases due to this fixed domain constraint. One such appropriate stochastic process is the Ornstein-Uhlenbeck process. Utilizing this spatial autoregressive process, we demonstrate that parameter estimators for a simple linear regression model display inconsistency in an infill asymptotic domain. Such results are contrary to those expected under the customary increasing domain asymptotics. Although none of these estimator variances approach zero, they do display a pattern of diminishing return regarding decreasing estimator variance as sample size increases. This may prove invaluable to a practitioner as this indicates perhaps an optimal sample size to cease data collection. This in turn reduces time and data collection cost because little information is gained in sampling beyond a certain sample size. △ Less

Submitted 8 March, 2024; originally announced March 2024.

Comments: 35 pages, 11 tables, and 14 figures

Layer-adapted meshes for singularly perturbed problems via mesh partial differential equations and a posteriori information

Authors: Róisín Hill, Niall Madden

Abstract: We propose a new method for the construction of layer-adapted meshes for singularly perturbed differential equations (SPDEs), based on mesh partial differential equations (MPDEs) that incorporate \emph{a posteriori} solution information. There are numerous studies on the development of parameter robust numerical methods for SPDEs that depend on the layer-adapted mesh of Bakhvalov. In~\citep{HiMa20… ▽ More We propose a new method for the construction of layer-adapted meshes for singularly perturbed differential equations (SPDEs), based on mesh partial differential equations (MPDEs) that incorporate \emph{a posteriori} solution information. There are numerous studies on the development of parameter robust numerical methods for SPDEs that depend on the layer-adapted mesh of Bakhvalov. In~\citep{HiMa2021}, a novel MPDE-based approach for constructing a generalisation of these meshes was proposed. Like with most layer-adapted mesh methods, the algorithms in that article depended on detailed derivations of \emph{a priori} bounds on the SPDE's solution and its derivatives. In this work we extend that approach so that it instead uses \emph{a posteriori} computed estimates of the solution. We present detailed algorithms for the efficient implementation of the method, and numerical results for the robust solution of two-parameter reaction-convection-diffusion problems, in one and two dimensions. We also provide full FEniCS code for a one-dimensional example. △ Less

Submitted 2 November, 2023; originally announced November 2023.

Comments: 15 pages, 5 figures, FEniCS code

MSC Class: 65N50; 65N30; 65-04

Residual finiteness of extensions of arithmetic subgroups of SU(d,1) with cusps

Authors: Richard M. Hill

Abstract: Let $Γ$ be an arithmetic subgroup of $SU(d,1)$ with cusps, and let $X_Γ$ be the associated locally symmetric space. We prove that if the first inner cohomology group $H^1_!(X_Γ,\mathbb{C})$ is non-zero then the pre-image of $Γ$ in each connected cover of $SU(d,1)$ is residually finite. We also give an example of a such a group $Γ$ for which $H^1_!(X_Γ,\mathbb{C})$ is non-zero. Let $Γ$ be an arithmetic subgroup of $SU(d,1)$ with cusps, and let $X_Γ$ be the associated locally symmetric space. We prove that if the first inner cohomology group $H^1_!(X_Γ,\mathbb{C})$ is non-zero then the pre-image of $Γ$ in each connected cover of $SU(d,1)$ is residually finite. We also give an example of a such a group $Γ$ for which $H^1_!(X_Γ,\mathbb{C})$ is non-zero. △ Less

Submitted 21 April, 2022; v1 submitted 28 March, 2022; originally announced March 2022.

MSC Class: 11F06; 11F75; 20E26 (primary)

Modular forms on SU(2,1) with weight $\frac{1}{3}$

Authors: Eberhard Freitag, Richard M. Hill

Abstract: In this note, we describe several new examples of holomorphic modular forms on the group SU(2,1). These forms are distinguished by having weight $\frac{1}{3}$. We also describe a method for determining the levels at which one should expect to find such fractional weight forms. In this note, we describe several new examples of holomorphic modular forms on the group SU(2,1). These forms are distinguished by having weight $\frac{1}{3}$. We also describe a method for determining the levels at which one should expect to find such fractional weight forms. △ Less

Submitted 2 March, 2022; originally announced March 2022.

Comments: 22 pages

MSC Class: 11F55; 11F06 (primary); 20H05 (secondary)

Fractional weight multiplier systems on SU(d,1)

Authors: Richard M. Hill

Abstract: For a class of arithmetic subgroups $Γ$ in SU(d,1) we prove that for every positive integer $n$ there exists a subgroup $Γ_n$ of finite index in $Γ$, which lifts to the $n$-fold connected cover of of SU(d,1). Consequently $Γ_n$ has a multiplier system of weight $\frac{1}{n}$. For a class of arithmetic subgroups $Γ$ in SU(d,1) we prove that for every positive integer $n$ there exists a subgroup $Γ_n$ of finite index in $Γ$, which lifts to the $n$-fold connected cover of of SU(d,1). Consequently $Γ_n$ has a multiplier system of weight $\frac{1}{n}$. △ Less

Submitted 10 August, 2021; originally announced August 2021.

MSC Class: 11F75 (primary)

Comparing Greedy Constructive Heuristic Subtour Elimination Methods for the Traveling Salesman Problem

Authors: Petar D. Jackovich, Bruce A. Cox, Raymond R. Hill

Abstract: This paper further defines the class of fragment constructive heuristics used to compute feasible solutions for the Traveling Salesman Problem into arc-greedy and node-greedy subclasses. Since these subclasses of heuristics can create subtours, two known methodologies for subtour elimination on symmetric instances are reviewed and are expanded to cover asymmetric problem instances. This paper intr… ▽ More This paper further defines the class of fragment constructive heuristics used to compute feasible solutions for the Traveling Salesman Problem into arc-greedy and node-greedy subclasses. Since these subclasses of heuristics can create subtours, two known methodologies for subtour elimination on symmetric instances are reviewed and are expanded to cover asymmetric problem instances. This paper introduces a third novel methodology, the Greedy Tracker, and compares it to both known methodologies. Computational results are generated across multiple symmetric and asymmetric instances. The results demonstrate the Greedy Tracker is the fastest method for preventing subtours for instances below 400 nodes. A distinction between fragment constructive heuristics and the subtour elimination methodology used to ensure the feasibility of resulting solutions enables the introduction of a new node-greedy fragment heuristic called Ordered Greedy. △ Less

Submitted 15 October, 2019; originally announced October 2019.

Effects of Aggregation Methodology on Uncertain Spatiotemporal Data

Authors: Zachary T. Hornberger, Bruce A. Cox, Raymond R. Hill

Abstract: Large spatiotemporal demand datasets can prove intractable for location optimization problems, motivating the need to aggregate such data. However, demand aggregation introduces error which impacts the results of the location study. We introduce and apply a framework for comparing both deterministic and stochastic aggregation methods using distance-based and volume-based aggregation error metrics.… ▽ More Large spatiotemporal demand datasets can prove intractable for location optimization problems, motivating the need to aggregate such data. However, demand aggregation introduces error which impacts the results of the location study. We introduce and apply a framework for comparing both deterministic and stochastic aggregation methods using distance-based and volume-based aggregation error metrics. In addition we introduce and apply weighted versions of these metrics to account for the reality that demand events are non-homogeneous. These metrics are applied to a large, highly variable, spatiotemporal demand dataset of search and rescue events in the Pacific ocean. Comparisons with these metrics between six quadrat aggregations of varying scales and two zonal distribution models using hierarchical clustering is conducted. We show that as quadrat fidelity increases the distance-based aggregation error decreases, while the two deliberate zonal approaches further reduce this error while utilizing fewer zones. However, the higher fidelity aggregations have a detrimental effect on volume error. In addition, by splitting the search and rescue dataset into a training and test set we show that stochastic aggregation of this highly variable spatiotemporal demand appears to be effective at simulating actual future demands. △ Less

Submitted 9 October, 2019; originally announced October 2019.

Non-residually finite extensions of arithmetic groups

Authors: Richard Hill

Abstract: The aim of the article is to show that there are many finite extensions of arithmetic groups which are not residually finite. Suppose $G$ is a simple algebraic group over the rational numbers satisfying both strong approximation, and the congruence subgroup problem. We show that every arithmetic subgroup of $G$ has finite extensions which are not residually finite. More precisely, we investigate t… ▽ More The aim of the article is to show that there are many finite extensions of arithmetic groups which are not residually finite. Suppose $G$ is a simple algebraic group over the rational numbers satisfying both strong approximation, and the congruence subgroup problem. We show that every arithmetic subgroup of $G$ has finite extensions which are not residually finite. More precisely, we investigate the group \[ \bar H^2(\mathbb{Z}/n) = direct limit ( H^2(Γ,\mathbb{Z}/n) ), \] where $Γ$ runs through the arithmetic subgroups of $G$. Elements of $\bar H^2(\mathbb{Z}/n)$ correspond to (equivalence classes of) central extensions of arithmetic groups by $\mathbb{Z}/n$; non-zero elements correspond to extensions which are not residually finite. We prove that $\bar H^2(\mathbb{Z}/n)$ contains infinitely many elements of order $n$, some of which are invariant for the action of the arithmetic completion $\widehat{G(\mathbb{Q})}$ of $G(\mathbb{Q})$. We also investigate which of these (equivalence classes of) extensions lift to characteristic zero, by determining the invariant elements in the group \[ \bar H^2(\mathbb{Z}_l) = projective limit \bar H^2(\mathbb{Z}/l^t). \] We show that $\bar H^2(\mathbb{Z}_l)^{\widehat{G(\mathbb{Q})}}$ is isomorphic to $\mathbb{Z}_l^c$ for some positive integer $c$. When $G(\mathbb{R})$ has no simple components of complex type, we prove that $c=b+m$, where $b$ is the number of simple components of $G(\mathbb{R})$ and $m$ is the dimension of the centre of a maximal compact subgroup of $G(\mathbb{R})$. In all other cases, we prove upper and lower bounds on $c$; our lower bound (which we believe is the correct number) is $b+m$. △ Less

Submitted 30 July, 2018; originally announced July 2018.

MSC Class: 11F75

Exact recursive updating of uncertainty sets for discrete-time plants with a lag

Authors: Robin Hill, Yousong Luo

Abstract: In a recent paper [arXiv:1612.04918] there are new results concerning the polytopic set of possible states of a linear discrete-time SISO system subject to bounded disturbances from measurements corrupted by bounded noise. Using these results we construct an algorithm which, for the special case of a plant with a lag, recursively updates these polytopic sets when new measurements arrive. In a recent paper [arXiv:1612.04918] there are new results concerning the polytopic set of possible states of a linear discrete-time SISO system subject to bounded disturbances from measurements corrupted by bounded noise. Using these results we construct an algorithm which, for the special case of a plant with a lag, recursively updates these polytopic sets when new measurements arrive. △ Less

Submitted 8 October, 2017; v1 submitted 23 March, 2017; originally announced March 2017.

Comments: 10 pages, 5 figures. Paper submitted to 56th CDC, Melbourne 2017

Exact recursive updating of uncertainty sets

Authors: Robin Hill, Yousong Luo, Uwe Schwerdtfeger

Abstract: This paper addresses the classical problem of determining the set of possible states of a linear discrete-time system subject to bounded disturbances from measurements corrupted by bounded noise. These so-called uncertainty sets evolve with time as new measurements become available. We present two theorems which describe completely how they evolve with time, and this yields an efficient algorithm… ▽ More This paper addresses the classical problem of determining the set of possible states of a linear discrete-time system subject to bounded disturbances from measurements corrupted by bounded noise. These so-called uncertainty sets evolve with time as new measurements become available. We present two theorems which describe completely how they evolve with time, and this yields an efficient algorithm for recursively updating uncertainty sets. Numerical simulations demonstrate performance improvements over existing exact methods. △ Less

Submitted 11 October, 2017; v1 submitted 14 December, 2016; originally announced December 2016.

Comments: 16 pages, 9 figures. Two theorems describing the propagation of uncertainty set for discrete-time, time-invariant, single-input-single-output plants are presented. A mistake in the labeling of subscripts in equations (4), (5) and (12) has been corrected

Active Fault Tolerant Flight Control System Design - A UAV Case Study

Authors: Rudaba Khan, Paul Williams, Paul Riseborough, Asha Rao, Robin Hill

Abstract: Fault tolerance is achieved through multiply redundant hardware systems in large civil aircraft. This means of achieving fault tolerance is infeasible for small compact unmanned aerial vehicles. In this paper we apply a fault tolerant control system which exploits analytical redundancy rather than hardware redundancy to an actual UAV model currently in operation via model-in-the-loop simulation. T… ▽ More Fault tolerance is achieved through multiply redundant hardware systems in large civil aircraft. This means of achieving fault tolerance is infeasible for small compact unmanned aerial vehicles. In this paper we apply a fault tolerant control system which exploits analytical redundancy rather than hardware redundancy to an actual UAV model currently in operation via model-in-the-loop simulation. The fault tolerant control system comprises a nonlinear model predictive controller integrated with an unscented Kalman filter for fault detection and identification. The results show that our fault tolerant control system design is able to identify engine failure within seconds of fault occurrence and distribute control authority to the healthy actuators to maintain safe flight. △ Less

Submitted 10 October, 2016; originally announced October 2016.

Active Fault Tolerant Flight Control System Design

Authors: Rudaba Khan, Paul Williams, Paul Riseborough, Asha Rao, Robin Hill

Abstract: In this paper we investigate the design of an active fault tolerant control system applicable to autonomous flight. The system comprises a nonlinear model predictive based controller integrated with an unscented Kalman filter for fault detection and identification. We apply the fault tolerant control system design to a generic aircraft model, and simulate a failed engine scenario. The results show… ▽ More In this paper we investigate the design of an active fault tolerant control system applicable to autonomous flight. The system comprises a nonlinear model predictive based controller integrated with an unscented Kalman filter for fault detection and identification. We apply the fault tolerant control system design to a generic aircraft model, and simulate a failed engine scenario. The results show that the system correctly identifies the fault within seconds of occurrence and updates the nonlinear model predictive controller which is then able to reallocate control authority to the healthy actuators based upon up to date fault information. △ Less

Submitted 7 October, 2016; originally announced October 2016.

Fault Detection and Identification - a Filter Investigation

Authors: Rudaba Khan, Paul Williams, Paul Riseborough, Asha Rao, Robin HIll

Abstract: This paper develops a new active fault tolerant control system based on the concept of analytical redundancy. The novel design consists of an observation filter based fault detection and identification system integrated with a nonlinear model predictive controller. A number of observation filters were designed, integrated with the nonlinear controller and tested before reaching the final design wh… ▽ More This paper develops a new active fault tolerant control system based on the concept of analytical redundancy. The novel design consists of an observation filter based fault detection and identification system integrated with a nonlinear model predictive controller. A number of observation filters were designed, integrated with the nonlinear controller and tested before reaching the final design which comprises an unscented Kalman filter for fault detection and identification together with a nonlinear model predictive controller to form an active fault tolerant control system design. △ Less

Submitted 7 October, 2016; v1 submitted 8 September, 2016; originally announced September 2016.

Journal ref: International Journal of Robust and Nonlinear Control 28 (2017) 1852-1870

Designing a Nonlinear Model Predictive Controller for Fault Tolerant Flight Control

Authors: Rudaba Khan, Paul Williams, Paul Riseborough, Asha Rao, Robin Hill

Abstract: This paper describes the design process for developing a nonlinear model predictive controller for fault tolerant flight control. After examining and implementing a number of numerical techniques, this paper identifies pseudospectral discretisation as the most suitable for this design. Applying the controller to a 2D robot model shows that the nonlinear controller performs much better than the lin… ▽ More This paper describes the design process for developing a nonlinear model predictive controller for fault tolerant flight control. After examining and implementing a number of numerical techniques, this paper identifies pseudospectral discretisation as the most suitable for this design. Applying the controller to a 2D robot model shows that the nonlinear controller performs much better than the linear controller, especially in the closed loop scenario. Assuming fault detection information, applying the technique to the longitudinal motion of a generic aircraft model shows the design to be eminently suitable for flight control. △ Less

Submitted 7 October, 2016; v1 submitted 6 September, 2016; originally announced September 2016.

Companion Matrices and Their Relations to Toeplitz and Hankel Matrices

Authors: Yousong Luo, Robin Hill

Abstract: In this paper we describe some properties of companion matrices and demonstrate some special patterns that arise when a Toeplitz or a Hankel matrix is multiplied by a related companion matrix. We present a new condition, generalizing known results, for a Toeplitz or a Hankel matrix to be the transforming matrix for a similarity between a pair of companion matrices. A special case of our main resul… ▽ More In this paper we describe some properties of companion matrices and demonstrate some special patterns that arise when a Toeplitz or a Hankel matrix is multiplied by a related companion matrix. We present a new condition, generalizing known results, for a Toeplitz or a Hankel matrix to be the transforming matrix for a similarity between a pair of companion matrices. A special case of our main result shows that a Toeplitz or a Hankel matrix can be extended using associated companion matrices, preserving the Toeplitz or Hankel structure respectively. △ Less

Submitted 12 November, 2014; originally announced November 2014.

Exact recursive estimation of linear systems subject to bounded disturbances

Authors: Robin Hill, Yousong Luo, Uwe Schwerdtfeger

Abstract: This paper addresses the classical problem of determining the sets of possible states of a linear discrete-time system subject to bounded disturbances from measurements corrupted by bounded noise. These so-called uncertainty sets evolve with time as new measurements become available. We present an exact, computationally simple procedure that propagates a point on the boundary of the uncertainty se… ▽ More This paper addresses the classical problem of determining the sets of possible states of a linear discrete-time system subject to bounded disturbances from measurements corrupted by bounded noise. These so-called uncertainty sets evolve with time as new measurements become available. We present an exact, computationally simple procedure that propagates a point on the boundary of the uncertainty set at some time instant to a set of points on the boundary of the uncertainty set at the next time instant. △ Less

Submitted 7 May, 2014; originally announced May 2014.

Comments: 21 pages, 6 figures

MSC Class: 93E10

P-adic interpolation of metaplectic forms of cohomological type

Authors: Richard Hill, David Loeffler

Abstract: Let G be a reductive algebraic group over a number field k. It is shown how Emerton's methods may be applied to the problem of p-adically interpolating the metaplectic forms on G, i.e. the automorphic forms on metaplectic covers of G, as long as the metaplectic covers involved split at the infinite places of k. Let G be a reductive algebraic group over a number field k. It is shown how Emerton's methods may be applied to the problem of p-adically interpolating the metaplectic forms on G, i.e. the automorphic forms on metaplectic covers of G, as long as the metaplectic covers involved split at the infinite places of k. △ Less

Submitted 3 October, 2011; originally announced October 2011.

Comments: 37 pages

MSC Class: 11F33; 11F55; 22E50

Journal ref: Int. J. Number Theory 8 (2012), no. 7, 1-48

Properties of sub-matrices of Sylvester matrices and triangular toeplitz matrices

Authors: Yousong Luo, Robin Hill, Uwe Schwerdtfeger

Abstract: In this note we discover and prove some interesting and important relations among sub-matrices of Sylvester matrices and triangular toeplitz matrices. The main result is Hill's identity discovered by R. D. Hill which has an important application in optimal control problems. In this note we discover and prove some interesting and important relations among sub-matrices of Sylvester matrices and triangular toeplitz matrices. The main result is Hill's identity discovered by R. D. Hill which has an important application in optimal control problems. △ Less

Submitted 12 July, 2011; originally announced July 2011.

MSC Class: 15A24

Continuous-time performance limitations for overshoot and resulted tracking measures

Authors: rob wenczel, robin hill

Abstract: A dual formulation for the problem of determining absolute performance limitations on overshoot, undershoot, maximum amplitude and fluctuation minimization for continuous-time feedback systems is constructed. Determining, for example, the minimum possible overshoot attainable by all possible stabilizing controllers is an optimization task that cannot be expressed as a minimum-norm problem. It is t… ▽ More A dual formulation for the problem of determining absolute performance limitations on overshoot, undershoot, maximum amplitude and fluctuation minimization for continuous-time feedback systems is constructed. Determining, for example, the minimum possible overshoot attainable by all possible stabilizing controllers is an optimization task that cannot be expressed as a minimum-norm problem. It is this fact, coupled with the continuous-time rather than discrete-time formulation, that makes these problems challenging. We extend previous results to include more general reference functions, and derive new results (in continuous time) on the influence of pole/zero locations on achievable time-domain performance. △ Less

Submitted 22 March, 2011; originally announced March 2011.

Emerton's Jacquet functors for non-Borel parabolic subgroups

Authors: Richard Hill, David Loeffler

Abstract: This paper studies Emerton's Jacquet module functor for locally analytic representations of p-adic reductive groups. When P is a parabolic subgroup whose Levi factor M is not commutative, we show that passing to an isotypical subspace for the derived subgroup of M gives rise to essentially admissible locally analytic representations of the torus Z(M), which have a natural interpretation in terms o… ▽ More This paper studies Emerton's Jacquet module functor for locally analytic representations of p-adic reductive groups. When P is a parabolic subgroup whose Levi factor M is not commutative, we show that passing to an isotypical subspace for the derived subgroup of M gives rise to essentially admissible locally analytic representations of the torus Z(M), which have a natural interpretation in terms of rigid geometry. We use this to extend Emerton's representation-theoretic construction of eigenvarieties by constructing eigenvarieties interpolating automorphic representations whose local components at p are not necessarily principal series. △ Less

Submitted 24 May, 2010; originally announced May 2010.

Comments: 25 pages

MSC Class: 11F75; 22E50; 11F70

Journal ref: Documenta Math. 16 (2011), 1--31

On Emerton's $p$-adic Banach spaces

Authors: Richard Hill

Abstract: The purpose of the current paper is to introduce some new methods for studying the $p$-adic Banach spaces introduced by Emerton \cite{emerton}. We first relate these spaces to more familiar sheaf cohomology groups. As an application, we obtain a more general version of Emerton's spectral sequence. We also calculate the spaces in some easy cases. As a consequence, we obtain a number of vanishing… ▽ More The purpose of the current paper is to introduce some new methods for studying the $p$-adic Banach spaces introduced by Emerton \cite{emerton}. We first relate these spaces to more familiar sheaf cohomology groups. As an application, we obtain a more general version of Emerton's spectral sequence. We also calculate the spaces in some easy cases. As a consequence, we obtain a number of vanishing theorems. △ Less

Submitted 3 August, 2007; originally announced August 2007.

Comments: 30 pages

MSC Class: 11F75; 11F33

Shintani Cocycles on $\GL_{n}$

Authors: Richard Hill

Abstract: The aim of this paper is to define an n-1-cocycle $σ$ on $\GL_{n}(\Q)$ with values in a certain space $\hD$ of distributions on $\A_f^{n}\setminus\{0\}$. Here $\A_f$ denotes the ring of finite adèles of $\Q$, and the distributions take values in the Laurent series $\C((z_{1},...,z_{n}))$. This cocycle can be used to evaluate special values of Artin L-functions on number fields at negative intege… ▽ More The aim of this paper is to define an n-1-cocycle $σ$ on $\GL_{n}(\Q)$ with values in a certain space $\hD$ of distributions on $\A_f^{n}\setminus\{0\}$. Here $\A_f$ denotes the ring of finite adèles of $\Q$, and the distributions take values in the Laurent series $\C((z_{1},...,z_{n}))$. This cocycle can be used to evaluate special values of Artin L-functions on number fields at negative integers. The construction generalizes that of Solomon in the case n=2. △ Less

Submitted 1 August, 2007; originally announced August 2007.

Comments: 14 pages. To appear in LMS Bulletin

MSC Class: 11F75; 11F67

Geometric construction of metaplectic covers of $\GL_{n}$ in characteristic zero

Authors: Richard Hill

Abstract: This paper presents a new construction of the m-fold metaplectic cover of $\GL_{n}$ over an algebraic number field k, where k contains a primitive m-th root of unity. A 2-cocycle on $\GL_{n}(\A)$ representing this extension is given and the splitting of the cocycle on $\GL_{n}(k)$ is found explicitly. The cocycle is smooth at almost all places of k. As a consequence, a formula for the Kubota sym… ▽ More This paper presents a new construction of the m-fold metaplectic cover of $\GL_{n}$ over an algebraic number field k, where k contains a primitive m-th root of unity. A 2-cocycle on $\GL_{n}(\A)$ representing this extension is given and the splitting of the cocycle on $\GL_{n}(k)$ is found explicitly. The cocycle is smooth at almost all places of k. As a consequence, a formula for the Kubota symbol on $\SL_{n}$ is obtained. The construction of the paper requires neither class field theory nor algebraic K-theory, but relies instead on naive techniques from the geometry of numbers introduced by W. Habicht and T. Kubota. The power reciprocity law for a number field is obtained as a corollary. △ Less

Submitted 1 August, 2007; originally announced August 2007.

Comments: 90 pages

MSC Class: 11F99

Weights of modular forms on $\mathrm{SO}^{+}(2,l)$ and congruences between Eisenstein series and cusp forms of half-integral weight on $\mathrm{SL}_{2}$

Authors: Richard Hill

Abstract: Let $E$ be a level 1, vector valued Eisenstein series of half-integral weight, normalized so that the coefficients are all in $\mathbb{Z}$. We show that there is a level one vector valued cusp form $f$ with the same weight as $E$ and with coefficients in $\mathbb{Z}$, which is congruent to $E$ modulo the constant term of $E$. Let $E$ be a level 1, vector valued Eisenstein series of half-integral weight, normalized so that the coefficients are all in $\mathbb{Z}$. We show that there is a level one vector valued cusp form $f$ with the same weight as $E$ and with coefficients in $\mathbb{Z}$, which is congruent to $E$ modulo the constant term of $E$. △ Less

Submitted 16 July, 2007; originally announced July 2007.

MSC Class: 11F33

A reinterpretation of Emerton's $p$-adic Banach spaces

Authors: Richard Hill

Abstract: It is shown that the $p$-adic Banach spaces introduced by Emerton are isomorphic to the cohomology groups of the sheaf of continuous $\Q_{p}$-valued functions on a certain space. Some applications of this result are discussed. It is shown that the $p$-adic Banach spaces introduced by Emerton are isomorphic to the cohomology groups of the sheaf of continuous $\Q_{p}$-valued functions on a certain space. Some applications of this result are discussed. △ Less

Submitted 14 July, 2007; v1 submitted 13 July, 2007; originally announced July 2007.

Comments: 7 pages

MSC Class: 11F75

Construction of eigenvarieties in small cohomological dimensions for semi-simple, simply connected groups

Authors: Richard Hill

Abstract: We study low order terms of Emerton's spectral sequence for simply connected, simple groups. As a result, for real rank 1 groups, we show that Emerton's method for constructing eigenvarieties is successful in cohomological dimension 1. For real rank 2 groups, we show that a slight modification of Emerton's method allows one to construct eigenvarieties in cohomological dimension 2. We study low order terms of Emerton's spectral sequence for simply connected, simple groups. As a result, for real rank 1 groups, we show that Emerton's method for constructing eigenvarieties is successful in cohomological dimension 1. For real rank 2 groups, we show that a slight modification of Emerton's method allows one to construct eigenvarieties in cohomological dimension 2. △ Less

Submitted 25 June, 2007; originally announced June 2007.

MSC Class: 11F33

Trace Formulae, Zeta Functions, Congruences and Reidemeister Torsion in Nielsen Theory

Authors: Alexander Fel'shtyn, Richard Hill

Abstract: In this paper we prove trace formulae for the Reidemeister number of a group endomorphism. This result implies the rationality of the Reidemeister zeta function in the following cases: the group is a direct product of a finite group and a finitely generated Abelian group; the group is finitely generated, nilpotent and torsion free. We continue to study analytical properties of the Nielsen zeta f… ▽ More In this paper we prove trace formulae for the Reidemeister number of a group endomorphism. This result implies the rationality of the Reidemeister zeta function in the following cases: the group is a direct product of a finite group and a finitely generated Abelian group; the group is finitely generated, nilpotent and torsion free. We continue to study analytical properties of the Nielsen zeta function. We connect the Reidemeister zeta function of an endomorphism of a direct product of a finite group and a finitely generated free Abelian group with the Lefschetz zeta function of the induced map on the unitary dual of the group. As a consequence we obtain a relation between a special value of the Reidemeister zeta function and a certain Reidemeister torsion. We also prove congruences for Reidemeister numbers of iterates of an endomorphism of a direct product of a finite group and a finitely generated free Abelian group which are the same as those found by Dold for Lefschetz numbers. △ Less

Submitted 4 February, 1998; originally announced February 1998.

Comments: 21 pages, LATeX, 86 KB, no figures

Report number: University Greifswald (January,1998) MSC Class: 58F20; 55M20; 57Q10