Questions tagged [log-geometry]
Log structures, semistable degenerations, log crystalline cohomology, log de Rham cohomology, log smoothness, log Gromov-Witten theory
11 questions with no upvoted or accepted answers
13
votes
0
answers
825
views
Kato's log motives
What are they and what are their intended uses? Does anyone have notes/slides of this talk?
I am curious about "log motives" because there seems to exist a "log motivic yoga" among experts in ...
6
votes
0
answers
621
views
Semistable reduction and log structures
I have been reading Hyodo-Kato's paper on log-crystalline cohomology, and there is one statement there that has been troubling me.
To explain this, suppose we have a perfect field $k$ of ...
5
votes
0
answers
148
views
algebraic de Rham cohomology of toric varieties (reference request)
I haven't been able to find anything workable yet, but I'm looking for a reference on the de Rham cohomology of toric varieties, where as many as possible of the following conditions are handled:
...
4
votes
0
answers
409
views
An unpublished note by Spencer Bloch and Kazuya Kato
I am looking for an unpublished note by Spencer Bloch and Kazuya Kato, p-divisible groups and Dieudonné crystals. This note is always cited as
Spencer Bloch and Kazuya Kato, p-divisible groups and ...
2
votes
0
answers
98
views
Tangent Space of Moduli of Log-Smooth Curves
We consider an algebraically closed field $\underline{k}$ and all constructions that we will consider are over this field. It is well known that for each relative nodal curve $\underline{f}: \...
2
votes
0
answers
113
views
Equivalence between $\bar{\mathcal{M}}_{g,n}$ and ${\mathcal{M}}_{g,n}^{logbas}$
It is a classical result of the theory of the moduli of curves, that the stack $\bar{\mathcal{M}}_{g,n}$ of nodal curves with log-structure coming from the boundary divisor, and ${\mathcal{M}}_{g,n}^{...
2
votes
0
answers
243
views
Terminology in log geometry
A log scheme consists of a scheme $X$, a sheaf of monoids $M_X$ on $X$, and a map $\alpha:M_X\to\mathcal O_X$ with the property that $\alpha^{-1}(\mathcal O_X^\times)\to\mathcal O_X^\times$ is an ...
1
vote
0
answers
131
views
Can logarithmic blow-ups be constructed étale-locally?
I would like to understand if the logarithmic blow-up of a log scheme can be performed étale locally:
Specifically, suppose that $X^{\dagger}=(X,\mathcal{M}_{X})$ is a fine, saturated log scheme and $...
1
vote
0
answers
83
views
Are coherent modules with integrable log-connections locally free?
Let $X$ be a smooth Noetherian scheme over a field $K$. It is known that every coherent module with integrable connection on $X$ is locally free.
Is the same true for coherent modules with log-...
1
vote
0
answers
115
views
Cokernel of map of dual of sheaves of differentials/deformations
Let $C$ be a nodal projective curve over an algebraically closed field of genus at least $2$. There are two natural "differential objects" one can consider: The sheaf of differentials $\...
1
vote
0
answers
238
views
Moduli Space of an Algebraic K3 surface with singularities.
Suppose that $X$ is an algebraic K3 surface (say polarized). If the singular divisor of $X$ is normal crossing... Do we have a moduli space parametrizing such $K3$ surfaces? If yes do we have a ...