# Tagged Questions

**1**

vote

**1**answer

98 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

139 views

### Learning roadmap in Algebra [on hold]

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 ...

**6**

votes

**1**answer

241 views

### Groups and pregeometries

Definition.
For an infinite structure $\mathcal{A}$ and $cl : P(dom(\mathcal{A})) \longrightarrow P(dom(\mathcal{A}))$ , we say
that $(\mathcal{A}, cl)$ is a structure carrying an $\omega$-homogeneous ...

**0**

votes

**0**answers

118 views

### When is there a polynomial transformation? [closed]

First part: given $$\frac{P_1(x_1,x_2,\dots,x_n)}{P_2(x_1,x_2,\dots,x_n)}=\frac{P_3(f(x_1,x_2,\dots,x_n))}{P_4(f(x_1,x_2,\dots,x_n))}|\det (J(f(x_1,x_2,\dots,x_n)))|$$ where $P_i$ is polynomial ( that ...

**3**

votes

**0**answers

114 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

198 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

70 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

210 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

105 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

319 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

288 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

144 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

110 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

223 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

113 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

102 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

166 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

236 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

129 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

230 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

196 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

195 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

145 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

261 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

88 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

468 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

248 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

183 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

141 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

284 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

74 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

204 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

263 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 ...

**2**

votes

**2**answers

212 views

### Lifting to char 0, references and questions

Suppose that I have a surface $S$, smooth proper over an algebraically closed (perfect?)field $k$ that lifts algebraically to some $S_W$ defined over a field of char 0. I am interested in properties ...

**0**

votes

**0**answers

70 views

### A question related to the Grauert semi-continuity theorem

Let $f\colon X\to Y$ be a proper holomorphic map of complex analytic manifolds. Assume $f$ to be submersive for simplicity, but probably it is not important. Let $\mathcal{F}$ be a coherent sheaf on ...

**2**

votes

**0**answers

103 views

### Bloch Kato Exponential as formal lie group exponential

Let $K$ be a $p$-adic field and $V$ a $p$-adic representation. In their paper on tamagawa numbers of motives, Bloch and Kato define an exponential map as the connecting homomorphism
$$DR(V) ...

**14**

votes

**0**answers

605 views

### New(?) reciprocity law

Consider three functions $f, g$ and $h$ on a smooth curve $X$ over $\mathbb{C}$.
I have found the following equality:
$$\sum (res(f\frac{dg}{g})\frac{dh}{h}-res(f\frac{dh}{h})\frac{dg}{g})=0.$$
Here ...

**0**

votes

**0**answers

133 views

### Reference: A nowhere vanishing section of a vector bundle is locally split

Well-known fact:
If $(A, \mathfrak{m})$ is a local Noetherian ring, $E$ is a finitely generated free $A$-module, and $e\in E$ is an element not contained in $\mathfrak{m}E$, then $E/eA$ is also a ...

**4**

votes

**0**answers

132 views

### Cohomology of Bott-Samelson varieties?

How is the cohomology of Bott-Samelson varieties (desingularizations of Schubert Varieties ) usually calculated? Let's fix the Lie group to be $GL_n(\mathbb{C})$ or $SL_n(\mathbb{C})$ here.
Is there ...

**1**

vote

**1**answer

223 views

### A generalization of the Grauert direct image theorem

EDIT: Let $f\colon X\to Y$ be proper holomorphic submersive map of complex analytic manifolds. Let $\mathcal{F}$ be the sheaf of holomorphic sections of a holomorphic vector bundle over $X$. Assume ...

**5**

votes

**1**answer

256 views

### A geometric characterization of smooth points of a complex algebraic variety

Let $X^m\subset \mathbb{C}^n$ be an irreducible $m$-dimensional complex algebraic subvariety. Let $\mathbb{C}^n$ be equipped with the standard Hermitian metric.
Fix an arbitrary point $p\in X$. Let ...

**3**

votes

**1**answer

173 views

### Vanishing theorems for pluri-canonical bundle

I would like to know if Grauer-Riemenschneider vanishing theorem is still true in the setting of pluri-canonical bundle, i.e. the power of canonical bundle.
Let me recall
Grauer-Riemenschneider ...

**6**

votes

**1**answer

94 views

### Number of Richardson orbits in simple Lie algebras of types $E_n$?

This is a follow-up to my question about nilpotent orbits here asked in connection with an earlier discussion of symplectic resolutions. Leaving aside the connections with algebraic geometry and ...

**3**

votes

**2**answers

327 views

### Euler characteristics with and without compact support of algebraic varieties

Let $X$ be a complex algebraic variety, possibly singular and/or non-compact. It is well known that if $X$ is smooth then its Euler characteristic is equal to its Euler characteristic with compact ...

**5**

votes

**1**answer

217 views

### Index of congruence modular subgroup of level (1,d)

Let $D = \text{diag}(1,d)\in M_{2}(\mathbb{Z})$ be a $2\times 2$ matrix, where $d$ is an odd integer. We define the subgroup $\Gamma_D\subset M_{4}(\mathbb{Z})$ as:
$$\Gamma_D := \left\lbrace R\in ...

**2**

votes

**0**answers

223 views

### (Co)tangent complexes of quotient stacks

Let $X$ be an algebraic variety over a field $\mathbb{K}$ equipped with a right action of a smooth algebraic group $G$.
One can form the quotient stack $[X/G]$. My question is probably quite ...

**15**

votes

**1**answer

371 views

### Is there any publication of Bombieri about the standard conjectures on algebraic cycles?

In "Standard conjectures of algebraic cycles" Grothendieck says:
"... These [Standard conjectures] are not really new, and they were worked out about three years ago independently by Bombieri and ...