I have seen the following construction and I would be very happy if someone could explain its meaning to me. We start from a smooth projective algebraic variety $X$ over a field o …

If we have a rewrite system for primitive recursive functions, which simplifies each term according to how the function was defined, then what is the computational complexity of th …

Let $X$ be a variety over an algebraically closed field with null characteristic. Let $C$ be a smooth subvariety of $X$ of dimension 1, and let $x$ be a point of $C$. We assume tha …

Setting and question Let $X$ be a variety over an algebraically closed field of null characteristic, and let $C$ be a (regular if you want) curve included in $X$. Consider $X'$ th …

Let $$ f^{\alpha}_+(x)=\frac{1}{\Gamma(\alpha+1)}\sum_{k\ge 0}(-1)^k{\alpha+1 \choose k}(x-k)^{\alpha}_+, $$ where $\alpha > -\frac 12$. I am wondering if one can get nice represen …

Let $X$ be a noetherian integral scheme and let $f \colon X' \to X$ be the normalization morphism. It is known that, if non trivial, $f$ is never flat (see Liu, example 4.3.5). Wh …

Let $S=k[x_1,\dots,x_n]$ be a polynomial ring, and $A:=k[x^{u^{(1)}}, \dots x^{u^{(l)}}]$ a monomial subalgebra, generated by monomials $x^{u^{(i)}} = \prod_{j=1}^n x_j^{u^{(i)}_{j …

I have the following question: Let $A$ be an integrally closed Noetherian domain, $K$ its field of fractions. let $L$ be a finite extension of $K$, and $B$ the integral closure of …

As far as I can tell, Noether normalization uses the term "normalization" in the English sense, that something has been given a standard form. And as such it's not intrinsically re …

One example that I always have in mind is that the plane nodal (or even the plane cuspidal) cubic curve $X$ is obtained by an appropirate 2-dim linear subsystem of $|\mathcal{O} ( …

I'd like to see a complete proof of the simplest version of the following rough statement: "If $f/g$ is a rational function on a reduced scheme ($g$ not a zero divisor), and $f/g$ …

Let $U_{d,n}\subseteq(\mathbb{P}^d)^n$ denote the locus of $n$-distinct points in projective space $\mathbb{P}^d$ that lie on a rational normal curve of degree $d$, and let $V_{d,n …

I sampled a corpus and got a list of keywords associated with their frequency of occurrences. I want to sample a different corpus and compare the change in keyword frequency. I wan …

Let $\nu:\tilde{X}\to X$ be the normalization of a projective variety with non-isolated singularity. The usual object to consider is $\nu_*\mathcal{O}_{\tilde{X}}/\mathcal{O}_X$. F …

Let $X$ be a smooth, complete algebraic variety and suppose I have two projective, birational morphisms $$f:X \to \mathbb{P}^n$$ and $$g:X \to \mathbb{P}^m,$$ such that the ima …