1,717 results
Search Results
2. Variations on a Paper of Erdős and Heilbronn
- Author
-
P. D. T. A. Elliott
- Subjects
Discrete mathematics ,General Mathematics ,Mathematics - Abstract
It is shown that an old direct argument of Erdős and Heilbronn may be elaborated to yield a result of the current inverse type.
- Published
- 2010
3. 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
4. Erratum to the Paper 'A Lower Bound for the Length of Closed Geodesics on a Finsler Manifold'
- Author
-
Wei Zhao
- Subjects
Pure mathematics ,Geodesic ,General Mathematics ,Geometry ,Finsler manifold ,Upper and lower bounds ,Mathematics - Abstract
We correct two clerical errors made in the paper ”A Lower Bound for the Length of Closed Geodesics on a Finsler Manifold”.
- Published
- 2014
5. A Remark on a Paper of Walter and Zayed
- Author
-
S. P. Zhou and T. F. Xie
- Subjects
Discrete mathematics ,Alpha (programming language) ,General Mathematics ,Inverse ,Jacobi transform ,Integer (computer science) ,Mathematics - Abstract
One result concerning the series representation for the continuous Jacobi transform in Walter and Zayed [1] is improved, the same thought also can be applied to the related results in [1].
- Published
- 1991
6. Comments on a Paper of R. A. Brualdi
- Author
-
D. P. Bovet, G. Bongiovanni, and A. Cerioli
- Subjects
Combinatorics ,Discrete mathematics ,General Mathematics ,Mathematics - Abstract
R. A. Brualdi [1] presents a construction yielding matrices whose Birkhoff representation consists of the maximum number of permutation matrices and having 0(2n2) line sum. In this note a counterexample to such a construction is given. Furthermore, a new construction is presented, yielding matrices with lower line sums.
- Published
- 1988
7. On a Paper of G. Mason
- Author
-
Shalom Feigelstock
- Subjects
General Mathematics ,Mathematics education ,Mathematics - Abstract
Mason, [1, Theorem 2.6], proved that for any near-ring R, there are no non-trivial injective R-modules. In his proof he embedded R into a simple R -module G of arbitrarily high cardinality.
- Published
- 1981
8. Corrigendum to the Paper 'Nilpotency of Derivations'
- Author
-
Jiang Luh and L. O. Chung
- Subjects
Pure mathematics ,General Mathematics ,Mathematics - Published
- 1986
9. On Involutions of Quasi-Division Algebras
- Author
-
Lowell Sweet
- Subjects
Involution (mathematics) ,Pure mathematics ,General Mathematics ,Short paper ,Structure (category theory) ,Order (ring theory) ,Multiplication ,Division (mathematics) ,Automorphism ,Associative property ,Mathematics - Abstract
All algebras are assumed to be finite dimensional and not necessarily associative. An involution of an algebra is an algebra automorphism of order two. A quasi-division algebra is any algebra in which the non-zero elements form a quasi-group under multiplication. The purpose of this short paper is to determine the structure of all involutions of quasi-division algebras and to give an application of this result.
- Published
- 1975
10. 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
11. SNC Log Symplectic Structures on Fano Products
- Author
-
Katsuhiko Okumura
- Subjects
Pure mathematics ,Mathematics::Algebraic Geometry ,General Mathematics ,Poisson manifold ,010102 general mathematics ,0103 physical sciences ,Projective space ,010307 mathematical physics ,Fano plane ,0101 mathematics ,01 natural sciences ,Symplectic geometry ,Mathematics - Abstract
This paper classifies Poisson structures with the reduced simple normal crossing divisor on a product of Fano varieties of Picard number 1. The characterization of even-dimensional projective spaces from the viewpoint of Poisson structures is given by Lima and Pereira. In this paper, we generalize the characterization of projective spaces to any dimension.
- Published
- 2020
12. Non-cocompact Group Actions and -Semistability at Infinity
- Author
-
Ross Geoghegan, Michael L. Mihalik, and Craig R. Guilbault
- Subjects
Class (set theory) ,Pure mathematics ,Property (philosophy) ,Group (mathematics) ,General Mathematics ,media_common.quotation_subject ,010102 general mathematics ,Infinity ,01 natural sciences ,Group action ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,Mathematics ,Counterexample ,media_common - Abstract
A finitely presented 1-ended group $G$ has semistable fundamental group at infinity if $G$ acts geometrically on a simply connected and locally compact ANR $Y$ having the property that any two proper rays in $Y$ are properly homotopic. This property of $Y$ captures a notion of connectivity at infinity stronger than “1-ended”, and is in fact a feature of $G$, being independent of choices. It is a fundamental property in the homotopical study of finitely presented groups. While many important classes of groups have been shown to have semistable fundamental group at infinity, the question of whether every $G$ has this property has been a recognized open question for nearly forty years. In this paper we attack the problem by considering a proper but non-cocompact action of a group $J$ on such an $Y$. This $J$ would typically be a subgroup of infinite index in the geometrically acting over-group $G$; for example $J$ might be infinite cyclic or some other subgroup whose semistability properties are known. We divide the semistability property of $G$ into a $J$-part and a “perpendicular to $J$” part, and we analyze how these two parts fit together. Among other things, this analysis leads to a proof (in a companion paper) that a class of groups previously considered to be likely counter examples do in fact have the semistability property.
- Published
- 2019
13. Corrigendum to: A Galois Correspondence for Reduced Crossed Products of Simple -algebras by Discrete Groups
- Author
-
Roger R. Smith and Jan Cameron
- Subjects
Pure mathematics ,Crossed product ,Group (mathematics) ,Simple (abstract algebra) ,General Mathematics ,Unital ,Bimodule ,Mathematics - Abstract
This note corrects an error in our paper “A Galois correspondence for reduced crossed products of unital simple $\text{C}^{\ast }$-algebras by discrete groups”, http://dx.doi.org/10.4153/CJM-2018-014-6. The main results of the original paper are unchanged.
- Published
- 2019
14. Perturbation Analysis of Orthogonal Least Squares
- Author
-
Huanmin Ge, Wengu Chen, and Pengbo Geng
- Subjects
General Mathematics ,0202 electrical engineering, electronic engineering, information engineering ,Applied mathematics ,Orthogonal least squares ,020206 networking & telecommunications ,020201 artificial intelligence & image processing ,02 engineering and technology ,Isometry (Riemannian geometry) ,Mathematics - Abstract
The Orthogonal Least Squares (OLS) algorithm is an efficient sparse recovery algorithm that has received much attention in recent years. On one hand, this paper considers that the OLS algorithm recovers the supports of sparse signals in the noisy case. We show that the OLS algorithm exactly recovers the support of $K$-sparse signal $\boldsymbol{x}$ from $\boldsymbol{y}=\boldsymbol{\unicode[STIX]{x1D6F7}}\boldsymbol{x}+\boldsymbol{e}$ in $K$ iterations, provided that the sensing matrix $\boldsymbol{\unicode[STIX]{x1D6F7}}$ satisfies the restricted isometry property (RIP) with restricted isometry constant (RIC) $\unicode[STIX]{x1D6FF}_{K+1}, and the minimum magnitude of the nonzero elements of $\boldsymbol{x}$ satisfies some constraint. On the other hand, this paper demonstrates that the OLS algorithm exactly recovers the support of the best $K$-term approximation of an almost sparse signal $\boldsymbol{x}$ in the general perturbations case, which means both $\boldsymbol{y}$ and $\boldsymbol{\unicode[STIX]{x1D6F7}}$ are perturbed. We show that the support of the best $K$-term approximation of $\boldsymbol{x}$ can be recovered under reasonable conditions based on the restricted isometry property (RIP).
- Published
- 2019
15. 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
16. On the Structure of the Schild Group in Relativity Theory
- Author
-
Ch. Pommerenke and Gerd Jensen
- Subjects
Pure mathematics ,Group (mathematics) ,General Mathematics ,Lorentz transformation ,010102 general mathematics ,Integer lattice ,Structure (category theory) ,010103 numerical & computational mathematics ,Lattice of subgroups ,01 natural sciences ,symbols.namesake ,Theory of relativity ,Matrix group ,symbols ,0101 mathematics ,Group theory ,Mathematics - Abstract
Alfred Schild has established conditions that Lorentz transformationsmap world-vectors (ct, x, y, z) with integer coordinates onto vectors of the same kind. These transformations are called integral Lorentz transformations.This paper contains supplements to our earlier work with a new focus on group theory. To relate the results to the familiar matrix group nomenclature, we associate Lorentz transformations with matrices in SL(z, ℂ). We consider the lattice of subgroups of the group originated in Schild’s paper and obtain generating sets for the full group and its subgroups.
- Published
- 2017
17. 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
18. 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
19. Ghosts and Strong Ghosts in the Stable Category
- Author
-
Jan Minac, Sunil K. Chebolu, and Jon F. Carlson
- Subjects
Subcategory ,Pure mathematics ,Finite group ,Functor ,Computer Science::Information Retrieval ,General Mathematics ,Sylow theorems ,Zero (complex analysis) ,Order (group theory) ,Field (mathematics) ,Topology ,Cohomology ,Mathematics - Abstract
Suppose that G is a finite group and k is a field of characteristic p > 0. A ghost map is a map in the stable category of finitely generated kG-modules which induces the zero map in Tate cohomology in all degrees. In an earlier paper we showed that the thick subcategory generated by the trivial module has no nonzero ghost maps if and only if the Sylow p-subgroup of G is cyclic of order 2 or 3. In this paper we introduce and study variations of ghost maps. In particular, we consider the behavior of ghost maps under restriction and induction functors. We find all groups satisfying a strong form of Freyd’s generating hypothesis and show that ghosts can be detected on a finite range of degrees of Tate cohomology. We also consider maps that mimic ghosts in high degrees.
- Published
- 2016
20. Lipschitz Retractions in Hadamard Spaces via Gradient Flow Semigroups
- Author
-
Leonid V. Kovalev and Miroslav Bačák
- Subjects
Pure mathematics ,010308 nuclear & particles physics ,General Mathematics ,010102 general mathematics ,Hilbert space ,Mathematics::General Topology ,Metric Geometry (math.MG) ,Space (mathematics) ,Lipschitz continuity ,01 natural sciences ,Functional Analysis (math.FA) ,Hadamard space ,Mathematics - Functional Analysis ,symbols.namesake ,Metric space ,Cardinality ,Hausdorff distance ,Mathematics - Metric Geometry ,Hadamard transform ,0103 physical sciences ,FOS: Mathematics ,symbols ,0101 mathematics ,Mathematics - Abstract
Let X(n), for n ∊ ℕ, be the set of all subsets of a metric space (X, d) of cardinality at most n. The set X(n) equipped with the Hausdorff metric is called a finite subset space. In this paper we are concerned with the existence of Lipschitz retractions r: X(n)→ X(n − 1) for n ≥ 2. It is known that such retractions do not exist if X is the one-dimensional sphere. On the other hand, Kovalev has recently established their existence if X is a Hilbert space, and he also posed a question as to whether or not such Lipschitz retractions exist when X is a Hadamard space. In this paper we answer the question in the positive.
- Published
- 2016
21. On Classes for Hyperbolic Riemann Surfaces
- Author
-
Huaihui Chen and Rauno Aulaskari
- Subjects
Unit sphere ,symbols.namesake ,Pure mathematics ,Property (philosophy) ,General Mathematics ,Riemann surface ,symbols ,Holomorphic function ,Nesting (computing) ,Meromorphic function ,Mathematics - Abstract
The Qpspaces of holomorphic functions on the disk, hyperbolic Riemann surfaces or complex unit ball have been studied deeply. Meanwhile, there are a lot of papers devoted to theclasses of meromorphic functions on the disk or hyperbolic Riemann surfaces. In this paper, we prove the nesting property (inclusion relations) ofclasses on hyperbolic Riemann surfaces. The same property for Qp spaces was also established systematically and precisely in earlier work by the authors of this paper.
- Published
- 2016
22. Ramsey Number of Wheels Versus Cycles and Trees
- Author
-
Ghaffar Raeisi and Ali Zaghian
- Subjects
Conjecture ,General Mathematics ,010102 general mathematics ,Complete graph ,Value (computer science) ,0102 computer and information sciences ,Disjoint sets ,01 natural sciences ,Tree (graph theory) ,Vertex (geometry) ,Combinatorics ,Integer ,010201 computation theory & mathematics ,Ramsey's theorem ,0101 mathematics ,Mathematics - Abstract
Let G 1, G 2 , …, Gt be arbitrary graphs. The Ramsey number R(G 1 , G 2, …, Gt ) is the smallest positive integer n such that if the edges of the complete graph Kn are partitioned into t disjoint color classes giving t graphs H 1, H 2, …, H t, then at least one Hi has a subgraph isomorphic to Gi. In this paper, we provide the exact value of the R(Tn, Wm) for odd m, n ≥ m−1, where T n is either a caterpillar, a tree with diameter at most four, or a tree with a vertex adjacent to at least leaves, and W n is the wheel on n + 1 vertices. Also, we determine R(C n, W m) for even integers n and m, n ≥ m + 500, which improves a result of Shi and confirms a conjecture of Surahmat et al. In addition, the multicolor Ramsey number of trees versus an odd wheel is discussed in this paper.
- Published
- 2016
23. Exact Morphism Category and Gorenstein-projective Representations
- Author
-
Xiu-Hua Luo
- Subjects
Subcategory ,Pure mathematics ,Ideal (set theory) ,General Mathematics ,010102 general mathematics ,Quiver ,01 natural sciences ,Algebra ,Morphism ,Corollary ,If and only if ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,Algebra over a field ,Projective test ,Mathematics - Abstract
Let Q be a finite acyclic quiver, let J be an ideal of kQ generated by all arrows in Q, and let A be a finite-dimensional k-algebra. The category of all finite-dimensional representations of (Q, J2) over A is denoted by rep(Q, J2, A). In this paper, we introduce the category exa(Q, J2, A), which is a subcategory of rep (Q, J2, A) of all exact representations. The main result of this paper explicitly describes the Gorenstein-projective representations in rep(Q, J2, A), via the exact representations plus an extra condition. As a corollary, A is a self-injective algebra if and only if the Gorensteinprojective representations are exactly the exact representations of (Q, J2) over A.
- Published
- 2015
24. Spectral Properties of a Family of Minimal Tori of Revolution in the Five-dimensional Sphere
- Author
-
Mikhail Karpukhin
- Subjects
Pure mathematics ,General Mathematics ,010102 general mathematics ,Spectral properties ,Torus ,Surface (topology) ,Space (mathematics) ,01 natural sciences ,010101 applied mathematics ,Combinatorics ,Operator (computer programming) ,0101 mathematics ,Eigenvalues and eigenvectors ,Mathematics - Abstract
The normalized eigenvalues Ʌi(M, g) of the Laplace–Beltrami operator can be considered as functionals on the space of all Riemannian metrics g on a fixed surface M. In recent papers several explicit examples of extremal metrics were provided. These metrics are induced by minimal immersions of surfaces in 𝕊3 or 𝕊4. In this paper a family of extremal metrics induced by minimal immersions in 𝕊5 is investigated.
- Published
- 2015
25. 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
26. 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
27. Closure of the Cone of Sums of 2d-powers in Certain Weighted ℓ1-seminorm Topologies
- Author
-
Murray Marshall, Sven Wagner, and Mehdi Ghasemi
- Subjects
Pure mathematics ,Representation theorem ,Semigroup ,General Mathematics ,Polynomial ring ,010102 general mathematics ,Closure (topology) ,Primary 43A35 Secondary 44A60, 13J25 ,Commutative Algebra (math.AC) ,Mathematics - Commutative Algebra ,01 natural sciences ,Semigroup with involution ,Integer ,Cone (topology) ,0103 physical sciences ,FOS: Mathematics ,010307 mathematical physics ,0101 mathematics ,Commutative property ,Mathematics - Abstract
In a paper from 1976, Berg, Christensen, and Ressel prove that the closure of the cone of sums of squares in the polynomial ring in the topology induced by the ℓ1-norm is equal to Pos([–1; 1]n), the cone consisting of all polynomials that are non-negative on the hypercube [–1,1]n. The result is deduced as a corollary of a general result, established in the same paper, which is valid for any commutative semigroup. In later work, Berg and Maserick and Berg, Christensen, and Ressel establish an even more general result, for a commutative semigroup with involution, for the closure of the cone of sums of squares of symmetric elements in the weighted -seminorm topology associated with an absolute value. In this paper we give a new proof of these results, which is based on Jacobi’s representation theoremfrom2001. At the same time, we use Jacobi’s representation theorem to extend these results from sums of squares to sums of 2d-powers, proving, in particular, that for any integer d ≥ 1, the closure of the cone of sums of 2d-powers in the topology induced by the -norm is equal to Pos([–1; 1]n).
- Published
- 2014
28. 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
29. The Smallest Pisot Element in the Field of Formal Power Series Over a Finite Field
- Author
-
A. Chandoul, Manel Jellali, and Mohamed Mkaouar
- Subjects
Algebra ,Finite field ,Formal power series ,General Mathematics ,Field (mathematics) ,Element (category theory) ,Mathematics - Abstract
Dufresnoy and Pisot characterized the smallest Pisot number of degree n ≥ 3 by giving explicitly its minimal polynomial. In this paper, we translate Dufresnoy and Pisot’s result to the Laurent series case. The aim of this paper is to prove that the minimal polynomial of the smallest Pisot element (SPE) of degree n in the field of formal power series over a finite field is given by P(Y) = Yn–XYn-1–αn where α is the least element of the finite field 픽q\{0} (as a finite total ordered set). We prove that the sequence of SPEs of degree n is decreasing and converges to αX: Finally, we show how to obtain explicit continued fraction expansion of the smallest Pisot element over a finite field.
- Published
- 2013
30. 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
31. 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
32. 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
33. 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
34. On the Maximal Operator Ideal Associated with a Tensor Norm Defined by Interpolation Spaces
- Author
-
G. Loaiza and M. E. Puerta
- Subjects
Pure mathematics ,Multiplication operator ,General Mathematics ,Norm (mathematics) ,Mathematical analysis ,Interpolation space ,Maximal operator ,Finite-rank operator ,Compact operator ,Bitwise operation ,Coincidence ,Mathematics - Abstract
The classical approach to studying operator ideals using tensor norms mainly focuses on those tensor norms and operator ideals defined by means of ℓp spaces. In a previous paper, an interpolation space, defined via the real method and using ℓp spaces, was used to define a tensor norm, and the associated minimal operator ideals were characterized. In this paper, the next natural step is taken, that is, the corresponding maximal operator ideals are characterized. As an application, necessary and sufficient conditions for the coincidence of the maximal and minimal ideals are given. Finally, the previous results are used in order to find some new metric properties of the mentioned tensor norm.
- Published
- 2010
35. A Generalization of Integrality
- Author
-
Jim Coykendall and Tridib Dutta
- Subjects
Pure mathematics ,Property (philosophy) ,Generalization ,General Mathematics ,Calculus ,Daniell integral ,Mathematics - Abstract
In this paper, we explore a generalization of the notion of integrality. In particular, we study a near-integrality condition that is intermediate between the concepts of integral and almost integral. This property (referred to as the Ω-almost integral property) is a representative independent specialization of the standard notion of almost integrality. Some of the properties of this generalization are explored in this paper, and these properties are compared with the notion of pseudo-integrality introduced by Anderson, Houston, and Zafrullah. Additionally, it is shown that the Ω-almost integral property serves to characterize the survival/lying over pairs of Dobbs and Coykendall.
- Published
- 2010
36. On 6-Dimensional Nearly Kähler Manifolds
- Author
-
Yoshiyuki Watanabe and Young Jin Suh
- Subjects
Pure mathematics ,Homogeneous ,General Mathematics ,010102 general mathematics ,Mathematical analysis ,Dimension (graph theory) ,Simply connected space ,Kähler manifold ,0101 mathematics ,01 natural sciences ,Mathematics - Abstract
In this paper we give a sufficient condition for a complete, simply connected, and strict nearly Kähler manifold of dimension 6 to be a homogeneous nearly Kähler manifold. This result was announced in a previous paper by the first author.
- Published
- 2010
37. Transversals with Residue in Moderately Overlapping T(k)-Families of Translates
- Author
-
Aladár Heppes
- Subjects
Combinatorics ,Residue (complex analysis) ,General Mathematics ,Mathematics - Abstract
Let K denote an oval, a centrally symmetric compact convex domain with non-empty interior. A family of translates of K is said to have property T(k) if for every subset of at most k translates there exists a common line transversal intersecting all of them. The integer k is the stabbing level of the family. Two translates Ki = K + ci and Kj = K + cj are said to be σ-disjoint if σK + ci and σK + cj are disjoint. A recent Helly-type result claims that for every σ > 0 there exists an integer k(σ) such that if a family of σ-disjoint unit diameter discs has property T(k)|k ≥ k(σ), then there exists a straight line meeting all members of the family. In the first part of the paper we give the extension of this theorem to translates of an oval K. The asymptotic behavior of k(σ) for σ → 0 is considered as well.Katchalski and Lewis proved the existence of a constant r such that for every pairwise disjoint family of translates of an oval K with property T(3) a straight line can be found meeting all but at most r members of the family. In the second part of the paper σ-disjoint families of translates of K are considered and the relation of σ and the residue r is investigated. The asymptotic behavior of r(σ) for σ → 0 is also discussed.
- Published
- 2009
38. 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
39. Commutativity via spectra of exponentials
- Author
-
C. Touré, Rudi Brits, and F. Schulz
- Subjects
Pure mathematics ,General Mathematics ,Commutative property ,Spectral line ,Mathematics ,Exponential function - Abstract
Let A be a semisimple, unital, and complex Banach algebra. It is well known and easy to prove that A is commutative if and only $e^xe^y=e^{x+y}$ for all $x,y\in A$ . Elaborating on the spectral theory of commutativity developed by Aupetit, Zemánek, and Zemánek and Pták, we derive, in this paper, commutativity results via a spectral comparison of $e^xe^y$ and $e^{x+y}$ .
- Published
- 2021
40. On nonmonogenic number fields defined by
- Author
-
Anuj Jakhar and Surender Kumar
- Subjects
Pure mathematics ,General Mathematics ,Algebraic number field ,Mathematics - Abstract
Let q be a prime number and $K = \mathbb Q(\theta )$ be an algebraic number field with $\theta $ a root of an irreducible trinomial $x^{6}+ax+b$ having integer coefficients. In this paper, we provide some explicit conditions on $a, b$ for which K is not monogenic. As an application, in a special case when $a =0$ , K is not monogenic if $b\equiv 7 \mod 8$ or $b\equiv 8 \mod 9$ . As an example, we also give a nonmonogenic class of number fields defined by irreducible sextic trinomials.
- Published
- 2021
41. 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
42. 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
43. Relative Homotopy in Relational Structures
- Author
-
Peter J. Witbooi
- Subjects
Homotopy category ,General Mathematics ,Homotopy ,010102 general mathematics ,Fibration ,Cofibration ,010103 numerical & computational mathematics ,01 natural sciences ,Regular homotopy ,Combinatorics ,n-connected ,Homotopy sphere ,Homotopy hypothesis ,0101 mathematics ,MathematicsofComputing_DISCRETEMATHEMATICS ,Mathematics - Abstract
The homotopy groups of a finite partially ordered set (poset) can be described entirely in the context of posets, as shown in a paper by B. Larose and C. Tardif. In this paper we describe the relative version of such a homotopy theory, for pairs (X, A) where X is a poset and A is a subposet of X. We also prove some theorems on the relevant version of the notion of weak homotopy equivalences for maps of pairs of such objects. We work in the category of reflexive binary relational structures which contains the posets as in the work of Larose and Tardif.
- Published
- 2008
44. 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
45. 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
46. 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
47. The Geometry of d2y1/dt2 = f (y, ẏ, t) and d2y2/dt2 = g(y, ẏ, t), and Euclidean Spaces
- Author
-
Richard Atkins
- Subjects
Combinatorics ,General Mathematics ,Euclidean geometry ,Mathematics - Abstract
This paper investigates the relationship between a system of differential equations and the underlying geometry associated with it. The geometry of a surface determines shortest paths, or geodesics connecting nearby points, which are defined as the solutions to a pair of second-order differential equations: the Euler–Lagrange equations of the metric. We ask when the converse holds, that is, when solutions to a system of differential equations reveals an underlying geometry. Specifically, when may the solutions to a given pair of second order ordinary differential equations d2y1/dt2 = f (y, ẏ, t) and d2y2/dt2 = g(y, ẏ, t) be reparameterized by t → T(y, t) so as to give locally the geodesics of a Euclidean space? Our approach is based upon Cartan's method of equivalence. In the second part of the paper, the equivalence problem is solved for a generic pair of second order ordinary differential equations of the above form revealing the existence of 24 invariant functions.
- Published
- 2006
48. On semidirectly closed pseudovarieties of finite semigroups and monoids
- Author
-
Jiří Kad’ourek
- Subjects
Pure mathematics ,General Mathematics ,Mathematics - Abstract
For every pseudovariety $\mathbf {V}$ of finite monoids, let $\mathbf {LV}$ denote the pseudovariety of all finite semigroups all of whose local submonoids belong to $\mathbf {V}$ . In this paper, it is shown that, for every nontrivial semidirectly closed pseudovariety $\mathbf {V}$ of finite monoids, the pseudovariety $\mathbf {LV}$ of finite semigroups is also semidirectly closed if, and only if, the given pseudovariety $\mathbf {V}$ is local in the sense of Tilson. This finding resolves a long-standing open problem posed in the second volume of the classic monograph by Eilenberg.
- Published
- 2021
49. Completion versus removal of redundancy by perturbation
- Author
-
Ole Christensen and Marzieh Hasannasab
- Subjects
Completeness ,Sequence ,General Mathematics ,010102 general mathematics ,Scalar (mathematics) ,Hilbert space ,Perturbation (astronomy) ,Riesz bases ,010103 numerical & computational mathematics ,01 natural sciences ,Functional Analysis (math.FA) ,Mathematics - Functional Analysis ,Combinatorics ,Frames ,symbols.namesake ,Redundancy ,Redundancy (information theory) ,FOS: Mathematics ,symbols ,42C40 ,0101 mathematics ,Mathematics - Abstract
A sequence $\left \{g_k\right \}_{k=1}^{\infty }$ in a Hilbert space ${\cal H}$ has the expansion property if each $f\in \overline {\text {span}} \left \{g_k\right \}_{k=1}^{\infty }$ has a representation $f=\sum _{k=1}^{\infty } c_k g_k$ for some scalar coefficients $c_k.$ In this paper, we analyze the question whether there exist small norm-perturbations of $\left \{g_k\right \}_{k=1}^{\infty }$ which allow to represent all $f\in {\cal H};$ the answer turns out to be yes for frame sequences and Riesz sequences, but no for general basic sequences. The insight gained from the analysis is used to address a somewhat dual question, namely, whether it is possible to remove redundancy from a sequence with the expansion property via small norm-perturbations; we prove that the answer is yes for frames $\left \{g_k\right \}_{k=1}^{\infty }$ such that $g_k\to 0$ as $k\to \infty ,$ as well as for frames with finite excess. This particular question is motivated by recent progress in dynamical sampling.
- Published
- 2021
50. 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
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.