Infinite dimensional excellent rings

Hiromu Tanaka

DOI: https://doi.org/10.1080/00927872.2018.1477952

2018-10-16

Communications in Algebra

Abstract:In this note, we prove that there exist infinite dimensional excellent rings.

mathematics

What problem does this paper attempt to address?

A(infinity)-algebras for ring theorists

DM Lu,JH Palmieri,QS Wu,JJ Zhang

2004-01-01

Algebra Colloquium

Abstract:An A(infinity)-algebra is a natural generalization of an associative algebra. We provide some examples and applications of A(infinity)-algebras and show that A(infinity)-algebras can be used to solve problems in ring theory.
Uncountable n-dimensional excellent regular local rings with countable spectra

S. Loepp,A. Michaelsen

DOI: https://doi.org/10.1090/tran/7921

IF: 1.3529

2019-08-05

Transactions of the American Mathematical Society

Abstract:We prove that, for any n ≥ 0 n\geq 0 , there exists an uncountable n n -dimensional excellent regular local ring with a countable spectrum.

mathematics
Acyclic complexes of injectives and finitistic dimensions

Liran Shaul

2023-03-30

Abstract:For a ring $A$, we consider the question whether every bounded above cochain complex of injective $A$-modules which is acyclic is null-homotopic. We show that if $A$ is left and right noetherian and has a dualizing complex, then this implies that the finitistic dimension of $A$ is finite. In the appendix, Nakamura and Thompson show that the opposite holds over any ring. Our results give several new necessary and sufficient conditions for a ring to have finite finitistic dimension in a very general setting. Applications include a generalization of a recent result of Rickard about relations between unbounded derived categories and finitistic dimension, as well as several new characterizations of noetherian rings which satisfy the Gorenstein symmetry conjecture.

Rings and Algebras,Commutative Algebra,K-Theory and Homology
Faltings' annihilator theorem and t-structures of derived categories

Ryo Takahashi

DOI: https://doi.org/10.1007/s00209-023-03273-y

2023-04-16

Mathematische Zeitschrift

Abstract:In this paper, we prove Faltings' annihilator theorem for complexes over a CM-excellent ring. As an application, we give a complete classification of the t -structures of the bounded derived category of finitely generated modules over a CM-excellent ring of finite Krull dimension.

mathematics
Excellent Extensions and Homological Conjectures

Yingying Zhang

DOI: https://doi.org/10.1142/s1005386718000433

2018-12-01

Algebra Colloquium

Abstract:In this paper, we introduce the notion of excellent extensions of rings. Let Γ be an excellent extension of an Artin algebra Λ, we prove that Λ satisfies the Gorenstein symmetry conjecture (resp., finitistic dimension conjecture, Auslander–Gorenstein conjecture, Nakayama conjecture) if and only if so does Γ. As a special case of excellent extensions, when G is a finite group whose order is invertible in Λ acting on Λ and Λ is G-stable, we prove that if the skew group algebra ΛG satisfies strong Nakayama conjecture (resp., generalized Nakayama conjecture), then so does Λ.

mathematics, applied
Excellence, F-singularities, and solidity

Rankeya Datta,Takumi Murayama,Karen E. Smith

DOI: https://doi.org/10.48550/arXiv.2007.10383

2020-07-20

Commutative Algebra

Abstract:An $R$-algebra $S$ is $R$-solid if there exists a nonzero $R$-linear map $S \rightarrow R$. In characteristic $p$, the study of $F$-singularities such as Frobenius splittings implicitly rely on the $R$-solidity of $R^{1/p}$. Following recent results of the first two authors on the Frobenius non-splitting of certain excellent $F$-pure rings, in this paper we use the notion of solidity to systematically study the notion of excellence, with an emphasis on $F$-singularities. We show that for rings $R$ essentially of finite type over complete local rings of characteristic $p$, reducedness implies the $R$-solidity of $R^{1/p}$, $F$-purity implies Frobenius splitting, and $F$-pure regularity implies split $F$-regularity. We demonstrate that Henselizations and completions are not solid, providing obstructions for the $R$-solidity of $R^{1/p}$ for arbitrary excellent rings. This also has negative consequences for the solidity of big Cohen-Macaulay algebras, an important example of which are absolute integral closures of excellent local rings in prime characteristic. We establish a close relationship between the solidity of absolute integral closures and the notion of Japanese rings. Analyzing the Japanese property reveals that Dedekind domains $R$ for which $R^{1/p}$ is $R$-solid are excellent, despite our recent examples of excellent Euclidean domains with no nonzero $p^{-1}$-linear maps. Additionally, we show that while perfect closures are often solid in algebro-geometric situations, there exist locally excellent domains with solid perfect closures whose absolute integral closures are not solid. In an appendix, Karen E. Smith uses the solidity of absolute integral closures to characterize the test ideal for a large class of Gorenstein domains of prime characteristic.
Ideal-adic completion of quasi-excellent rings (after Gabber)

Kazuhiko Kurano,Kazuma Shimomoto

DOI: https://doi.org/10.1215/21562261-2021-0011

2021-09-01

Kyoto Journal of Mathematics

Abstract:We give a detailed proof of a result of Gabber (unpublished) on the lifting problem of quasi-excellent rings, extending the previous work of Nishimura and Nishimura. As a corollary, we establish that an ideal-adic completion of an excellent (resp., quasi-excellent) ring is excellent (resp., quasi-excellent).

mathematics
Some ring-theoretic properties of rings via Frobenius and monoidal maps

Kazufumi Eto,Jun Horiuchi,Kazuma Shimomoto

2023-09-08

Abstract:The purpose of this note is to relate certain ring-theoretic properties of rings in mixed and positive characteristics that are related to each other by a tilting operation used in perfectoid geometry. To this aim, we exploit the multiplicative structure of the ``monoidal map", which is constructed on arbitrary $p$-adically complete rings.

Commutative Algebra
Unitalities and mapping spaces in $A_\infty$-categories

Hiro Lee Tanaka

2024-07-08

Abstract:We prove, over any base ring, that the infinity-category of strictly unital A-infinity-categories (and strictly unital functors) is equivalent to the infinity-category of unital A-infinity-categories (and unital functors). We also identify various models for internal homs and mapping spaces in the infinity-categories of dg-categories and of A-infinity--categories, generalizing results of Toën and Faonte.

Category Theory,Symplectic Geometry
On finiteness theorems for automorphic forms

Takuya Yamauchi

2024-12-07

Abstract:In this paper, for any Shimura datum $(G,\mathcal{D})$ satisfying reasonable conditions so that many interesting cases satisfy, we prove some finiteness theorems for any graded vector space consisting of automorphic forms on $\mathcal{D}$ of some weights over the graded ring of automorphic forms on $X$ with positive parallel weights. We also discuss the integral base ring which we can work on. To realize automorphic forms as global sections on some coherent sheaves on the minimal compactification, we use the notion of reflexive sheaves and higher Koecher principle due to Kai-Wen Lan. Further, we give a more finer version of finiteness results for Siegel modular forms by using only the results of Chai-Faltings.

Algebraic Geometry,Number Theory
A note on H_infinity structures

Tyler Lawson

DOI: https://doi.org/10.48550/arXiv.1311.0796

2013-11-05

Abstract:We give a source of examples of H_infinity ring structures that do not lift to E_infinity ring structures, based on Mandell's equivalence between certain cochain algebras and spaces.

Algebraic Topology
Uniformly dominant local rings and Orlov spectra of singularity categories

Ryo Takahashi

2024-12-01

Abstract:We define a uniformly dominant local ring as a commutative noetherian local ring with an integer r such that the residue field is built from any nonzero object in the singularity category by direct summands, shifts and at most r mapping cones. We find sufficient conditions for uniform dominance, by which we show Burch rings and local rings with quasi-decomposable maximal ideal are uniformly dominant. For a uniformly dominant excellent equicharacteristic isolated singularity, we get an upper bound of the Orlov spectrum of the singularity category. We prove uniform dominance is preserved under basic operations, and give techniques to construct uniformly dominant local rings. An application of our methods to local rings with decomposable maximal ideal is provided as well.

Commutative Algebra,Representation Theory
Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals

Samuel Coskey,Joel David Hamkins

DOI: https://doi.org/10.1017/CBO9781139028592.004

2011-01-11

Abstract:We describe the basic theory of infinite time Turing machines and some recent developments, including the infinite time degree theory, infinite time complexity theory, and infinite time computable model theory. We focus particularly on the application of infinite time Turing machines to the analysis of the hierarchy of equivalence relations on the reals, in analogy with the theory arising from Borel reducibility. We define a notion of infinite time reducibility, which lifts much of the Borel theory into the class $\bm{\Delta}^1_2$ in a satisfying way.

Logic
Wakamatsu Tilting Modules with Finite FP-injective Dimension

Haiyan Zhu,Nanqing Ding

DOI: https://doi.org/10.1515/forum.2009.005

2009-01-01

Forum Mathematicum

Abstract:Let R be a left coherent ring, (R)omega a Wakamatsu tilting module and S = End((R)omega) a right coherent ring. It is shown that the FP-injective dimensions of (R)omega and omega(S) are identical provided both of them are finite. It is also shown that in this case all finitely presented left R-modules (right S-modules) have special (perpendicular to)omega-precovers and special ((perpendicular to)omega)(perpendicular to)-preenvelopes.
Cohomology rings of extended powers and of free infinite loop spaces

Lorenzo Guerra,Paolo Salvatore,Dev Sinha

DOI: https://doi.org/10.1090/tran/9198

IF: 1.3529

2024-10-19

Transactions of the American Mathematical Society

Abstract:Lorenzo Guerra, Paolo Salvatore and Dev Sinha Trans. Amer. Math. Soc. 377 (), 8515-8561. , references and article information

mathematics
Tanaka rigidity of graph Lie algebras

Mauricio Godoy Molina

2024-02-13

Abstract:We give sufficient conditions on a labeled direct graph to determine whether the Tanaka prolongation of its associated Lie algebra is infinite-dimensional. In the case that all directed edges are labeled differently, the corresponding graph Lie algebra is of infinite type if and only if the graph has a vertex of degree one.

Differential Geometry,Combinatorics,Rings and Algebras
Morita equivalence for graded rings

Gene Abrams,Efren Ruiz,Mark Tomforde

DOI: https://doi.org/10.48550/arXiv.2205.07152

2022-05-15

Abstract:The classical Morita Theorem for rings established the equivalence of three statements, involving categorical equivalences, isomorphisms between corners of finite matrix rings, and bimodule homomorphisms. A fourth equivalent statement (established later) involves an isomorphism between infinite matrix rings. In our main result, we establish the equivalence of analogous statements involving graded categorical equivalences, graded isomorphisms between corners of finite matrix rings, graded bimodule homomorphisms, and graded isomorphisms between infinite matrix rings.

Rings and Algebras,Operator Algebras
Semi-Invariant Rings: UFD and Codimension One Orbits

Charles Paquette,Deepanshu Prasad,David Wehlau

2023-06-14

Abstract:Let $A$ be a finite dimensional associative $\mathbb{K}$-algebra over an algebraically closed field $\mathbb{K}$ of characteristic zero. To $A$, we can associate its basic form that is given by a quiver $Q = (Q_0, Q_1)$ with an admissible ideal $R$. For a dimension vector $\beta$, we consider an irreducible component $\mathcal{C}$ of the module variety of $\beta$-dimensional representations of $A$. The reductive group ${\rm GL}_\beta(\mathbb{K}):= \prod_{i \in Q_0}{\rm GL}_{\beta_i}(\mathbb{K})$ acts on $\mathcal{C}$ by change of basis, and has a unique closed orbit. We consider the corresponding ring of semi-invariants ${\rm SI}(Q, \mathcal{C})$. We prove that if $\mathcal{C}$ is factorial and has maximal orbits of codimension one, then ${\rm SI}(Q, \mathcal{C})$ is a complete intersection and is not multiplicity free. If $\mathcal{C}$ is not factorial, then this conclusion does not necessarily hold. We present examples showing that the codimension of the complete intersection can be arbitrarily large. Finally, we interpret our results in the case of hereditary algebras.

Representation Theory
Ideal spaces: An extension of structure spaces of rings

Themba Dube,Amartya Goswami

2024-08-20

Abstract:Can there be a structure space-type theory for an arbitrary class of ideals of a ring? The ideal spaces introduced in this paper allows such a study and our theory includes (but not restricted to) prime, maximal, minimal prime, strongly irreducible, irreducible, completely irreducible, proper, minimal, primary, nil, nilpotent, regular, radical, principal, finitely generated ideals. We characterise ideal spaces that are sober. We introduce the notion of a strongly disconnected spaces and show that for a ring with zero Jacobson radical, strongly disconnected ideal spaces containing all maximal ideals of the ring imply existence of non-trivial idempotent elements in the ring. We also give a sufficient condition for a spectrum to be connected.

Commutative Algebra,Rings and Algebras
Infinite-dimensional Frobenius Manifolds Underlying the Toda Lattice Hierarchy

Chao-Zhong Wu,Dafeng Zuo

DOI: https://doi.org/10.48550/arXiv.1305.1030

2014-02-08

Abstract:Following the approach of Carlet et al.(2011)\cite{CDM}, we construct a class of infinite-dimensional Frobenius manifolds underlying the Toda lattice hierarchy, which are defined on the space of pairs of meromorphic functions with possibly higher-order poles at the origin and at infinity. We also show a connection between these infinite-dimensional Frobenius manifolds and the finite-dimensional Frobenius manifolds on the orbit space of extended affine Weyl groups of type $A$ defined by Dubrovin and Zhang.

Mathematical Physics,Differential Geometry

Infinite dimensional excellent rings

A(infinity)-algebras for ring theorists

Uncountable n-dimensional excellent regular local rings with countable spectra

Acyclic complexes of injectives and finitistic dimensions

Faltings' annihilator theorem and t-structures of derived categories

Excellent Extensions and Homological Conjectures

Excellence, F-singularities, and solidity

Ideal-adic completion of quasi-excellent rings (after Gabber)

Some ring-theoretic properties of rings via Frobenius and monoidal maps

Unitalities and mapping spaces in $A_\infty$-categories

On finiteness theorems for automorphic forms

A note on H_infinity structures

Uniformly dominant local rings and Orlov spectra of singularity categories

Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals

Wakamatsu Tilting Modules with Finite FP-injective Dimension

Cohomology rings of extended powers and of free infinite loop spaces

Tanaka rigidity of graph Lie algebras

Morita equivalence for graded rings

Semi-Invariant Rings: UFD and Codimension One Orbits

Ideal spaces: An extension of structure spaces of rings

Infinite-dimensional Frobenius Manifolds Underlying the Toda Lattice Hierarchy