Feeds:
Posts
Comments

Archive for the ‘commutative algebra’ Category

Let R be a commutative ring. From R we can construct the category R\text{-Mod} of R-modules, which becomes a symmetric monoidal category when equipped with the tensor product of R-modules. Now, whenever we have a monoidal operation (for example, the multiplication on a ring), it’s interesting to look at the invertible things with respect to that operation (for example, the group of units of a ring). This suggests the following definition.

Definition: The Picard group \text{Pic}(R) of R is the group of isomorphism classes of R-modules which are invertible with respect to the tensor product.

By invertible we mean the following: for L \in \text{Pic}(R) there exists some L^{-1} such that the tensor product L \otimes_R L^{-1} is isomorphic to the identity for the tensor product, namely R.

In this post we’ll meander through some facts about this Picard group as well as several variants, all of which capture various notions of line bundle on various kinds of spaces (where the above definition captures the notion of a line bundle on the affine scheme \text{Spec } R).

(more…)

Read Full Post »

A student I’m tutoring was working unsuccessfully on the following problem from the 2011 Mandelbrot Competition:

Let a, b be positive integers such that \log_a b = (\log 23)(\log_6 7) + \log_2 3 + \log_6 7. Find the minimum value of ab.

After some tinkering, I concluded that the problem as stated has no solution. I am now almost certain it was printed incorrectly: \log 23 should be replaced by \log_2 3, and then we can solve the problem as follows:

\log_a b + 1 = (\log_2 3 + 1)(\log_6 7 + 1) = \log_2 6 \log_6 42 = \log_2 42.

It follows that \log_a b = \log_2 21. Since a, b are positive integers we must have a \ge 2, and then it follows that the smallest solution occurs when a = 2, b = 21. But what I’d like to discuss, briefly, is the argument showing that the misprinted problem has no solution.

(more…)

Read Full Post »

(Commutative) Poisson algebras are clearly very interesting, so it would be nice to have ways of constructing examples. We know that k[x, p] is a Poisson algebra with bracket uniquely defined by \{ x, p \} = 1; this describes a classical particle in one dimension, and is the classical limit of a quantum particle in one dimension (essentially the Weyl algebra).

More generally, if A, B are Poisson algebras, then the tensor product A \otimes_k B can be given a Poisson bracket given by extending

\displaystyle \{ a_1 \otimes b_1, a_2 \otimes b_2 \} = \{ a_1, a_2 \} \otimes b_1 b_2 + a_2 a_1 \otimes \{ b_1, b_2 \}

linearly. At least when A, B are unital, this Poisson algebra is the universal Poisson algebra with Poisson maps from A, B such that the images of elements of A Poisson-commute with the images of elements of B. In particular, it follows that k[x_1, p_1, ..., x_n, p_n] is a Poisson algebra with the bracket

\{ x_i, x_j \} = \{ p_i, p_j \} = 0, \{ x_i, p_j \} = \delta_{ij}.

This describes a classical particle in n dimensions, or n different classical particles in one dimension, and it is the classical limit of a quantum particle in n dimensions, or n different quantum particles in one dimension.

Today we’ll discuss the question of how one might go about constructing Poisson brackets more generally.

(more…)

Read Full Post »

Suppose I hand you a commutative ring R. I stipulate that you are only allowed to work in the language of the category of commutative rings; you can only refer to objects and morphisms. (That means you can’t refer directly to elements of R, and you also can’t refer directly to the multiplication or addition maps R \times R \to R, since these aren’t morphisms.) Geometrically, I might equivalently say that you are only allowed to work in the language of the category of affine schemes, since the two are dual. Can you recover R as a set, and can you recover the ring operations on R?

The answer turns out to be yes. Today we’ll discuss how this works, and along the way we’ll run into some interesting ideas.

(more…)

Read Full Post »

Recently, I have begun to appreciate the use of ultrafilters to clean up proofs in certain areas of mathematics. I’d like to talk a little about how this works, but first I’d like to give a hefty amount of motivation for the definition of an ultrafilter.

Terence Tao has already written a great introduction to ultrafilters with an eye towards nonstandard analysis. I’d like to introduce them from a different perspective. Some of the topics below are also covered in these posts by Todd Trimble.

(more…)

Read Full Post »

In this post I’d like to give a better (by which I mean category-theoretic) definition of the lattice of ideals than the standard one. We know that the lattice of ideals has meets and joins defined by intersection and sum, respectively, and that if a lattice is viewed as a category whose arrows are the order relation, then meet and join are the product and coproduct, respectively. But we also know that the lattice of radical ideals of a finitely-generated reduced integral \mathbb{C}-algebra R is dual to the lattice of algebraic subsets of \text{MaxSpec } R (and that the lattice of prime ideals is dual to the lattice of algebraic subvarieties), and there is a very general category-theoretic formalism for understanding subobjects in a category. It turns out that this formalism reproduces the lattice of ideals of an arbitrary commutative ring – as long as we run it in the opposite category \text{CRing}^{op}.

Edit, 2/9/10: The above claim is wrong. But let me tell you the construction I had in mind and you can judge whether it is more natural than the usual definition.

(more…)

Read Full Post »

A basic idea in topology and analysis is to study a space by restricting attention to arbitrarily small neighborhoods of a point. It is desirable, therefore, to have a notion of looking at small neighborhoods of a point which can be stated in entirely ring-theoretic terms. More generally, we’d like to have a way to ignore some points and only think about others. The tool that allows us to do this is called localization, and it offers a conceptual proof of the strong Nullstellensatz from the weak Nullstellensatz, which, as you’ll recall, is the tool that allows us to describe the category of affine varieties as the opposite of a category of algebras.

(more…)

Read Full Post »

Older Posts »

Follow

Get every new post delivered to your Inbox.

Join 324 other followers