Are there more people from algebraic geometry, commutative algebra, etc. on mastodon? Somehow I'm mostly following type theory people (which I'm also interested in, even though I'm even more of an amateur in type theory than in AG 😅)

#AlgebraicGeometry #CommutativeAlgebra

AI Notkilleveryoneism Memes (@AISafetyMemes)

AI가 단 이틀 만에 대수기하학 분야에서 새로운 정리를 증명했다고 알리는 내용입니다. 트윗은 AI의 수학적 추론 능력이 빠르게 발전하고 있으며, 기존 연구 방식에 영향을 줄 수 있는 중요한 연구 성과 사례로 해석될 수 있음을 시사합니다.

https://x.com/AISafetyMemes/status/2011838955894022537

#ai #theorem #research #mathematics #algebraicgeometry

An example of a presheaf without an associated sheaf

[This was originally posted on Google+ on 19 June 2013. This has been lightly edited to fit the new format and for clarity]

I may have shared this blog posting before, but this is a really good example of when we have a large site which isn’t constrained by a small amount of data for each object: the category of (affine) schemes with the pretopology of flat surjections. One can define a presheaf on which has no sheafification for this pretopology, but its definition in the linked blog post explicitly uses von Neumann ordinals. I should like to write down a more structural version of this. I have some points I’d like to clear up, if you want to chip in, namely 2.-4. under ‘Some final comments’. The original source for this material is

• William C. Waterhouse, Basically bounded functors and flat sheaves.
  Pacific J. Math. Volume 57, Number 2 (1975), 597-610, http://projecteuclid.org/euclid.pjm/1102906018

The example as given by Waterhouse

Given an affine scheme , assign to it the set of locally constant functions from to the von Neumann cardinal of the set 

the supremum of the cardinalities of residue fields at points of , such that the value at any point (which is a cardinal less than ) is smaller than the cardinality of the residue field at that point. This gives a functor , using the fact maps of fields are injective.

Simplifying the example

In fact, one can take the site to be merely the full subcategory of affine schemes which are spectra of fields, since one arrives at a contradiction assuming the existence of a sheafification by using a flat covering for and fields (in fact any field extension gives such a cover). Then locally constant functions are merely elements of , or in other words, can be taken as itself. In other words, restricts to the forgetful functor . This is a very natural presheaf to consider (see comment 3 below regarding the pretopology on this subcategory).

Calculation

Let denote the constant sheaf on corresponding to a well-ordered set of the same name. Then there is a map of presheaves which is just the inclusion for and the retract  sending to the bottom element of otherwise. Then by the universal property of sheafification, there must be a unique map making the obvious triangle commute, where is the sheafification of , for any . In particular, factors through . Now for any given take so that is injective, which implies that is injective, and hence that is a mono.

Now we use the fact that for any map (necessarily a flat cover) we have that the equaliser of the two maps [here we’ve embedded into , see comments below]

injects into (We can check this by applying the natural transformation to the diagram

and remembering is an equaliser.) But is a point, so this equaliser is itself (can we see this directly without going via the spectrum?)

The upshot of the preceding two paragraphs is this: must have an injective set map into , but can be as large as we like, independent of (take say the function field over on the power set of , which is certainly a field larger that ). Thus cannot have a sheafification.

Some final comments

#algebraicGeometry #categoryTheory2 #mathematics #sheafTheory #waterhouse

Tenure-track opening @ U. Colorado Boulder Dept. of Math!

Esp. (but not only) looking for:
algebraic geometry
homotopy theory
foundations
functional analysis
number theory
interdisciplinary collab. b/w math & computer science or the math of quantum physics

https://www.mathjobs.org/jobs/list/27231

Please help spread the word!

#AlgebraicGeometry #HomotopyTheory #AlgebraicTopology #FoundationsOfMath #FunctionalAnalysis #NumberTheory #ComputerScience #Quantum #Math

The Rising Sea: Foundations of Algebraic Geometry Notes

https://math.stanford.edu/~vakil/216blog/

#HackerNews #TheRisingSea #AlgebraicGeometry #MathNotes #Stanford #University #Education

A false statement that is easy to believe is true:

Suppose an algebraic group acts on an irreducible variety such that there is a Zariski dense orbit. Then there must be finitely many orbits. No! (But the converse is certainly true).

Example: Let GL(V) act on V times V by simultaneous left multiplication. Then the set of pairs (u,v) with linearly independent u and v forms a dense orbit. But the complement consists of infinitely many GL(V) orbits. Indeed, for different scalars t, the pairs (u, tu) lie in different orbits!

#math #maths #example #algebraicgeometry

Two postdoc positions (2-5 years) at our institute (at the Potsdam site) in an ERC Synergy Grant project on mathematical structures of scattering amplitudes.

https://astrodon.social/@mpi_grav/113504052382582384

#Mathematics #AlgebraicGeometry #NumberTheory #Mathstodon #Postdoc

Algebraische Geometrie und ihre Schichten von Definitionen ...

#mathmemes #algebraicgeometry