1,731 results
Search Results
2. On Topological Properties of Some Coverings. An Addendum to a Paper of Lanteri and Struppa
- Author
-
Jarosław A. Wiśniewski
- Subjects
Surjective function ,Ample line bundle ,Pure mathematics ,Morphism ,Betti number ,General Mathematics ,Embedding ,Projective space ,Projective test ,Space (mathematics) ,Mathematics - Abstract
Let π: X′ → X be a finite surjective morphism of complex projective manifolds which can be factored by an embedding of X′ into the total space of an ample line bundle 𝓛 over X. A theorem of Lazarsfeld asserts that Betti numbers of X and X′ are equal except, possibly, the middle ones. In the present paper it is proved that the middle numbers are actually non-equal if either 𝓛 is spanned and deg π ≥ dim X, or if X is either a hyperquadric or a projective space and π is not a double cover of an odd-dimensional projective space by a hyperquadric.
- Published
- 1992
3. On a Paper of Maurice Sion
- Author
-
Mark Mahowald
- Subjects
Combinatorics ,Set (abstract data type) ,Class (set theory) ,Continuous function ,General Mathematics ,Bounded variation ,Open set ,Function (mathematics) ,Real line ,Measure (mathematics) ,Mathematics - Abstract
Let M0 be the set of measures μ on the real line such that open sets are μ*-immeasurable. While attempting to find out whether a set μ*-measurable for all μ in Mo is mapped into a similar set by a continuous function of bounded variation, Maurice Sion develops a theory for what he calls variational measure (4). As an application of the theory, he gets conditions on a function f and a set of measures M in order that f map a set, which is μ*-measurable for all μ ∈ M, into a set of the same kind. In particular he proves for his class M2 (def. 2.5), the following theorem (4, § 8.11).
- Published
- 1959
4. Note on a Paper by Robinson
- Author
-
J. A. Todd
- Subjects
General Mathematics ,010102 general mathematics ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,01 natural sciences ,Mathematical economics ,Mathematics - Abstract
In a recent paper Robinson has obtained an explicit formula for the expression of an invariant matrix of an invariant matrix as a direct sum of invariant matrices. The object of the present note is to show that this formula may be deduced from known properties of Schur functions, with the aid of a result which the author has proved elsewhere.
- Published
- 1950
5. Correction to the Paper*
- Author
-
Casper Goffman and G. M. Petersen
- Subjects
Matrix (mathematics) ,Pure mathematics ,General Mathematics ,Arithmetic ,Mathematics - Published
- 1962
6. Remark on my Paper 'Generators of Monothetic Groups'
- Author
-
D. L. Armacost
- Subjects
Algebra ,General Mathematics ,Mathematics - Published
- 1973
7. Unitary representations of type B rational Cherednik algebras and crystal combinatorics
- Author
-
Emily Norton
- Subjects
Functor ,Unitarity ,General Mathematics ,Type (model theory) ,Unitary state ,Fock space ,Combinatorics ,Irreducible representation ,FOS: Mathematics ,Mathematics - Combinatorics ,Partition (number theory) ,Component (group theory) ,Combinatorics (math.CO) ,Representation Theory (math.RT) ,Mathematics::Representation Theory ,Mathematics - Representation Theory ,Mathematics - Abstract
We compare crystal combinatorics of the level 2 Fock space with the classification of unitary irreducible representations of type B rational Cherednik algebras to study how unitarity behaves under parabolic restriction. First, we show that any finite-dimensional unitary irreducible representation of such an algebra is labeled by a bipartition consisting of a rectangular partition in one component and the empty partition in the other component. This is a new proof of a result that can be deduced from theorems of Montarani and Etingof-Stoica. Second, we show that the crystal operators that remove boxes preserve the combinatorial conditions for unitarity, and that the parabolic restriction functors categorifying the crystals send irreducible unitary representations to unitary representations. Third, we find the supports of the unitary representations., This paper supersedes arXiv:1907.00919 and contains that paper as a subsection. 35 pages, some color figures
- Published
- 2021
8. Lorentz Estimates for Weak Solutions of Quasi-linear Parabolic Equations with Singular Divergence-free Drifts
- Author
-
Tuoc Phan
- Subjects
General Mathematics ,Lorentz transformation ,010102 general mathematics ,Mathematical analysis ,Boundary (topology) ,Space (mathematics) ,01 natural sciences ,Parabolic partial differential equation ,010101 applied mathematics ,symbols.namesake ,Bounded function ,symbols ,Vector field ,Maximal function ,0101 mathematics ,Divergence (statistics) ,Mathematics - Abstract
This paper investigates regularity in Lorentz spaces for weak solutions of a class of divergence form quasi-linear parabolic equations with singular divergence-free drifts. In this class of equations, the principal terms are vector field functions that are measurable in ($x,t$)-variable, and nonlinearly dependent on both unknown solutions and their gradients. Interior, local boundary, and global regularity estimates in Lorentz spaces for gradients of weak solutions are established assuming that the solutions are in BMO space, the John–Nirenberg space. The results are even new when the drifts are identically zero, because they do not require solutions to be bounded as in the available literature. In the linear setting, the results of the paper also improve the standard Calderón–Zygmund regularity theory to the critical borderline case. When the principal term in the equation does not depend on the solution as its variable, our results recover and sharpen known available results. The approach is based on the perturbation technique introduced by Caffarelli and Peral together with a “double-scaling parameter” technique and the maximal function free approach introduced by Acerbi and Mingione.
- Published
- 2019
9. Tannakian Categories With Semigroup Actions
- Author
-
Michael Wibmer and Alexey Ovchinnikov
- Subjects
Class (set theory) ,Pure mathematics ,Semigroup ,General Mathematics ,010102 general mathematics ,Braid group ,Tannakian category ,Group Theory (math.GR) ,Mathematics - Commutative Algebra ,Commutative Algebra (math.AC) ,01 natural sciences ,010101 applied mathematics ,Linear differential equation ,Mathematics::Category Theory ,FOS: Mathematics ,0101 mathematics ,Mathematics - Group Theory ,Finite set ,Differential (mathematics) ,Axiom ,Mathematics - Abstract
Ostrowski's theorem implies that $\log(x),\log(x+1),\ldots$ are algebraically independent over $\mathbb{C}(x)$. More generally, for a linear differential or difference equation, it is an important problem to find all algebraic dependencies among a non-zero solution $y$ and particular transformations of $y$, such as derivatives of $y$ with respect to parameters, shifts of the arguments, rescaling, etc. In the present paper, we develop a theory of Tannakian categories with semigroup actions, which will be used to attack such questions in full generality. Deligne studied actions of braid groups on categories and obtained a finite collection of axioms that characterizes such actions to apply it to various geometric constructions. In this paper, we find a finite set of axioms that characterizes actions of semigroups that are finite free products of semigroups of the form $\mathbb{N}^n\times \mathbb{Z}/n_1\mathbb{Z}\times\ldots\times\mathbb{Z}/n_r\mathbb{Z}$ on Tannakian categories. This is the class of semigroups that appear in many applications., Comment: minor revision
- Published
- 2017
10. Isomorphisms of Twisted Hilbert Loop Algebras
- Author
-
Timothée Marquis and Karl-Hermann Neeb
- Subjects
17B65, 17B70, 17B22, 17B10 ,General Mathematics ,010102 general mathematics ,Hilbert space ,Mathematics - Rings and Algebras ,01 natural sciences ,Combinatorics ,Loop (topology) ,symbols.namesake ,Isomorphism theorem ,Rings and Algebras (math.RA) ,Affine root system ,Product (mathematics) ,0103 physical sciences ,Lie algebra ,FOS: Mathematics ,symbols ,010307 mathematical physics ,Isomorphism ,Representation Theory (math.RT) ,0101 mathematics ,Invariant (mathematics) ,Mathematics - Representation Theory ,Mathematics - Abstract
The closest infinite dimensional relatives of compact Lie algebras are Hilbert-Lie algebras, i.e. real Hilbert spaces with a Lie algebra structure for which the scalar product is invariant. Locally affine Lie algebras (LALAs) correspond to double extensions of (twisted) loop algebras over simple Hilbert-Lie algebras $\mathfrak{k}$, also called affinisations of $\mathfrak{k}$. They possess a root space decomposition whose corresponding root system is a locally affine root system of one of the $7$ families $A_J^{(1)}$, $B_J^{(1)}$, $C_J^{(1)}$, $D_J^{(1)}$, $B_J^{(2)}$, $C_J^{(2)}$ and $BC_J^{(2)}$ for some infinite set $J$. To each of these types corresponds a "minimal" affinisation of some simple Hilbert-Lie algebra $\mathfrak{k}$, which we call standard. In this paper, we give for each affinisation $\mathfrak{g}$ of a simple Hilbert-Lie algebra $\mathfrak{k}$ an explicit isomorphism from $\mathfrak{g}$ to one of the standard affinisations of $\mathfrak{k}$. The existence of such an isomorphism could also be derived from the classification of locally affine root systems, but for representation theoretic purposes it is crucial to obtain it explicitely as a deformation between two twists which is compatible with the root decompositions. We illustrate this by applying our isomorphism theorem to the study of positive energy highest weight representations of $\mathfrak{g}$. In subsequent work, the present paper will be used to obtain a complete classification of the positive energy highest weight representations of affinisations of $\mathfrak{k}$., Comment: 22 pages; Minor corrections
- Published
- 2017
11. Ramification of the Eigencurve at Classical RM Points
- Author
-
Adel Betina
- Subjects
Pure mathematics ,Mathematics - Number Theory ,General Mathematics ,Mathematics::Number Theory ,010102 general mathematics ,Modular form ,Local ring ,Weight space ,Subring ,Galois module ,01 natural sciences ,Base change ,Lift (mathematics) ,0103 physical sciences ,FOS: Mathematics ,Quadratic field ,010307 mathematical physics ,Number Theory (math.NT) ,0101 mathematics ,Mathematics - Abstract
J. Bellaïche and M. Dimitrov showed that the $p$-adic eigencurve is smooth but not étale over the weight space at $p$-regular theta series attached to a character of a real quadratic field $F$ in which $p$ splits. In this paper we prove the existence of an isomorphism between the subring fixed by the Atkin–Lehner involution of the completed local ring of the eigencurve at these points and a universal ring representing a pseudo-deformation problem. Additionally, we give a precise criterion for which the ramification index is exactly 2. We finish this paper by proving the smoothness of the nearly ordinary and ordinary Hecke algebras for Hilbert modular forms over $F$ at the overconvergent cuspidal Eisenstein points, being the base change lift for $\text{GL}(2)_{/F}$ of these theta series. Our approach uses deformations and pseudo-deformations of reducible Galois representations.
- Published
- 2019
- Full Text
- View/download PDF
12. A Skolem–Mahler–Lech Theorem for Iterated Automorphisms of K–algebras
- Author
-
Jeffrey C. Lagarias and Jason P. Bell
- Subjects
Pure mathematics ,Mathematics - Number Theory ,General Mathematics ,Algebraic extension ,Field (mathematics) ,Dynamical Systems (math.DS) ,Commutative Algebra (math.AC) ,Mathematics - Commutative Algebra ,16. Peace & justice ,Automorphism ,Mathematics - Algebraic Geometry ,Skolem–Mahler–Lech theorem ,Scheme (mathematics) ,FOS: Mathematics ,Affine space ,Number Theory (math.NT) ,Mathematics - Dynamical Systems ,Primary: 11D45. Secondary: 14R10. 11Y55, 11D88 ,Algebra over a field ,Algebraic Geometry (math.AG) ,Finite set ,Mathematics - Abstract
This paper proves a commutative algebraic extension of a generalized Skolem-Mahler-Lech theorem due to the first author. Let $A$ be a finitely generated commutative $K$-algebra over a field of characteristic $0$, and let $\sigma$ be a $K$-algebra automorphism of $A$. Given ideals $I$ and $J$ of $A$, we show that the set $S$ of integers $m$ such that $\sigma^m(I) \supseteq J$ is a finite union of complete doubly infinite arithmetic progressions in $m$, up to the addition of a finite set. Alternatively, this result states that for an affine scheme $X$ of finite type over $K$, an automorphism $\sigma \in {\rm Aut}_K(X)$, and $Y$ and $Z$ any two closed subschemes of $X$, the set of integers $m$ with $\sigma^m(Z ) \subseteq Y$ is as above. The paper presents examples showing that this result may fail to hold if the affine scheme $X$ is not of finite type, or if $X$ is of finite type but the field $K$ has positive characteristic., Comment: 29 pages; to appear in the Canadian Journal of Mathematics
- Published
- 2015
13. Weighted Carleson Measure Spaces Associated with Different Homogeneities
- Author
-
Xinfeng Wu
- Subjects
Carleson measure ,Pure mathematics ,General Mathematics ,010102 general mathematics ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,01 natural sciences ,Mathematics - Abstract
In this paper, we introduce weighted Carleson measure spaces associated with different homogeneities and prove that these spaces are the dual spaces of weighted Hardy spaces studied in a forthcoming paper. As an application, we establish the boundedness of composition of two Calderón–Zygmund operators with different homogeneities on the weighted Carleson measure spaces; this, in particular, provides the weighted endpoint estimates for the operators studied by Phong–Stein.
- Published
- 2014
14. Existence of Taut Foliations on Seifert Fibered Homology 3-spheres
- Author
-
Shanti Caillat-Gibert and Daniel Matignon
- Subjects
Pure mathematics ,General Mathematics ,Taut foliation ,General Topology (math.GN) ,Physics::Physics Education ,Fibered knot ,Geometric Topology (math.GT) ,Homology (mathematics) ,Mathematics::Geometric Topology ,Mathematics - Geometric Topology ,FOS: Mathematics ,Mathematics::Differential Geometry ,Mathematics::Symplectic Geometry ,Mathematics - General Topology ,Mathematics - Abstract
This paper concerns the problem of existence of taut foliations among 3-manifolds. Since the contribution of David Gabai, we know that closed 3-manifolds with non-trivial second homology group admit a taut foliations. The essential part of this paper focuses on Seifert fibered homology 3-spheres. The result is quite different if they are integral or rational but non-integral homology 3-spheres. Concerning integral homology 3-spheres, we prove that all but the 3-sphere and the Poincar\'e 3-sphere admit a taut foliation. Concerning non-integral homology 3-spheres, we prove there are infinitely many which admit a taut foliation, and infinitely many without taut foliation. Moreover, we show that the geometries do not determine the existence of taut foliations on non-integral Seifert fibered homology 3-spheres., Comment: 34 pages, 1 figure
- Published
- 2014
15. Classic and Mirabolic Robinson–Schensted–Knuth Correspondence for Partial Flags
- Author
-
Daniele Rosso
- Subjects
Mathematics::Combinatorics ,General Mathematics ,010102 general mathematics ,FLAGS register ,01 natural sciences ,Combinatorics ,Robinson–Schensted–Knuth correspondence ,Mathematics - Algebraic Geometry ,0103 physical sciences ,Line (geometry) ,FOS: Mathematics ,Mathematics - Combinatorics ,14M15 (Primary) 05A05 (Secondary) ,Combinatorics (math.CO) ,010307 mathematical physics ,0101 mathematics ,Variety (universal algebra) ,Mathematics::Representation Theory ,Algebraic Geometry (math.AG) ,Mathematics ,Flag (geometry) - Abstract
In this paper we first generalize to the case of partial flags a result proved both by Spaltenstein and by Steinberg that relates the relative position of two complete flags and the irreducible components of the flag variety in which they lie, using the Robinson-Schensted-Knuth correspondence. Then we use this result to generalize the mirabolic Robinson-Schensted-Knuth correspondence defined by Travkin, to the case of two partial flags and a line., Comment: 27 pages, slightly rewritten to combine two papers into one and clarify some sections
- Published
- 2012
16. The Ample Cone for a K3 Surface
- Author
-
Arthur Baragar
- Subjects
Surface (mathematics) ,Pure mathematics ,General Mathematics ,010102 general mathematics ,Lattice (group) ,Divisor (algebraic geometry) ,Algebraic number field ,01 natural sciences ,K3 surface ,Fractal ,Cone (topology) ,Hausdorff dimension ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,Mathematics - Abstract
In this paper, we give several pictorial fractal representations of the ample or Kahler cone for surfaces in a certain class of K3 surfaces. The class includes surfaces described by smooth (2, 2, 2) forms in P×P×P defined over a sufficiently large number field K, which have a line parallel to one of the axes, and have Picard number four. We relate the Hausdorff dimension of this fractal to the asymptotic growth of orbits of curves under the action of the surface’s group of automorphisms. We experimentally estimate the Hausdorff dimension of the fractal to be 1.296± .010. The ample cone or Kahler cone for a surface is a significant and often complicated geometric object. Though much is known about the ample cone, particularly for K3 surfaces, only a few non-trivial examples have been explicitly described. These include the ample cones with a finite number of sides (see [N1] for n = 3, and [N2, N3] for n ≥ 5; the case n = 4 is attributed to Vinberg in an unpublished work [N1]); the ample cone for a class of K3 surfaces with n = 3 [Ba3]; and the ample cones for several Kummer surfaces, which are K3 surfaces with n = 20 [V, K-K, Kon]. Though the complexity of the problem generically increases with n, the problem for K3 surfaces with maximal Picard number (n = 20) appear to be tractable because of the small size of the transcendental lattice. In this paper, we introduce accurate pictorial representations of the ample cone and the associated fractal for surfaces within a class of K3 surfaces with Picard number n = 4 (see Figures 1, 3, 4, and 5). As far as the author is aware, the associated fractal has not been studied in any great depth for any ample cone for which the fractal has a non-integer dimension, except the one in [Ba3]. The fractal in that case is Cantor-like (it is a subset of S) and rigorous bounds on its Hausdorff dimension are calculated in [Ba1]. The Hausdorff dimension of the fractal of this paper is estimated to be 1.296± .010. Our second main result is to relate the Hausdorff dimension of the fractal to the growth of the height of curves for an orbit of curves on a surface in this class. Precisely, let V be a surface within our class of K3 surfaces and let A = Aut(V/K) be its group of automorphisms over a sufficiently large number field K. Let D be an ample divisor on V and let C be a curve on V . Define NA(C)(t,D) = #{C′ ∈ A(C) : C′ ·D < t}. Here we have abused notation by letting C′ also represent the divisor class that contains C′. The intersection C′ ·D should be thought of as a logarithmic height of 2000 Mathematics Subject Classification. 14J28, 14J50, 11D41, 11D72, 11H56, 11G10, 37F35, 37D05.
- Published
- 2011
17. A Variant of Lehmer’s Conjecture, II: The CM-case
- Author
-
Sanoli Gun and V. Kumar Murty
- Subjects
General Mathematics ,010102 general mathematics ,Complex multiplication ,01 natural sciences ,Combinatorics ,Integer ,0103 physical sciences ,Eigenform ,Asymptotic formula ,010307 mathematical physics ,0101 mathematics ,Lehmer's conjecture ,Fourier series ,Mathematics - Abstract
Let f be a normalized Hecke eigenform with rational integer Fourier coefficients. It is an interesting question to know how often an integer n has a factor common with the n-th Fourier coefficient of f. It has been shown in previous papers that this happens very often. In this paper, we give an asymptotic formula for the number of integers n for which (n, a(n)) = 1, where a(n) is the n-th Fourier coefficient of a normalized Hecke eigenform f of weight 2 with rational integer Fourier coefficients and having complex multiplication.
- Published
- 2011
18. Locally Indecomposable Galois Representations
- Author
-
Eknath Ghate and Vinayak Vatsal
- Subjects
Pure mathematics ,Galois cohomology ,General Mathematics ,Fundamental theorem of Galois theory ,010102 general mathematics ,Galois group ,Galois module ,01 natural sciences ,Normal basis ,Embedding problem ,symbols.namesake ,0103 physical sciences ,symbols ,010307 mathematical physics ,Galois extension ,0101 mathematics ,Indecomposable module ,Mathematics - Abstract
In a previous paper the authors showed that, under some technical conditions, the local Galois representations attached to the members of a non-CM family of ordinary cusp forms are indecomposable for all except possibly finitely many members of the family. In this paper we use deformation theoretic methods to give examples of non-CM families for which every classical member of weight at least two has a locally indecomposable Galois representation. School of Mathematics, Tata Institute of Fundamental Research, Mumbai 400005, India. e-mail: eghate@math.tifr.res.in Department of Mathematics, University of British Columbia, Vancouver, BC e-mail: vatsal@math.ubc.ca Received by the editors August 5, 2008. Published electronically December 29, 2010. AMS subject classification: 11F80. 1
- Published
- 2011
19. Residual Spectra of Split Classical Groups and their Inner Forms
- Author
-
Neven Grbac
- Subjects
Classical group ,Quaternion algebra ,General Mathematics ,010102 general mathematics ,Cycle graph (algebra) ,Algebraic number field ,01 natural sciences ,Hermitian matrix ,Spectrum (topology) ,Combinatorics ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,Algebraic number ,Group theory ,Mathematics - Abstract
This paper is concerned with the residual spectrum of the hermitian quaternionic classical groups G′n and H′n defined as algebraic groups for a quaternion algebra over an algebraic number field. Groups G′n and H′n are not quasi-split. They are inner forms of the split groups SO4n and Sp4n. Hence, the parts of the residual spectrum of G′n and H′n obtained in this paper are compared to the corresponding parts for the split groups SO4n and Sp4n.
- Published
- 2009
20. Nonadjacent Radix-τ Expansions of Integers in Euclidean Imaginary Quadratic Number Fields
- Author
-
V. Kumar Murty, Guangwu Xu, and Ian F. Blake
- Subjects
Discrete mathematics ,General Mathematics ,010102 general mathematics ,Algebraic number field ,01 natural sciences ,Quadratic equation ,0103 physical sciences ,Euclidean geometry ,ComputingMethodologies_DOCUMENTANDTEXTPROCESSING ,Point (geometry) ,Radix ,010307 mathematical physics ,0101 mathematics ,GeneralLiterature_REFERENCE(e.g.,dictionaries,encyclopedias,glossaries) ,Mathematics - Abstract
In his seminal papers, Koblitz proposed curves for cryptographic use. For fast operations on these curves, these papers also initiated a study of the radix-τ expansion of integers in the number fields and . The (window) nonadjacent form of τ -expansion of integers in was first investigated by Solinas. For integers in , the nonadjacent form and the window nonadjacent form of the τ -expansion were studied. These are used for efficient point multiplications on Koblitz curves. In this paper, we complete the picture by producing the (window) nonadjacent radix-τ expansions for integers in all Euclidean imaginary quadratic number fields.
- Published
- 2008
21. On the Hyperinvariant Subspace Problem. IV
- Author
-
Carl Pearcy, H. Bercovici, and C. Foias
- Subjects
Algebra ,General Mathematics ,010102 general mathematics ,ComputingMethodologies_DOCUMENTANDTEXTPROCESSING ,0101 mathematics ,01 natural sciences ,Subspace topology ,Mathematics - Abstract
This paper is a continuation of three recent articles concerning the structure of hyperinvariant subspace lattices of operators on a (separable, infinite dimensional) Hilbert space . We show herein, in particular, that there exists a “universal” fixed block-diagonal operator B on such that if ε > 0 is given and T is an arbitrary nonalgebraic operator on , then there exists a compact operator K of norm less than ε such that (i) Hlat(T) is isomorphic as a complete lattice to Hlat(B + K) and (ii) B + K is a quasidiagonal, C00, (BCP)-operator with spectrum and left essential spectrum the unit disc. In the last four sections of the paper, we investigate the possible structures of the hyperlattice of an arbitrary algebraic operator. Contrary to existing conjectures, Hlat(T) need not be generated by the ranges and kernels of the powers of T in the nilpotent case. In fact, this lattice can be infinite.
- Published
- 2008
22. Ruled Exceptional Surfaces and the Poles of Motivic Zeta Functions
- Author
-
Bart Rodrigues
- Subjects
Surface (mathematics) ,Pure mathematics ,Intersection ,General Mathematics ,Open problem ,Geometry ,A fibers ,Mathematics - Abstract
In this paper we study ruled surfaces which appear as exceptional surface in a succession of blowing-ups. In particular we prove that the e-invariant of such a ruled exceptional surface E is strictly positive whenever its intersection with the other exceptional surfaces does not contain a fiber (of E). This fact immediately enables us to resolve an open problem concerning an intersection configuration on such a ruled exceptional surface consisting of three nonintersecting sections. In the second part of the paper we apply the non-vanishing of e to the study of the poles of the well-known topological, Hodge and motivic zeta functions.
- Published
- 2007
23. Cardinal Invariants of Analytic P-Ideals
- Author
-
Michael Hrušák and Fernando Hernández-Hernández
- Subjects
Infinite set ,General Mathematics ,010102 general mathematics ,Banach space ,Totally bounded space ,0102 computer and information sciences ,Cofinality ,01 natural sciences ,Combinatorics ,010201 computation theory & mathematics ,Family of sets ,0101 mathematics ,Finite intersection property ,Invariant (mathematics) ,Quotient ,Mathematics - Abstract
We study the cardinal invariants of analytic P-ideals, concentrating on the ideal Zof asymptotic density zero. Among other results we prove min{b, cov (N)} ≤ cov∗(Z) ≤ max{b, non(N)}. Introduction Analytic P-ideals and their quotients have been extensively studied in recent years. The first step to better understanding the structure of the quotient forcings P(ω)/I is to understand the structure of the ideal itself. Significant progress in understanding the way in which the structure of an ideal affects the structure of its quotient has been done by I. Farah [Fa1, Fa2, Fa3, Fa4, Fa5]. Typically (but not always) the quotients P(ω)/I, where I is an analytic P-ideal, are proper and weakly distributive. For some special ideals these quotients have been identified: P(ω)/Z is as forcing notion equivalent to P(ω)/fin ∗ B(2) [Fa5], and P(ω)/ tr(N) [HZ1] is as forcing notion equivalent to the iteration of B(ω) followed by an א0-distributive forcing (see the definitions below). A secondary motivation comes from the problem of which ideals can be destroyed by a weakly distributive forcing. Even for the class of analytic P-ideals only partial results are known (see Section 3). In this note we contribute to this line of research by investigating cardinal invariants of analytic P-ideals, comparing them to other, standard, cardinal invariants of the continuum. In the first section we introduce cardinal invariants of ideals on ω, along the lines of the cardinal invariants contained in the Cichon’s diagram. We also recall the definitions of standard orderings on ideals on ω (Rudin–Keisler, Tukey, Katětov) and their impact on the cardinal invariants of the ideals. Basic theory of analytic P-ideals on ω and examples are also reviewed here. Known results on additivity and cofinality of analytic P-ideals are summarized in the second section. The main part of the paper is contained in the third section. There we study the order of Katětov restricted to analytic P-ideals, giving a detailed description of how the summable and density ideals are placed in the Katětov order. For the rest of the section, we focus on the ideal of asymptotic density zero and compare its covering number to standard cardinal invariants of the continuum. We prove that min{b, cov(N)} ≤ cov(Z) ≤ max{b, non(N)} and mention some consistency results. We introduce the notion of a totally bounded analytic P-ideal and show that Received by the editors October 5, 2004; revised September 19, 2005. The authors gratefully acknowledge support from PAPIIT grant IN106705. The second author’s research was also partially supported by GA CR grant 201-03-0933 and CONACYT grant 40057-F AMS subject classification: 03E17, 03E40. c ©Canadian Mathematical Society 2007. 575 576 F. Hernandez-Hernandez and M. Hrusak all analytic P-ideals which are not totally bounded can be destroyed by a weakly distributive forcing. In the last section we study the separating number of analytic P-ideals, an invariant closely related to the Laver and Mathias–Prikry type forcings associated with the ideal. Two major problems remain open here: (1) Is add(I) = add(N) for every tall analytic P-ideal I? (2) Can every analytic P-ideal be destroyed by a weakly distributive forcing? What about Z? We assume knowledge of the method of forcing as well as the basic theory of cardinal invariants of the continuum as covered in [BJ]. Our notation is standard and follows [Ku, Je, BJ]. In particular, c0, l1 and l∞ denote the standard Banach spaces of sequences of reals. For A,B infinite subsets of ω, we say that A is almost contained in B (A ⊆ B) if A \ B is finite. The symbol A = Bmeans that A ⊆ B and B ⊆ A. For functions f , g ∈ ω we write f ≤ g to mean that there is some m ∈ ω such that f (n) ≤ g(n) for all n ≥ m. The bounding number b is the least cardinal of an ≤-unbounded family of functions in ω . The dominating number d is the least cardinal of a ≤-cofinal family of functions in ω . Recall that a family of subsets of ω has the strong finite intersection property if any finite subfamily has infinite intersection. The pseudointersection number p is the minimal size of a family of subsets of ω with the strong finite intersection property but without an infinite pseudointersection (i.e., without a common lower bound in the ⊆ order). A family S ⊆ P(ω) is a splitting family if for every infinite A ⊆ ω there is an S ∈ S such that S ∩ A and A \ S are infinite. The splitting number s is the minimal size of a splitting family in P(ω). The set 2 is equipped with the product topology, that is, the topology with basic open sets of the form [s] = {x ∈ 2 : s ⊆ x}, where s ∈ 2 . The topology of P(ω) is that obtained via the identification of each subset of ω with its characteristic function. An ideal on X is a family of subsets of X closed under taking finite unions and subsets of its members. We assume throughout the paper that all ideals contain all singletons {x} for x ∈ X. An ideal I on ω is called P-ideal if for any sequence Xn ∈ I, n ∈ ω, there exists X ∈ I such that Xn ⊆ ∗ X for all n ∈ ω. An ideal I on ω is analytic if it is analytic as a subspace of P(ω) with the above topology. Recall that an ideal on ω is tall (or dense) if every infinite set of ω contains an infinite set from the ideal. If I is an ideal on ω and Y ⊆ ω is an infinite set, then we denote by I↾Y the ideal {I ∩ Y : I ∈ I}; note that the underlying set of the ideal I↾Y is not the underlying set of I but Y . For an ideal I on ω, I denotes the dual filter, M denotes the ideal of meager subsets of R, and N the ideal of Lebesgue null subsets of R. Given an ideal I on a set X, the following are standard cardinal invariants associated with I: add(I) = min{|A| : A ⊆ I ∧ ⋃ A / ∈ I}, cov(I) = min{|A| : A ⊆ I ∧ ⋃ A = X}, cof(I) = min{|A| : A ⊆ I ∧ (∀I ∈ I)(∃A ∈ A)(I ⊆ A)}, non(I) = min{|Y | : Y ⊆ X ∧Y / ∈ I}. The provable relationships between the cardinal invariants of M and N are Cardinal Invariants of Analytic P-Ideals 577 summed up in the following diagram: cov(N) // non(M) // cof(M) // cof(N)
- Published
- 2007
24. Nonstandard Ideals from Nonstandard Dual Pairs for L1(ω) and l1(ω)
- Author
-
C. J. Read
- Subjects
Discrete mathematics ,Weight function ,General Mathematics ,Zero (complex analysis) ,Commutative property ,Omega ,Convolution ,Dual pair ,Mathematics ,Dual (category theory) - Abstract
The Banach convolution algebras l1(ω) and their continuous counterparts L1(ℝ+, ω) are much studied, because (when the submultiplicative weight function ω is radical) they are pretty much the prototypic examples of commutative radical Banach algebras. In cases of “nice” weights ω, the only closed ideals they have are the obvious, or “standard”, ideals. But in the general case, a brilliant but very difficult paper of Marc Thomas shows that nonstandard ideals exist in l1(ω). His proof was successfully exported to the continuous case L1(ℝ+, ω) by Dales and McClure, but remained difficult. In this paper we first present a small improvement: a new and easier proof of the existence of nonstandard ideals in l1(ω) and L1(ℝ+, ω). The new proof is based on the idea of a “nonstandard dual pair” which we introduce. We are then able to make a much larger improvement: we find nonstandard ideals in L1(ℝ+, ω) containing functions whose supports extend all the way down to zero in ℝ+, thereby solving what has become a notorious problem in the area.
- Published
- 2006
25. The Closure Ordering of Nilpotent Orbits of the Complex Symmetric Pair (SOp+q, SOp × SOq)
- Author
-
Michael Litvinov and Dragomir Ž. Đoković
- Subjects
Discrete mathematics ,010308 nuclear & particles physics ,Group (mathematics) ,General Mathematics ,010102 general mathematics ,Closure (topology) ,Central series ,01 natural sciences ,Combinatorics ,Nilpotent ,0103 physical sciences ,Lie algebra ,Orthogonal group ,Identity component ,0101 mathematics ,Mathematics ,Vector space - Abstract
The main problem that is solved in this paper has the following simple formulation (which is not used in its solution). The group K = Op(C) × Oq(C) acts on the space Mp, q of p × q complex matrices by (a; b) · x = axb–1, and so does its identity component K0 = SOp(C)×SOq(C). A K-orbit (or K0-orbit) in Mp,q is said to be nilpotent if its closure contains the zero matrix. The closure, , of a nilpotent K-orbit (resp. K0-orbit) in Mp,q is a union of and some nilpotent K-orbits (resp. K0-orbits) of smaller dimensions. The description of the closure of nilpotent K-orbits has been known for some time, but not so for the nilpotent K0-orbits. A conjecture describing the closure of nilpotent K0-orbits was proposed in [11] and verièd when min(p, q) ≤ 7. In this paper we prove the conjecture. The proof is based on a study of two prehomogeneous vector spaces attached to and determination of the basic relative invariants of these spaces.The above problem is equivalent to the problem of describing the closure of nilpotent orbits in the real Lie algebra so(p, q) under the adjoint action of the identity component of the real orthogonal group O(p, q).
- Published
- 2003
26. Values of the Dedekind Eta Function at Quadratic Irrationalities: Corrigendum
- Author
-
Kenneth S. Williams and Alfred J. van der Poorten
- Subjects
Discrete mathematics ,symbols.namesake ,Quadratic equation ,General Mathematics ,Dedekind sum ,symbols ,Binary quadratic form ,Dedekind eta function ,Isotropic quadratic form ,Mathematics - Abstract
Habib Muzaffar of Carleton University has pointed out to the authors that in their paper [A] only the resultfollows from the prime ideal theorem with remainder for ideal classes, and not the stronger resultstated in Lemma 5.2. This necessitates changes in Sections 5 and 6 of [A]. The main results of the paper are not affected by these changes. It should also be noted that, starting on page 177 of [A], each and every occurrence of o(s − 1) should be replaced by o(1).Sections 5 and 6 of [A] have been rewritten to incorporate the abovementioned correction and are given below. They should replace the original Sections 5 and 6 of [A].
- Published
- 2001
27. On the Curves Associated to Certain Rings of Automorphic Forms
- Author
-
Kamal Khuri-Makdisi
- Subjects
Pure mathematics ,Quaternion algebra ,General Mathematics ,010102 general mathematics ,Automorphic form ,Complex multiplication ,Congruence relation ,01 natural sciences ,Algebra ,Elliptic curve ,0103 physical sciences ,Representation ring ,010307 mathematical physics ,Compactification (mathematics) ,0101 mathematics ,Hecke operator ,Mathematics - Abstract
In a 1987 paper, Gross introduced certain curves associated to a definite quaternion algebra B over Q; he then proved an analog of his result with Zagier for these curves. In Gross’ paper, the curves were defined in a somewhat ad hoc manner. In this article, we present an interpretation of these curves as projective varieties arising from graded rings of automorphic forms on B×, analogously to the construction in the Satake compactification. To define such graded rings, one needs to introduce a “multiplication” of automorphic forms that arises from the representation ring of B×. The resulting curves are unions of projective lines equipped with a collection of Hecke correspondences. They parametrize two-dimensional complex tori with quaternionic multiplication. In general, these complex tori are not abelian varieties; they are algebraic precisely when they correspond to CM points on these curves, and are thus isogenous to a product E × E, where E is an elliptic curve with complex multiplication. For these CM points one can make a relation between the action of the p-th Hecke operator and Frobenius at p, similar to the well-known congruence relation of Eichler and Shimura.
- Published
- 2001
28. Characters of Depth-Zero, Supercuspidal Representations of the Rank-2 Symplectic Group
- Author
-
Clifton Cunningham
- Subjects
Symplectic group ,Rank (linear algebra) ,General Mathematics ,010102 general mathematics ,Symplectic representation ,01 natural sciences ,Algebra ,Character (mathematics) ,0103 physical sciences ,Lie algebra ,010307 mathematical physics ,0101 mathematics ,Mathematics::Representation Theory ,Symplectomorphism ,Moment map ,Springer correspondence ,Mathematics - Abstract
This paper expresses the character of certain depth-zero supercuspidal representations of the rank-2 symplectic group as the Fourier transform of a finite linear combination of regular elliptic orbital integrals—an expression which is ideally suited for the study of the stability of those characters. Building on work of F. Murnaghan, our proof involves Lusztig’s Generalised Springer Correspondence in a fundamental way, and also makes use of some results on elliptic orbital integrals proved elsewhere by the author using Moy-Prasad filtrations of p-adic Lie algebras. Two applications of the main result are considered toward the end of the paper.
- Published
- 2000
29. Stable Bi-Period Summation Formula and Transfer Factors
- Author
-
Yuval Z. Flicker
- Subjects
Discrete mathematics ,Pure mathematics ,Transfer (group theory) ,Conjugacy class ,Group (mathematics) ,General Mathematics ,Automorphic form ,Fundamental lemma ,Algebraic number field ,Reductive group ,Unit (ring theory) ,Mathematics - Abstract
This paper starts by introducing a bi-periodic summation formula for automorphic forms on a group G(E), with periods by a subgroup G(F), where E/F is a quadratic extension of number fields. The split case, where E = F ! F, is that of the standard trace formula. Then it introduces a notion of stable bi-conjugacy, and stabilizes the geometric side of the bi-period summation formula. Thus weighted sums in the stable bi-conjugacy class are expressed in terms of stable bi-orbital integrals. These stable integrals are on the same endoscopic groups H which occur in the case of standard conjugacy. The spectral side of the bi-period summation formula involves periods, namely integrals overthe group of F-adele points of G ,o f cusp forms on the group ofE-adele points on the group G. Our stabilization suggests that such cusp forms—with non vanishing periods—and the resulting bi-period distributions associated to "periodic" automorphic forms, are related to analogous bi-period distributions associated to "periodic" au- tomorphic forms on the endoscopic symmetric spaces H(E)/H(F). This offers a sharpening of the theory of liftings, where periods play a key role. The stabilization depends on the "fundamental lemma", which conjectures that the unit elements of the Hecke algebras on GandH havematching orbitalintegrals. Evenin stating this conjecture, oneneeds to intro- duce a "transfer factor". A generalization of the standard transfer factor to the bi-periodic case is introduced. The generalization depends on a new definition of the factors even in the standard case. Finally, the fundamental lemma is verified for SL(2). The geometric side of the trace formula for a test function f ! on the group of adele points of a reductive group G over a number field F ,i s as um of orbital integrals off ! parametrized by rational conjugacy classes, in G(F). It is obtained on integrating over the diagonal x = y the kernel Kf ! (x, y )o f ac onvolution operatorr(f ! ). Each such orbital integral can be expressed as an average of weighted sums of such orbital integrals over the stable conjugacy class, which is the set of rational points in the conjugacy class under the points of the group over the algebraic closure. Each such weighted sum is conjecturally related to a stable (a sum where all coefficients are equal to 1) such sum on an endoscopic group H of the group G.T his process of stabilization has been introduced by Langlands to establishliftingofautomorphicandadmissiblerepresentationsfromtheendoscopicgroups H to the original group G. The purpose of this paper is to develop an analogue in the context of the symmetric space G(E)/G(F), where E/F is a quadratic number field extension. Integrating the kernel Kf ! (x, y )o f the convolution operatorr(f ! ) for the test function f ! on the group of E- adele points of the group G over two independent variables x and y in the subgroup of F-adele points of G, we obtain a sum of bi-orbital integrals of f ! over rational bi-conjugacy classes. We introduce a notion of stable bi-conjugacy, and stabilize the geometric side of the bi-period summation formula. Thus we express the weighted sums in the stable bi
- Published
- 1999
30. Association Schemes for Ordered Orthogonal Arrays and (T, M, S)-Nets
- Author
-
William J. Martin and Douglas R. Stinson
- Subjects
Combinatorics ,Discrete mathematics ,Association scheme ,Linear programming ,General Mathematics ,010102 general mathematics ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,Orthogonal array ,01 natural sciences ,Mathematics - Abstract
In an earlier paper [10], we studied a generalized Rao bound for ordered orthogonal arrays and (T, M, S)-nets. In this paper, we extend this to a coding-theoretic approach to ordered orthogonal arrays. Using a certain association scheme, we prove a MacWilliams-type theorem for linear ordered orthogonal arrays and linear ordered codes as well as a linear programming bound for the general case. We include some tables which compare this bound against two previously known bounds for ordered orthogonal arrays. Finally we show that, for even strength, the LP bound is always at least as strong as the generalized Rao bound.
- Published
- 1999
31. Ward’s Solitons II: Exact Solutions
- Author
-
Christopher Kumar Anand
- Subjects
Surface (mathematics) ,Pure mathematics ,Function field of an algebraic variety ,General Mathematics ,010102 general mathematics ,Mathematical analysis ,Holomorphic function ,Dimension of an algebraic variety ,Algebraic geometry ,01 natural sciences ,Algebraic cycle ,0103 physical sciences ,Real algebraic geometry ,010307 mathematical physics ,0101 mathematics ,Differential algebraic geometry ,Mathematics - Abstract
In a previous paper, we gave a correspondence between certain exact solutions to a (2 + 1)-dimensional integrable Chiral Model and holomorphic bundles on a compact surface. In this paper, we use algebraic geometry to derive a closed-form expression for those solutions and show by way of examples how the algebraic data which parametrise the solution space dictates the behaviour of the solutions.
- Published
- 1998
32. Factorization in the Invertible Group of a C*-Algebra
- Author
-
Michael J. Leen
- Subjects
Group (mathematics) ,General Mathematics ,010102 general mathematics ,Compact operator ,01 natural sciences ,law.invention ,Combinatorics ,Algebra ,Nilpotent ,Invertible matrix ,law ,0103 physical sciences ,Homogeneous space ,Algebra representation ,010307 mathematical physics ,Compact quantum group ,Identity component ,0101 mathematics ,Mathematics - Abstract
In this paper we consider the following problem: Given a unital C*- algebra A and a collection of elements S in the identity component of the invertible group of A, denoted inv0(A), characterize the group of finite products of elements of S. The particular C*-algebras studied in this paper are either unital purely infinite simple or of the form (A ⊗ K)+, where A is any C*-algebra and K is the compact operators on an infinite dimensional separable Hilbert space. The types of elements used in the factorizations are unipotents (1+ nilpotent), positive invertibles and symmetries (s2 = 1). First we determine the groups of finite products for each collection of elements in (A ⊗ K)+. Then we give upper bounds on the number of factors needed in these cases. The main result, which uses results for (A ⊗ K)+, is that for A unital purely infinite and simple, inv0(A) is generated by each of these collections of elements.
- Published
- 1997
33. Automorphisms of the Lie Algebras W* in Characteristic 0
- Author
-
J. Marshall Osborn
- Subjects
Automorphisms of the symmetric and alternating groups ,General Mathematics ,010102 general mathematics ,Automorphism ,01 natural sciences ,Lie conformal algebra ,Algebra ,Adjoint representation of a Lie algebra ,Representation of a Lie group ,ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION ,0103 physical sciences ,Lie algebra ,010307 mathematical physics ,0101 mathematics ,Mathematics - Abstract
In a recent paper [2] we defined four classes of infinite dimensional simple Lie algebras over a field of characteristic 0 which we called W*, S*, H*, and K*. As the names suggest, these classes generalize the Lie algebras of Cartan type. A second paper [3] investigates the derivations of the algebras W* and S*, and the possible isomorphisms between these algebras and the algebras defined by Block [1]. In the present paper we investigate the automorphisms of the algebras of type W*.
- Published
- 1997
34. Constrained Approximation in Sobolev Spaces
- Author
-
Kirill A. Kopotun, Y. K. Hu, and X. M. Yu
- Subjects
Pointwise ,Discrete mathematics ,Modulus of smoothness ,Measurable function ,General Mathematics ,010102 general mathematics ,Absolute continuity ,01 natural sciences ,Sobolev space ,Uniform norm ,Bounded function ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,Lp space ,Mathematics - Abstract
Positive, copositive, onesided and intertwining (co-onesided) polyno- mial and spline approximations of functions f W k( 1 1) are considered. Both uniform and pointwise estimates, which are exact in some sense, are obtained. 1. Introduction and main results. We start by recalling some of the notations and definitions used throughout this paper. Let C(a b )a nd C k ( a b) be, respectively, the sets of all continuous and k-times continuously differentiable functions on (a b), and let Lp(a b), 0 p , be the set of measurable functions on (a b) such that f Lp(a b) ,w here f L p ( a b ) := b a f (x) p dx 1 p Throughout this paper L (a b) is understood as C(a b) with the usual uniform norm, to simplify the notation. We also denote by W k (a b), p 1, the set of all functions f on (a b) such that f (k 1) are absolutely continuous and f (k) Lp, and by Pn the set of all m=0 m i ( 1) m i f (x mh 2 + ih) if x mh 2 (a b), 0 otherwise. Then the m-th (usual) modulus of smoothness of f Lp(a b )i s def ined by m ( f t ( a b))p := sup 0 h t Δ m (f ( a b)) Lp (a b) We will also use the so-called -modulus, an averaged modulus of smoothness, defined for all bounded measurable functions on (a b )b y m ( f t ( a b))p := m (f t ) L p ( a b )
- Published
- 1997
35. The epsilon constant conjecture for higher dimensional unramified twists of (1)
- Author
-
Werner Bley and Alessandro Cobbe
- Subjects
Pure mathematics ,Conjecture ,General Mathematics ,010102 general mathematics ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,Constant (mathematics) ,01 natural sciences ,Mathematics - Abstract
Let $N/K$ be a finite Galois extension of p-adic number fields, and let $\rho ^{\mathrm {nr}} \colon G_K \longrightarrow \mathrm {Gl}_r({{\mathbb Z}_{p}})$ be an r-dimensional unramified representation of the absolute Galois group $G_K$ , which is the restriction of an unramified representation $\rho ^{\mathrm {nr}}_{{{\mathbb Q}}_{p}} \colon G_{{\mathbb Q}_{p}} \longrightarrow \mathrm {Gl}_r({{\mathbb Z}_{p}})$ . In this paper, we consider the $\mathrm {Gal}(N/K)$ -equivariant local $\varepsilon $ -conjecture for the p-adic representation $T = \mathbb Z_p^r(1)(\rho ^{\mathrm {nr}})$ . For example, if A is an abelian variety of dimension r defined over ${{\mathbb Q}_{p}}$ with good ordinary reduction, then the Tate module $T = T_p\hat A$ associated to the formal group $\hat A$ of A is a p-adic representation of this form. We prove the conjecture for all tame extensions $N/K$ and a certain family of weakly and wildly ramified extensions $N/K$ . This generalizes previous work of Izychev and Venjakob in the tame case and of the authors in the weakly and wildly ramified case.
- Published
- 2021
36. Proof, Disproof and Advances Concerning Certain Conjectures on Real Quadratic Fields
- Author
-
Hugh C. Williams and R. A. Mollin
- Subjects
Discrete mathematics ,Quadratic equation ,General Mathematics ,Mathematics - Abstract
The purpose of this paper is to address conjectures raised in [2]. We show that one of the conjectures is false and we advance the proof of another by proving it for an infinite set of cases. Furthermore, we give hard evidence as to why the conjecture is true and show what remains to be done to complete the proof. Finally, we prove a conjecture given by S. Louboutin, for Mathematical Reviews, in his discussion of the aforementioned paper.
- Published
- 1995
37. Thaine's Method for Circular Units and a Conjecture of Gross
- Author
-
Henri Darmon
- Subjects
Stark conjectures ,Conjecture ,Elliott–Halberstam conjecture ,General Mathematics ,010102 general mathematics ,abc conjecture ,Algebraic number field ,01 natural sciences ,Class number formula ,Collatz conjecture ,Combinatorics ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,Lonely runner conjecture ,Mathematics - Abstract
We formulate a conjecture analogous to Gross' refinement of the Stark conjectures on special values of abelian L-series at s = 0. Some evidence for the conjecture can be obtained, thanks to the fundamental ideas of F. Thaine. 1. Introduction. This paper formulates a refined analogue of the usual class number formula for a real quadratic extension of Q, using circular units. The statement of this conjecture is inspired by an analogous conjecture of Gross (Gr). Strong evidence for this conjecture can be given thanks to F. Thaine's powerful method (Th) for generating relations in ideal class groups using circular units. The first two sections briefly recall Dirichlet's analytic class number formula and Gross's refinement of it; they are there mainly to fix notations and provide motivation. Section 4 states the new conjecture. The remaining sections are devoted to proving various results that support it. ACKNOWLEDGEMENTS. I wish to thank Massimo Bertolini and Benedict Gross for many stimulating conversations on the topics of this paper. NOTATIONS. If K is a number field and w is a place of K lying above a prime v of Q, we denote by Kw the localization of K at w, and let Nw be the order of its residue field. The w-adic norm || || w is normalized so that it is equal to Nw" 1 on uniformizing elements.
- Published
- 1995
38. On Homogeneous Images of Compact Ordered Spaces
- Author
-
Jacek Nikiel and E. D. Tymchatyn
- Subjects
Discrete mathematics ,Pure mathematics ,Continuum (topology) ,General Mathematics ,First-countable space ,010102 general mathematics ,Hausdorff space ,Mathematics::General Topology ,Disjoint sets ,01 natural sciences ,Jordan curve theorem ,symbols.namesake ,Metrization theorem ,0103 physical sciences ,Homogeneous space ,symbols ,010307 mathematical physics ,0101 mathematics ,Indecomposable module ,Mathematics - Abstract
We answer a 1975 question of G. R. Gordh by showing that if X is a homogeneous compactum which is the continuous image of a compact ordered space then at least one of the following holds: (i) X is metrizable, (ii) dimX = 0 or (iii) X is a union of finitely many pairwise disjoint generalized simple closed curves. We begin to examine the structure of homogeneous 0-dimensional spaces which are continuous images of ordered compacta. 1. Introduction. The aim of this paper is to investigate homogeneous spaces which are continuous images of ordered compacta. In 1975, G. R. Gordh proved that if a homo geneous and hereditarily unicoherent continuum is the continuous image of an ordered compactum, then it is metrizable, and so indecomposable (7, Theorem 3). Further, he asked if, in general, every homogeneous continuum which is the continuous image of an ordered compactum must be either metrizable or a generalized simple closed curve. Our Theorem 1 provides an affirmative answer to Gordh's question. Moreover, in Theorem 2, we prove that a homogeneous space which is not 0-dimensional and which is the continuous image of an ordered compactum is either metrizable or a union of finitely many pairwise disjoint generalized simple closed curves. Our methods of proof involve characterizations of continuous images of arcs obtained in ( 16) in terms of cyclic elements and T-sets. When dealing with the class A of all homogeneous and 0-dimensional spaces which are the continuous images of ordered compacta, the situation becomes less clear. By a recent theorem of M. Bell, each member of A is first countable. Moreover, by a result of (18), each member of A can be embedded into a dendron. We give a rather simple construction leading to a wide subclass of A. In particular, we show that not all members of A are orderable, and that there exists a strongly homogeneous space X which is the continuous image of an ordered compactum and which is not first countable. It follows that X $ A. Our investigations of the class A led to some natural questions which are stated at the end of the paper. All spaces considered in this paper are Hausdorff.
- Published
- 1993
39. Torsion in thin regions of Khovanov homology
- Author
-
Adam M. Lowrance, Alex Chandler, Radmila Sazdanovic, and Victor Summers
- Subjects
Khovanov homology ,Pure mathematics ,Conjecture ,General Mathematics ,010102 general mathematics ,Diagonal ,Geometric Topology (math.GT) ,Torus ,Mathematics::Algebraic Topology ,Mathematics::Geometric Topology ,01 natural sciences ,Mathematics - Geometric Topology ,Mathematics::K-Theory and Homology ,Mathematics::Quantum Algebra ,57M25, 57M27 ,0103 physical sciences ,FOS: Mathematics ,Torsion (algebra) ,010307 mathematical physics ,0101 mathematics ,Link (knot theory) ,Mathematics::Symplectic Geometry ,Mathematics - Abstract
In the integral Khovanov homology of links, the presence of odd torsion is rare. Homologically thin links, that is links whose Khovanov homology is supported on two adjacent diagonals, are known to only contain $\mathbb{Z}_2$ torsion. In this paper, we prove a local version of this result. If the Khovanov homology of a link is supported in two adjacent diagonals over a range of homological gradings and the Khovanov homology satisfies some other mild restrictions, then the Khovanov homology of that link has only $\mathbb{Z}_2$ torsion over that range of homological gradings. These conditions are then shown to be met by an infinite family of 3-braids, strictly containing all 3-strand torus links, thus giving a partial answer to Sazdanovic and Przytycki's conjecture that 3-braids have only $\mathbb{Z}_2$ torsion in Khovanov homology. We also give explicit computations of integral Khovanov homology for all links in this family., Comment: 20 pages, 11 figures. Section 4 has been simplified
- Published
- 2021
40. Rank conditions for finite group actions on 4-manifolds
- Author
-
Semra Pamuk and Ian Hambleton
- Subjects
Pure mathematics ,Finite group ,57M60, 57S17, 20J06 ,General Mathematics ,010102 general mathematics ,Geometric topology ,Geometric Topology (math.GT) ,Algebraic topology ,Rank (differential topology) ,Mathematics::Algebraic Topology ,01 natural sciences ,Cohomology ,Set (abstract data type) ,Mathematics - Geometric Topology ,Mathematics::K-Theory and Homology ,0103 physical sciences ,Spectral sequence ,FOS: Mathematics ,ComputingMethodologies_DOCUMENTANDTEXTPROCESSING ,Algebraic Topology (math.AT) ,Mathematics - Algebraic Topology ,010307 mathematical physics ,0101 mathematics ,Mathematics::Symplectic Geometry ,Mathematics - Abstract
Let M be a closed, connected, orientable topological 4-manifold, and G be a finite group acting topologically and locally linearly on M. In this paper we investigate the Borel spectral sequence for the G-equivariant cohomology of M, and establish new bounds on the rank of G for homologically trivial actions with discrete singular set., 22 pages (v2). Accepted for publication in the Canadian Journal of Mathematics
- Published
- 2021
41. Integral Kernels with Reflection Group Invariance
- Author
-
Charles F. Dunkl
- Subjects
Pure mathematics ,Group (mathematics) ,General Mathematics ,010102 general mathematics ,Coxeter group ,Mathematical analysis ,Spherical harmonics ,01 natural sciences ,Classical orthogonal polynomials ,Conjugacy class ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,Reflection group ,Laplace operator ,Dunkl operator ,Mathematics - Abstract
Root systems and Coxeter groups are important tools in multivariable analysis. This paper is concerned with differential-difference and integral operators, and orthogonality structures for polynomials associated to Coxeter groups. For each such group, the structures allow as many parameters as the number of conjugacy classes of reflections. The classical orthogonal polynomials of Gegenbauer and Jacobi type appear in this theory as two-dimensional cases. For each Coxeter group and admissible choice of parameters there is a structure analogous to spherical harmonics which relies on the connection between a Laplacian operator and orthogonality on the unit sphere with respect to a group-invariant measure. The theory has been developed in several papers of the author [4,5,6,7]. In this paper, the emphasis is on the study of an intertwining operator which allows the transfer of certain results about ordinary harmonic polynomials to those associated to Coxeter groups. In particular, a formula and a bound are obtained for the Poisson kernel.
- Published
- 1991
42. Strong Boundedness and Strong Convergence in Sequence Spaces
- Author
-
Naza Tanović-Miller and Martin Buntinas
- Subjects
Sequence ,Weak convergence ,General Mathematics ,010102 general mathematics ,0103 physical sciences ,Convergence (routing) ,Applied mathematics ,010307 mathematical physics ,0101 mathematics ,01 natural sciences ,Modes of convergence ,Mathematics - Abstract
Strong convergence has been investigated in summability theory and Fourier analysis. This paper extends strong convergence to a topological property of sequence spaces E. The more general property of strong boundedness is also defined and examined. One of the main results shows that for an FK-space E which contains all finite sequences, strong convergence is equivalent to the invariance property E = ℓ ν0. E with respect to coordinatewise multiplication by sequences in the space ℓν0 defined in the paper. Similarly, strong boundedness is equivalent to another invariance E = ℓν.E. The results of the paper are applied to summability fields and spaces of Fourier series.
- Published
- 1991
43. Homotopy Theory of Diagrams and CW-Complexes Over a Category
- Author
-
Robert J. Piacenza
- Subjects
Discrete mathematics ,Pure mathematics ,Homotopy category ,Brown's representability theorem ,Model category ,Computer Science::Information Retrieval ,General Mathematics ,Homotopy ,010102 general mathematics ,Whitehead theorem ,Mathematics::Algebraic Topology ,01 natural sciences ,Weak equivalence ,n-connected ,Mathematics::K-Theory and Homology ,Mathematics::Category Theory ,Homotopy hypothesis ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,Mathematics - Abstract
The purpose of this paper is to introduce the notion of a CW complex over a topological category. The main theorem of this paper gives an equivalence between the homotopy theory of diagrams of spaces based on a topological category and the homotopy theory of CW complexes over the same base category.A brief description of the paper goes as follows: in Section 1 we introduce the homotopy category of diagrams of spaces based on a fixed topological category. In Section 2 homotopy groups for diagrams are defined. These are used to define the concept of weak equivalence and J-n equivalence that generalize the classical definition. In Section 3 we adapt the classical theory of CW complexes to develop a cellular theory for diagrams. In Section 4 we use sheaf theory to define a reasonable cohomology theory of diagrams and compare it to previously defined theories. In Section 5 we define a closed model category structure for the homotopy theory of diagrams. We show this Quillen type homotopy theory is equivalent to the homotopy theory of J-CW complexes. In Section 6 we apply our constructions and results to prove a useful result in equivariant homotopy theory originally proved by Elmendorf by a different method.
- Published
- 1991
44. Acyclicity of Certain Homeomorphism Groups
- Author
-
K. Varadarajan and Parameswaran Sankaran
- Subjects
Combinatorics ,Cantor set ,General Mathematics ,Bounded function ,Simple group ,010102 general mathematics ,0103 physical sciences ,Neighbourhood (graph theory) ,010307 mathematical physics ,0101 mathematics ,Bijection, injection and surjection ,01 natural sciences ,Mathematics - Abstract
Introduction. The concept of a mitotic group was introduced in [3] by Baumslag, Dyer and Heller who showed that mitotic groups were acyclic. In [8] one of the authors introduced the concept of a pseudo-mitotic group, a concept weaker than that of a mitotic group, and showed that pseudo-mitotic groups were acyclic and that the group Gn of homeomorphisms of R n with compact support is pseudo-mitotic. In our present paper we develop techniques to prove pseudomitoticity of certain other homeomorphism groups. In [5] Kan and Thurston observed that the group of set theoretic bijections of Q with bounded support is acyclic. A natural question is to decide whether the group of homeomorphisms of Q (resp. the irrationals / ) with bounded support is acyclic or not. In the present paper we develop techniques to answer this question in the affirmative. Also the techniques developed here enable us to show that the group of homeomorphisms of the Cantor set which are identity in a neighbourhood of 0 and 1 is pseudo-mitotic and hence acyclic. It is worth noticing the contrast between our results and the results of R. D. Anderson in [1] and [2]. Anderson, using his techniques shows that the group of all homeomorphisms of Q, / or the Cantor set is a simple group. He also shows that the group of orientation preserving homeomorphisms of S or S is simple.
- Published
- 1990
45. A Schensted Algorithm Which Models Tensor Representations of the Orthogonal Group
- Author
-
Robert A. Proctor
- Subjects
Algebra ,General Mathematics ,Tensor (intrinsic definition) ,010102 general mathematics ,0103 physical sciences ,Orthogonal group ,010307 mathematical physics ,0101 mathematics ,01 natural sciences ,Mathematics - Abstract
This paper is concerned with a combinatorial construction which mysteriously “mimics” or “models” the decomposition of certain reducible representations of orthogonal groups. Although no knowledge of representation theory is needed to understand the body of this paper, a little familiarity is necessary to understand the representation theoretic motivation given in the introduction. Details of the proofs will most easily be understood by people who have had some exposure to Schensted's algorithm or jeu de tacquin.
- Published
- 1990
46. Large values of Dirichlet L-functions at zeros of a class of L-functions
- Author
-
Junxian Li
- Subjects
Pure mathematics ,symbols.namesake ,Class (set theory) ,General Mathematics ,010102 general mathematics ,0103 physical sciences ,symbols ,010307 mathematical physics ,0101 mathematics ,01 natural sciences ,Dirichlet distribution ,Mathematics - Abstract
In this paper, we are interested in obtaining large values of Dirichlet L-functions evaluated at zeros of a class of L-functions, that is, $$ \begin{align*}\max_{\substack{F(\rho)=0\\ T\leq \Im \rho \leq 2T}}L(\rho,\chi), \end{align*} $$ where $\chi $ is a primitive Dirichlet character and F belongs to a class of L-functions. The class we consider includes L-functions associated with automorphic representations of $GL(n)$ over ${\mathbb {Q}}$ .
- Published
- 2020
47. Variation of constants formula and exponential dichotomy for nonautonomous non-densely defined Cauchy problems
- Author
-
Pierre Magal and Ousmane Seydi
- Subjects
General Mathematics ,Exponential dichotomy ,010102 general mathematics ,Mathematical analysis ,Mathematics::Analysis of PDEs ,Cauchy distribution ,Variation of parameters ,01 natural sciences ,010101 applied mathematics ,Homogeneous ,Boundary value problem ,0101 mathematics ,Persistence (discontinuity) ,Hyperbolic partial differential equation ,Mathematics - Abstract
In this paper, we extend to the non-Hille–Yosida case a variation of constants formula for a nonautonomous and nonhomogeneous Cauchy problems first obtained by Gühring and Räbiger. By using this variation of constants formula, we derive a necessary and sufficient condition for the existence of an exponential dichotomy for the evolution family generated by the associated nonautonomous homogeneous problem. We also prove a persistence result of the exponential dichotomy for small perturbations. Finally, we illustrate our results by considering two examples. The first example is a parabolic equation with nonlocal and nonautonomous boundary conditions, and the second example is an age-structured model that is a hyperbolic equation.
- Published
- 2020
48. Khovanov–Rozansky homology for infinite multicolored braids
- Author
-
Michael Willis
- Subjects
Large class ,Khovanov homology ,Pure mathematics ,General Mathematics ,010102 general mathematics ,Geometric Topology (math.GT) ,Limiting ,Homology (mathematics) ,Mathematics::Geometric Topology ,01 natural sciences ,Mathematics - Geometric Topology ,Tensor product ,Mathematics::Category Theory ,Mathematics::Quantum Algebra ,Mathematics - Quantum Algebra ,57M25, 57M27 ,0103 physical sciences ,FOS: Mathematics ,Braid ,Quantum Algebra (math.QA) ,010307 mathematical physics ,0101 mathematics ,Twist ,Mathematics - Abstract
We define a limiting $\mathfrak{sl}_N$ Khovanov-Rozansky homology for semi-infinite positive multi-colored braids, and we show that this limiting homology categorifies a highest-weight projector for a large class of such braids. This effectively completes the extension of Cautis' similar result for infinite twist braids, begun in our earlier papers with Islambouli and Abel. We also present several similar results for other families of semi-infinite and bi-infinite multi-colored braids., 37 pages, 13 figures
- Published
- 2020
49. On the structure of Kac–Moody algebras
- Author
-
Timothée Marquis and UCL - SST/IRMP - Institut de recherche en mathématique et physique
- Subjects
Nipotent algebras ,Pure mathematics ,010308 nuclear & particles physics ,General Mathematics ,010102 general mathematics ,Structure (category theory) ,Solvable algebras ,Mathematics - Rings and Algebras ,01 natural sciences ,Nilpotent ,Bracket (mathematics) ,Rings and Algebras (math.RA) ,Homogeneous ,Mathematics::Quantum Algebra ,0103 physical sciences ,FOS: Mathematics ,Cartan matrix ,Kac-Moody algebras ,0101 mathematics ,Algebra over a field ,Element (category theory) ,Mathematics::Representation Theory ,17B67, 17B30 ,Mathematics - Abstract
Let $A$ be a symmetrisable generalised Cartan matrix, and let $\mathfrak g(A)$ be the corresponding Kac-Moody algebra. In this paper, we address the following fundamental question on the structure of $\mathfrak g(A)$: given two homogeneous elements $x,y \in \mathfrak g(A)$, when is their bracket $[x,y]$ a nonzero element? As an application of our results, we give a description of the solvable and nilpotent graded subalgebras of $\mathfrak g(A)$., 32 pages. Final version, to appear in Canadian Journal of Mathematics
- Published
- 2020
50. Addendum to 'Nearly Countable Dense Homogeneous Spaces'
- Author
-
Michael Hrušáak and Jan van Mill
- Subjects
Combinatorics ,Normal subgroup ,Product group ,Dense set ,Homogeneous ,Group (mathematics) ,General Mathematics ,Addendum ,Countable set ,Mathematics ,Group operation - Abstract
This paper provides an addendum to M. Hrusak and J. van Mill “Nearly Countable Dense Homogeneous Spaces.” Canad. J. Math., published online 2013-03-08, http://dx.doi.org/10.4153/ CJM-2013-006-8. It was brought to our attention by Su Gao that the proof of Theorem 5.2 in our paper is incomplete. We are indebted to him for this observation. The aim of this note is to correct this. Theorem 5.2 Let G be a closed subgroup of S∞ and let κ be the number of orbits for the canonical action G × 2N → 2N. Then there is an action of a Polish group H on X = N× [0, 1) such that X has κ H-types of countable dense sets. Proof Let G act on X in the following natural way: (g, (n, t)) 7−→ (g(n), t) for g ∈ G, n ∈ N, t ∈ [0, 1). Put F = { f ∈H (X) : (∀ n ∈ N)( f (n, 0) = (n, 0)) } . Then F is a closed normal subgroup of H (X) and hence is Polish. Moreover, for any two countable dense subsets D and E of N × (0, 1) there exists f ∈ F such that f (D) = E. Treat G also as subgroup of H (X). The Polish semi-direct product group H = G o F acts on X as follows: ((g, f ), x) 7→ ( f ◦ g)(x) for f ∈ F, g ∈ G, x ∈ X. Note that topologically, H = G o F is G× F, but its group operation ∗ is given by (g1, f1) ∗ (g2, f2) = (g1g2, f1g1 f2g 1 ). A typical countable dense subset of X has the form D ∪ A, where D is a countable dense subset of N× (0, 1), and A ⊆ N× {0}. By identifying P(N× {0}) and 2N in the standard way, it is clear that we get what we want. Centro de Ciencias Matematicas, UNAM, A.P. 61-3, Xangari, Morelia, Michoacan, 58089, Mexico e-mail: michael@matmor.unam.mx Faculty of Sciences, Department of Mathematics, VU University Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands e-mail: j.van.mill@vu.nl Received by the editors October 28, 2013. Published electronically November 7, 2013. The first author was supported by a PAPIIT grant IN 102311 and CONACyT grant 177758. The second author is pleased to thank the Centro de Ciencias Matematicas at Morelia for generous hospitality and support. AMS subject classification: 54H05, 03E15, 54E50.
- Published
- 2014
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.