Search results for "K-theory"

showing 10 items of 103 documents

Towards Vorst's conjecture in positive characteristic

2018

Vorst's conjecture relates the regularity of a ring with the $\mathbb{A}^1$-homotopy invariance of its $K$-theory. We show a variant of this conjecture in positive characteristic.

CombinatoricsMathematics - Algebraic GeometryRing (mathematics)Algebra and Number TheoryConjectureMathematics::K-Theory and HomologyMathematics - K-Theory and HomologyFOS: MathematicsK-Theory and Homology (math.KT)Algebraic Geometry (math.AG)Valuation ringMathematicsCompositio Mathematica
researchProduct

K-theory of function rings

1990

AbstractThe ring R of continuous functions on a compact topological space Xwith values in R or C is considered. It is shown that the algebraic K-theory of such rings with coefficients in ZkZ, k any positive integer, agrees with the topological K-theory of the underlying space X with the same coefficient rings. The proof is based on the result that the map from Rδ (R with discrete topology) to R (R with compact-open topology) induces a natural isomorphism between the homologies with coefficients in ZkZ of the classifying spaces of the respective infinite general linear groups. Some remarks on the situation with X not compact are added.

CombinatoricsRing (mathematics)Algebra and Number TheoryDiscrete spaceGeneral topologyTopological groupTopological spaceSpace (mathematics)K-theoryTopological vector spaceMathematicsJournal of Pure and Applied Algebra
researchProduct

Homology of pseudodifferential operators on manifolds with fibered cusps

2003

The Hochschild homology of the algebra of pseudodifferential operators on a manifold with fibered cusps, introduced by Mazzeo and Melrose, is studied and computed using the approach of Brylinski and Getzler. One of the main technical tools is a new convergence criterion for tri-filtered half-plane spectral sequences. Using trace-like functionals that generate the 0 0 -dimensional Hochschild cohomology groups, the index of a fully elliptic fibered cusp operator is expressed as the sum of a local contribution of Atiyah-Singer type and a global term on the boundary. We announce a result relating this boundary term to the adiabatic limit of the eta invariant in a particular case.

Computer Science::Machine LearningHochschild homologyApplied MathematicsGeneral MathematicsFibered knotHomology (mathematics)Computer Science::Digital LibrariesCohomologyManifoldAlgebraStatistics::Machine LearningElliptic operatorEta invariantMathematics::K-Theory and HomologySpectral sequenceComputer Science::Mathematical SoftwareMathematicsTransactions of the American Mathematical Society
researchProduct

Symmetrization for singular semilinear elliptic equations

2012

In this paper, we prove some comparison results for the solution to a Dirichlet problem associated with a singular elliptic equation and we study how the summability of such a solution varies depending on the summability of the datum f. © 2012 Fondazione Annali di Matematica Pura ed Applicata and Springer-Verlag.

Dirichlet problemSharp a priori estimatesSemilinear elliptic equationsMathematics::Operator AlgebrasApplied MathematicsMathematical analysisMathematics::Classical Analysis and ODEsMathematics::Analysis of PDEsComparison resultsSymmetrizationGeodetic datumElliptic curveSettore MAT/05 - Analisi MatematicaMathematics::K-Theory and HomologySymmetrizationMathematics
researchProduct

On generalized a-Browder's theorem

2007

We characterize the bounded linear operators T satisfying generalized a-Browder's theorem, or generalized a-Weyl's theorem, by means of localized SVEP, as well as by means of the quasi-nilpotent part H0(�I T) asbelongs to certain sets of C. In the last part we give a general framework in which generalized a-Weyl's theorem follows for several classes of operators. 1. Preliminaries. Let L(X) denote the space of bounded linear oper- ators on an infinite-dimensional complex Banach space X. For T ∈ L(X), denote by α(T) the dimension of the kernel ker T, and by β(T) the codi- mension of the range T(X). The operator T ∈ L(X) is called upper semi- Fredholm if α(T) < ∞ and T(X) is closed, and lower …

Discrete mathematicsMathematics::Functional AnalysisFredholm theoryMathematics::Operator AlgebrasGeneral MathematicsFredholm operatorgeneralized Browder's theoremBanach spaceMathematics::Spectral TheoryFredholm theorySVEPCombinatoricssymbols.namesakeKernel (algebra)Operator (computer programming)Mathematics Subject ClassificationIntegerSettore MAT/05 - Analisi MatematicaMathematics::K-Theory and HomologyBounded functionsymbolsgeneralized Weyl's theoremMathematicsStudia Mathematica
researchProduct

Computing generators of the tame kernel of a global function field

2006

Abstract The group K 2 of a curve C over a finite field is equal to the tame kernel of the corresponding function field. We describe two algorithms for computing generators of the tame kernel of a global function field. The first algorithm uses the transfer map and the fact that the l -torsion can easily be described if the ground field contains the l th roots of unity. The second method is inspired by an algorithm of Belabas and Gangl for computing generators of K 2 of the ring of integers in a number field. We finally give the generators of the tame kernel for some elliptic function fields.

Discrete mathematicsPure mathematicsAlgebra and Number TheoryGlobal function fieldsRoot of unityElliptic functionAlgebraic number fieldK-theoryRing of integersAlgorithmic number theoryGround fieldComputational MathematicsFinite fieldTorsion (algebra)Function fieldMathematicsJournal of Symbolic Computation
researchProduct

Functional Calculus and Fredholm Criteria for Boundary Value Problems on Noncompact Manifolds

1992

A Boutet de Monvel type calculus is developed for boundary value problems on (possibly) noncompact manifolds. It is based on a class of weighted symbols and Sobolev spaces. If the underlying manifold is compact, one recovers the standard calculus. The following is proven:

Discrete mathematicsPure mathematicsClass (set theory)Fredholm integral equationMathematics::Spectral TheoryType (model theory)Fredholm theoryManifoldFunctional calculusSobolev spacesymbols.namesakeMathematics::K-Theory and HomologysymbolsMathematics::Differential GeometryBoundary value problemMathematics::Symplectic GeometryMathematics
researchProduct

On spectra of geometric operators on open manifolds and differentiable groupoids

2001

We use a pseudodifferential calculus on differentiable groupoids to obtain new analytical results on geometric operators on certain noncompact Riemannian manifolds. The first step is to establish that the geometric operators belong to a pseudodifferential calculus on an associated differentiable groupoid. This then leads to Fredholmness criteria for geometric operators on suitable noncompact manifolds, as well as to an inductive procedure to compute their essential spectra. As an application, we answer a question of Melrose on the essential spectrum of the Laplace operator on manifolds with multicylindrical ends.

Discrete mathematicsPure mathematicsHigher-dimensional algebraMathematics::Operator AlgebrasGeneral MathematicsEssential spectrumMathematics::Spectral TheoryOperator theoryCompact operatorQuasinormal operatorMathematics::K-Theory and HomologyDouble groupoidMathematics::Differential GeometryDifferentiable functionMathematics::Symplectic GeometryLaplace operatorMathematicsElectronic Research Announcements of the American Mathematical Society
researchProduct

Homotopy limits for 2-categories

2008

AbstractWe study homotopy limits for 2-categories using the theory of Quillen model categories. In order to do so, we establish the existence of projective and injective model structures on diagram 2-categories. Using these results, we describe the homotopical behaviour not only of conical limits but also of weighted limits. Finally, pseudo-limits are related to homotopy limits.

Discrete mathematicsPure mathematicsHomotopy lifting propertyHomotopy categoryGeneral MathematicsHomotopyHomotopiaQuillen adjunctionWhitehead theoremCofibrationMathematics::Algebraic Topologyn-connectedCategories (Matemàtica)Mathematics::K-Theory and HomologyHomotopy hypothesisMathematics::Category Theory512 - Àlgebra2-categories homotopy limits coherence conditionsMathematics
researchProduct

Spectral invariance, ellipticity, and the Fredholm property for pseudodifferential operators on weighted Sobolev spaces

1992

The pseudodifferential operators with symbols in the Grushin classes \~S inf0 supρ,δ , 0 ≤ δ < ρ ≤ 1, of slowly varying symbols are shown to form spectrally invariant unital Frecher-*-algebras (Ψ*-algebras) in L(L 2(R n )) and in L(H γ st ) for weighted Sobolev spaces H infγ sup defined via a weight d function γ. In all cases, the Fredholm property of an operator can be characterized by uniform ellipticity of the symbol. This gives a converse to theorems of Grushin and Kumano-Ta-Taniguchi. Both, the spectrum and the Fredholm spectrum of an operator turn out to be independent of the choices of s, t and γ. The characterization of the Fredholm property by uniform ellipticity leads to an index …

Discrete mathematicsPure mathematicsParametrixFredholm integral equationCompact operatorFredholm theorySobolev spacesymbols.namesakeOperator (computer programming)Differential geometryMathematics::K-Theory and HomologysymbolsGeometry and TopologyAtiyah–Singer index theoremAnalysisMathematicsAnnals of Global Analysis and Geometry
researchProduct