One's can find following definition of tamagawa numbers in Dino Lorenzini paper "Torsion and Tamagawa numbers": 



> 
> Let $K$ be any discrete valuation field with ring of integers $O\_K$ ,
>  uniformizer $\pi$, and residue field $k$ of characteristic $p \ge 0$.
>  Let $A/K$ be an abelian variety of dimension $g$. Let $A/O\_K$ denote
>  the Neron model of $A/K$. The special fiber $A\_k/k$ of $A$ is the
>  extension
>  $$(0) \rightarrow A^0\_k \rightarrow A\_k \rightarrow Φ \rightarrow (0)$$ of a finite etale group scheme $Φ/k$, called the group of
>  components, by a connected smooth group scheme $A^0\_k/k$, the
>  connected component of 0. The order of the finite abelian group $Φ(k)$
>  is called the Tamagawa number of A/K. Let now $K$ be a global field,
>  and $v$ a non-archimedean place of $K$, with completion $K\_v$ and
>  residue field $k\_v$. Let $c\_v$ denote the Tamagawa number of
>  $A\_{K\_v}/{K\_v}$, and let $c = c(A/K) := \prod\_v c\_v$.
> 
> 
> 


I have hyperelliptic curve of genus 2 over $\mathbb Q$. The questions are:


1. Is it true that I can extract Tamagawa numbers ($c\_v$ in definition) from Sage function `genus2reduction` (see below) output and calculate Tamagawa product (called $c$ in definition) from them? Is it ok that group of connected components is over an algebraic closure of $\mathbb F\_p$?
2. Is it true that I can use Magma's `RegularModel` (see below) and get tamagawa numbers $c\_p$ ($=c\_v$) as orders of Magma's `ComponentGroup` for corresponding $p$? I'm confused by `group of components of the Neron model of the Jacobian of C over the **completion** at P`. There is no mentioned of completition in Sage function. I'm not sure that I understand all things right.
3. Is it true that in second case if I want to get Tamagawa product I should just calculate product of $c\_p$ for all $p$ that divide discriminant of my curve?


There are Necessary documentation notes about corresponding Sage and Magma functions. 


Sage [genus2reduction](http://www.sagemath.org/doc/reference/plane_curves/sage/interfaces/genus2reduction.html) function ducumentation says following:



> 
> Use $R = genus2reduction(Q, P)$ to obtain reduction information about the Jacobian of the projective smooth curve defined by $y^2+Q(x)y=P(x)$.
>  $$\dots$$
>  The second datum is the GROUP OF CONNECTED COMPONENTS (over an ALGEBRAIC CLOSURE (!) of $\mathbb F\_p$) of the Neron model of $J(C)$.
> 
> 
> 


From the other side Stain in his note "What are Neron Models?" writes:



> 
> When $A$ is the Jacobian of a curve $X$, there is an alternative
>  approach that involves the "minimal proper regular model" of $X$. For
>  example, when $A$ is an elliptic curve, it is the Jacobian of itself,
>  and the Neron model can be constructed in terms of the minimal proper
>  regular model $X$ of $A$ as follows. In general, the model $X → R$ is
>  not also smooth. Let $X'$ be the smooth locus of $X → R$, which is
>  obtained by removing from each closed fiber $X\_{F\_p} = \sum n\_i C\_i$
>  all irreducible components with multiplicity $n\_i \ge 2$ and all
>  singular points on each $C\_i$, and all points where at least two $C\_i$
>  intersect each other. Then the group structure on $A$ extends to a
>  group structure on $X'$ , and $X'$ equipped with this group structure
>  is the Neron model of A.
> 
> 
> 


And Magma [documentation on RegularModel](http://magma.maths.usyd.edu.au/magma/handbook/text/1322#14511) says:



> 
> RegularModel(C, P) : Crv, Any -> CrvRegModel
> 
> 
> This computes a regular model of the curve $C$ at the prime $P$. Here
>  $C$ is a curve over a field $F$ (the rationals, a number field or a
>  univariate rational function field), and $P$ is a prime of the maximal
>  order $O\_F$ of $F$ (given as an element or as an ideal).
> 
> 
> ComponentGroup(M) : CrvRegModel -> GrpAb
> 
> 
> Given a regular model of a curve $C$ at a prime $P$, this returns (as
>  an abstract abelian group) the group of components of the Neron model
>  of the Jacobian of $C$ over the completion at $P$. (This is computed
>  from the IntersectionMatrix of the model.)
> 
> 
> 


I'm quite new in this field and I'm sorry if my questions are silly.



Understanding of Tamagawa numbers of hyperelliptic curve
(1) The answer is no for the first part of this question. This is explained in Sage's documentation you cited. The program genus2reduction only outputs the order of $\Phi(\overline{\mathbb F}\_p)$, while $c\_p$ is the order of $\Phi(\mathbb F\_p)$. The later is a subgroup of $\Phi(\overline{\mathbb F}\_p)$. I don't understand the second part of the question. 


(2) I do not have access to Magma. But try the following example 
$$ y^2=2(x(x-1)(x-2))^2+3$$ 
at $p=3$. According to Example 1.17 of [this paper](http://arxiv.org/abs/math/9804069) of S. Bosch and Q. Liu, $\Phi(\mathbb F\_3)=\{0\}$ and $\Phi(\overline{\mathbb F}\_3)=\mathbb Z/3\mathbb Z$. So if Magma gives you $c\_3=1$, then it is capable of computing the Tamagawa number at least for this curve. But after reading the documentation of Magma, I would not be surprised that it will actually give an error message. For the second part of the question, it is not necessary to go to the completion of $K\_v$ to compute $c\_v$. 


(3) Yes, at any $p$ prime to *a* discriminant of the curve, the later has good reduction at $p$. So its Jacobian has good reduction at $p$. This implies that $\Phi$ is trivial as algebraic group and $c\_p=1$. 


