# Tagged Questions

**4**

votes

**1**answer

86 views

### Euler characteristic of open varieties as degree of Chern class of logarithmic differentials

Let $U$ be a smooth variety over a subfield $k$ of $\mathbb{C}$. Let $X$ be a smooth projective variety containing $U$ as the complement of a normal crossings divisor $D$. Denote by $\chi(U)$ the ...

**1**

vote

**1**answer

135 views

### Is the Cassels-Tate pairing defined for elliptic curves over function fields?

The Cassels-Tate pairing is typically defined for elliptic curves (or abelian varieties) over number fields, but it seems like it should be defined for elliptic curves over function fields as well. ...

**4**

votes

**0**answers

118 views

### Moduli interpretation of Hecke operators on Shimura curves

In his book on Automorphic Forms, Shimura gives (chapter 9) definitions of the the Hecke operators for Shimura curves.
One can give definitions of the Hecke and Atkin-Lehner operators in terms of the ...

**4**

votes

**0**answers

92 views

### On the cohomology ring of the Hilbert scheme of points on k3 or abelian surfaces

There are many results on the cohomology of the Hilbert scheme of points of a surface.
Gottsche calcaluted the Betti numbers and Nakajima got the generators of the cohomology. Also
there are results ...

**10**

votes

**4**answers

589 views

### Soft question: beginners reference to moduli spaces

What is a geometrically intuitive yet reasonably general first introduction to the theory of Moduli spaces?
(Possibly introducing stacks also)?
I'm looking for something which really gets the pictures ...

**1**

vote

**0**answers

99 views

### Thickness of the category of perfect complexes with finite length homology

Let $R$ be a commutative Noetherian local ring and let $D(R)$ be the derived category of $R$-modules. Recall that a chain complex $C_\bullet$ of modules over $R$ is called perfect if it is isomorphic ...

**1**

vote

**3**answers

293 views

### smooth connected affine scheme over Z has good reduction almost everywhere

Let $f(x_1,\ldots,x_n)\in\mathbf{Z}[x_1,\ldots,x_n]$ be a polynomial. Assume that the variety cut out by $f$ is smooth and connected (so irreducible) over $\overline{\mathbf{Q}}$. Where can I find a ...

**1**

vote

**0**answers

128 views

### Which “concrete” morphisms of varieties and motives induce bijections of their lower Chow groups?

This question is a continuation of Varieties with Chow groups supported in positive codimension: examples and properties?
What examples are known of morphisms of varieties and Chow motives (say, over ...

**4**

votes

**1**answer

466 views

### Why is the inverse of a bijective rational map rational?

Let $f:X\to Y$ be a bijective rational map of an open dense subset $X$ of $\mathbb{C}\times\mathbb{C}$ onto an open dense subset $Y$ of $\mathbb{C}\times\mathbb{C}$. How to prove that the inverse map ...

**2**

votes

**0**answers

118 views

### Varieties with Chow groups supported in positive codimension: examples and properties?

In their 1983 paper "Remarks on correspondences and algebraic cycles" Bloch and Srinivas proved several interesting properties of smooth proper varieties (over universal domains) whose Chow groups of ...

**1**

vote

**0**answers

104 views

### Why $D^b(S)\cong D^b_{\text{Car}}(\text{cosq}(X\rightarrow S))$?

Let $p: X\rightarrow S$ be a map between topological spaces and we can construct the simplicial space $\text{cosq}(X\rightarrow S)$ where $X_0=X$, $X_1=X\times_S X$ and
$$
X_n=\underbrace{ X\times_S ...

**1**

vote

**1**answer

150 views

### pencil of quadrics consisting of singular quadrics

A pencil $l$ of quadrics in $\mathbb{P}^4_{<x_0,\cdots,x_4>}$ consists of singular quadrics only if:
(1) quadrics in $l$ have a common singular point; or
(2) quadrics in $l$ contain a common ...

**0**

votes

**0**answers

174 views

### Holomorphic vector bundles over $\mathbb{CP}^1$ and elliptic curves

Can anyone suggest a good exposition of the classification of holomorphic vector bundles over $\mathbb{CP}^1$? Also does there exist any analytic or more elementary proof of Atiyah's classification of ...

**10**

votes

**1**answer

583 views

### Is there an analog of the Birch/Swinnerton-Dyer conjecture for abelian varieties in higher dimensions?

I am wondering if there is a multi-dimensional analog of the
Birch/Swinnerton-Dyer (BSD) conjecture.
The recent famous result inching toward resolution of that conjecture is:
Bhargava, Manjul, and ...

**2**

votes

**0**answers

102 views

### Questions about transformation or integral transformation

I have asked several mathematicians about the following questions,but all of them think they are good questions,but can not give a complete answer.Now I have to come here to ask mathematicians all ...

**3**

votes

**0**answers

77 views

### birational classification of rationally connected 3-folds

What is the birational classification of (smooth projective) rationally connected 3-folds (over algebraically closed fields of characteristic $0$ or even $\mathbf{C}$, if $\mathrm{char}(k) = p > ...

**1**

vote

**1**answer

133 views

### L-function of twist

I'd like to ask the following easy question, since I can't find a reference.
Let $X/\mathbb{Q}$ a smooth projective variety. How does one express the $L$-function of the twist, $L(H^i(X)(r), s)$ in ...

**1**

vote

**0**answers

212 views

### Learning roadmap in Algebra [closed]

I am a senior undergraduate student in mathematics, I have a sound knowledge in the following areas:
a) Commutative Algebra
b) Field Theory and Galois Theory
c) Homological Algebra
My question is ...

**3**

votes

**0**answers

122 views

### Flat Connections on the Cotangent Complex

I'm trying to find a reference which defines and discusses some properties of connections and flat connections on the cotangent complex in a homotopical setting. That is to say, a connection or flat ...

**1**

vote

**0**answers

211 views

### Feynman integrals in algebraic geometry [closed]

In quantum field theory, multi-loop Feynman integrals are basic ingredients of calculating high order corrections. Recently, I have come across the paper A Feynman integral via higher normal ...

**1**

vote

**0**answers

72 views

### reference for Levelt-Turritin

Can anybody recommend a good reference to learn the Level-Turritin decomposition theorem of formal connections? An intuitive description of what it says would also be very appreciated.

**2**

votes

**1**answer

220 views

### Is each rationally chain connected surface rational?

Consider a 2-dimensional smooth projective algebraic surface S over complex numbers. Could you recommend any exact references to the proofs of the following assertions (of course, if they are true):
...

**1**

vote

**0**answers

107 views

### Exactness of the relative de Rham complex restricted to subschemes

I think that the statement below about relative de Rham complex is true (am I wrong?) If it is the case, a reference would be very helpful. (I admit that the statement sounds somewhat technical and ...

**6**

votes

**2**answers

324 views

### Twist in identification with singular cohomology

Let $X$ be a smooth projective variety over $\mathbb{Q}$ and $$V = H^m(X(\mathbb{C}), \mathbb{Q} \cdot (2\pi i)^r)$$ Then I've seen people write the comparison with complex cohomology (an isomorphism ...

**5**

votes

**1**answer

296 views

### What is the current state of the crystalline analogue of the Weil conjectures?

In "F-isocrystals on open varieties results and conjectures" Faltings says:
"Finally, we extend the theory of weights and show as much as possible of the crystalline analogue of the Weil ...

**1**

vote

**2**answers

151 views

### Plucker embedding and tautological/universal quotient bundle

Let $G$ be a Grassmannian and $Q$ the tautological/universal quotient bundle of $G$. As far as I understand, the associated tautological quotient line bundle for the Plucker embedding of the ...

**0**

votes

**1**answer

114 views

### Hilbert scheme of a closed subscheme

Let $X$ be a complex algebraic variety. Its Hilbert scheme represents the functor $G$ from schemes to sets given by $$G(S)=\{Z\subset X\times S|\, Z \mbox{ is a closed subscheme, flat and proper over ...

**1**

vote

**1**answer

254 views

### Deformations of holomorphic/algebraic vector bundles over $\mathbb{P}^3$

I would like to know what can be said about (global) deformations of holomorphic/algebraic rank two vector bundles on $\mathbb{P}^3$. I am particularly interested in the case of topologically trivial ...

**1**

vote

**1**answer

117 views

### Hilbert scheme of an infinitesimal neighborhood of a subvariety

Let $X$ be a complex algebraic variety. Let $C\subset X$ be a compact (reduced) subvariety. Let $C^{(n)}$ denote the $n$th infinitesimal neighborhood of $C$ inside $X$. Let $Hilb(X)$ denote the ...

**1**

vote

**0**answers

107 views

### First Description of how to Remove Radicals from Equations

Who first described the technique of removing radicals as indicated in the answers to questions Tools for Removing Radicals from Equations and Rewrite sum of radicals equation as polynomial equation ? ...

**1**

vote

**1**answer

69 views

### On Severi's definition of the complementary correspondence

In Weil's short note entitled "On the Riemann hypothesis in function-fields"
he mentions the notion of the complementary correspondence associated to a given correspondence $T:C\rightarrow C$ where ...

**0**

votes

**1**answer

169 views

### Reference request: Deligne's conjecture (cycles)

In "The work of Tate" Milne says:
"The relation between the two conjectures has been greatly clarified by the work
of Deligne. He defines the notion of an absolute Hodge class on a (complete ...

**2**

votes

**1**answer

238 views

### Reference request: Grothendieck´s period conjecture?

I would like to know if Grothendieck published something about this conjecture?
Is there some book (or expository article) about this conjecture?
Is there any connection between this conjecture and ...

**2**

votes

**0**answers

132 views

### Rewrite sum of radicals equation as polynomial equation

My question is about a method described in Dr.Math forum for simplifying equations involving sums of radical functions.
(The following is a transcription of the example given by Dr. Vogler):
--- ...

**4**

votes

**1**answer

234 views

### Comparison of etale and singular cohomology for varieties over number fields

Whilst reading Hartshorne's appendix C I came across the comparison theorem for etale cohomology and singular cohomology:
Let $X$ be a smooth projective variety over a number field $K$ and $\ell$ a ...

**0**

votes

**1**answer

199 views

### Projection of a hypersurface from a point

Let $k$ be an algebraically closed field. We consider the projective space $\mathbb P_n$ over defined over $k$, the point $Q=(0:\dots:1)$, the hyperplane $H=\{X_n=0\}$ and a hypersurface $X$. We want ...

**8**

votes

**2**answers

197 views

### Clifford algebras for quadratic modules over ringed spaces

What is the earliest possible reference for definition and basic properties of Clifford algebras associated to quadratic modules over a ringed space? The ringed space does not need to be locally ...

**1**

vote

**0**answers

148 views

### Hodge modules and Deligne-Beilinson cohomology of function fields

Let $K$ be a function field over complex numbers i.e. the fraction field of a complex variety. Then one can define the Deligne-Beilinson cohomology and mixed Hodge modules for $K$ as the direct limit ...

**4**

votes

**1**answer

153 views

### Which valuations of a field yield codimension $1$ subschemes of their 'models'

For a field $F$ (for example, a one generated by a finite number of its elements) there is a directed set of its 'models' (in this case those are 'arithmetic' schemes whose fraction field is $F$). It ...

**1**

vote

**0**answers

265 views

### Grothendieck's letter to serre

Is it the letter dated in 27/08/1965 of Grothendieck where he presents to Serre the Standard conjectures on algebraic cycles?

**1**

vote

**0**answers

89 views

### A topological criterion for connectedness of a semi-ample divisor

I have a half page long proof of the following statement, and I would like to know if this is (a corollary of) a well known statement. Maybe there is a reference or a three lines proof?
Statement. ...

**2**

votes

**3**answers

475 views

### Reference request: SGA7

I want to read SGA7. Without considering the others SGA and EGA, Which are the textbooks for monodromy theory?

**2**

votes

**2**answers

255 views

### Basic questions on the Hilbert scheme/ Douady space

Let $X$ be a complex projective scheme (resp. complex analytic space). The Hilbert scheme (resp. Douady space) parameterizes closed subschemes (resp. complex analytic subspaces) of $X$. More ...

**10**

votes

**3**answers

1k views

### Weil's Riemann Hypothesis for dummies?

Weil's Riemann Hypothesis is a deep result that I don't fully understand, but it has understandable corollaries which interest me. For example:
(a) For any projective curve $X$ satisfying certain ...

**2**

votes

**1**answer

185 views

### How does one show that slope stability of a vector bundle is an open condition with respect to the polarisation?

I would like a source for the following result, which I expect to be true (probably well known):
Let $X$ be a complex projective variety, $L$ an ample line bundle and $E$ a slope stable vector bundle ...

**3**

votes

**1**answer

143 views

### Flat family with special fiber $\mathbb{C}\mathbb{P}^1$

Let $C=Spec \mathbb{C}[t]/(t^{n+1})$. Let $X$ be an algebraic (or complex analytic) scheme, flat over $C$ with the structure morphism $f\colon X\to C$. Assume that the special fiber is isomorphic to ...

**1**

vote

**1**answer

285 views

### When flatness of a morphism implies smoothness?

EDIT: Let $f\colon X\to C$ be a flat proper morphism of complex algebraic (or analytic) varieties. Assume the special fiber over a point $p\in C$ is smooth.
Is it true that there exists a ...

**2**

votes

**0**answers

75 views

### singularities preserved by integral closure

Let $X$ be an affine variety. Let $A$ be the coordinate ring of $X$ and let $K$ be the fraction field of $A$. Given a Galois extension $K\subset L$, let $B$ be the integral closure of $A$ in $L$. Let ...

**0**

votes

**1**answer

208 views

### Articles about Weil cohomology theory by Grothendieck and Artin

In "The Standard Conjectures" Kleiman says that the following properties of Weil cohomology theory were proved in 1963 for étale cohomology by Artin and Grothendieck, except for the last one that it ...

**2**

votes

**1**answer

267 views

### Is there any publication of “Beilinson’s dream” on motivic (complexes of) sheaves?

In "Standard conjectures of algebraic cycles" nLab says:
"... They were also followed by “Beilinson’s dream” on motivic (complexes of) sheaves which comprise so called standard conjectures of ...