Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 402

Commutative rings, modules, ideals, homological algebra, computational aspects, invariant theory, connections to algebraic geometry and combinatorics.

1 vote
Accepted

Spectral theorem for unital $C^{*}$-algebras

To see that (1) continues to hold when B is replaced by A, it suffices (by linearity and density of step functions) to consider only the case when g is the characteristic function of some measurable s …
Dmitri Pavlov's user avatar
16 votes
Accepted

Is there a relation between Gelfand duality and the spectrum of a ring (with its Zariski top...

Yes, both Theorem A and Theorem B are special cases of a more general construction. Denote by $R$ the category of commutative unital C*-algebras or the category of commutative rings. Denote by $R'$ th …
Dmitri Pavlov's user avatar
1 vote

How to compute cup product of derived limits / presheaf cohomology

Cup products in sheaf (and presheaf) cohomology are often easy to compute by resolving the source (in the projective model structure, say), not the target. For an example of resolving the source in th …
Dmitri Pavlov's user avatar
7 votes

Is the Pierce spectrum useful elsewhere in Mathematics?

For Boolean rings, the Pierce spectrum coincides with the Zariski spectrum and is one of the functors implementing the Stone duality between Boolean algebras and compact totally disconnected Hausdorff …
Dmitri Pavlov's user avatar
2 votes
Accepted

Categorical Kähler differentials and the Leibniz rule

1. The Leibniz rule follows immediately from the last description of derivations as morphisms of commutative rings X:R→u(M). Indeed, u(M) is the square-zero extension of some R-module M' (in the trad …
Dmitri Pavlov's user avatar
3 votes
1 answer
222 views

Can elements of Weil algebras be detected by maps into truncated symmetric algebras?

Recall that a Weil algebra is a finite-dimensional real unital algebra that admits exactly one homomorphism to R. Such algebras form the basis of the Weil approach to differential geometry, pioneered …
Dmitri Pavlov's user avatar