# Tagged Questions

37 views

### Regular function on a variety which is not globally rational

I am looking for a particularly simple example of a regular function $f : V \to \mathbb{A}^1_k$ for some affine variety $V \subseteq \mathbb{A}^n_k$ over a field $k$, which cannot be expressed by a ...
48 views

### Why this order is well-defined?

I'm trying to understand why this order defined in Fulton's algebraic curves book is indeed well-defined: I have two questions: Why $u\in \mathcal{O_P}(X)$ (he is implicitly assuming this fact so ...
38 views

### Resultants of two polynomials over a ring

Let $k$ be a field $f,g\in k[x,y]$ be two polynomials. The resultant $R\in k[x]$ is a polynomial function of the coefficients of $f$ and $g$, such that $f$ and $g$ gave a common zero (in an extension) ...
99 views

### Ring of rational power series

Let $A$ be any commutative ring with 1. A power series $f\in A[[t]]$ is called rational if we can find a $g\in A[t]$ such that $fg\in A[t]$. It is clear that the set of rational power series forms a ...
98 views

### Help in this notation in Fulton's Algebraic Curves book

I'm reading Fulton's Algebraic Curves book, I'm stuck in the following proposition (page 105): In fact, what I didn't understand is the following notation in the proof of this proposition: Why ...
53 views

### Proof that presheaf is a sheaf for Spec

Atiyah Macdonald define presheaf (chapter 3, exercise 23) on the base of $Spec(A)$, where $A$ is commutative ring with $1$, as follows $$\mathfrak{F}(X_f) = A_f,$$ where $X_f$ is a basic open set ...
29 views

### Definition - Logarithmic Zeros and Algebraic Vector Fields

In Algebraic Geometry, what is the difference between an algebraic vector field and a derivation (are they completely different or synonymous)? What does it mean to say an algebraic vector field has ...
47 views

### Map from $\mathbb{C}^2$ to $\mathbb{A}_{\mathbb{Q}}^2$

I was doing Exercise 3.2 I on Ravi Vakil's notes on Algebraic Geometry: consider the map of sets $\phi: \mathbb{C}^2 \rightarrow \mathbb{A}_{\mathbb{Q}}^2$ defined as follows. $(z_1, z_2)$ is sent to ...
33 views

### Example of a ring which is not CM at all its prime ideals

A commutative ring $A$ is said to be CM at a maximal ideal $\mathfrak{m}$ if and only if $Depth(A_{\mathfrak{m}})=Krull(A_{\mathfrak{m}})$. What is an example of a connected commutative ring $A$ which ...
117 views

60 views

### Cohen-Macaulay and regularity

I know this is a simple question but to make sure....: $A$ is a commutative ring which is Cohen-Macaulay and for every maximal ideal $\mathfrak{m}$ in $A$ if $\dim A_{\mathfrak{m}}=\dim A$ then ...
227 views

86 views

### The topology on $\mathbb A^2$ is not the product topology [duplicate]

I'm trying to prove the Zariski topology on $\mathbb A^2$ is not the product topology on $\mathbb A^1\times \mathbb A^1$. I'm looking for a counter-example based on the fact the closed subsets in ...
69 views

### defining the group law on elliptic curves in general

Let $k$ be an arbitrary field and $C \subset \mathbb{P}^2(k)$ an elliptic curve. In order to define the group law on $C$ we need to establish some geometric facts first, e.g. Any line intersects $C$ ...
37 views

### Depth and kernel of multiplication map

If $A$ is a commutative $k$-algebra, $\mu: A\otimes_k A\rightarrow A$ is its multplication map and $I$ is the kernel of that map (viewed as an $A\otimes_k A$-module map) then what is the relationship ...
41 views

63 views

### Asterisk Notation

I am trying to read through the Cech Cohomology section in these notes: http://pub.math.leidenuniv.nl/~edixhovensj/teaching/2011-2012/AAG/lecture_14.pdf I would be really grateful if someone could ...
42 views

### Kahler forms of a smooth affine algebra vanish eventually?

If $k$ is a Noetherian ring, then do the Kahler forms of a smooth affine $k$-algebra of dimension $d$ vanish above $d$? I mean is: $\Omega^{d+1}_{A|k}\cong 0$?
42 views

### Orientability in algebraic setting

I have the following (it can be very silly) question. Suppose I have a commutative algebra $A$ over a field $k$ of $char(k)=0$ which defines a $n$-dimensional smooth variety $X=Spec(A)$. What ...
32 views

### Hochschild cohomology of skew polynomial rings

Definition The skew polynomial algebra over $\mathbb{C}$ is defined as $\mathbb{C}\langle x,y\rangle/(xy-yx+x)$ or alternatively as $\mathbb{C}[x,y,\sigma]$, where $\sigma$ is the automorphism on ...
58 views

### Star in Serre duality

Why is there a dual bundle in Serre duality? Let $\mathcal E$ be a vector bundle over complex manifold $X$, without any metric anywhere, then one has a pairing (\Omega^{0,q} \otimes \mathcal E) ...
100 views

### Find a closed subset of an algebraic group, closed under products, which does not contain $e$.

The accepted answer for this question proves the following statement: If $S$ is a closed subset of an algebraic group $G$ which contains $e$ and is closed under taking products in $G$, then $S$ is ...
49 views

### Kernels of power surjective maps

Suppose $k$ is an algebraically closed field, and $A$ and $B$ are finitely generated, commutative, graded $k$-algebras. Suppose $\varphi:A\to B$ is a map of $k$-algebras. Notice if $B$ is a domain, ...
214 views

### What is an example of two k-algebras that are isomorphic as rings, but not as k-algebras?

Let $k$ be a field. Let $A$ and $B$ be two $k$-algebras, ie. two rings that are also $k$-vector spaces and their multiplication is $k$-bilinear. Any isomorphism of $k$-algebras is also a ring ...
44 views

### Hochschild dimension

I'm curious; if $A$ ia a commutative $k$-algebra over a field $k$ of global dimension $n$, then is its $A^e$-projective dimension $2n$ (this is also sometimes called the Hochschild cohomological ...
59 views

### Smoothness and field of fractions

If $k$ is an integral domain and $A$ is a Noetherian finitely presented $k$-algebra for which $A \otimes_k Q(k)$ is a smooth $Q(k)$ algebra, then can it be deduced that $A$ was initially smooth over ...
53 views

### Regular elements of a module is open and dense

Let $\mathfrak{g}$ be an algebraic Lie algebra and $V$ be a $\mathfrak{g}$-module, then for each $v\in V$, define $\mathfrak{g}^v = \{x\in\mathfrak{g}:xv = 0\}$. Let $V_{reg}$ be the set of all $v$ ...
### Soft sheaves adapted to $f_!$
Let $K$ be a field and $L$ be its field extension, $K\subset L.$ Let $V \subset L^n$ and let $\mathcal{I}(V)\subset K[x_{1},...,x_{n}]$ be its vanishing ideal. Let ...