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 84272

Algebraic varieties, stacks, sheaves, schemes, moduli spaces, complex geometry, quantum cohomology.

2 votes
0 answers
169 views

Question about algebraic curve being birational to smooth projective curve

Let $X$ be a geometrically irreducible affine variety defined over $\mathbb{Q}$ and dimension $1$. Then it is known that $X$ is birational over $\mathbb{C}$ to a smooth projective curve $C$. I was int …
Johnny T.'s user avatar
  • 3,625
0 votes
0 answers
91 views

The dimension of algebraic set $\{ F(x_1y_1, ..., x_my_m) = 0 \}$ compared to the dimension ...

Let $F_i$ be homogeneous forms with $\mathbb{C}$ coefficients in $n$ variables for each $i$. Let $$ T_2 = \{ (\mathbf{x}, \mathbf{y}) \in \mathbb{A}_{\mathbb{C}}^{2n} : F_i(x_1y_1, ..., x_n y_n) =0, …
Johnny T.'s user avatar
  • 3,625
3 votes
1 answer
155 views

How can I show $\{\mathbf{x}: \dim (\ker M_1(\mathbf{x}) \cap \ker M_2(\mathbf{x})) \geq C \...

Let $M_1(\mathbf{x})$ and $M_2(\mathbf{x})$ be $m$ by $m$ matrices with each entry a homogeneous form in $\mathbb{C}[x_1, \ldots, x_n]$. I would like to show that $$ \{ \mathbf{x} \in \mathbb{A}^n_{\m …
Johnny T.'s user avatar
  • 3,625
0 votes
1 answer
315 views

Dimension of the set of singular hypersurfaces

Let $N$ be the number of degree $d$ monomials in $n$ variables. We can then view each non-zero point in $\mathbb{A}^N_k$ as a degree $d$ homogeneous form, $k$ an algebraically closed field. Let $X$ be …
Johnny T.'s user avatar
  • 3,625
2 votes
1 answer
253 views

Question about the implicit function theorem. an example of a homogeneous form for which its...

Let $F$ be a homogeneous form with coefficients in $\mathbb{R}$. Suppose it defines a smooth projective variety, in other words at every point other than the origin at least one of the first partial d …
Johnny T.'s user avatar
  • 3,625
2 votes
1 answer
268 views

Algebraic geometric conditions on the variety $V(F)$ such that the manifold defined by $F$ h...

Let $F$ be a homogeneous from in $\mathbb{R}[x_0, .., x_n]$. Then $F$ defines a projective variety $X \subset \mathbb{P}_{\mathbb{C}}^n$. Assume $X$ is smooth. In this case $F=0$ also defines a subman …
Johnny T.'s user avatar
  • 3,625
2 votes
1 answer
268 views

Local to global principle for a pair of bilinear equations?

Let $A_{i, j}, B_{i, j}, C, D \in \mathbb{Q}$, and consider the following pair of equations $$ A_{1, 1} x_1 y_1 + A_{1, 2} x_1 y_2 + A_{2, 1} x_2 y_1 + A_{2, 2} x_2 y_2 = C $$ $$ B_{1, 1} x_1 y_1 + B_ …
Johnny T.'s user avatar
  • 3,625
2 votes
0 answers
210 views

On an application of the going-down theorem of Cohen-Seidenberg in Mumford

There is a following result in Mumford's red book of schemes (Chapter II Section 8). Here $R$ is a valuation ring with algebraically closed fraction field $k$. Let $Z \subset \mathbb{P}^n_k$ be an i …
Johnny T.'s user avatar
  • 3,625
0 votes
0 answers
159 views

Question about the statement of the going-down theorem of Cohen-Seidenberg in Mumford

In Mumford's red book the statement of the Going-Down Theorem (Chapter II Section 8) is as follows. Let $f: X \to Y$ be a finite morphism. Assume that $Y$ is an irreducible normal scheme. Assume that …
Johnny T.'s user avatar
  • 3,625
2 votes
1 answer
640 views

Closed points of a closed subscheme of $\mathbb{P}^n$ over the residue field and the fractio...

Let $(R, M)$ be a valuation ring with algebraically closed fraction field $k$. Let $L = R/M$ be the residue field of $R$; it follows that $L$ is algebraically closed. I would like to understand the fo …
Johnny T.'s user avatar
  • 3,625
2 votes
0 answers
317 views

How to deduce the following map between Zariski tangent spaces is surjective?

Let $f: X \rightarrow Y$ be a morphism of schemes: $X$, $Y$ are regular schemes, let $Z_1, Z_2$ be two closed regular subschemes of $Y$, let $x \in X \times_Y Z_2$ such that $y = f(x) \in Z_1 \cap Z_2 …
Johnny T.'s user avatar
  • 3,625
2 votes
0 answers
107 views

How to obtain the following "trivial" bound on the number of rational points on a hypersurface?

Let $F: \mathbb{R}^{n} \to \mathbb{R}$ be a smooth function. Suppose $B$ be a closed and bounded box. I would like to obtain for fixed $q \in \mathbb{N}$ $$ \# \{ \mathbf{a} \in \mathbb{Z}^n : F(\f …
Johnny T.'s user avatar
  • 3,625
2 votes
0 answers
230 views

Computing the codimension of the variety defined by a system of quadratic forms

Suppose I have an $m \times n$ matrix $L$, where $m \leq n$ and each entry is $L_{i,j}(x_1, ..., x_s)$ which is a linear form over $\mathbb{C}$. Let $\mathbf{y} = (y_1, \ldots, y_n)$. Let us consider …
Johnny T.'s user avatar
  • 3,625
1 vote
0 answers
195 views

Trying to understand an argument to put a topology on $GL_n(R)$ when $R$ is a topological ring

I'm reading this set of notes and I'm trying to understand this passage where they explain how to put a topology on $GL_n(R)$ when $R$ is a topological ring, which I am not completely following. The f …
Johnny T.'s user avatar
  • 3,625
0 votes
0 answers
256 views

How is this pairing $\langle\,,\rangle$ defined of cocharacter and character of an algebraic...

Let $G$ be a semisimple linear algebraic group. Let $X^*$ be the group of characters and $X_*$ be the group of cocharacters. Then I know that there exists a pairing $\langle\,,\rangle : X^*(G) \times …
Johnny T.'s user avatar
  • 3,625

15 30 50 per page